Thesis Details
Vliv ABS na chování vozidla
The bachelor thesis discusses the Anti-lock braking system and its impact on braking distance of a vehicle. The thesis contains research of this problem, a summary of suitable modeling tools, solution draft, its implementation in the UPPAAL modeling tool and tests performed with the model. The tests examine the course of progression of basic quantities associated with braking (velocity, braking distance, slip, angular velocity, friction coefficient) in simulations of emergency braking with and without the use of ABS, and compare the results. They also verify probability of the vehicle stopping in different circumstances on given distance. Lastly, the model can simulate brake or sensor defect, and results of those simulations can be compared to simulations without defect.
ABS, braking system, braking force, braking distance, speed, simulation, modeling, timed automata, verification, model checking
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT), člen
Veselý Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
@bachelorsthesis{FITBT22815, author = "Jakub Zich", type = "Bachelor's thesis", title = "Vliv ABS na chov\'{a}n\'{i} vozidla", school = "Brno University of Technology, Faculty of Information Technology", year = 2020, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/22815/" }