|
6
|
Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools
– K. G. Larsen, B. Steffen, C. Weise
- 1997
|
|
1659
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
64
|
Modularity for Timed and Hybrid Systems
– Rajeev Alur , Thomas A. Henzinger
- 1997
|
|
97
|
HYTECH: The next generation
– Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi
- 1995
|
|
22
|
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems
– Bernard Boigelot, Louis Bronne, Stéphane Rassart
- 1997
|
|
|
Timed Automata for the Development of Real-Time Systems
– Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie
- 2011
|
|
6
|
Lecture notes on hybrid systems
– John Lygeros
- 2004
|
|
37
|
Computing Accumulated Delays in Real-time Systems
– Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
- 1993
|
|
52
|
Hybrid Automata with Finite Bisimulations
– Thomas A. Henzinger
- 1995
|
|
84
|
Logics for Hybrid Systems
– J. M. Davoren, Anil Nerode
- 2000
|
|
5
|
Modeling and analysis of hybrid systems
– Franjo Ivančić
- 2003
|
|
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
|
|
36
|
The Theory of Timed I/O Automata
– Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
- 2003
|
|
305
|
HyTech: A Model Checker for Hybrid Systems
– Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi
- 1997
|
|
|
APPROXIMATION BASED SAFETY AND STABILITY VERIFICATION OF HYBRID SYSTEMS
– Pavithra Prabhakar
- 2011
|
|
34
|
Robust timed automata
– Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
- 1997
|
|
37
|
A classification of symbolic transition systems
– Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
- 2005
|
|
41
|
Discrete-Time Control for Rectangular Hybrid Automata
– Thomas A. Henzinger , Peter W. Kopke
|
|
77
|
Forward and Backward Simulations - Part II: Timing-Based Systems
– Nancy Lynch, Frits Vandraager
- 1995
|
