Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

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

Základní údaje

Originální název

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

Autoři

BRÁZDIL, Tomáš (203 Česká republika, domácí), Ľuboš KORENČIAK (703 Slovensko, garant, domácí), Jan KRČÁL (203 Česká republika), Petr NOVOTNÝ (203 Česká republika, domácí) a Vojtěch ŘEHÁK (203 Česká republika, domácí)

Vydání

BERLIN, Quantitative Evaluation of Systems, od s. 141-159, 19 s. 2015

Nakladatel

SPRINGER-VERLAG BERLIN

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/15:00081201

Organizační jednotka

Fakulta informatiky

ISBN

978-3-319-22263-9

ISSN

DOI

http://dx.doi.org/10.1007/978-3-319-22264-6_10

UT WoS

000363574600012

Klíčová slova anglicky

continuous-time Markov chains; synthesis; timeout

Štítky

firank_B, formela-conference

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.

---

Návaznosti

GA15-17564S, projekt VaV	Název: Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů Investor: Grantová agentura ČR, Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
MUNI/A/1159/2014, interní kód MU	Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV. Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
MUNI/A/1206/2014, interní kód MU	Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU) Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty