Název: Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
Překlad názvu: Analysis of the Impact of Problem Solving Strategies using UPPAAL STRATEGO
Autoři: Karásek, Filip ; Žádník, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2024
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]
Tato práce analyzuje a řeší dopad strategií vytvořených pomocí Uppaal Stratego. V této práci je ukázána implementace čtyř problémů, čítač, bludiště, bitmapa a křižovatka. Nad těmito modely jsou prováděny experimenty a vytvářeny strategie. Pro první tři problémy byly nalezeny strategie s pozitivním dopadem na daný systém. Pro poslední model křižovatky, se nepodařilo nalézt takovou strategii, která by prokazatelně vylepšila systém. Neprokazatelně, protože se nepodařilo nalézt strategii pro model s vyšším počtem vozidel v křižovatce a to z důvodu omezení Uppaal Stratego a komplexnosti modelu. This thesis analyzes and addresses the impact of strategies created using Uppaal Stratego. The implementation of four problems, counter, maze, bitmap, and intersection is demonstrated in this thesis. Experiments are conducted on these models, and strategies are formulated. For the first three problems, strategies with a positive impact on the given system were identified. However, for the last intersection model, it was not possible to find a strategy that demonstrably improved the system. This inability to demonstrate improvement is due to limitations in Uppaal Stratego and the complexity of the model.
Klíčová slova: analýza strategií; dopad strategií; modelování; simulace; Uppaal; Uppaal SMC; Uppaal Stratego; vytváření strategií; časované automaty; řešení problémů pomocí Uppaal Stratego; modeling; problem-solving using Uppaal Stratego; simulation; strategies creation; strategy analysis; strategy impact assessment; timed automata; Uppaal; Uppaal SMC; Uppaal Stratego

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: https://hdl.handle.net/11012/247826

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


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