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 D. Otázky u obhajoby: Zkoumal jste nějakým způsobem časovou a paměťovou složitost vámi navržených simulačních modelů? Tento aspekt by mohl být zajímavý obzvláště v případě, kdy se výrazněji zvýší počet vozidel nad vámi stanovený limit, tj. 4 vozidla v prostředí. Jaké úpravy ve vašem řešení by bylo nutno provést za předpokladu, že by bylo požadováno zvýšení počtu jízdních pruhů či náhodné umístění vozidla do libovolného pruhu na začátku simulace? Zkoušel jste na základě simulací optimalizovat parametry modelu?	cs
but.jazyk	slovenština (Slovak)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Strnadel, Josef	sk
dc.contributor.author	Smädo, Tomáš	sk
dc.contributor.referee	Šimek, Václav	sk
dc.date.created	2022	cs
dc.description.abstract	Cieľom tejto bakalárskej práce je vytvorenie modelu inteligentného adaptívneho tempomatu a prostredia, v ktorom môžeme jeho schopnosti demonštrovať. Práca najprv popisuje problematiku fungovania jednotlivých druhov tempomatov a senzorov s nimi spojených. Ďalej sa venuje modelovaniu systémov a realizačným prostriedkom s tým spojených. V práci je potom popísaný návrh takéhoto modelu a jeho implementácia. Pre implementáciu bol zvolený modelovací nástroj UPPAAL Stratego. Pomocou nástroja je model realizovaný ako sieť časovaných automatov. Výsledkom implementácie je model adaptívneho tempomatu s možnosťou zapínania jeho inteligentnej nadstavby a taktiež okolie, v ktorom je daný model testovaný. Na základe dotazov do verifikátora zvoleného nástroja je potom overená požadovaná funkcionalita tempomatu a porovnávaná jeho základná funkcionalita s inteligentou nadstavbou.	sk
dc.description.abstract	The aim of the bachelor`s thesis is to create a model of intelligent adaptive cruise control system and its surroundings, in which it´s possible to demonstrate its abilities. First, in this thesis we will describe the various types of cruise controls and their sensors. Then we will discuss system modeling fundamentals and utilities for creating such models. Later, in third chapter, we will describe our model design and its implementation. We selected UPPAAL Stratego modeling tool for our implementation. The model in it is created as a network of timed automata. The result of this implementation will be a model of a car with adaptive cruise control with the possibility of switching on this intelligent module and an environment, in which our model will be tested. The model will be tested in the verifier in various scenarios to compare the basic adaptive cruise control functionality with the inteligent cruise control functionality.	en
dc.description.mark	D	cs
dc.identifier.citation	SMÄDO, T. Řízení automobilů s inteligentním adaptivním tempomatem [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	145185	cs
dc.identifier.uri	http://hdl.handle.net/11012/207317
dc.language.iso	sk	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	inteligentný adaptívny tempomat	sk
dc.subject	UPPAAL Stratego	sk
dc.subject	model	sk
dc.subject	simulácia	sk
dc.subject	časované automaty	sk
dc.subject	štatistické overovanie modelu	sk
dc.subject	intelligent adaptive cruise control	en
dc.subject	UPPAAL Stratego	en
dc.subject	model	en
dc.subject	simulation	en
dc.subject	timed automata	en
dc.subject	statistical model checking	en
dc.title	Řízení automobilů s inteligentním adaptivním tempomatem	sk
dc.title.alternative	Intelligent Adaptive Cruise Control of Cars	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2022-06-13	cs
dcterms.modified	2022-06-20-10:23:05	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	145185	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:41:24	en
sync.item.modts	2025.01.17 09:42:58	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

Řízení automobilů s inteligentním adaptivním tempomatem

Files

Original bundle

Collections