Original title: Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
Translated title: Analysis of the Impact of Problem Solving Strategies using UPPAAL STRATEGO
Authors: Karásek, Filip ; Žádník, Martin (referee) ; Strnadel, Josef (advisor)
Document type: Bachelor's theses
Year: 2024
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [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.
Keywords: modeling; problem-solving using Uppaal Stratego; simulation; strategies creation; strategy analysis; strategy impact assessment; timed automata; Uppaal; Uppaal SMC; Uppaal Stratego; 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

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: https://hdl.handle.net/11012/247826

Permalink: http://www.nusl.cz/ntk/nusl-619327


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses