File(s) under permanent embargo
From hybrid data-flow languages to hybrid automata
chapter
posted on 2023-06-09, 01:09 authored by Peter Schrammel, Bertrand JeannetHybrid systems are used to model embedded computing systems interacting with their physical environment. There is a conceptual mismatch between high-level hybrid system languages like Simulink, which are used for simulation, and hybrid automata, the most suitable representation for safety verification. Indeed, in simulation languages the interaction between discrete and continuous execution steps is specified using the concept of zero-crossings, whereas hybrid automata exploit the notion of staying conditions. We describe a translation from a hybrid data-flow language to logico-numerical hybrid automata that points out this issue carefully. We expose various zero-crossing semantics, propose a sound translation, and discuss to which extent the original semantics is preserved.
History
Publication status
- Published
File Version
- Accepted version
Publisher
ACMExternal DOI
Page range
167-176Book title
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12Place of publication
New York, NYISBN
978-1-4503-1220-2Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2016-05-09First Compliant Deposit (FCD) Date
2016-05-09Usage metrics
Categories
No categories selectedLicence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC