From hybrid data-flow languages to hybrid automata

Schrammel, Peter and Jeannet, Bertrand (2012) From hybrid data-flow languages to hybrid automata. In: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12. ACM, New York, NY, pp. 167-176. ISBN 978-1-4503-1220-2

[img] PDF - Accepted Version
Restricted to SRO admin only

Download (236kB)

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 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.

Item Type: Book Section
Keywords: hybrid systems, simulation languages, hybrid automata, semantics, non-standard analysis
Schools and Departments: School of Engineering and Informatics > Informatics
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Q Science > QA Mathematics > QA0076 Computer software
Depositing User: Peter Schrammel
Date Deposited: 09 May 2016 11:14
Last Modified: 09 May 2016 11:14
URI: http://sro.sussex.ac.uk/id/eprint/60805

View download statistics for this item

📧 Request an update