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)
    52 Downloads (Pure)


    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
    Number of pages6
    ISBN (Print)0-7803-9568-9
    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)
    ISSN (Print)0191-2216


    Conference44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005
    Abbreviated titleCDC-ECC


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

    Cite this