Original title:
Řízení automobilů s inteligentním adaptivním tempomatem
Translated title:
Intelligent Adaptive Cruise Control of Cars
Authors:
Smädo, Tomáš ; Šimek, Václav (referee) ; Strnadel, Josef (advisor) Document type: Bachelor's theses
Year:
2022
Language:
slo Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[slo][eng]
Cieľom tejto bakalárskej práce je vytvorenie modelu inteligentného adaptívneho tempomatu a prostredia, v ktorom môžeme jeho schopnosti demonštrovať. Práca najprv popisuje problematiku fungovania jednotlivých druhov tempomatov a senzorov s nimi spojených. Ďalej sa venuje modelovaniu systémov a realizačným prostriedkom s tým spojených. V práci je potom popísaný návrh takéhoto modelu a jeho implementácia. Pre implementáciu bol zvolený modelovací nástroj UPPAAL Stratego. Pomocou nástroja je model realizovaný ako sieť časovaných automatov. Výsledkom implementácie je model adaptívneho tempomatu s možnosťou zapínania jeho inteligentnej nadstavby a taktiež okolie, v ktorom je daný model testovaný. Na základe dotazov do verifikátora zvoleného nástroja je potom overená požadovaná funkcionalita tempomatu a porovnávaná jeho základná funkcionalita s inteligentou nadstavbou.
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 intelligent module 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.
Keywords:
intelligent adaptive cruise control; model; simulation; statistical model checking; timed automata; UPPAAL Stratego
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/207317