Parallel Parameter Synthesis for Hybrid Systems

Bc. Eva Šmijáková

Diplomová práce

Anotace:

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 hybridné systémy. V tejto práci sme vytvorili prehľad o existujúcich riešeniach problému a tiež sme implementovali vlastný nástroj riešiaci syntézu parametrov pre hybridné systémy. Naša implementácia je rozšírením existujúceho nástroja Pithya, ktorý rieši syntézu parametrov pre spojité systémy.

Abstract:

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 are not fully applicable to hybrid ones. We review the current state of the art of this problem and also develop own tool capable of parameter synthesis for hybrid systems. The tool is an extension to Pithya which solves the parameter synthesis for continuous systems.

Keywords

formal methods, high performance computing, hybrid systems, implementation, logic, model checking, parameter synthesis, SYBILA, systems’ biology

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 20. 5. 2019

Obhajoba závěrečné práce

• Obhajoba proběhla 20. 6. 2019
• Vedoucí: prof. RNDr. Luboš Brim, CSc.
• Oponent: Mgr. Matej Troják

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika