Diplomová práce

Parallel Parameter Synthesis for Hybrid Systems

Bc. Eva Šmijáková, učo 433478
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 …více

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 …více

Klíčová slova
formal methods high performance computing hybrid systems implementation logic model checking parameter synthesis SYBILA systems’ biology
Zadání práce
The goal of the thesis is to briefly review the state-of-the-art in parameter synthesis for hybrid systems with the emphasis on the existing tools that support parameter synthesis, to design a parallel algorithm for parameter synthesis that builds on rectangular (facetal) abstraction of the continuous dynamics, implement the algorithm and perform an evaluation of the implementation. Based on the evaluation propose possible restrictions on the hybrid systems (and the logical formalism used).
Administrativní informace
Práce zkontrolována:
21. 5. 2019 08:44, prof. RNDr. Luboš Brim, CSc.
Plný text práce
594,2 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
20. 6. 2019
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Luboš Brim, CSc.
KTP FI MU

Oponent

RNDr. Matej Troják, Ph.D., učo 410129
KSUZD FI MU

Konzultant

RNDr. Samuel Pastva, Ph.D., učo 410286
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.