Induktivní syntéza konečně stavových kontrolérů pro decentralizované POMDP
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) Ing. Martin Hrubý, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) Ing. Radek Hranický, Ph.D. (člen) Ing. Ondřej Lengál, 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 C. | cs |
| but.jazyk | čeština (Czech) | |
| 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 | cs |
| dc.contributor.author | Hranička, Vojtěch | cs |
| dc.contributor.referee | Lengál, Ondřej | cs |
| dc.date.created | 2024 | cs |
| dc.description.abstract | Markovovy rozhodovací procesy s částečným pozorováním~(POMDP) jsou významným stochastickým modelem pro sekvenční rozhodování s nejistotou. Decentralizované POMDP~(Dec-POMDP) tento model rozšiřují o možnost práce s více agenty. Tato práce se zaměřuje na rozšíření metody induktivní syntézy kontrolérů pro POMDP, tak aby podporovala práci s Dec-POMDP. Hlavním cílem syntézy je nalézt takové kontroléry pro každého z agentů, aby jejich společné chování nejlépe splňovalo požadované specifikace. V této práci se zaměřuji na strategie, které jsou reprezentovány pomocí konečně stavových kontrolérů~(FSC). Experimentální výsledky ukazují, že použití této metody pro návrh kontrolérů dosahuje srovnatelných výsledků se state-of-the-art přístupy. Navíc tento přístup jako první umožňuje práci v nekonečném horizontu bez použití discount faktoru. Díky tomu je tato metoda vhodnější pro řešení problémů, kde je důležité rozhodnutí provedeno až v pozdějším horizontu. | cs |
| dc.description.abstract | Markov decision processes with partial observation~(POMDP) is an important stochastic model for sequential decision making with uncertainty. Decentralized POMDPs~(Dec-POMDPs) extend this model to handle multiple agents. This work focuses on extending the inductive controller synthesis method for POMDPs to support work with Dec-POMDPs. The main goal of the synthesis is to find controllers for each agent such that their joint behavior best satisfies the desired specifications. In this paper, I focus on strategies that are represented using finite state controllers~(FSC). Experimental results show that using this method for controller design achieves comparable results to state-of-the-art approaches. Moreover, this approach is the first to allow working in infinite horizon without using a discount factor. This makes this method more suitable for solving problems where an important decision is made at a later point in time. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | HRANIČKA, V. Induktivní syntéza konečně stavových kontrolérů pro decentralizované POMDP [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024. | cs |
| dc.identifier.other | 156910 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/249012 | |
| dc.language.iso | cs | 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 | Markovovy modely | cs |
| dc.subject | automatizovaná syntéza | cs |
| dc.subject | decentralizace | cs |
| dc.subject | pravděpodobnostní modely | cs |
| dc.subject | model checking | cs |
| dc.subject | částečné pozorování | cs |
| dc.subject | formální metody | cs |
| dc.subject | Markov models | en |
| dc.subject | automated synthesis | en |
| dc.subject | decentralization | en |
| dc.subject | probabilistic models | en |
| dc.subject | model checking | en |
| dc.subject | partial observability | en |
| dc.subject | formal methods | en |
| dc.title | Induktivní syntéza konečně stavových kontrolérů pro decentralizované POMDP | cs |
| dc.title.alternative | Inductive Synthesis of Finite State Controllers for Decentralized POMDPs | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2024-06-20 | cs |
| dcterms.modified | 2024-06-20-15:34:31 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 156910 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:38:33 | en |
| sync.item.modts | 2025.01.15 16:02:26 | en |
| thesis.discipline | Matematické metody | 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 |