Abstractions of Stochastic Hybrid Systems

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

    Research output: Book/ReportReportProfessional

    73 Downloads (Pure)

    Abstract

    In this paper we define a stochastic bisimulation concept for a very general class of stochastic hybrid systems, which subsumes most classes of stochastic hybrid systems. The definition of this bisimulation builds on the concept of zigzag morphism defined for strong Markov processes. The main result is that this stochastic bisimulation 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 languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages29
    Publication statusPublished - 13 Mar 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTIT-08-24
    ISSN (Print)1381-3625

    Keywords

    • MSC-68Q85
    • Stochastic hybrid systems
    • Markov processes
    • Simulation morphism
    • Zigzag morphism
    • Bisimulation
    • Category theory

    Fingerprint Dive into the research topics of 'Abstractions of Stochastic Hybrid Systems'. Together they form a unique fingerprint.

    Cite this