Simulation for continuous-time Markov chains

J. Brim (Editor), Christel Baier, Joost P. Katoen, P. Jancar (Editor), H. Hermanns, M. Kretnsk (Editor), Boudewijn R.H.M. Haverkort, A. Kucera (Editor)

    Research output: Contribution to conferencePaper

    18 Citations (Scopus)
    21 Downloads (Pure)

    Abstract

    This paper presents a simulation preorder for continuous-time Markov chains (CTMCs). The simulation preorder is a conservative extension of a weak variant of probabilistic simulation on fully probabilistic systems, i.e., discrete-time Markov chains. The main result of the paper is that the simulation preorder preserves safety and liveness properties expressed in continuous stochastic logic (CSL), a stochastic branching-time temporal logic interpreted over CTMCs.
    Original languageUndefined
    Pages473-489
    Number of pages15
    DOIs
    Publication statusPublished - 2002
    Event13th International Conference on Concurrency Theory, CONCUR 2002 - Brno, Czech Republic
    Duration: 20 Aug 200223 Aug 2002
    Conference number: 13

    Conference

    Conference13th International Conference on Concurrency Theory, CONCUR 2002
    Abbreviated titleCONCUR
    CountryCzech Republic
    CityBrno
    Period20/08/0223/08/02

    Keywords

    • FMT-MC: MODEL CHECKING
    • FMT-PM: PROBABILISTIC METHODS
    • IR-63323
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • EWI-6522

    Cite this