|
|
Samočinné řízení vozidel
Čurda, Vojtěch ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu samočinně řízeného vozidla a jeho okolí. Práce nejprve nastiňuje téma samočinně řízených vozidel a problematiku modelování systémů. V práci je poté předveden návrh zmíněného modelu a popsána jeho realizace. K realizaci modelu byl zvolen nástroj UPPAAL Stratego, který slouží k modelování, validaci a verifikaci systémů reálného času. S pomocí tohoto nástroje je model implementován v podobě sítí časovaných automatů. Výsledkem je model samočinně řízeného vozidla, které se pohybuje na dálnici s libovolným počtem jízdních pruhů a dokáže reagovat jak na pohyb ostatních vozidel provozu, tak na dopravní značení určující maximální povolenou rychlost. Statistickou analýzou pomocí dotazů verifikačního jazyka zmíněného nástroje jsou poté ověřeny vlastnosti vytvořeného modelu. Model je testován jak nad konkrétními scénáři, tak nad náhodnými, kde je samočinně řízené vozidlo zasazeno do běžného provozu.
|
|
|
Výpočetní model řízení a chování samočinně řízeného vozidla
Kužela, Michal ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této práce je zdokumentovat informace týkající se autonomních vozidel a na jejich základě vytvořit a implementovat model autonomního vozidla. Následně provést analýzu chování tohoto modelu za různých podmínek. Zvolený problém jsem řešil pomocí jazyku JavaScript, frameworku Electron a Node.JS. Model se skládá ze dvou částí. První část modelu je samotné vozidlo reprezentované především fyzikálními vzorci. Druhá část modelu jsou senzory detekující překážky za pomoci algoritmu založeného na průsečíku přímek. Okolí modelovaného systému vozidla má stochastické parametry. Vytvořené řešení umožňuje simulovat chování modelu. Probíhající simulaci je možné vizualizovat a také analyzovat výsledky za užití pomocného nástroje vytvořeného k tomuto účelu. Na základě získaných dat lze porovnat chování modelu za různého počasí a stanovených rychlostních omezení.
|
|
|
Samočinné řízení vozidel
Čurda, Vojtěch ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této bakalářské práce je vytvoření modelu samočinně řízeného vozidla a jeho okolí. Práce nejprve nastiňuje téma samočinně řízených vozidel a problematiku modelování systémů. V práci je poté předveden návrh zmíněného modelu a popsána jeho realizace. K realizaci modelu byl zvolen nástroj UPPAAL Stratego, který slouží k modelování, validaci a verifikaci systémů reálného času. S pomocí tohoto nástroje je model implementován v podobě sítí časovaných automatů. Výsledkem je model samočinně řízeného vozidla, které se pohybuje na dálnici s libovolným počtem jízdních pruhů a dokáže reagovat jak na pohyb ostatních vozidel provozu, tak na dopravní značení určující maximální povolenou rychlost. Statistickou analýzou pomocí dotazů verifikačního jazyka zmíněného nástroje jsou poté ověřeny vlastnosti vytvořeného modelu. Model je testován jak nad konkrétními scénáři, tak nad náhodnými, kde je samočinně řízené vozidlo zasazeno do běžného provozu.
|
|
|
Výpočetní model řízení a chování samočinně řízeného vozidla
Kužela, Michal ; Bidlo, Michal (oponent) ; Strnadel, Josef (vedoucí práce)
Cílem této práce je zdokumentovat informace týkající se autonomních vozidel a na jejich základě vytvořit a implementovat model autonomního vozidla. Následně provést analýzu chování tohoto modelu za různých podmínek. Zvolený problém jsem řešil pomocí jazyku JavaScript, frameworku Electron a Node.JS. Model se skládá ze dvou částí. První část modelu je samotné vozidlo reprezentované především fyzikálními vzorci. Druhá část modelu jsou senzory detekující překážky za pomoci algoritmu založeného na průsečíku přímek. Okolí modelovaného systému vozidla má stochastické parametry. Vytvořené řešení umožňuje simulovat chování modelu. Probíhající simulaci je možné vizualizovat a také analyzovat výsledky za užití pomocného nástroje vytvořeného k tomuto účelu. Na základě získaných dat lze porovnat chování modelu za různého počasí a stanovených rychlostních omezení.
|
host ::
RSS.