University of Sussex
Browse

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

History

Publication status

  • Published

File Version

  • Accepted version

Publisher

ACM

Page range

167-176

Book title

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12

Place of publication

New York, NY

ISBN

978-1-4503-1220-2

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2016-05-09

First Compliant Deposit (FCD) Date

2016-05-09

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC