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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 44th IEEE Conference on Decision and Control 2005 |
Place of Publication | Los Alamitos, CA |
Publisher | IEEE |
Pages | 4712-4717 |
Number of pages | 6 |
ISBN (Print) | 0-7803-9568-9 |
DOIs | |
Publication status | Published - Dec 2005 |
Event | 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 - Melia Seville, Seville, Spain Duration: 12 Dec 2005 → 15 Dec 2005 Conference number: 44 |
Publication series
Name | Proceedings of the IEEE Conference on Decision and Control (CDC) |
---|---|
Publisher | IEEE |
Volume | 2005 |
ISSN (Print) | 0191-2216 |
Conference
Conference | 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 |
---|---|
Abbreviated title | CDC-ECC |
Country/Territory | Spain |
City | Seville |
Period | 12/12/05 → 15/12/05 |