Bc. Petr Slovák

Master's thesis

Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem

Monte Carlo methods in verification of continuous time stochastic systems
Anotácia:
Diplomová práce se zabývá analýzou možností využití metod Monte Carlo ve verifikaci systémů se spojitým časem. Po přehledu základních technik Monte Carlo analýzy se práce zaměřuje na konkrétní formalismus, "DTA-observed" systémy, který byl nedávno vytvořen skupinou prof. Kučery. Zejména analyzujeme možnosti použití Monte Carlo pro výpočet dosažitelnosti a stacionární distribuce. Práce přináší jak teoretický …viac
Abstract:
This thesis gives an initial analysis of the possibilities offered by Monte Carlo techniques in verification of continuous-time stochastic systems. After a general overview of the core ideas in Monte Carlo, we focus on a new formalism called DTA-observed systems, which was presented in a recent paper by our group. In particular, we analyse how Monte Carlo methods can be utilized in reachability problems …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 10. 1. 2011

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

  • Obhajoba proběhla 9. 2. 2011
  • Vedúci: doc. RNDr. Tomáš Brázdil, Ph.D.
  • Oponent: doc. Mgr. Jan Obdržálek, PhD.

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 / Parallel and Distributed Systems