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
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 24. 5. 2022
Identifier:
https://is.muni.cz/th/bjes9/
Thesis defence
- Date of defence: 7. 10. 2022
- Supervisor: prof. RNDr. Luboš Brim, CSc.
- Reader: Mgr. Jan Komenda, Ph.D., Prof. Ion Petre
Citation record
ISO 690-compliant citation record:
DRAŽANOVÁ, Jana. \textit{Abstraction-Based Analysis of Continuous-Time Models in System Biology}. Online. Doctoral theses, Dissertations. Brno: Masaryk University, Faculty of Informatics. 2022. Available from: https://theses.cz/id/1zgnkj/.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Computer Science / Fundamentals of Computer Science
Theses on a related topic
-
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 -
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 -
Improving contact treatment in a fully coupled resolved CFD-DEM solver for particle-laden flows
Ondřej Studeník -
Linear Programming guided solver
Jasurbek Normakhmadov -
Implementation of Solver for Media Streams Planning Problem
Andrea Vašeková