but.committee	doc. Ing. Jan Kořenek, Ph.D. (předseda) prof. Ing. Martin Drahanský, Ph.D. (místopředseda) Ing. František Grézl, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Ing. Libor Polčák, 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 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. Otázky u obhajoby: Je použití nástroje vhodné pro danou aplikaci? Zkusil jste použít jiné existující heuristiky na řešení dané úlohy?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Strnadel, Josef	cs
dc.contributor.author	Hruška, Filip	cs
dc.contributor.referee	Hrubý, Martin	cs
dc.date.accessioned	2020-07-14T07:58:52Z
dc.date.available	2020-07-14T07:58:52Z
dc.date.created	2020	cs
dc.description.abstract	Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.	cs
dc.description.abstract	This thesis deals with finding control strategies for pre-selected problems from various areas using tool Uppaal Stratego. Four areas were selected, namely chess, a sliding puzzle, the tower of Hanoi, and a kinematic problem involving a package, a car, and an airplane. For the selected areas and problems, a set of models was designed and implemented. For the tower of Hanoi and the sliding field, it was possible to successfully evaluate relevant strategies, raising the probabilities of success to more than 90 %. For other models, a problem was found in the size of the state space and the strategies could not be evaluated because the maximum memory capacity that the tool uses was not sufficient. For the kinematic problem, after limiting and simplifying the model, the strategies were successfully evaluated, but for chess, this was not possible even after significant simplification.	en
dc.description.mark	C	cs
dc.identifier.citation	HRUŠKA, F. Hledání řídicích strategií pomocí UPPAAL STRATEGO [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129032	cs
dc.identifier.uri	http://hdl.handle.net/11012/191431
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	formální verifikace	cs
dc.subject	ověřování modelů	cs
dc.subject	časované automaty	cs
dc.subject	modální logika	cs
dc.subject	dotazovací jazyk	cs
dc.subject	Uppaal	cs
dc.subject	Uppaal SMC	cs
dc.subject	Uppaal Stratego	cs
dc.subject	řídicí strategie	cs
dc.subject	formal verification	en
dc.subject	model checking	en
dc.subject	timed automata	en
dc.subject	modal logic	en
dc.subject	query language	en
dc.subject	Uppaal	en
dc.subject	Uppaal SMC	en
dc.subject	Uppaal Stratego	en
dc.subject	control strategy	en
dc.title	Hledání řídicích strategií pomocí UPPAAL STRATEGO	cs
dc.title.alternative	Search of Control Strategies Using UPPAAL STRATEGO	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2020-07-08	cs
dcterms.modified	2020-07-13-23:41:08	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129032	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.22 22:04:19	en
sync.item.modts	2021.11.22 21:45:41	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Hledání řídicích strategií pomocí UPPAAL STRATEGO

Files

Original bundle

Collections