Další formáty:
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Ý a 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, 2015, s.~141-159. ISBN~978-3-319-22263-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-22264-6\_{}10.
|