The theory of hybrid automata
Top Cited Papers
- 23 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 31 references indexed in Scilit:
- Timing behavior analysis for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- ε-Approximation of differential inclusionsPublished by Springer Nature ,1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- Hybrid I/O automataPublished by Springer Nature ,1996
- Automated analysis of an audio control protocolPublished by Springer Nature ,1995
- Integration Graphs: A class of decidable hybrid systemsPublished by Springer Nature ,1993
- An approach to the description and analysis of hybrid systemsPublished by Springer Nature ,1993
- Prom timed to hybrid systemsPublished by Springer Nature ,1992
- Forward and backward simulations for timing-based systemsPublished by Springer Nature ,1992