A statistical inference method for the stochastic reachability analysis

L.M. Bujorianu

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

    4 Citations (Scopus)
    65 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 languageUndefined
    Title of host publicationDecision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
    Place of PublicationLos Alamitos
    PublisherIEEE
    Pages8088-8093
    Number of pages6
    ISBN (Print)0-7803-9567-0
    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

    Name
    PublisherIEEE

    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

    Keywords

    • EWI-1581
    • IR-54784
    • METIS-229273
    • MSC-68U99

    Cite this

    Bujorianu, L. M. (2005). A statistical inference method for the stochastic reachability analysis. In Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on (pp. 8088-8093). Los Alamitos: IEEE. https://doi.org/10.1109/CDC.2005.1583471