Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem – Bc. Petr Slovák
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ý …moreAbstract:
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
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
ISO 690-compliant citation record:
SLOVÁK, Petr. \textit{Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem}. Online. Master's thesis. Brno: Masaryk University, Faculty of Informatics. 2011. Available from: https://theses.cz/id/1w7wec/.
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
Modeling of thermodynamics of quantum systems via path-integral Monte Carlo methods
Rajko Ćosić -
High Performance Programming Models for Monte Carlo Methods
Martin Golasowski -
Educational materials on Monte Carlo methods
Ján Ščigulinský -
Option pricing using Monte Carlo methods
Naďa Waldeckerová -
Oceňování opcí metodami Monte Carlo
Veronika Beznosková -
Monte Carlo method for evaluating cryptocurrency options
Diana Catherine Castro Ortegate -
Odhad stavu skrytého markovovského řetězce pomocí sekvenčních Monte Carlo metod
Ondřej Polášek -
Parameter Synthesis in Continuous-Time Stochastic Systems
Ľuboš Korenčiak