Compositionality for Markov Reward Chains with Fast Transitions

Abstract

A parallel composition is defined for Markov reward chains with fast transitions and for discontinuous Markov reward chains. In this setting, compositionality with respect to the relevant aggregation preorders is established. For Markov reward chains with fast transitions the preorders are τ -lumping and τ -reduction. Discontinuous Markov reward chains are… (More)
DOI: 10.1007/978-3-540-75211-0_3

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Markovski2007CompositionalityFM, title={Compositionality for Markov Reward Chains with Fast Transitions}, author={Jasen Markovski and Ana Sokolova and Nikola Trcka and Erik P. de Vink}, booktitle={EPEW}, year={2007} }