A Comparison of Control Problems for Timed and Hybrid Systems
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 134-148
- https://doi.org/10.1007/3-540-45873-5_13
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Symbolic Algorithms for Infinite-State GamesPublished by Springer Nature ,2001
- Effective synthesis of switching controllers for linear systemsProceedings of the IEEE, 2000
- A game theoretic approach to controller design for hybrid systemsProceedings of the IEEE, 2000
- Robust Undecidability of Timed and Hybrid SystemsPublished by Springer Nature ,2000
- Discrete-time control for rectangular hybrid automataTheoretical Computer Science, 1999
- Rectangular Hybrid GamesPublished by Springer Nature ,1999
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- On the synthesis of discrete controllers for timed systemsPublished by Springer Nature ,1995