Thesis Details

Výpočetní model a analýza samočinně řízeného vozidla

Master's Thesis Student: Gardáš Milan Academic Year: 2018/2019 Supervisor: Strnadel Josef, Ing., Ph.D.
English title
Computational Model and Analysis of Self-Driven Vehicle
Language
Czech
Abstract

This thesis discusses autonomous vehicles. At first it contains describing development of these type of vehicles, how they work and discuss their future development. Further it describe tools which can be used for create model of autonomous vehicle. The thesis includes design, description of the development and testing of the model in the UPPAAL Stratego 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 behavior of an autonomous vehicle in situations which correspond to regular traffic.

Keywords

autonomous vehicle, modelling, statistical model checking, stochastic timed automata, UPPAAL Stratego

Department
Degree Programme
Information Technology, Field of Study Mathematical Methods in Information Technology
Files
Status
defended, grade C
Date
14 June 2019
Reviewer
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kreslíková Jitka, doc. RNDr., CSc. (DIFS FIT BUT), člen
Šlapal Josef, prof. RNDr., CSc. (DADM FME BUT), člen
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), člen
Citation
GARDÁŠ, Milan. Výpočetní model a analýza samočinně řízeného vozidla. Brno, 2019. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-14. Supervised by Strnadel Josef. Available from: https://www.fit.vut.cz/study/thesis/20627/
BibTeX
@mastersthesis{FITMT20627,
    author = "Milan Gard\'{a}\v{s}",
    type = "Master's thesis",
    title = "V\'{y}po\v{c}etn\'{i} model a anal\'{y}za samo\v{c}inn\v{e} \v{r}\'{i}zen\'{e}ho vozidla",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/20627/"
}
Back to top