Detail práce

Computer-Aided Synthesis of Probabilistic Models

Diplomová práce Student: Andriushchenko Roman Akademický rok: 2019/2020 Vedoucí: Češka Milan, doc. RNDr., Ph.D.
Název česky
Computer-Aided Synthesis of Probabilistic Models
Jazyk práce
anglický
Abstrakt

Předkládaná práce se zabývá problémem automatizované syntézy pravděpodobnostních systémů: máme-li rodinu Markovských řetězců, jak lze efektivně identifikovat ten který odpovídá zadané specifikaci? Takové rodiny často vznikají v nejrůznějších oblastech inženýrství při modelování systémů s neurčitostí a rozhodování i těch nejjednodušších syntézních otázek představuje NP-těžký problém. V dané práci my zkoumáme existující techniky založené na protipříklady řízené induktivní syntéze (counterexample-guided inductive synthesis, CEGIS) a na zjemňování abstrakce (counterexample-guided abstraction refinement, CEGAR) a navrhujeme novou integrovanou metodu pro pravděpodobnostní syntézu. Experimenty nad relevantními modely demonstrují, že navržená technika je nejenom srovnatelná s moderními metodami, ale ve většině případů dokáže výrazně překonat, někdy i o několik řádů, existující přístupy.

Klíčová slova

Markovovy modely, probabilistický model checking, syntéza pravděpodobnostních modelů

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Matematické metody v informačních technologiích
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
17. července 2020
Oponent
Lengál Ondřej, Ing., Ph.D.
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm výborně.

Otázky u obhajoby
  1. Jaká je motivace pro řešení problému syntézy topologie pravděpodobnostních systémů? Jaké jsou výhody/nevýhody oproti syntéze funkce distribuce pravděpodobnosti?
Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Kekely Lukáš, Ing., Ph.D. (UPSY FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Citace
ANDRIUSHCHENKO, Roman. Computer-Aided Synthesis of Probabilistic Models. Brno, 2020. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-17. Vedoucí práce Češka Milan. Dostupné z: https://www.fit.vut.cz/study/thesis/22997/
BibTeX 
@mastersthesis{FITMT22997,
    author = "Roman Andriushchenko",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Computer-Aided Synthesis of Probabilistic Models",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2020,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/22997/"
}

Závěrečné práce

Nahoru