Diplomová práce

Verification of probabilistic systems against quantified linear properties

Bc. Jana Tůmová, učo 98614
Anotace

Práce se zaměřuje na kvantitativní lineární vlastosti pravděpodobnostních systémů, které popisují požadované chování systémů zahrnující pravděpodobnostní omezení na jednotlivé běhy systému. Pravděpodobnostní systémy jsou modelovány pomocí Markovových rozhodovacích procesů (MDP). V práci ukazujeme, že s pomocí kvantifikovaných lineárních vlastností umíme rozlišit dvě MDP nerozlišitelné žádnou LTL, PCTL …více

Abstract

The thesis aims on quantified linear properties of probabilistic systems, which describe a desired behaviour of a system involving probabilistic constraints on individual paths in the system. The probabilistic systems are modelled as Markov Decision Processes (MDPs). We show, that with the use of quantified linear properties we are able to distinguish two MDPs undistiguishable by any LTL, PCTL or even …více

Klíčová slova
model checking Markov decision processes quantified linear properties Buchi automata automata-based approach product automaton
Zadání práce
The goal of the thesis is to design an extension to the standard automata-based approach to the verification of LTL properties to cover verification of probabilistic systems. The thesis is ment to be rather theoretical than practical, i.e. it should contain formal definitions of newly introduced objects, description of their usage, all necessary lemmas and theorems including proves and complexity analysis. The thesis may be accompanied with prototype implementation and preliminary experimental evaluation, though, this is not obligatory.
Administrativní informace
Práce zkontrolována:
6. 1. 2009 07:04, (IS automaticky)
Plný text práce
549,4 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
11. 2. 2009
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

prof. RNDr. Ivana Černá, CSc., učo 1419
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
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Jana Tůmová FI N-IN IN, učo 98614 jjupx/7
Tůmová, J.
4. 1. 2009
Složky
Soubory
Anotace anglicky annotation_english.txt
Tůmová, J.
4. 1. 2009
Anotace česky annotation.txt
Tůmová, J.
4. 1. 2009
Klíčová slova keywords.txt
Tůmová, J.
4. 1. 2009
pdivine-0.2.tar.gz
Tůmová, J.
4. 1. 2009
posudek_oponenta posudek_oponenta
Černá, I.
18. 1. 2009
thesis_tumova thesis2.pdf
Tůmová, J.
4. 1. 2009

  • Přidání souboru

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

  • Další operace se soubory

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

  • Pohled pro experty

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

  • Vyhledávání souborů

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

  • 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.