Organizace U  S Kód
hodnocení		Skupina
oborů		Body
výsledku		Body
upravené		Podíl VOBody VOBody VO
upravené		H14
Masarykova univerzita / Fakulta informatiky1516 D 441.26215.7360.88936.67813.988
Výsledky hodnocení dříve prezentovala speciální podoba stránek výskytů výsledků doplněná informacemi o hodnocení daného výskytu a výsledku. To zde supluji doplněním kopií stránek z rvvi.cz/riv z 18.12.2017 o relevantní údaje z dat H16. Najetí myší na kód či skupinu zobrazí vysvětlující text (u některých vyřazených není k dispozici). Čísla jsou oproti zdroji zaokrouhlena na 3 desetinná místa.

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis (2015)výskyt výsledku

Identifikační kódRIV/00216224:14330/15:00081201
Název v anglickém jazyceOptimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
DruhD - Článek ve sborníku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - Informatika
Rok uplatnění2015
Kód důvěrnosti údajůS - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů.
Počet výskytů výsledku2
Počet tvůrců celkem5
Počet domácích tvůrců4
Výčet všech uvedených jednotlivých tvůrcůTomáš Brázdil (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1762834)
Ľuboš Korenčiak (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 3651576)
Jan Krčál (státní příslušnost: CZ - Česká republika, vedidk: 9668780)
Petr Novotný (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2158507)
Vojtěch Řehák (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8986371)
Popis výsledku v anglickém jazyceWe 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 synthesizevalues 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.
Klíčová slova oddělená středníkemcontinuous-time Markov chains; synthesis; timeout
Stránka www, na které se nachází výsledek-
DOI výsledku10.1007/978-3-319-22264-6_10

Údaje o výsledku v závislosti na druhu výsledku

Název sborníkuQuantitative Evaluation of Systems
ISBN9783319222639
ISSN0302-9743
Počet stran výsledku19
Strana od-do141-159
Název nakladateleSPRINGER-VERLAG BERLIN
Místo vydáníBERLIN
Místo konání akceMadrid
Datum konání akce2015
Typ akce podle státní příslušnosti účastníkůWRD - Celosvětová
Kód UT WoS článku podle Web of Science000363574600012

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2016
SpecifikaceRIV/00216224:14330/15:00081201!RIV16-MSM-14330___
Datum poslední aktualizace výsledku24.05.2016
Kontrolní číslo191636370

Informace o dalších výskytech výsledku dodaného stejným předkladatelem

Dodáno GA ČR v roce 2016RIV/00216224:14330/15:00081201 v dodávce dat RIV16-GA0-14330___/01:1

Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl

Projekt podporovaný GA ČR v programu GAGA15-17564S - Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů (2015 - 2017)
Podpora / návaznostiSpecifický výzkum na vysokých školách, poskytovatel MŠMT