{"id":{"repo_id":"brno-tech","oai_identifier":"oai:dspace.vut.cz:11012/180616"},"canonical_url":"https://search.dev.ndltd.org/etd/brno-tech/oai:dspace.vut.cz:11012/180616","repository":{"repo_id":"brno-tech","name":"Brno University of Technology","base_url":"https://dspace.vut.cz/oai/request"},"display":{"title":"Výpočetní model a analýza samočinně řízeného vozidla","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Gardáš, Milan"],"institution":"Vysoké učení technické v Brně. Fakulta informačních technologií","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Strnadel, Josef"],"committee_chairs":[],"committee_members":[],"year":null,"date_issued":"","date_published":null,"updated_at":"2026-07-24T01:22:50Z","subjects":["autonomní vozidlo","modelování","statistické ověřování modelu","stochastické časované automaty","UPPAAL Stratego","autonomous vehicle","modelling","statistical model checking","stochastic timed automata"],"languages":["cs"],"rights":["Standardní licenční smlouva - přístup k plnému textu bez omezení"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["121870"],"render_values":[{"text":"121870","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/11012/180616","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Strnadel, Josef"]},{"key":"dc:creator","label":"Author","values":["Gardáš, Milan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:publisher","label":"Institution","values":["Vysoké učení technické v Brně. Fakulta informačních technologií"]},{"key":"dc:type","label":"Dc Type","values":["Text"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Ing."]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["autonomní vozidlo","modelování","statistické ověřování modelu","stochastické časované automaty","UPPAAL Stratego","autonomous vehicle","modelling","statistical model checking","stochastic timed automata"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["cs"]},{"key":"dc:rights","label":"Dc Rights","values":["Standardní licenční smlouva - přístup k plnému textu bez omezení"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["121870"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/11012/180616"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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.","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."]},{"key":"dc:title","label":"Title","values":["Výpočetní model a analýza samočinně řízeného vozidla"]}]}],"canonical_facts":{"dc:contributor.advisor":["Strnadel, Josef"],"dc:creator":["Gardáš, Milan"],"dc:description.abstract":["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.","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."],"dc:identifier.other":["121870"],"dc:identifier.uri":["http://hdl.handle.net/11012/180616"],"dc:language.iso":["cs"],"dc:publisher":["Vysoké učení technické v Brně. Fakulta informačních technologií"],"dc:rights":["Standardní licenční smlouva - přístup k plnému textu bez omezení"],"dc:subject":["autonomní vozidlo","modelování","statistické ověřování modelu","stochastické časované automaty","UPPAAL Stratego","autonomous vehicle","modelling","statistical model checking","stochastic timed automata"],"dc:title":["Výpočetní model a analýza samočinně řízeného vozidla"],"dc:type":["Text"],"thesis:institution_name":["Ing."]},"updated_at":"2026-07-24T01:22:50Z"}