but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) prof. Ing. Jan M. Honzík, CSc. (člen) Ing. Vojtěch Mrázek, Ph.D. (člen) Ing. Jaroslav Rozman, 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 ". Otázky u obhajoby: Jaký je prosím význam číselných parametrů (např. 1000, 200 a podobně) v dotazech jako 5.1 a 5.2? Můžete prosím trošku přiblížit význam obrázků v příloze A.1? V technické zprávě je o tomto pouze stručná zmínka v odstavci na začátku kapitoly 5.2. Komise, například: Jak se volí parkovací místo. Komise, například: Jak jste reprezentoval parkoviště a polohu vozidla?	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	Krucina, Marek	cs
dc.contributor.referee	Šimek, Václav	cs
dc.date.created	2021	cs
dc.description.abstract	Tato bakalářská práce se zabývá samočinně parkujícími vozidly a jejich chováním. Popisuje různé stupně automatizace parkování a s tím spojené technologie. Zabývá se kinematickým modelem vozidla a různými způsoby reprezentace pohybu. Shrnuje základní modelovací nástroje a věnuje se především nástroji UPPAAL SMC, ve kterém je následně vytvořen model samočinně parkujícího vozidla a jeho okolí, jehož implementace je v práci popsána. V závěru práce je vytvořený model podroben analýze pomocí metody statistického ověřování modelu a následně je zkoumán vliv hustoty provozu.	cs
dc.description.abstract	This bachelor thesis deals with self-parking vehicles and their behavior. It describes the levels of parking automation and related technologies. It describes the kinematic model of the vehicle and various ways of representing movement. It summarizes the basic modeling tools and focuses mainly on the UPPAAL SMC tool, in which a model of a self-parking vehicle and its surroundings is subsequently created. Its implementation is described in the work. At the end of the work, the created model is analyzed by using the method of statistical model checking of the model and then examines the effect of traffic density.	en
dc.description.mark	B	cs
dc.identifier.citation	KRUCINA, M. Modelování a analýza řízení samočinně parkujícího vozidla [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	136467	cs
dc.identifier.uri	http://hdl.handle.net/11012/199337
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	parkovací asistent	cs
dc.subject	automatické parkování	cs
dc.subject	samočinně parkující vozidlo	cs
dc.subject	parkovací senzory	cs
dc.subject	modelování	cs
dc.subject	časové automaty	cs
dc.subject	statistické ověřování modelu	cs
dc.subject	UPPAAL	cs
dc.subject	parking assistant	en
dc.subject	automatic parking	en
dc.subject	self-parking vehicle	en
dc.subject	parking sensors	en
dc.subject	modelling	en
dc.subject	stochastic timed automata	en
dc.subject	statistic model checking	en
dc.subject	UPPAAL	en
dc.title	Modelování a analýza řízení samočinně parkujícího vozidla	cs
dc.title.alternative	Modeling and Analysis of Self-Parking Vehicle Control	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2021-06-17	cs
dcterms.modified	2021-06-19-12:16:32	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	136467	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:35:09	en
sync.item.modts	2025.01.17 14:51:29	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

Modelování a analýza řízení samočinně parkujícího vozidla

Files

Original bundle

Collections