s'authentifier
version française rss feed

hal-00749891, version 1

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

Peter Schrammel (Auteur à contacter de préférence, http://pop-art.inrialpes.fr/people/schramme) a1, Bertrand Jeannet (Auteur à contacter de préférence) a12

Hybrid Systems: Computation and Control (2012) 167-176

Résumé : 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.

  • Domaine : Informatique/Systèmes embarqués
    Informatique/Théorie et langage formel
    Informatique/Langage de programmation
    Informatique/Calcul formel
    Informatique/Modélisation et simulation
  • Mots-clés : Data-Flow Languages – Hybrid Systems – Hybrid Automata – Verification
 
  • hal-00749891, version 1
  • oai:hal.inria.fr:hal-00749891
  • Contributeur : 
  • Soumis le : Jeudi 8 Novembre 2012, 15:31:07
  • Dernière modification le : Vendredi 16 Novembre 2012, 15:39:18
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...