Abstract
For stochastic hybrid systems, the reachability analysis is
an important and difficult problem. In this paper, we prove that, under
natural assumptions, reachability analysis can be characterised as an
optimal stopping problem. In this way, one can apply numerical methods
from optimal control to solve the reachability verification problems.
Original language | Undefined |
---|---|
Title of host publication | 11th International Workshop, HSCC 2008 |
Editors | M. Egerstedt, B. Mishra |
Place of Publication | Berlin Heidelberg |
Publisher | Springer |
Pages | 610-613 |
Number of pages | 4 |
ISBN (Print) | 978-3-540-78928-4 |
DOIs | |
Publication status | Published - Apr 2008 |
Event | 11th International Workshop on Hybrid Systems: Computation and Control, HSCC 2008 - St. Louis, United States Duration: 22 Apr 2008 → 24 Apr 2008 Conference number: 11 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Number | 274 |
Volume | 4981 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Workshop
Workshop | 11th International Workshop on Hybrid Systems: Computation and Control, HSCC 2008 |
---|---|
Abbreviated title | HSCC |
Country | United States |
City | St. Louis |
Period | 22/04/08 → 24/04/08 |
Keywords
- EWI-12779
- MSC-60G40
- IR-62313
- METIS-250985