Compositional and Uniform Modelling of Hybrid Systems

We discuss fundamentals of hybrid system modelling. Emphasis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely composing hybrid systems. This amounts to relying on a behavioral approach. Since hybrid systems are considered, different time indices occur, and modularity calls for considering "time" as local to each module, this is what we call multiform time. Our framework is behavioral, and we discuss its relations with the more traditional state based point of view.

[1]  A. Benveniste.  Compositional and uniform modelling of hybrid systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[2]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[3]  Thomas A. Henzinger,et al.  Hybrid Automata with Finite Bisimulatioins , 1995, ICALP.

[4]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[5]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[6]  Jozef Hooman,et al.  A Compositional Approach to the Design of Hybrid Systems , 1992, Hybrid Systems.

[7]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[8]  Amir Pnueli,et al.  Timing analysis of asynchronous circuits using timed automata , 1995, CHARME.

[9]  Nicolas Halbwachs,et al.  Data-Flow Synchronous Languages , 1993, REX School/Symposium.

[10]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[11]  Fabien Favret.  Aide à la communication modeleurs-solveurs et contribution à l'analyse des systèmes techniques complexes , 1995 .

[12]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[13]  Nicolas F. Rouquette.  Operationalizing engineering models of steady-state equations into efficient simulation programs , 1996 .

[14]  Pieter C. Breedveld,et al.  Bibliography of bond graph theory and application , 1991 .

[15]  Johannes F. Broenink,et al.  Describing Discontinuities in Bond Graphs , 1993 .

[16]  Sujeet Chand,et al.  Special issue on fuzzy logic with engineering applications , 1995 .

[17]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[18]  Nicolas Rouquette.  Hierarchical Feedback Decomposition of Steady-State Equation Models , 1995 .

[19]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .