Compositionality for Markov reward chains with fast transitions

J. Markovski, A. Sokolova, N. Trcka, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
57 Downloads (Pure)

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 t-lumping and t-reduction. Discontinuous Markov reward chains are ‘limits’ of Markov reward chains with fast transitions, and have related notions of lumping and reduction. In total, four compositionality results are shown. In addition, the two parallel operators are related by a continuity property.
Original languageEnglish
Title of host publicationProceedings of the 4th European Performance Engineering Workshop on Formal Methods and Stochastic Models for Performance Evaluation (EPEW 2007) 27-28 September 2007, Berlin, Germany
EditorsK. Wolter
Place of PublicationBerlin, Germany
PublisherSpringer
Pages18-32
ISBN (Print)978-3-540-75210-3
DOIs
Publication statusPublished - 2007
Event4th European Performance Engineering Workshop (EPEW 2007), September 27-28, 2007, Berlin, Germany - Berlin, Germany
Duration: 27 Sep 200728 Sep 2007
http://www2.informatik.hu-berlin.de/rok/epew2007/

Publication series

NameLecture Notes in Computer Science
Volume4748
ISSN (Print)0302-9743

Workshop

Workshop4th European Performance Engineering Workshop (EPEW 2007), September 27-28, 2007, Berlin, Germany
Abbreviated titleEPEW 2007
CountryGermany
CityBerlin
Period27/09/0728/09/07
Internet address

Fingerprint Dive into the research topics of 'Compositionality for Markov reward chains with fast transitions'. Together they form a unique fingerprint.

  • Cite this

    Markovski, J., Sokolova, A., Trcka, N., & Vink, de, E. P. (2007). Compositionality for Markov reward chains with fast transitions. In K. Wolter (Ed.), Proceedings of the 4th European Performance Engineering Workshop on Formal Methods and Stochastic Models for Performance Evaluation (EPEW 2007) 27-28 September 2007, Berlin, Germany (pp. 18-32). (Lecture Notes in Computer Science; Vol. 4748). Springer. https://doi.org/10.1007/978-3-540-75211-0_3