Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

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

Bc. Petr Slovák, učo 172427
Anotace

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ý …více

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 …více

Klíčová slova
Monte Carlo methods stochastic systems continuous time verification
Zadání práce
Cílem práce je prostudovat použitelnost metody Monte Carlo ve verifikaci stochastických systémů se spojitým časem. Práce by nejprve měla poskytnout obecný přehled oblasti. Poté by měla studovat základní teoretické otázky spojené s použitím metody Monte Carlo pro verifikaci automatové specifikace Markovových procesů (odhady na délku simulace, výpočtová složitost simulace, apod.). Dosažené teoretické výsledky by měly být ilustrovány na vhodně zvolených příkladech.
Administrativní informace
Práce zkontrolována:
11. 1. 2011 10:13, doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074
Plný text práce
764,5 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
9. 2. 2011
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074
KSUZD FI MU

Oponent

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

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

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.