Bisimulation for general stochastic hybrid systems

L.M. Bujorianu, John Lygeros, Marius C. Bujorianu

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

    42 Citations (Scopus)

    Abstract

    In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation builds on the ideas of Edalat and of Larsen and Skou and of Joyal, Nielsen and Winskel. The main result is that this bisimulation for GSHS is indeed an equivalence relation. The secondary result is that this bisimulation relation for the stochastic hybrid system models used in this paper implies the same kind of bisimulation for their continuous parts and respectively for their jumping structures.
    Original languageUndefined
    Title of host publicationHybrid systems: computation and control: HSCC
    EditorsM. Morari, L. Thiele
    Place of PublicationBerlin
    PublisherSpringer
    Pages198-214
    ISBN (Print)3-540-25108-8
    DOIs
    Publication statusPublished - 2005

    Publication series

    Name
    Volume3414
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • IR-54791
    • METIS-229280

    Cite this