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)


    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
    Number of pages6
    ISBN (Print)978-3-902661-00-5
    Publication statusPublished - 2008
    Event17th IFAC World Congress 2008 - Seoul, Korea, Republic of
    Duration: 5 Jul 200812 Jul 2008
    Conference number: 17

    Publication series



    Conference17th IFAC World Congress 2008
    CountryKorea, Republic of


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