Zeno hybrid systems
- 3 April 2001
- journal article
- research article
- Published by Wiley in International Journal of Robust and Nonlinear Control
- Vol. 11 (5) , 435-451
- https://doi.org/10.1002/rnc.592
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- A theory of timed automataPublished by Elsevier ,2002
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Conflict resolution for air traffic management: a study in multiagent hybrid systemsIEEE Transactions on Automatic Control, 1998
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systemsIEEE Transactions on Automatic Control, 1998
- 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
- A unified framework for hybrid control: model and optimal control theoryIEEE Transactions on Automatic Control, 1998
- Verifying hybrid systems modeled as timed automata: A case studyPublished by Springer Nature ,1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995