Abstraction-Based Analysis of Continuous-Time Models in System Biology – RNDr. Mgr. Jana Dražanová
RNDr. Mgr. Jana Dražanová
Doctoral thesis
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsDoctoral programme / odbor:
Computer Science / Fundamentals of Computer Science
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 -
Linear Programming guided solver
Jasurbek Normakhmadov -
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 -
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 -
Implementation of Solver for Media Streams Planning Problem
Andrea Vašeková