Thesis Details

Řízení automobilů s inteligentním adaptivním tempomatem

Bachelor's Thesis Student: Smädo Tomáš Academic Year: 2021/2022 Supervisor: Strnadel Josef, Ing., Ph.D.

The aim of the bachelor`s thesis is to create a model of intelligent adaptive cruise control system and its surroundings, in which it´s possible to demonstrate its abilities. First, in this thesis we will describe the various types of cruise controls and their sensors. Then we will discuss system modeling fundamentals and utilities for creating such models. Later, in third chapter, we will describe our model design and its implementation. We selected UPPAAL Stratego modeling tool for our implementation. The model in it is created as a network of timed automata. The result of this implementation will be a model of a car with adaptive cruise control with the possibility of switching on this intelligentmodule and an environment, in which our model will be tested. The model will be tested in the verifier in various scenarios to compare the basic adaptive cruise control functionality with the inteligent cruise control functionality.


intelligent adaptive cruise control, UPPAAL Stratego, model, simulation, timed automata, statistical model checking

Degree Programme
defended, grade D
13 June 2022
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Mrázek Vojtěch, Ing., Ph.D. (DCSY FIT BUT), člen
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT), člen
SMÄDO, Tomáš. Řízení automobilů s inteligentním adaptivním tempomatem. Brno, 2022. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2022-06-13. Supervised by Strnadel Josef. Available from:
    author = "Tom\'{a}\v{s} Sm{\"{a}}do",
    type = "Bachelor's thesis",
    title = "\v{R}\'{i}zen\'{i} automobil\r{u} s inteligentn\'{i}m adaptivn\'{i}m tempomatem",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2022,
    location = "Brno, CZ",
    language = "slovak",
    url = ""
Back to top