The Library
Stochastic reachability as an exit problem
Tools
Bujorianu, Manuela and Blom, H. A. P. (2009) Stochastic reachability as an exit problem. In: 17th Mediterranean Conference on Control and Automation, 2009. MED '09, Thessaloniki, Greece, 24-26 Jun 2009. Published in: 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece pp. 1026-1031. doi:10.1109/MED.2009.5164681 ISSN 9781424446841.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1109/MED.2009.5164681
Abstract
For stochastic hybrid systems, safety verification methods are very little supported mainly because of complexity and difficulty of the associated mathematical problems. The key of the methods that succeeded in solving various instances of this problem is to prove the equivalence of these instances with known problems. In this paper, we apply the same pattern to the most general model of stochastic hybrid systems. Stochastic reachability problem can be treated as an exit problem for a suitable class of Markov processes. The solutions of this problem can be characterised using Hamilton Jacobi theory.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||
Journal or Publication Title: | 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece | ||||
Publisher: | IEEE | ||||
ISSN: | 9781424446841 | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Page Range: | pp. 1026-1031 | ||||
DOI: | 10.1109/MED.2009.5164681 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 17th Mediterranean Conference on Control and Automation, 2009. MED '09 | ||||
Type of Event: | Conference | ||||
Location of Event: | Thessaloniki, Greece | ||||
Date(s) of Event: | 24-26 Jun 2009 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |