Approximate Abstractions of Stochastic Hybrid Systems

L.M. Bujorianu, M.C. Bujorianu, H.A.P. Blom

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

    2 Citations (Scopus)
    68 Downloads (Pure)

    Abstract

    This paper considers the issue of developing approximate abstractions of stochastic hybrid systems. The stochastic continuous behaviour breaks many essential properties of hybrid automata. Our approach departs from the progress in stochastic reachability analysis and Markov chain approximations. For this purpose we have to introduce a new approximation scheme and look for a suitable metric. We construct an exponential timestepping approximation scheme for general Markov processes. This approximation scheme relies on the complex space of system trajectories involving a sensible choice of the metric. Fortunately, the Skorokhod metric is sly enough to overcome the problems.
    Original languageUndefined
    Title of host publicationProceedings of the 17th IFAC World Congress
    Place of PublicationUSA
    PublisherIFAC
    Pages8978-8983
    Number of pages6
    ISBN (Print)978-3-902661-00-5
    DOIs
    Publication statusPublished - 2008
    Event17th IFAC World Congress 2008 - Seoul, Korea, Republic of
    Duration: 5 Jul 200812 Jul 2008
    Conference number: 17

    Publication series

    Name
    PublisherIFAC
    Volume17,1

    Conference

    Conference17th IFAC World Congress 2008
    CountryKorea, Republic of
    CitySeoul
    Period5/07/0812/07/08

    Keywords

    • EWI-15269
    • stochastic hybrid systems
    • step processes
    • METIS-263804
    • Approximations
    • Model Checking
    • approximate abstraction
    • IR-65452

    Cite this

    Bujorianu, L. M., Bujorianu, M. C., & Blom, H. A. P. (2008). Approximate Abstractions of Stochastic Hybrid Systems. In Proceedings of the 17th IFAC World Congress (pp. 8978-8983). [10.3182/20080706-5-KR-1001.4232] USA: IFAC. https://doi.org/10.3182/20080706-5-KR-1001.4232