The Library
State constrained reachability analysis of stochastic hybrid systems
Tools
Bujorianu, Manuela and Bujorianu, Marius C. (2009) State constrained reachability analysis of stochastic hybrid systems. In: 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, 16-18 Sep 2009. Published in: Nonlinear Analysis: Hybrid Systems, Vol.5 (No.2). pp. 320-342. doi:10.1016/j.nahs.2010.10.008 ISSN 1878-7460.
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.1016/j.nahs.2010.10.008
Abstract
Many control problems can be formulated as driving a system to reach some target states while avoiding some unwanted states. We study this problem for systems with regime change operating in uncertain environments. Nowadays, it is a common practice to model such systems in the framework of stochastic hybrid system models. In this casting, the problem is formalized as a mathematical problem named state constrained stochastic reachability analysis. In the state constrained stochastic reachability analysis, this probability is computed by imposing a constraint on the system to avoid the unwanted states. The scope of this paper is twofold. First we define and investigate the state constrained reachability analysis in an abstract mathematical setting. We define the problem for a general model of stochastic hybrid systems, and we show that the reach probabilities can be computed as solutions of an elliptic integro-differential equation. Moreover, we extend the problem by considering randomized targets. We approach this extension using stochastic dynamic programming. The second scope is to define a developmental setting in which the state constrained reachability analysis becomes more tractable. This framework is based on multilayer modelling of a stochastic system using hierarchical viewpoints. Viewpoints represent a method originated from software engineering, where a system is described by multiple models created from different perspectives. Using viewpoints, the reach probabilities can be easily computed, or even symbolically calculated. The reach probabilities computed in one viewpoint can be used in another viewpoint for improving the system control. We illustrate this technique for trajectory design.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||
Journal or Publication Title: | Nonlinear Analysis: Hybrid Systems | ||||
Publisher: | Elsevier | ||||
ISSN: | 1878-7460 | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Volume: | Vol.5 | ||||
Number: | No.2 | ||||
Page Range: | pp. 320-342 | ||||
DOI: | 10.1016/j.nahs.2010.10.008 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Description: | Special Issue related to IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’09) — IFAC ADHS’09 |
||||
Conference Paper Type: | Paper | ||||
Title of Event: | 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09) | ||||
Type of Event: | Conference | ||||
Location of Event: | Zaragoza, Spain | ||||
Date(s) of Event: | 16-18 Sep 2009 | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |