Detail práce

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

Diplomová práce Student: Gardáš Milan Akademický rok: 2018/2019 Vedoucí: Strnadel Josef, Ing., Ph.D.
Název anglicky
Computational Model and Analysis of Self-Driven Vehicle
Jazyk práce
český
Abstrakt

Diplomová práce se zabývá samočinně řízenými vozidly. Nejprve obsahuje popis současného vývoje těchto vozidel, tedy z čeho se skládají, jak fungují, a je nastíněn jejich další možný vývoj. Dále se zde nachází popis možných nástrojů použitelných pro modelování. Práce obsahuje návrh, popis vývoje a testování simulačního modelu ve verifikačním prostředí UPPAAL Stratego. Výsledný model je systémem vzájemně komunikujících časovaných automatů. Analýza vlastností modelu je založená na metodě statistického ověřování modelu. Model umožňuje zkoumat chování autonomního vozidla v situacích, které odpovídají běžnému provozu.

Klíčová slova

autonomní vozidlo, modelování, statistické ověřování modelu, stochastické časované automaty, UPPAAL Stratego

Ústav
Studijní program
Informační technologie, obor Matematické metody v informačních technologiích
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
14. června 2019
Oponent
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm "C".

Otázky u obhajoby
  1. Pokud by v systému UPPAAL existoval systém modelující chování brzdového systému vozidla, bylo by možné jej začlenit do vámi vytvořeného řešení? Jaké změny by bylo třeba provést?
  2. Můžete prosím uvést nějaké další příklady prostředí či nástrojů pro modelování jízdních vlastností vozidel, ať už autonomních či tradičních s řidičem, a stručně je charakterizovat?
Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT), člen
Šlapal Josef, prof. RNDr., CSc. (UM OADM FSI VUT), člen
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), člen
Citace
GARDÁŠ, Milan. Výpočetní model a analýza samočinně řízeného vozidla. Brno, 2019. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-14. Vedoucí práce Strnadel Josef. Dostupné z: https://www.fit.vut.cz/study/thesis/20627/
BibTeX
@mastersthesis{FITMT20627,
    author = "Milan Gard\'{a}\v{s}",
    type = "Diplomov\'{a} pr\'{a}ce",
    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 = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/20627/"
}
Nahoru