An Evaluation of Two Recent Reachability Analysis Tools for Hybrid Systems
- 1 January 2006
- book chapter
- book charpter
- Published by Elsevier BV
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interactionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Hybrid I/O automataInformation and Computation, 2003
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The complexity of some polynomial network consistency algorithms for constraint satisfaction problemsArtificial Intelligence, 1985