Využití protipříkladů v syntéze kontrolerů pro POMDP
| but.committee | doc. RNDr. Pavel Smrž, Ph.D. (předseda) doc. Ing. František Zbořil, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Libor Polčák, Ph.D. (člen) Ing. Matěj Grégr, Ph.D. (člen) | cs |
| but.defence | 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 B. | cs |
| but.jazyk | angličtina (English) | |
| but.program | Informační technologie a umělá inteligence | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Češka, Milan | en |
| dc.contributor.author | Frejlach, Jakub | en |
| dc.contributor.referee | Síč, Juraj | en |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Tato práce se zabývá částečně pozorovatelnými Markovskými rozhodovacími procesy \linebreak (POMDP), významnými stochastickými modely pro rozhodování za nejistoty a částečné pozorovatelnosti. POMDP lze aplikovat od navigace robotů až po samořídící vozidla. Nerozhodnutelný problém řízení POMDP vedl k různým přístupům, včetně konečných stavových kontrolerů (FSC) založených na pozorování a udržování histore v paměti. Identifikaci malých a ověřitelných FSC lze redukovat na syntézu Markovských řetězců. Tato práce se zaměřuje na induktivní syntézu řízenou protipříklady (CEGIS) implementovanou v rámci programu PAYNT a zkoumá využití Markovských rozhodovacích procesů jako protipříkladů. Je nastíněna nová hladová metoda pro konstrukci protipříkladů, která je implementována v programu PAYNT, která v některých případech vykazuje zlepšení oproti stávající metodě. | en |
| dc.description.abstract | This thesis examines partially observable Markov decision processes (POMDPs), a prominent stochastic model for decision-making under uncertainty and partial observability. POMDPs have diverse applications, from robot navigation to self-driving vehicles. The undecidable control problem of POMDPs has led to various approaches, including finite-state controllers (FSCs) based on observations and history. Identifying small and verifiable FSCs reduces the synthesis of Markov chains. This thesis focuses on counterexample-guided inductive synthesis (CEGIS) within the PAYNT program, exploring the use of Markov decision processes as counterexamples. A new greedy method for constructing counterexamples is outlined and implemented in PAYNT, showing improvements in some cases compared to the existing method. | cs |
| dc.description.mark | B | cs |
| dc.identifier.citation | FREJLACH, J. Využití protipříkladů v syntéze kontrolerů pro POMDP [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 147446 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/213214 | |
| dc.language.iso | en | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Markovské modely | en |
| dc.subject | částečné pozorovatelné Markovské rozhodovací procesy | en |
| dc.subject | syntéza konečně-stavových kontrolerů | en |
| dc.subject | pravděpodobnostní model checking | en |
| dc.subject | protipříklady řízená induktivní syntéza | en |
| dc.subject | Markov models | cs |
| dc.subject | partially observable Markov decision processes | cs |
| dc.subject | finite-state controler synthesis | cs |
| dc.subject | probabilistic model checking | cs |
| dc.subject | counterexample guided inductive synthesis | cs |
| dc.title | Využití protipříkladů v syntéze kontrolerů pro POMDP | en |
| dc.title.alternative | Using Counter-Examples in Controller Synthesis for POMDPs | cs |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2023-06-19 | cs |
| dcterms.modified | 2023-06-19-09:56:20 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 147446 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:37:35 | en |
| sync.item.modts | 2025.01.15 19:51:21 | en |
| thesis.discipline | Vývoj aplikací | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |