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.

Grantor dc:publisher

Vysoké učení technické v Brně. Fakulta informačních technologií

Author dc:creator

• Gardáš, Milan

Advisor dc:contributor.advisor

• Strnadel, Josef

• autonomní vozidlo
• modelování
• statistické ověřování modelu
• stochastické časované automaty
• UPPAAL Stratego
• autonomous vehicle
• modelling
• statistical model checking
• stochastic timed automata

Statement dc:rights

• Standardní licenční smlouva - přístup k plnému textu bez omezení

Language dc:language.iso

cs

Dc Identifier Other

121870

OAI identifier oai:identifier

oai:dspace.vut.cz:11012/180616