but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Jaroslav Rozman, Ph.D. (člen) Ing. Vladimír Veselý, 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: Uveďte příklad podmínek (nebo popis situace), kdy by se Vašem systému mohlo dojít ke kolizi vozidel. Jsou kolize vůbec možné za předpokladu korektního návrhu řídicích algoritmů? Uvažuje model latence jednotlivých senzorů, které by mohly ovlivnit výsledky (např. právě vést ke kolizím)? Čím jsou dány mírné "zlomy" křivek změn rychlosti vozidla v obr. 5.3 (srovnejte např. s obr. 3.7)?	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	Čurda, Vojtěch	cs
dc.contributor.referee	Bidlo, Michal	cs
dc.date.created	2020	cs
dc.description.abstract	Cílem této bakalářské práce je vytvoření modelu samočinně řízeného vozidla a jeho okolí. Práce nejprve nastiňuje téma samočinně řízených vozidel a problematiku modelování systémů. V práci je poté předveden návrh zmíněného modelu a popsána jeho realizace. K realizaci modelu byl zvolen nástroj UPPAAL Stratego, který slouží k modelování, validaci a verifikaci systémů reálného času. S pomocí tohoto nástroje je model implementován v podobě sítí časovaných automatů. Výsledkem je model samočinně řízeného vozidla, které se pohybuje na dálnici s libovolným počtem jízdních pruhů a dokáže reagovat jak na pohyb ostatních vozidel provozu, tak na dopravní značení určující maximální povolenou rychlost. Statistickou analýzou pomocí dotazů verifikačního jazyka zmíněného nástroje jsou poté ověřeny vlastnosti vytvořeného modelu. Model je testován jak nad konkrétními scénáři, tak nad náhodnými, kde je samočinně řízené vozidlo zasazeno do běžného provozu.	cs
dc.description.abstract	The purpose of this bachelor's thesis is to create a model of a self-driving vehicle, along with its surroundings. At first, the thesis outlines the vehicle automation and the system modeling problematics. The thesis then shows the design of said model, as well as its implementation. The model was implemented in UPPAAL Stratego - a tool that is used for modeling, validation and verification of real-time systems, in which the model is implemented as networks of timed automata. The result is a model of a self-driving vehicle, that can drive itself on a motorway with an arbitrary amount of traffic lanes. The self-driving vehicle reacts appropriately to the movement of other vehicles on the motorway and can change its speed according to speed limiting traffic signs. The behaviour of the model is then validated with the help of statistical analysis, which is done using the verification language embedded in the mentioned tool. The model is tested in specific scenarios, as well as random scenarios, where the self-driving vehicle is set into a regular traffic.	en
dc.description.mark	B	cs
dc.identifier.citation	ČURDA, V. Samočinné řízení vozidel [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129203	cs
dc.identifier.uri	http://hdl.handle.net/11012/191553
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	samočinně řízené vozidlo	cs
dc.subject	model	cs
dc.subject	modelování systémů	cs
dc.subject	simulace	cs
dc.subject	UPPAAL Stratego	cs
dc.subject	časované automaty	cs
dc.subject	statistická analýza	cs
dc.subject	self-driving vehicle	en
dc.subject	model	en
dc.subject	system modeling	en
dc.subject	simulation	en
dc.subject	UPPAAL Stratego	en
dc.subject	timed automata	en
dc.subject	statistical analysis	en
dc.title	Samočinné řízení vozidel	cs
dc.title.alternative	Autonomous Control of Cars	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2020-07-13	cs
dcterms.modified	2020-07-13-23:43:55	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129203	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:30:52	en
sync.item.modts	2025.01.15 13:35:32	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

Samočinné řízení vozidel

Files

Original bundle

Collections