The algorithmic analysis of hybrid systems (1995)

by R. Alur , C. Courcoubetis , N. Halbwachs , T. A. Henzinger , P.-H. Ho , X. Nicollin , A. Olivero , J. Sifakis , S. Yovine
Venue:THEORETICAL COMPUTER SCIENCE
Citations:656 - 71 self

Active Bibliography

491 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
364 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
364 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
2014 A theory of timed automata – Rajeev Alur - 1999
110 Verification of Real-Time Systems using Linear Relation Analysis – Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff - 1997
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
81 Verification of Linear Hybrid Systems By Means of Convex Approximations – Nicolas Halbwachs, Pascal Raymond, Yann-eric Proy - 1994
59 Hybrid Automata with Finite Bisimulations – Thomas A. Henzinger - 1995
455 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997