Back to search

Bc. Eva Šmijáková

Master's thesis

Parallel Parameter Synthesis for Hybrid Systems

Parallel Parameter Synthesis for Hybrid Systems
Abstract:
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 …more
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 …more
 

Keywords

formal methods high performance computing hybrid systems implementation logic model checking parameter synthesis SYBILA systems’ biology
 
Language used: English
Date on which the thesis was submitted / produced: 20. 5. 2019
Identifier: https://is.muni.cz/th/varew/

Thesis defence

  • Date of defence: 20. 6. 2019
  • Supervisor: prof. RNDr. Luboš Brim, CSc.
  • Reader: Mgr. Matej Troják

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution