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:596 - 69 self

Active Bibliography

483 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
57 Hybrid Automata with Finite Bisimulations – Thomas A. Henzinger - 1995
79 Verification of Linear Hybrid Systems By Means of Convex Approximations – Nicolas Halbwachs, Pascal Raymond, Yann-eric Proy - 1994
108 Verification of Real-Time Systems using Linear Relation Analysis – Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff - 1997
1 Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
1 A Dynamic Logics of Dynamical Systems – AndrĂ© Platzer
4 Logics of Dynamical Systems – AndrĂ© Platzer
360 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
356 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
17 Compositional Verification of Hybrid Systems using Simulation Relations – Goran Fedja Frehse - 2005
18 Using Abstractions for the Verification of Linear Hybrid Systems – Olivero Sifakis, A. Olivero, J. Sifakis, S. Yovine - 1994
111 Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives – Eugene Asarin, Oded Maler, Amir Pnueli - 1995
Amir Pnueli and the Dawn of . . . – Oded Maler
1 Modeling, Verification and Testing using Timed and Hybrid Automata – Stavros Tripakis, Thao Dang
24 Composite Model Checking: Verification with Type-Specific Symbolic Representations – Tevfik Bultan, Richard Gerber, Christopher League - 2000
47 Robust timed automata – Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan - 1997
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
40 Computing Accumulated Delays in Real-time Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger - 1993