Symmetry Reduction For Stochastic Hybrid Systems

L.M. Bujorianu, Joost P. Katoen

    Research output: Book/ReportReportProfessional

    2 Citations (Scopus)
    102 Downloads (Pure)


    This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first show that performability analysis of stochastic hybrid systems can be reduced to a stochastic reachability analysis (SRA). Then, we generalize the notion of symmetry reduction as recently proposed for probabilistic model checking, to continuous probabilistic systems. We provide a rigorous mathematical foundation for the reduction technique in the continuous case and also investigate its observability perspective. For stochastic hybrid systems, characterizations for this reduction technique are provided, in terms of their infinitesimal generator. Keywords: Markov models, symmetries, transformation group, abstractions, reachability, probabilistic model checking.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages25
    Publication statusPublished - 18 Mar 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    ISSN (Print)1381-3625


    • MSC-58D19
    • EWI-12118
    • IR-64686
    • METIS-250912

    Cite this