Detail práce
Výpočetní model a analýza samočinně řízeného vozidla
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.
autonomní vozidlo, modelování, statistické ověřování modelu, stochastické časované automaty, UPPAAL Stratego
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".
- 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?
- 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?
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
@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/" }