Performance analysis of chi models using discrete-time probabilistic reward graphs

N. Trcka; S. Georgievska; J. Markovski; S. Andova; E.P. Vink, de

doi:10.1109/WODES.2008.4605931

Performance analysis of chi models using discrete-time probabilistic reward graphs

N. Trcka, S. Georgievska, J. Markovski, S. Andova, E.P. Vink, de

Formal System Analysis

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

2 Citations (Scopus)

Abstract

We propose the model of discrete-time probabilistic reward graphs (DTPRGs) for performance analysis of systems exhibiting discrete deterministic time delays and probabilistic behavior, via their interpretation as discrete-time Markov reward chains, full-fledged platform for qualitative and quantitative analysis of timed systems based on the modeling language chi. The extension proposed in this paper is based on timed branching bisimulation reduction followed by a tailored inclusion of probabilities and rewards. The approach is applied in an industrial case study of a turntable drill. The resulting performance measures are shown to be comparable to those obtained by existent methods of the chi environment, viz. simulation and continuous-time Markovian analysis.

Original language	English
Title of host publication	Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008)
Publisher	Institute of Electrical and Electronics Engineers
Pages	113-118
ISBN (Print)	978-1-4244-2592-1
DOIs	https://doi.org/10.1109/WODES.2008.4605931
Publication status	Published - 2008

Access to Document

10.1109/WODES.2008.4605931

Cite this

Trcka, N., Georgievska, S., Markovski, J., Andova, S., & Vink, de, E. P. (2008). Performance analysis of chi models using discrete-time probabilistic reward graphs. In Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008) (pp. 113-118). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/WODES.2008.4605931

@inproceedings{3a396c114d0a4a7786522690403b25da,

title = "Performance analysis of chi models using discrete-time probabilistic reward graphs",

abstract = "We propose the model of discrete-time probabilistic reward graphs (DTPRGs) for performance analysis of systems exhibiting discrete deterministic time delays and probabilistic behavior, via their interpretation as discrete-time Markov reward chains, full-fledged platform for qualitative and quantitative analysis of timed systems based on the modeling language chi. The extension proposed in this paper is based on timed branching bisimulation reduction followed by a tailored inclusion of probabilities and rewards. The approach is applied in an industrial case study of a turntable drill. The resulting performance measures are shown to be comparable to those obtained by existent methods of the chi environment, viz. simulation and continuous-time Markovian analysis.",

author = "N. Trcka and S. Georgievska and J. Markovski and S. Andova and {Vink, de}, E.P.",

year = "2008",

doi = "10.1109/WODES.2008.4605931",

language = "English",

isbn = "978-1-4244-2592-1",

pages = "113--118",

booktitle = "Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, G{\"o}teborg, Sweden, May 28-30, 2008)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Trcka, N, Georgievska, S, Markovski, J, Andova, S & Vink, de, EP 2008, Performance analysis of chi models using discrete-time probabilistic reward graphs. in Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008). Institute of Electrical and Electronics Engineers, pp. 113-118. https://doi.org/10.1109/WODES.2008.4605931

Performance analysis of chi models using discrete-time probabilistic reward graphs. / Trcka, N.; Georgievska, S.; Markovski, J. et al.
Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008). Institute of Electrical and Electronics Engineers, 2008. p. 113-118.

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

TY - GEN

T1 - Performance analysis of chi models using discrete-time probabilistic reward graphs

AU - Trcka, N.

AU - Georgievska, S.

AU - Markovski, J.

AU - Andova, S.

AU - Vink, de, E.P.

PY - 2008

Y1 - 2008

N2 - We propose the model of discrete-time probabilistic reward graphs (DTPRGs) for performance analysis of systems exhibiting discrete deterministic time delays and probabilistic behavior, via their interpretation as discrete-time Markov reward chains, full-fledged platform for qualitative and quantitative analysis of timed systems based on the modeling language chi. The extension proposed in this paper is based on timed branching bisimulation reduction followed by a tailored inclusion of probabilities and rewards. The approach is applied in an industrial case study of a turntable drill. The resulting performance measures are shown to be comparable to those obtained by existent methods of the chi environment, viz. simulation and continuous-time Markovian analysis.

AB - We propose the model of discrete-time probabilistic reward graphs (DTPRGs) for performance analysis of systems exhibiting discrete deterministic time delays and probabilistic behavior, via their interpretation as discrete-time Markov reward chains, full-fledged platform for qualitative and quantitative analysis of timed systems based on the modeling language chi. The extension proposed in this paper is based on timed branching bisimulation reduction followed by a tailored inclusion of probabilities and rewards. The approach is applied in an industrial case study of a turntable drill. The resulting performance measures are shown to be comparable to those obtained by existent methods of the chi environment, viz. simulation and continuous-time Markovian analysis.

U2 - 10.1109/WODES.2008.4605931

DO - 10.1109/WODES.2008.4605931

M3 - Conference contribution

SN - 978-1-4244-2592-1

SP - 113

EP - 118

BT - Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008)

PB - Institute of Electrical and Electronics Engineers

ER -

Performance analysis of chi models using discrete-time probabilistic reward graphs

Abstract

Access to Document

Fingerprint

Cite this