Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Reachability analysis of stochastic hybrid systems by optimal control

Author(s):

M.L. Bujorianu, J. Lygeros, R. Langerak
Conference/Journal:

Lecture Notes in Computer Science LNCS, vol. 4981, pp. 610-613, in Hybrid Systems: Computation and Control
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.

Year:

2008
Type of Publication:

Book Chapter
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% No recipe for automatically generating a BibTex entry for Book Chapter
Permanent link