Functional Abstraction of Stochastic Hybrid Systems

L.M. Bujorianu, Henk A.P. Blom, H. Hermanns

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

    Abstract

    The verification problem for stochastic hybrid systems is quite difficult. One method to verify these systems is stochastic reachability analysis. Concepts of abstractions for stochastic hybrid systems are needed to ease the stochastic reachability analysis. In this paper, we set up different ways to define abstractions for stochastic hybrid systems, which preserve the parameters of stochastic reach- ability. A new concept of stochastic bisimulation is introduced and its connection with equivalence of stochastic processes is established.
    Original languageUndefined
    Title of host publication2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006
    Place of PublicationOxford
    PublisherElsevier
    Pages160-165
    Number of pages6
    ISBN (Print)978-0-08-044613-4
    Publication statusPublished - Nov 2006
    Event2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006 - Alghero, Italy
    Duration: 7 Jun 20069 Jun 2006
    Conference number: 2

    Publication series

    Name
    PublisherElsevier
    Number2

    Conference

    Conference2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006
    Abbreviated titleADHS
    CountryItaly
    CityAlghero
    Period7/06/069/06/06

    Keywords

    • EWI-6978
    • IR-63446
    • METIS-238194

    Cite this

    Bujorianu, L. M., Blom, H. A. P., & Hermanns, H. (2006). Functional Abstraction of Stochastic Hybrid Systems. In 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006 (pp. 160-165). Oxford: Elsevier.