Zpět na vyhledávání

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
Abstract:
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ý …more
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 …more
 

Keywords

Monte Carlo methods stochastic systems continuous time verification
 
Language used: English
Date on which the thesis was submitted / produced: 10. 1. 2011
Identifier: https://is.muni.cz/th/v2m1l/

Thesis defence

  • Date of defence: 9. 2. 2011
  • Supervisor: doc. RNDr. Tomáš Brázdil, Ph.D.
  • Reader: doc. Mgr. Jan Obdržálek, PhD.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.
All theses