Bc. Petr Pilař

Master's thesis

Zrychlení syntézy parametrů pro stochastické modely

Accelerating parameter synthesis for stochastic models
Anotácia:
Výsledkem práce je efektivní implementace existujících technik syntézy parametrů pro stochastické systémy a o konkrétně pro continuous-time Markov Chains (CTMCs). Tyto techniky iterativně rozkládají parametrický prostor na jeho podprostory a aproximují funkci, která pro libovolné hodnoty parametrů z parametrického prostoru vrací pravděpodobnost, že je daná formule splněna v CTMC daným těmito hodnotami …viac
Abstract:
We provide an efficient implementation of existing parameter synthesis techniques for stochastic systems modelled as continuous-time Markov chains (CTMCs). These techniques iteratively decompose the parameter space into its subspaces and approximate the satisfaction function that for any parameter values from the parameter space returns the probability of the formula being satisfied in the CTMC given …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 25. 5. 2015

Obhajoba závěrečné práce

  • Obhajoba proběhla 22. 6. 2015
  • Vedúci: RNDr. Milan Češka, Ph.D.
  • Oponent: Mgr. Petr Bauch, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Theoretical Informatics

Práce na příbuzné téma