Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems

Blom, H.A.P. and Bakker, G.J. and Krystul, J. (2007) Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems. In: 46th IEEE Conference on Decision and Control, 12-14 Dec 2007, New Orleans, USA.

Preview

PDF
264Kb

Abstract:	This paper studies probabilistic reachability analysis for large scale stochastic hybrid systems (SHS) as a problem of rare event estimation. In literature, advanced rare event estimation theory has recently been embedded within a stochastic analysis framework, and this has led to significant novel results in rare event estimation for a diffusion process using sequential MC simulation. This paper presents this rare event estimation theory directly in terms of probabilistic reachability analysis of an SHS, and develops novel theory which allows to extend the novel results for application to a large scale SHS where a very huge number of rare discrete modes may contribute significantly to the reach probability. Essentially, the approach taken is to introduce an aggregation of the discrete modes, and to develop importance sampling relative to the rare switching between the aggregation modes. The practical working of this approach is demonstrated for the safety verification of an advanced air traffic control example.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Stochastic Systems and Signals (SST)
Link to this item:	http://purl.utwente.nl/publications/64569
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 245914