Abstractions of stochastic hybrid systems


Bujorianu, L.M. and Bujorianu, M. C. and Lygeros, J. (2005) Abstractions of stochastic hybrid systems. In: 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC, Seville, Spain (pp. pp. 4712-4717).

open access
Abstract:Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analysis. It is frequently used for air traffic control and power plants. Because of lack of complete information about the environment or unpredicted changes, the stochastic approach is a viable alternative. In this paper, different ways of introducing rechability under uncertainty are presented. A new concept of stochastic bisimulation is introduced and its connection with the reachability analysis is established. The work is mainly motivated by safety critical situations in air traffic control (like collision detection and avoidance) and formal tools are based on stochastic analysis.
Item Type:Conference or Workshop Item
Additional information:eemcs1584
Copyright:©2005 IEEE
Research Group:
Link to this item:http://purl.utwente.nl/publications/54788
Official URL:http://tinyurl.com/ct8omt
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 229277