id: 05841930
dt: j
an: 05841930
au: Markovski, J.; Sokolova, A.; Trčka, N.; de Vink, E.P.
ti: Compositionality for Markov reward chains with fast and silent transitions.
so: Perform. Eval. 66, No. 8, 435-452 (2009).
py: 2009
pu: Elsevier Science Publishers B. V. (North-Holland), Amsterdam
la: EN
cc: 
ut: Markov reward chains; fast transitions; silent transitions; parallel
    composition; aggregation
ci: 
li: doi:10.1016/j.peva.2009.01.001
ab: Summary: A parallel composition is defined for Markov reward chains with
    stochastic discontinuity, and with fast and silent transitions. 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 ‘limits’ of Markov reward
    chains with fast transitions, and have related notions of lumping and
    reduction. Markov reward chains with silent transitions are equivalence
    classes of Markov reward chains with fast transitions and come equipped
    with the lifted preorders $τ_{\sim}$-lumping and
    $τ_{\sim}$-reduction. In total, six compositionality results are
    presented. Additionally, the parallel operators involved are related by
    a continuity result.
rv: