Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
| but.committee | doc. RNDr. Milan Češka, Ph.D. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (člen) Ing. Vladimír Bartík, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) doc. Ing. Michal Španěl, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky přítomných, např. ohledně počtu stavů UPPAAL modelů. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C - dobře. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Strnadel, Josef | cs |
| dc.contributor.author | Karásek, Filip | cs |
| dc.contributor.referee | Žádník, Martin | cs |
| dc.date.created | 2024 | cs |
| dc.description.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. | cs |
| dc.description.abstract | 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. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | KARÁSEK, F. Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024. | cs |
| dc.identifier.other | 153907 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/247826 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Uppaal | cs |
| dc.subject | Uppaal SMC | cs |
| dc.subject | Uppaal Stratego | cs |
| dc.subject | modelování | cs |
| dc.subject | simulace | cs |
| dc.subject | časované automaty | cs |
| dc.subject | vytváření strategií | cs |
| dc.subject | analýza strategií | cs |
| dc.subject | dopad strategií | cs |
| dc.subject | řešení problémů pomocí Uppaal Stratego | cs |
| dc.subject | Uppaal | en |
| dc.subject | Uppaal SMC | en |
| dc.subject | Uppaal Stratego | en |
| dc.subject | modeling | en |
| dc.subject | simulation | en |
| dc.subject | timed automata | en |
| dc.subject | strategies creation | en |
| dc.subject | strategy analysis | en |
| dc.subject | strategy impact assessment | en |
| dc.subject | problem-solving using Uppaal Stratego | en |
| dc.title | Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO | cs |
| dc.title.alternative | Analysis of the Impact of Problem Solving Strategies using UPPAAL STRATEGO | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2024-06-13 | cs |
| dcterms.modified | 2024-06-17-08:46:01 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 153907 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 21:01:43 | en |
| sync.item.modts | 2025.01.15 21:59:00 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |