Abstractions of Stochastic Hybrid Systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    40 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 languageEnglish
    Title of host publicationProceedings of the 44th IEEE Conference on Decision and Control 2005
    Place of PublicationLos Alamitos, CA
    PublisherIEEE
    Pages4712-4717
    Number of pages6
    ISBN (Print)0-7803-9568-9
    DOIs
    Publication statusPublished - Dec 2005
    Event44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 - Melia Seville, Seville, Spain
    Duration: 12 Dec 200515 Dec 2005
    Conference number: 44

    Publication series

    NameProceedings of the IEEE Conference on Decision and Control (CDC)
    PublisherIEEE
    Volume2005
    ISSN (Print)0191-2216

    Conference

    Conference44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005
    Abbreviated titleCDC-ECC
    CountrySpain
    CitySeville
    Period12/12/0515/12/05

    Fingerprint Dive into the research topics of 'Abstractions of Stochastic Hybrid Systems'. Together they form a unique fingerprint.

  • Cite this

    Bujorianu, M. L., Bujorianu, M. C., & Lygeros, J. (2005). Abstractions of Stochastic Hybrid Systems. In Proceedings of the 44th IEEE Conference on Decision and Control 2005 (pp. 4712-4717). (Proceedings of the IEEE Conference on Decision and Control (CDC); Vol. 2005). Los Alamitos, CA: IEEE. https://doi.org/10.1109/CDC.2005.1582906