RNDr. Mgr. Jana Dražanová

Disertační práce

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

Abstraction-Based Analysis of Continuous-Time Models in System Biology
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
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 24. 5. 2022

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

  • Obhajoba proběhla 7. 10. 2022
  • Vedoucí: prof. RNDr. Luboš Brim, CSc.
  • Oponent: Mgr. Jan Komenda, Ph.D., Prof. Ion Petre

Citační záznam

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 informatiky