but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) doc. Ing. Michal Bidlo, Ph.D. (člen) RNDr. Vlasta Krupková, CSc. (člen) Ing. Zbyněk Křivka, 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: Je možné v případě náročnějších výpočtů, když například zahrneme do modelu chování systému ABS některá rozšíření uvedené v 6. kapitole, jejich průběh v sytému UPPAAL nějakým způsobem paralelizovat? Nabízí systém UPPAAL možnost exportu hodnot vypočtených během statistického model checkingu za účelem jejich vykreslení v externím nástroji typu GNU Plot a podobně?	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	Holec, Dominik	cs
dc.contributor.referee	Šimek, Václav	cs
dc.date.created	2018	cs
dc.description.abstract	Bakalárska práca sa zaoberá brzdovým systémom ABS a jeho vplyvom na brzdnú dráhu vozidla. Práca obsahuje návrh, popis vývoja a testovanie simulačného modelu vo verifikačnom prostredí UPPAAL. Výsledný model je systémom navzájom komunikujúcich časovaných automatov. Analýza vlastností modelu je založená na metóde štatistického overovania modelu. Model umožňuje skúmať najmä priebeh a dĺžku brzdnej dráhy. Ostatné premenné ovplyvňujúce chovanie modelu, ktoré je možné sledovať sú sklz, koeficient trenia, odpor vzduchu, brzdná sila a rýchlosť vozidla. Je možné taktiež zistiť pravdepodobnosť, že vozidlo za zvolených podmienok zastaví do určitého počtu metrov a skúmať vplyv systému ABS na tieto výsledky.	cs
dc.description.abstract	Bachelor thesis discusses the ABS braking system and its influence on the braking distance of the vehicle. The thesis includes design, description of the development and testing of the model in the UPPAAL verification environment. The resulting model is a system of intercommunicating timed automata. The analysis of the model properties is based on the method of statistical verification. The model allows us to investigate in particular the course and the length of the braking track. Other variables affecting the behavior of the model that can be tracked are skidding, friction coefficient, air resistance, braking force and vehicle speed. It is also possible to obtain the probability of the vehicle stopping within a certain distance under the chosen conditions and examine the impact of ABS on these results.	en
dc.description.mark	B	cs
dc.identifier.citation	HOLEC, D. Modelování a analýza vlivu ABS na chování vozidla [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018.	cs
dc.identifier.other	114683	cs
dc.identifier.uri	http://hdl.handle.net/11012/85193
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	ABS	cs
dc.subject	brzdová sústava	cs
dc.subject	brzdná dráha	cs
dc.subject	brzdná sila	cs
dc.subject	brzdový asistent	cs
dc.subject	rýchlosť	cs
dc.subject	vozidlo	cs
dc.subject	simulácia	cs
dc.subject	štatistické overovanie modelu	cs
dc.subject	stochastické časované automaty	cs
dc.subject	hybridný diskrétne spojitý model	cs
dc.subject	ABS	en
dc.subject	braking system	en
dc.subject	braking distance	en
dc.subject	braking force	en
dc.subject	brake assistant	en
dc.subject	velocity	en
dc.subject	vehicle	en
dc.subject	simulation	en
dc.subject	statistical model checking	en
dc.subject	stochastic timed automata	en
dc.subject	discrete continuous hybrid model	en
dc.title	Modelování a analýza vlivu ABS na chování vozidla	cs
dc.title.alternative	Modelling and Analysis of Impacts of ABS to Behavior of Vehicle	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2018-06-13	cs
dcterms.modified	2020-05-10-16:13:16	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114683	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:08:07	en
sync.item.modts	2025.01.15 18:36:36	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 vlivu ABS na chování vozidla

Files

Original bundle

Collections