- Record: found
- Abstract: not found
- Book Chapter: not found
Hybrid Systems: Computation and Control
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
other
February 1 2002
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references20
- Record: found
- Abstract: not found
- Book Chapter: not found
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
Rajeev Alur, Costas Courcoubetis, Thomas Henzinger … (1993)
- Record: found
- Abstract: not found
- Article: not found
What's Decidable about Hybrid Automata?
Thomas Henzinger, Peter W. Kopke, Anuj Puri … (1998)
- Record: found
- Abstract: not found
- Article: not found
HYTECH: a model checker for hybrid systems
Pei-Hsin Ho, Thomas Henzinger, Howard Wong-Toi (1997)