Variational inequalities for the stochastic reachability problem
Bujorianu, Manuela (2010) Variational inequalities for the stochastic reachability problem. In: 49th IEEE Conference on Decision and Control (CDC), 2010, Atlanta, GA, 15-17 Dec 2010. Published in: Design and Control pp. 1854-1859.Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/CDC.2010.5718059
Unlike the pure discrete or continuous cases, for stochastic hybrid systems the reachability analysis is still a difficult problem. The early mathematical approaches to the stochastic reachability turned out into constructive verification methods with tool support from dynamic programming. This line of research suggests the need for a deeper mathematical investigation of connections between reachability based verification and optimal control for stochastic hybrid systems. In this paper, we prove a new characterization of the stochastic reachability problem in terms of variational inequalities on Hilbert spaces. These inequalities are well studied in stochastic optimal control, for which theoretical and numerical methods exist.
|Item Type:||Conference Item (Paper)|
|Divisions:||Faculty of Science > Mathematics|
|Journal or Publication Title:||Design and Control|
|Publisher:||IEEE Computer Society|
|Book Title:||49th IEEE Conference on Decision and Control (CDC)|
|Page Range:||pp. 1854-1859|
|Conference Paper Type:||Paper|
|Title of Event:||49th IEEE Conference on Decision and Control (CDC), 2010|
|Type of Event:||Conference|
|Location of Event:||Atlanta, GA|
|Date(s) of Event:||15-17 Dec 2010|
Actions (login required)