Název: Výpočetní model a analýza systému adaptivních semaforů
Překlad názvu: Computational Model and Analysis of Adaptive Traffic Lights
Autoři: Terbr, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2020
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]
Bakalářská práce se věnuje tématu adaptivních křižovatek a studiem jejich vlivu na plynulost provozu a jiné. V práci je obsažen rozbor aktuálně používaných dopravních detektorů, rozbor hlavních problémů klasických křižovatek a možnosti jejich řešení, následně návrh modelu, popis realizace a testování vytvořeného modelu. Výsledný model je vytvořen v softwaru UPPAAL SMC a jedná se o systém navzájem komunikujících časovaných automatů. Testování probíhá porovnáváním výsledků testů klasických semaforů s výsledky adaptivních semaforů. This thesis deals with the topic of adaptive intersections and the study of their influence on the flow of traffic and others. The work contains an analysis of currently used traffic detectors, an analysis of the main problems of classic intersections and the possibilities of their solution, followed by the design of the model, a description of the implementation and testing of the created model. The resulting model is created in the UPPAAL SMC software and is a system of timed automata communicating with each other. Testing is performed by comparing the results of tests of classical traffic lights with the results of adaptive traffic lights.
Klíčová slova: adaptivní křižovatka; analýza modelu; dopravní detektory; křižovatka; modelování; silniční provoz; simulace; statistické ověřování modelu; UPPAAL; verifikátor; časované automaty; adaptive intersection; intersection; model analysis; modelling; road traffic; simulation; statistical model verification; timed automata; traffic detectors; UPPAAL; verifier

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/191575

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-416367


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce