Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. František Grézl, Ph.D. (člen) Ing. Tomáš Martínek, 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 | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Češka, Milan | en |
| dc.contributor.author | Jarolím, Antonín | en |
| dc.contributor.referee | Kozák, David | en |
| dc.date.accessioned | 2023-07-17T08:04:15Z | |
| dc.date.available | 2023-07-17T08:04:15Z | |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Tato práce se zabývá syntézou konečných automatů pro částečně pozorovatelné Markovovské rozhodovací procesy s ohledem na vlastnosti v ustáleném stavu. Množina přípustných kontrolérů je prozkoumávána pomocí state-of-the-art syntézních metod. Metoda Abstraction-Refinement (AR) prozkoumává tuto množinu tím, že bere v úvahu rodiny kontrolérů najednou. Byl navržen nový algoritmus generující proti-příklady vzhledem ke vlastnostem v ustáleném stavu, pomocí principů metody counterexample-guided inductive synthesis. V experimentální části se porovnává metoda AR se základní one-by-one metodou. Ukáže se, že metoda AR je rychlejší o několik řádů ve většině případů, s výjimkou jednoho, kde nízké hodnoty přechodů snížily její rychlost. Není k dispozici žádný jiný nástroj, který umí provádět takovou syntézu, takže porovnání s jinými přístupy nebylo možné. | en |
| dc.description.abstract | This thesis considers the problem of synthesizing finite-state controllers (FSC) for partially observable Markov decision processes wrt. steady-state properties. The set of candidate FSCs (design-space) is explored using state-of-the-art synthesis methods. The Abstraction-Refinement (AR) method prunes the design-space by considering families of FSCs at once. The novel algorithm generating counter-examples regarding steady-state properties using principles of the counterexample-guided inductive synthesis method is proposed. The experimental evaluation compares the AR method with a one-by-one exploration. It shows that the AR method is faster by orders of magnitude in all but one example, where the low transition rates reduced the speed of the AR method. No other tool is capable of performing such synthesis, so a comparison with other approaches is not available. | cs |
| dc.description.mark | B | cs |
| dc.identifier.citation | JAROLÍM, A. Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 148615 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211180 | |
| 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 | částečně pozorovatelný Markovův rozhodovací proces | en |
| dc.subject | syntéza konečných automatů | en |
| dc.subject | vlastnosti ve stabilním stavu | en |
| dc.subject | rodina konečných automatů | en |
| dc.subject | abstrakce rodin Markovských řetězců | en |
| dc.subject | protipříklady | en |
| dc.subject | partially observable Markov decision process | cs |
| dc.subject | finite state controller synthesis | cs |
| dc.subject | steady-state properties | cs |
| dc.subject | family of finite state controllers | cs |
| dc.subject | abstraction of Markov chains | cs |
| dc.subject | counter-examples | cs |
| dc.title | Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu | en |
| dc.title.alternative | Inductive Controller Synthesis for POMDPs with Respect to Steady-State Properties | cs |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2023-06-15 | cs |
| dcterms.modified | 2023-06-15-09:38:31 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 148615 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2023.07.17 10:04:15 | en |
| sync.item.modts | 2023.07.17 09:40:36 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |