Automotive control revisited linear inequalities as approximation of reachable sets
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 110-125
- https://doi.org/10.1007/3-540-64358-3_35
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Checking hybrid automata for linear duration invariantsPublished by Springer Nature ,1997
- Safety verification for automated platoon maneuvers: A case studyPublished by Springer Nature ,1997
- Using HyTech to verify an automotive control SystemPublished by Springer Nature ,1997
- Linear phase-portrait approximations for nonlinear hybrid systemsPublished by Springer Nature ,1996
- Hybrid I/O automataPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Algorithmic analysis of nonlinear hybrid systemsPublished by Springer Nature ,1995
- Proof-checking a data link protocolPublished by Springer Nature ,1994