Disertační práce

Abstraction-Based Analysis of Continuous-Time Models in System Biology

RNDr. Mgr. Jana Dražanová, učo 139877
Anotace

Dizertační práce se zabývá několika abstrakcemi, díky kterým získáme diskrétní přechodový systém ze vstupního systému se spojitým časem, jehož dynamika je dána systémem autonomních diferenciálních rovnic, s Lipschitzovsky spojitými pravými stranami v případě facetální abstrakce a s po částech multi-afinními pravými stranami v případě analýzy pomocí kvantitativní diskrétní aproximace. Práce představuje …více

Abstract

This thesis deals with several abstractions that create a discrete transition system from an input continuous-time system with dynamics given by a system of autonomous ODE that are either Lipschitz continuous for the analysis by facetal abstraction or piecewise multi-affine for the analysis by quantitative discrete approximation. Several methods for overapproximation of the set of all valid valuations …více

Klíčová slova
parameter synthesis piecewise polynomial dynamical systems facetal abstraction quantitative discrete approximation SMT solver syntéza parametrů po částech polynomiální dynamický systém facetální abstrakce kvantitativní diskrétní aproximace
Administrativní informace
Práce zkontrolována:
25. 5. 2022 08:49, prof. RNDr. Luboš Brim, CSc.
Plný text práce
6,8 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
7. 10. 2022
Práce byla úspěšně obhájena

Vedoucí

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

Oponenti

Mgr. Jan Komenda, Ph.D.
abs PřF MU, Matematický ústav AV ČR, v.v. i.
Prof. Ion Petre
University of Turku

Konzultant

doc. RNDr. David Šafránek, Ph.D., učo 3159
KSUZD FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Fundamenty informatiky

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.