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:514 - 66 self

Active Bibliography

377 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
6 Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools – K. G. Larsen, B. Steffen, C. Weise - 1997
52 Hybrid Automata with Finite Bisimulations – Thomas A. Henzinger - 1995
75 Verification of Linear Hybrid Systems By Means of Convex Approximations – Nicolas Halbwachs, Pascal Raymond, Yann-eric Proy - 1994
91 Verification of Real-Time Systems using Linear Relation Analysis – Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff - 1997
1 Logics of Dynamical Systems – André Platzer
18 Using Abstractions for the Verification of Linear Hybrid Systems – Olivero Sifakis, A. Olivero, J. Sifakis, S. Yovine - 1994
305 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
13 Compositional Verification of Hybrid Systems using Simulation Relations – Goran Fedja Frehse - 2005
Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
320 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
94 Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives – Eugene Asarin, Oded Maler, Amir Pnueli - 1995
Amir Pnueli and the Dawn of . . . – Oded Maler
34 Robust timed automata – Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan - 1997
23 Composite Model Checking: Verification with Type-Specific Symbolic Representations – Tevfik Bultan, Richard Gerber, Christopher League - 2000
97 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
33 Refining Model Checking by Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1999
37 Computing Accumulated Delays in Real-time Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger - 1993
41 Discrete-Time Control for Rectangular Hybrid Automata – Thomas A. Henzinger , Peter W. Kopke