Parallel Parameter Synthesis for Hybrid Systems – Bc. Eva Šmijáková
Bc. Eva Šmijáková
Master's thesis
Parallel Parameter Synthesis for Hybrid Systems
Parallel Parameter Synthesis for Hybrid Systems
Anotácia:
Táto práca sa zaoberá problémom syntézy parametrov. Cieľom syntézy parametrov je zistiť hodnoty parametrov, pre ktoré systém vykazuje požadované vlastnosti. Problém riešime pre hybridné systémy. Tieto systémy sa vyznačujú tým, že kombinujú chovanie diskrétnych a spojitých systémov. Práve preto sú naročné na analýzu, keďže metódy vyvinuté pre diskrétne či spojité systémy sa nedajú plne aplikovať na …viacAbstract:
The thesis deals with the problem of parameter synthesis. The goal of parameter synthesis is to determine valuation of uncertain parameters for which system exposes desired behavior. We solve this problem for hybrid systems. These systems combine the behavior of discrete and continuous systems what makes them particularly hard to analyze, because approaches developed for the both well-studied systems …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 20. 5. 2019
Identifikátor:
https://is.muni.cz/th/varew/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2019
- Vedúci: prof. RNDr. Luboš Brim, CSc.
- Oponent: Mgr. Matej Troják
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
-
Neuronové sítě v prostředí High Performance Computing
Lukáš Vojáček -
Modeling the rheology of emulsions: High-performance parallel computing using Graphics Processing Unit (GPU)
Pavel Kupka -
High-Performance Analytics (HPA)
Petr Soukup -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Parameter Synthesis for Systems with Real Time
Peter Bezděk -
Parameter Synthesis for Systems with Real Time
Peter Bezděk -
Parameter Synthesis of Dynamical Systems via Model Checking
Martin Demko -
Parameter Synthesis in Continuous-Time Stochastic Systems
Ľuboš Korenčiak