Abstractions of Stochastic Hybrid Systems

Manuela L. Bujorianu; Marius C. Bujorianu; John Lygeros

doi:10.1109/CDC.2005.1582906

Abstractions of Stochastic Hybrid Systems

Manuela L. Bujorianu, Marius C. Bujorianu, John Lygeros

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

71 Downloads (Pure)

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	https://doi.org/10.1109/CDC.2005.1582906
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

Access to Document

10.1109/CDC.2005.1582906

Cite this

@inproceedings{00b19ae434df47058b3b01bd25c64f57,

title = "Abstractions of Stochastic Hybrid Systems",

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.",

author = "Bujorianu, {Manuela L.} and Bujorianu, {Marius C.} and John Lygeros",

year = "2005",

month = dec,

doi = "10.1109/CDC.2005.1582906",

language = "English",

isbn = "0-7803-9568-9",

series = "Proceedings of the IEEE Conference on Decision and Control (CDC)",

publisher = "IEEE",

pages = "4712--4717",

booktitle = "Proceedings of the 44th IEEE Conference on Decision and Control 2005",

address = "United States",

note = "44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, CDC-ECC ; Conference date: 12-12-2005 Through 15-12-2005",

}

Bujorianu, ML, Bujorianu, MC & Lygeros, J 2005, Abstractions of Stochastic Hybrid Systems. in Proceedings of the 44th IEEE Conference on Decision and Control 2005. Proceedings of the IEEE Conference on Decision and Control (CDC), vol. 2005, IEEE, Los Alamitos, CA, pp. 4712-4717, 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1582906

Abstractions of Stochastic Hybrid Systems. / Bujorianu, Manuela L.; Bujorianu, Marius C.; Lygeros, John.
Proceedings of the 44th IEEE Conference on Decision and Control 2005. Los Alamitos, CA: IEEE, 2005. p. 4712-4717 (Proceedings of the IEEE Conference on Decision and Control (CDC); Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Abstractions of Stochastic Hybrid Systems

AU - Bujorianu, Manuela L.

AU - Bujorianu, Marius C.

AU - Lygeros, John

N1 - Conference code: 44

PY - 2005/12

Y1 - 2005/12

N2 - 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.

AB - 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.

U2 - 10.1109/CDC.2005.1582906

DO - 10.1109/CDC.2005.1582906

M3 - Conference contribution

SN - 0-7803-9568-9

T3 - Proceedings of the IEEE Conference on Decision and Control (CDC)

SP - 4712

EP - 4717

BT - Proceedings of the 44th IEEE Conference on Decision and Control 2005

PB - IEEE

CY - Los Alamitos, CA

T2 - 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005

Y2 - 12 December 2005 through 15 December 2005

ER -

Abstractions of Stochastic Hybrid Systems

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this