but.committee	doc. Ing. František Zbořil, Ph.D. (předseda) doc. RNDr. Milan Češka, Ph.D. (místopředseda) Ing. Radim Kocman, Ph.D. (člen) Ing. Jiří Matoušek, Ph.D. (člen) Ing. Tomáš Milet, Ph.D. (člen)	cs
but.defence	Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky oponenta a na další otázky přítomných, např. ohledně srovnání dosažených výsledků s obdobnými řešeními. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm C - dobře. Otázky u obhajoby: Jak těžké je pro uživatele přidat si do systému novou restrikci? Šlo by její přidaní řešit lépe než dodáním kódu v Pythonu? Podařilo se v experimentech pro některý problém dosáhnout kontroleru s lepší kvalitou než bylo dosud nejlepší známé řešení?	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	Gyselová, Julie	en
dc.contributor.referee	Lengál, Ondřej	en
dc.date.created	2022	cs
dc.description.abstract	Systémy se stavovou neurčitostí lze modelovat pomocí Markovských rozhodovacích procesů s částečným pozorováním. Agent, který se v takovém systému pohybuje, má o své pozici v rámci systému pouze omezené informace (pozorování). Konečně-stavový kontroler umí přiřadit vhodnou akci k aktuálnímu pozorování. Díky tomu může agent se systémem lépe interagovat a dobrat se svého cíle. Nástroj PAYNT umí najít nejkvalitnější kontroler mezi všemi možnými kontrolery dané velikosti pro daný model. V této práci představím způsob, jakým lze omezit designový prostor, ve kterém PAYNT kontrolery hledá, tak, aby zakódovával pouze určitou podmnožinu kontrolerů, která lze vyhodnotit v menším čase. Pokud je použita vhodná restrikce, kvalita kontrolerů není ovlivněna. Dále implementuji metodu, která postupně aplikuje tyto restrikce na designový prostor a umožňuje syntetizační metodě v PAYNTu nepřetržitě hledat kontrolery větších velikostí a lepší kvality.	en
dc.description.abstract	Partially observable Markov decision processes offer a way to model systems with state uncertainty. An agent has limited information (observation) about its current location in the system. A finite-state controller that translates this information to actions that the agent can perform helps the agent interact with the model and achieve its goals. PAYNT is a tool that constructs a design space that contains all possible finite-state controllers of a given size for a POMDP and then tries to find the best FSC among those. In this thesis, I introduce a way to restrict the design space to encode only a subset of the controllers so that PAYNT can find the best controller in a much shorter time. If the used restriction is suitable, the controller quality is not affected. I also implement a method that can make the synthesis method implemented in PAYNT continuously find FSCs of increasing sizes and improving qualities by gradually applying restrictions from a predefined set.	cs
dc.description.mark	C	cs
dc.identifier.citation	GYSELOVÁ, J. Řízení autonomních systémů založené na Markovských modelech s částečným pozorováním [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	146341	cs
dc.identifier.uri	http://hdl.handle.net/11012/208256
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é rozhodovací procesy s částečným pozorováním	en
dc.subject	syntéza konečně-stavových kontrolerů	en
dc.subject	Partially observable Markov decision processes	cs
dc.subject	finite-state controller synthesis	cs
dc.title	Řízení autonomních systémů založené na Markovských modelech s částečným pozorováním	en
dc.title.alternative	Controlling Autonomous Systems Based on Partially Observable Markov Decision Processes	cs
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2022-08-24	cs
dcterms.modified	2022-09-05-14:16:52	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	146341	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:44:32	en
sync.item.modts	2025.01.17 10:02:23	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

Řízení autonomních systémů založené na Markovských modelech s částečným pozorováním

Files

Original bundle

Collections