Simulation for continuous-time Markov chains


Share/Save/Bookmark

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Haverkort, Boudewijn (2002) Simulation for continuous-time Markov chains. In: 13th International Conference on Concurrency Theory, CONCUR 2002, August 20-23, 2002, Brno, Czech Republic.

[img]PDF
Restricted to UT campus only
: Request a copy
295Kb
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.
Item Type:Conference or Workshop Item
Copyright:© 2002 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63323
Official URL:http://dx.doi.org/10.1007/3-540-45694-5_23
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page