Simulation of Zeno hybrid automata
- 1 January 1999
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4 (01912216), 3538-3543
- https://doi.org/10.1109/cdc.1999.827900
Abstract
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.Keywords
This publication has 9 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- The theory of hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A unified framework for hybrid controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the regularization of Zeno hybrid automataSystems & Control Letters, 1999
- Controllers for reachability specifications for hybrid systemsAutomatica, 1999
- Complementarity modeling of hybrid systemsIEEE Transactions on Automatic Control, 1998
- The SHIFT programming language for dynamic networks of hybrid automataIEEE Transactions on Automatic Control, 1998
- Modularity for timed and hybrid systemsLecture Notes in Computer Science, 1997
- Differential Equations with Discontinuous Righthand SidesPublished by Springer Nature ,1988