Stability of hybrid systems
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 413-423
- https://doi.org/10.1007/bfb0020964
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Introduction to the Modern Theory of Dynamical SystemsPublished by Cambridge University Press (CUP) ,1995
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- Decidability of hybrid systems with rectangular differential inclusionsPublished by Springer Nature ,1994
- Using abstractions for the verification of linear hybrid systemsLecture Notes in Computer Science, 1994
- A determinizable class of timed automataPublished by Springer Nature ,1994