Robust Undecidability of Timed and Hybrid Systems
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 145-159
- https://doi.org/10.1007/3-540-46430-1_15
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- A survey of computational complexity results in systems and controlAutomatica, 2000
- Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of StatesPublished by Springer Nature ,1999
- Timed automata and recognizabilityInformation Processing Letters, 1998
- Discrete-time control for rectangular hybrid automataPublished by Springer Nature ,1997
- Robust timed automataPublished by Springer Nature ,1997
- The benefits of relaxing punctualityJournal of the ACM, 1996
- Reachability analysis of dynamical systems having piecewise-constant derivativesTheoretical Computer Science, 1995
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995