Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 209-229
- https://doi.org/10.1007/3-540-57318-6_30
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Minimization of timed transition systemsPublished by Springer Nature ,2006
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Minimal model generationPublished by Springer Nature ,2005
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal specification of asynchronous distributed real-time systems by APTLPublished by Association for Computing Machinery (ACM) ,1992
- Prom timed to hybrid systemsPublished by Springer Nature ,1992
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987
- Propositional dynamic logic of nonregular programsJournal of Computer and System Sciences, 1983