No Cover Image

Journal article 447 views 58 downloads

A model of systems with modes and mode transitions

Edwin Beggs Orcid Logo, John Tucker Orcid Logo

Journal of Logical and Algebraic Methods in Programming, Volume: 127, Start page: 100774

Swansea University Authors: Edwin Beggs Orcid Logo, John Tucker Orcid Logo

  • 59740.pdf

    PDF | Version of Record

    © 2022 The Authors. This is an open access article under the CC BY license

    Download (787.2KB)

Abstract

We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own algorithms designed to accomplish its objectives. A central problem is deciding when to transition from one mode to some other mode, a d...

Full description

Published in: Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2208
Published: Elsevier BV 2022
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa59740
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own algorithms designed to accomplish its objectives. A central problem is deciding when to transition from one mode to some other mode, a decision that may be contested and involve partial or inconsistent information. We propose some general principles and model mathematically their conception of modes for a system. We derive a family of data types for analysing mode transitions; these are simplicial complexes, both abstract and concretely realised as geometric spaces in euclidean space . In the simplicial complex, a mode is represented by a simplex and each state of a system can be evaluated by mapping it into one or more simplices. This evaluation measures the extent to which different modes are appropriate for the state and can decide on a transition. To illustrate the general model in some detail, we work though a case study of an autonomous racing car.
Keywords: Modes of operation; Mode transitions; Abstract simplicial complexes; Presheaf of data types; Autonomous cars
College: Faculty of Science and Engineering
Funders: None listed.
Start Page: 100774