Zeno hybrid systems
Zhang J., Johansson K., Lygeros J., and Sastry S.,
International Journal of Robust and Nonlinear Control, Volume 11, Pages 435-451, 2001Abstract
The interacting continuous and discrete dynamics in hybrid systems may lead to Zeno executions, which are solutions of the system having infinitely many discrete transitions in finite time. Although physical systems do not show Zeno behavior, models of real systems may be Zeno due to modeling abstraction. It is hard to analyze such models with the existing theory. Since abstraction is an important tool in the hierarchical design of hybrid systems, one would like to determine when it may lead to Zeno models. Zeno hybrid systems are studied in detail in the paper. Necessary and sufficient conditions for the existence of Zeno executions are given. The Zeno set is introduced as the $omega$ limit set of a Zeno execution. Properties of the Zeno set are derived for a fairly large class of hybrid systems.
BibTex Entry
- @Article{,
- author = {Zhang J., Johansson K., Lygeros J., and Sastry S.,},
- journal = {International Journal of Robust and Nonlinear Control},
- title = {Zeno hybrid systems},
- year = {2001},
- pages = {435-451},
- volume = {11}
- }
|
![[Dept of Engineering]](http://www.eng.cam.ac.uk/images/house_style/engban-s.gif)
