What's Decidable about Hybrid Automata?
Open Access
- 1 August 1998
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 57 (1) , 94-124
- https://doi.org/10.1006/jcss.1998.1581
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- On model checking for real-time properties with durationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Algorithmic analysis of nonlinear hybrid systemsIEEE Transactions on Automatic Control, 1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Computing Accumulated Delays in Real-time SystemsFormal Methods in System Design, 1997
- Timing analysis of Ada tasking programsIEEE Transactions on Software Engineering, 1996
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Verifying invariance properties of timed systems with duration variablesPublished by Springer Nature ,1994
- What good are digital clocks?Published by Springer Nature ,1992