Using HyTech to verify an automotive control System
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 139-153
- https://doi.org/10.1007/bfb0014722
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Linear phase-portrait approximations for nonlinear hybrid systemsPublished by Springer Nature ,1996
- Using HyTech to synthesize control parameters for a steam boilerPublished by Springer Nature ,1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A user guide to HyTechPublished by Springer Nature ,1995
- Automated analysis of an audio control protocolPublished by Springer Nature ,1995
- Algorithmic analysis of nonlinear hybrid systemsPublished by Springer Nature ,1995