Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO

Abstract

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.