|
16
|
AUTOMATIC ANALYSIS OF HYBRID SYSTEMS
– Pei-Hsin Ho
- 1995
|
|
97
|
HYTECH: The next generation
– Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi
- 1995
|
|
305
|
HyTech: A Model Checker for Hybrid Systems
– Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi
- 1997
|
|
7
|
T.A.: An Algorithm for the Approximative Analysis of Rectangular Automata
– J Preubig, S Kowalewski, H Wong-Toi, Henzinger
- 1998
|
|
2
|
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten
– Jörg Preußig
- 2000
|
|
5
|
Modeling and analysis of hybrid systems
– Franjo Ivančić
- 2003
|
|
37
|
Beyond HYTECH: Hybrid systems analysis using interval numerical methods
– Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-toi
- 2000
|
|
8
|
Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction
– Goran Frehse, Zhi Han, Bruce Krogh
- 2004
|
|
27
|
Benchmarks for Hybrid Systems Verification
– Ansgar Fehnker, Franjo Ivancic
- 2004
|
|
92
|
Algorithmic Analysis of Nonlinear Hybrid Systems
– Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi
- 1996
|
|
25
|
An assessment of the current status of algorithmic approaches to the verification of hybrid systems
– B I Silva, O Stursberg, B H Krogh, S Engell
- 2001
|
|
22
|
Some lessons from the HyTech experience
– Thomas A. Henzinger, Jorg Preu, Howard Wong-toi
- 2001
|
|
55
|
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
– Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill
- 2002
|
|
25
|
On efficient representation and computation of reachable sets for hybrid systems
– Olaf Stursberg, Bruce H. Krogh
- 2003
|
|
19
|
Towards formal verification of analog designs
– S Gupta, B H Krogh, R A Rutenbar
- 2004
|
|
378
|
The Theory of Hybrid Automata
– Thomas A. Henzinger
- 1996
|
|
2
|
Jo~ao Batista Camargo Jr., and Jorge Rady Almeida Junior. Analise e Veri de Segmentos de Via de uma Malha Metroviaria
– Adilson Luiz Bonifacio, Arnaldo Vieira Moura
- 2000
|
|
1
|
A theory if timed automata
– R Alur, D Dill
- 1994
|
|
1
|
Modeling and Parameters Synthesis for an Air Traffic Management System
– Adilson Luiz Bonifácio, Arnaldo Vieira Moura
- 2000
|
