Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
Authors:
- 15 April 1999
- book chapter
- Published by Springer Nature
- p. 76-90
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Hybrid Systems: Modeling and Supervisory Control1999
- Hybrid Systems with Finite Bisimulations1998
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- Hybrid automata with finite bisimulations1995