Checking hybrid automata for linear duration invariants
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 166-180
- https://doi.org/10.1007/3-540-63875-x_51
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The theory of hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Checking hybrid automata for linear duration invariantsPublished by Springer Nature ,1997
- Checking linear duration invariants by linear programmingPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Towards a duration calculus proof assistant in PVSPublished by Springer Nature ,1994
- Integration Graphs: A class of decidable hybrid systemsPublished by Springer Nature ,1993
- A calculus of durationsInformation Processing Letters, 1991