Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 130-144
- https://doi.org/10.1007/3-540-46430-1_14
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Algorithmic analysis of nonlinear hybrid systemsIEEE Transactions on Automatic Control, 1998
- Integrating projectionsPublished by Springer Nature ,1998
- Reachability analysis via face liftingPublished by Springer Nature ,1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Using HyTech to verify an automotive control SystemPublished by Springer Nature ,1997
- Comparing timed and hybrid automata as approximations of continuous systemsPublished by Springer Nature ,1997
- Timing analysis of Ada tasking programsIEEE Transactions on Software Engineering, 1996
- Using HyTech to synthesize control parameters for a steam boilerPublished by Springer Nature ,1996
- PROFIL/BIAS—A fast interval libraryComputing, 1994