Journal article 604 views 78 downloads
A model of systems with modes and mode transitions
,
John Tucker
Journal of Logical and Algebraic Methods in Programming, Volume: 127, Start page: 100774
Swansea University Authors:
Edwin Beggs , John Tucker
-
PDF | Version of Record
© 2022 The Authors. This is an open access article under the CC BY license
Download (787.2KB)
DOI (Published version): 10.1016/j.jlamp.2022.100774
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...
| 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 |