Simulation of Zeno hybrid automata

Zeno hybrid automata are hybrid systems that can exhibit infinitely many discrete transitions in a finite time interval. Such automata arise due to modeling simplifications and may deteriorate simulation efficiency and accuracy considerably. Some basic properties of Zeno hybrid automata are explored. Possible ways to extend a simulation beyond the Zeno time are suggested.

[1]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[2]  R. Alur,et al.  Automata For Modeling Real-Time Systems , 1990, ICALP.

[3]  Mats Andersson,et al.  Object-Oriented Modelling and Simulation , 1993 .

[4]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[5]  Mats Andersson,et al.  Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .

[6]  Sven Erik Mattsson,et al.  On Object-Oriented Modelling of Relays and Sliding Mode Behaviour , 1996 .

[7]  Paul Gastin,et al.  On the Power of Non-Observable Actions in Timed Automata , 1996, STACS.

[8]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[9]  Thomas A. Henzinger,et al.  Modularity for Timed and Hybrid Systems , 1997, CONCUR.

[10]  M. K. Camlibel,et al.  Uniqueness of solutions of relay systems , 1997 .

[11]  Pieter J. Mosterman,et al.  Sliding Mode Model Semantics and Simulation for Hybrid Systems , 1997, Hybrid Systems.

[12]  A. J. van der Schaft,et al.  Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..

[13]  Akash Deshpande,et al.  The SHIFT programming language for dynamic networks of hybrid automata , 1998 .

[14]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[15]  S. Sastry,et al.  On the existence of executions of hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[16]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..