Abstract
Reachability analysis of hybrid system imposes restrictions on the continuous and discrete behavior. In this paper a method is proposed to approximate the reachable set of linear systems by linear inequalities. It allows to use the full continuous dynamics of hybrid systems for reachability analysis. This method is applied to an automotive control problem, which was presented by Stauner et al. in [SMF97].
Original language | English |
---|---|
Title of host publication | Hybrid Systems: Computation and Control |
Subtitle of host publication | First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings |
Editors | Thomas A. Henzinger, Shankar Sastry |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 110-125 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-540-69754-1 |
ISBN (Print) | 978-3-540-64358-6 |
DOIs | |
Publication status | Published - 1998 |
Externally published | Yes |
Event | 1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998 - Berkeley, United States Duration: 13 Apr 1998 → 15 Apr 1998 Conference number: 1 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 1386 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998 |
---|---|
Abbreviated title | HSCC |
Country/Territory | United States |
City | Berkeley |
Period | 13/04/98 → 15/04/98 |
Keywords
- Hybrid System
- Linear Inequality
- Reachable State
- Hybrid Automaton
- Reachability Analysis