Hybrid Systems: Modeling and Supervisory Control
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 227-246
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Synthesis of supervisory controllers for hybrid systems based on approximating automataIEEE Transactions on Automatic Control, 1998
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- ε-Approximation of differential inclusions1996
- Hybrid automata with finite bisimulations1995
- Verification of real-time systems by successive over and under approximationLecture Notes in Computer Science, 1995