Simulation for continuous-time Markov chains

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.

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:	Formal Methods and Tools (FMT) Design and Analysis of Communication Systems (DACS)
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

Show download statistics for this publication

Repository Staff Only: item control page