Integration Graphs: A class of decidable hybrid systems
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 179-208
- https://doi.org/10.1007/3-540-57318-6_29
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An approach to the description and analysis of hybrid systemsLecture Notes in Computer Science, 1993
- What good are digital clocks?Lecture Notes in Computer Science, 1992
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- Real-Time Logics: Complexity and Expressiveness,Published by Defense Technical Information Center (DTIC) ,1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986