Compositional Abstraction of Stochastic Systems

Joost P. Katoen, Daniel Klink, M. Neuhausser

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

    25 Citations (Scopus)
    124 Downloads (Pure)


    We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive state-based abstraction technique with compositional modeling. Applying this principle to interactive Markov chains yields abstract models that combine interval Markov chains and modal transition systems in a natural and orthogonal way. We prove the correctness of our technique for parallel and symmetric composition and show that it yields lower bounds for minimal and upper bounds for maximal timed reachability probabilities.
    Original languageUndefined
    Title of host publicationFormal Modeling and Analysis of Timed Systems
    Place of PublicationBerlin
    Number of pages17
    ISBN (Print)978-3-642-04367-3
    Publication statusPublished - 3 Sep 2009

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743


    • METIS-264292
    • EWI-17105
    • IR-69313

    Cite this

    Katoen, J. P., Klink, D., & Neuhausser, M. (2009). Compositional Abstraction of Stochastic Systems. In Formal Modeling and Analysis of Timed Systems (pp. 195-211). [10.1007/978-3-642-04368-0_16] (Lecture Notes in Computer Science; Vol. 5813). Berlin: Springer.