Lumping Markov chains with silent steps

J. Markovski, N. Trcka

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Samenvatting

A silent step in a dynamic system is a step that is considered unobservable and that can be eliminated. We define a Markov chain with silent steps as a class of Markov chains parameterized with a special real number t. When t goes to infinity silent steps become immediate, i.e. timeless, and therefore unobservable. To facilitate the elimination of these steps while preserving performance measures, we introduce a notion of lumping for the new setting. To justify the lumping we first extend the standard notion of ordinary lumping to the setting of discontinuous Markov chains, processes that can do infinitely many transitions in finite time. Then, we give a direct connection between the two lumpings for the case when t is infinite. The results of this paper can serve as a correctness criterion and a method for the elimination of silent (t ) steps in Markovian process algebras.
Originele taal-2Engels
TitelProceedings 3rd International Conference on the Quantitative Evaluation of Systems (QEST'06, Riverside CA, USA, September 11-14, 2006)
Plaats van productieLos Alamitos CA
UitgeverijIEEE Computer Society
Pagina's221-230
ISBN van geprinte versie0-7695-2665-9
DOI's
StatusGepubliceerd - 2006

Vingerafdruk Duik in de onderzoeksthema's van 'Lumping Markov chains with silent steps'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Markovski, J., & Trcka, N. (2006). Lumping Markov chains with silent steps. In Proceedings 3rd International Conference on the Quantitative Evaluation of Systems (QEST'06, Riverside CA, USA, September 11-14, 2006) (blz. 221-230). IEEE Computer Society. https://doi.org/10.1109/QEST.2006.28