Název:
Modelování a analýza vlivu ABS na chování vozidla
Překlad názvu:
Modelling and Analysis of Impacts of ABS to Behavior of Vehicle
Autoři:
Holec, Dominik ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2018
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
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.
Klíčová slova:
ABS; brzdná dráha; brzdná sila; brzdová sústava; brzdový asistent; hybridný diskrétne spojitý model; rýchlosť; simulácia; stochastické časované automaty; vozidlo; štatistické overovanie modelu; ABS; brake assistant; braking distance; braking force; braking system; discrete continuous hybrid model; simulation; statistical model checking; stochastic timed automata; vehicle; velocity
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/85193