Skip to Main content Skip to Navigation
Conference papers

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation

Peter Schrammel 1, * Bertrand Jeannet 1, 2, * 
* Corresponding author
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Hybrid systems are used to model embedded computing systems interacting with their physical environment. There is a conceptual mismatch between high-level hybrid system lan- guages 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.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Peter Schrammel Connect in order to contact the contributor
Submitted on : Thursday, November 8, 2012 - 3:31:07 PM
Last modification on : Tuesday, August 2, 2022 - 4:24:54 AM
Long-term archiving on: : Saturday, February 9, 2013 - 3:48:59 AM


Files produced by the author(s)



Peter Schrammel, Bertrand Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation. Hybrid Systems: Computation and Control, Apr 2012, Beijing, China. pp.167-176, ⟨10.1145/2185632.2185658⟩. ⟨hal-00749891⟩



Record views


Files downloads