Abstraction-Based Analysis of Continuous-Time Models in System Biology – RNDr. Mgr. Jana Dražanová
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íceAbstract:
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
Identifikátor:
https://is.muni.cz/th/bjes9/
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 informatikyMasarykova univerzita
Fakulta informatikyDoktorský studijní program / obor:
Informatika / Fundamenty informatiky
Práce na příbuzné téma
-
Polynomiální interpolace po částech
Kateřina Štefánková -
Polynomiální interpolace
Ludmila Fikarová -
Solver for Dynamic Vehicle Routing Problem with Time Windows
Jiří Papoušek -
Verification of a solver based on a hybrid fictitious domain-immersed boundary method for flows in complex geometries at low to moderate Reynolds numbers
Ondřej Studeník -
Improving contact treatment in a fully coupled resolved CFD-DEM solver for particle-laden flows
Ondřej Studeník -
Step-by-step Solver for Transportation Problems
Tugay Demir -
Linear Programming guided solver
Jasurbek Normakhmadov -
Implementation of Open-Source Solver for Media Streams Planning Problem
András Ürge