ABS Impact to Behavior of Vehicle

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