Modelování a analýza vlivu ABS na chování vozidla
Loading...
Date
Authors
ORCID
Advisor
Referee
Mark
B
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
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.
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.
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.
Description
Keywords
ABS, brzdová sústava, brzdná dráha, brzdná sila, brzdový asistent, rýchlosť, vozidlo, simulácia, štatistické overovanie modelu, stochastické časované automaty, hybridný diskrétne spojitý model, ABS, braking system, braking distance, braking force, brake assistant, velocity, vehicle, simulation, statistical model checking, stochastic timed automata, discrete continuous hybrid model
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.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační technologie
Comittee
doc. Ing. Vladimír Janoušek, Ph.D. (předseda)
doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda)
Ing. Michal Bidlo, Ph.D. (člen)
RNDr. Vlasta Krupková, CSc. (člen)
Ing. Zbyněk Křivka, Ph.D. (člen)
Date of acceptance
2018-06-13
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ě?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení