Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1317666,
author = {Brázdil, Tomáš and Korenčiak, Ľuboš and Krčál, Jan and Novotný, Petr and Řehák, Vojtěch},
address = {BERLIN},
booktitle = {Quantitative Evaluation of Systems},
doi = {http://dx.doi.org/10.1007/978-3-319-22264-6_10},
editor = {Javier Campos, Boudewijn R. Haverkort},
keywords = {continuous-time Markov chains; synthesis; timeout},
howpublished = {tištěná verze "print"},
language = {eng},
location = {BERLIN},
isbn = {978-3-319-22263-9},
pages = {141-159},
publisher = {SPRINGER-VERLAG BERLIN},
title = {Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis},
year = {2015}
}
TY - JOUR
ID - 1317666
AU - Brázdil, Tomáš - Korenčiak, Ľuboš - Krčál, Jan - Novotný, Petr - Řehák, Vojtěch
PY - 2015
TI - Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
PB - SPRINGER-VERLAG BERLIN
CY - BERLIN
SN - 9783319222639
KW - continuous-time Markov chains
KW - synthesis
KW - timeout
N2 - We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specified by parameters, rather than concrete values. Our goal is to synthesize values of these parameters that, for a given cost function, minimise expected total cost incurred before reaching a given set of target states. We show that under mild assumptions, optimal values of parameters can be effectively approximated using translation to a Markov decision process (MDP) whose actions correspond to discretized values of these parameters. To this end we identify and overcome several interesting phenomena arising in systems with fixed delays.
ER -
BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort. \textit{Quantitative Evaluation of Systems}. BERLIN: SPRINGER-VERLAG BERLIN. p.~141-159. ISBN~978-3-319-22263-9. doi:10.1007/978-3-319-22264-6\_{}10. 2015.
|
