Hierarchical Modeling and Analysis of Embedded Systems (2003)

Cached

Download Links

by Rajeev Alur , Thao Dang , Joel Esposito , Yerang Hur , Franjo Ivancic , Vijay Kumar , Insup Lee , Pradyumna Mishra , George J. Pappas , Oleg Sokolsky
Citations:47 - 17 self

Documents Related by Co-Citation

514 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
96 Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems – Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler - 2000
67 Level set methods for computation in hybrid systems – I Mitchell, C Tomlin - 2000
137 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
41 Reachability Analysis of Hybrid Systems via Predicate Abstraction – Rajeev Alur, Thao Dang, Franjo Ivancic - 2002
29 Counter-Example Guided Predicate Abstraction of Hybrid Systems – Rajeev Alur, Thao Dang, Franjo Ivancic - 2003
1659 A theory of timed automata – Rajeev Alur - 1999
37 Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations – Alongkrit Chutinan, Bruce H. Krogh - 1999
220 The Tool KRONOS – C. Daws, A. Olivero, S. Tripakis, S. Yovine - 1996
305 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
119 Hybrid I/O Automata – Nancy Lynch, Roberto Segala, Frits Vaandrager - 1996
97 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
194 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
52 Series of Abstractions for Hybrid Automata – Ashish Tiwari, Gaurav Khanna - 2002
482 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
320 The Quickhull algorithm for convex hulls – C. Bradford Barber, David P. Dobkin, Hannu Huhdanpaa - 1996
104 ON ELLIPSOIDAL TECHNIQUES FOR REACHABILITY ANALYSIS. PART II: INTERNAL APPROXIMATIONS BOX-VALUED CONSTRAINTS – A. B. Kurzhanski , P. Varaiya - 2000
1962 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
4 Hybrid System Architectures for Coordinated Vehicle Control – A R Girard - 2002