From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

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.
Fichier principal
Vignette du fichier
paper.pdf (217.15 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00749891 , version 1 (08-11-2012)

Identifiers

Cite

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⟩
158 View
285 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More