Compositionality for Markov reward chains with fast transitions

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

doi:10.1007/978-3-540-75211-0_3

Compositionality for Markov reward chains with fast transitions

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

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

142 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 language	English
Title of host publication	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
Editors	K. Wolter
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	18-32
ISBN (Print)	978-3-540-75210-3
DOIs	https://doi.org/10.1007/978-3-540-75211-0_3
Publication status	Published - 2007
Event	4th European Performance Engineering Workshop (EPEW 2007), September 27-28, 2007, Berlin, Germany - Berlin, Germany Duration: 27 Sept 2007 → 28 Sept 2007 http://www2.informatik.hu-berlin.de/rok/epew2007/

Publication series

Name	Lecture Notes in Computer Science
Volume	4748
ISSN (Print)	0302-9743

Workshop

Workshop	4th European Performance Engineering Workshop (EPEW 2007), September 27-28, 2007, Berlin, Germany
Abbreviated title	EPEW 2007
Country/Territory	Germany
City	Berlin
Period	27/09/07 → 28/09/07
Internet address	http://www2.informatik.hu-berlin.de/rok/epew2007/

Access to Document

10.1007/978-3-540-75211-0_3

Metis211619Final published version, 643 KB

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

Markovski, J. ; Sokolova, A. ; Trcka, N. et al. / Compositionality for Markov reward chains with fast transitions. 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. editor / K. Wolter. Berlin, Germany : Springer, 2007. pp. 18-32 (Lecture Notes in Computer Science).

@inproceedings{eeaaffb5b57849e3a8568f63d6987980,

title = "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 t-lumping and t-reduction. Discontinuous Markov reward chains are {\textquoteleft}limits{\textquoteright} 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.",

author = "J. Markovski and A. Sokolova and N. Trcka and {Vink, de}, E.P.",

year = "2007",

doi = "10.1007/978-3-540-75211-0_3",

language = "English",

isbn = "978-3-540-75210-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "18--32",

editor = "K. Wolter",

booktitle = "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",

address = "Germany",

note = "4th European Performance Engineering Workshop (EPEW 2007), September 27-28, 2007, Berlin, Germany, EPEW 2007 ; Conference date: 27-09-2007 Through 28-09-2007",

url = "http://www2.informatik.hu-berlin.de/rok/epew2007/",

}

Markovski, J, Sokolova, A, Trcka, N & Vink, de, EP 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. Lecture Notes in Computer Science, vol. 4748, Springer, Berlin, Germany, pp. 18-32, 4th European Performance Engineering Workshop (EPEW 2007), September 27-28, 2007, Berlin, Germany, Berlin, Germany, 27/09/07. https://doi.org/10.1007/978-3-540-75211-0_3

Compositionality for Markov reward chains with fast transitions. / Markovski, J.; Sokolova, A.; Trcka, N. et al.
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. ed. / K. Wolter. Berlin, Germany: Springer, 2007. p. 18-32 (Lecture Notes in Computer Science; Vol. 4748).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compositionality for Markov reward chains with fast transitions

AU - Markovski, J.

AU - Sokolova, A.

AU - Trcka, N.

AU - Vink, de, E.P.

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-75211-0_3

DO - 10.1007/978-3-540-75211-0_3

M3 - Conference contribution

SN - 978-3-540-75210-3

T3 - Lecture Notes in Computer Science

SP - 18

EP - 32

BT - 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

A2 - Wolter, K.

PB - Springer

CY - Berlin, Germany

T2 - 4th European Performance Engineering Workshop (EPEW 2007), September 27-28, 2007, Berlin, Germany

Y2 - 27 September 2007 through 28 September 2007

ER -

Markovski J, Sokolova A, Trcka N, Vink, de EP. Compositionality for Markov reward chains with fast transitions. In Wolter K, editor, 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. Berlin, Germany: Springer. 2007. p. 18-32. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-75211-0_3

Compositionality for Markov reward chains with fast transitions

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this