PHAVer: Algorithmic verification of hybrid systems past HyTech (2005)

by Goran Frehse
Citations:127 - 7 self

Documents Related by Co-Citation

596 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
64 Reachability of uncertain linear systems using zonotopes – A Girard - 2005
483 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
34 Reach Set Computations Using Real Quantifier Elimination – Hirokazu Anai, Volker Weispfenning - 2000
39 Reachability analysis of nonlinear systems using conservative approximation – Eugene Asarin, Thao Dang, Antoine Girard - 2003
181 Partial cylindrical algebraic decomposition for quantifier elimination – G E Collins, H Hong - 1991
119 ON ELLIPSOIDAL TECHNIQUES FOR REACHABILITY ANALYSIS. PART II: INTERNAL APPROXIMATIONS BOX-VALUED CONSTRAINTS – A. B. Kurzhanski , P. Varaiya - 2000
356 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
33 Benchmarks for Hybrid Systems Verification – Ansgar Fehnker, Franjo Ivancic - 2004
602 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
93 Logics for Hybrid Systems – J. M. Davoren, Anil Nerode - 2000
38 Approximate reachability for linear systems – A Tiwari
264 Automatic Symbolic Verification of Embedded Systems – Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho - 1996
74 B.H.: Computational techniques for hybrid system verification – A Chutinan, Krogh - 2003
31 Verification using simulation – Antoine Girard - 2006
82 A New Class of Decidable Hybrid Systems – Gerardo Lafferriere, George J. Pappas, Sergio Yovine - 1999
825 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
73 Reachability Analysis via Face Lifting – Thao Dang, Oded Maler - 1998
53 Safety Verification of Hybrid Systems Using Barrier Certificates – Stephen Prajna, Ali Jadbabaie - 2004