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
146 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
69 Modularity for Timed and Hybrid Systems – Rajeev Alur , Thomas A. Henzinger - 1997
1975 A theory of timed automata – Rajeev Alur - 1999
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
1994 The Unified Modelling Language User Guide – G Booch, J Rumbaugh, I Jacobson - 1999
54 The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata – Akash Deshpande, Aleks Göllü, Luigi Semenzato
266 What's Decidable about Hybrid Automata? – Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya - 1995
190 On the Synthesis of Discrete Controllers for Timed Systems – Oded Maler, Amir Pnueli, Joseph Sifakis - 1995
491 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
233 The Tool KRONOS – C. Daws, A. Olivero, S. Tripakis, S. Yovine - 1996
201 Conflict Resolution for Air Traffic Management: A Study in Multiagent Hybrid Systems – Claire Tomlin, George J. Pappas, Student Member, Student Member, Shankar Sastry - 1998
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
102 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
98 Models for hybrid systems: Automata, topologies, stability,” in Grossman et al – A Nerode, W Kohn
483 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
23 Modular Refinement of Hierarchic Reactive Machines – Rajeev Alur , Radu Grosu - 2000
36 The Uni ed Modeling Language User Guide – G Booch, I Jacobson, J Rumbaugh - 1999
94 The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems – Constance Heitmeyer, Nancy Lynch - 1994