Model Checking Based Parameter Synthesis of Dynamical Systems in Biology – RNDr. Martin Demko
RNDr. Martin Demko
Doctoral thesis
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Abstract:
Biologické systémy môžu byť reprezentované ako komplexné siete navzájom interagujúcich komponentov, ktoré sú v čase schopné meniť svoje vlastnosti na základe vonkajších či vnútorných podnetov. Budovanie vhodných dynamických modelov možno považovať za kritický krok k pochopeniu dynamiky biologických systémov. Aj keď štruktúra takýchto modelov je obvykle známa, niektoré kvantitatívne vlastnosti modelov …moreAbstract:
Biological systems are complex networks of interacting biological components that change their properties with time in response to external and internal stimuli. Building suitable dynamical models can be seen as a critical step towards understanding the dynamics of biological systems. While the structure of such models is usually available, some of the quantitative features of models cannot be readily …more
Language used: English
Date on which the thesis was submitted / produced: 24. 10. 2019
Identifier:
https://is.muni.cz/th/p96um/
Thesis defence
- Date of defence: 30. 4. 2020
- Supervisor: prof. RNDr. Luboš Brim, CSc.
- Reader: Ing. Jan Červený, Ph.D., Prof. Ion Petre
Citation record
ISO 690-compliant citation record:
DEMKO, Martin. \textit{Model Checking Based Parameter Synthesis of Dynamical Systems in Biology}. Online. Doctoral theses, Dissertations. Brno: Masaryk University, Faculty of Informatics. 2019. Available from: https://theses.cz/id/3tzcff/.
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:
Informatics (4-years) / Computer Systems and Technologies
Theses on a related topic
-
Portal Service for Vegetation Parameter Estimation from Remote Sensing Landscape Images
Vladimír Lazárik -
Modelling, parameter estimation, optimisation and control of transport and reaction processes in bioreactors.
Václav ŠTUMBAUER -
Assessment of Alternative Methods for Parameter Estimation of Investment Instruments Price Models
Patrycja Czudek -
Parameter Synthesis of Dynamical Systems via Model Checking
Martin Demko -
Symbolic Model Checking of Hybrid CTL
Ondřej Huvar -
Parameter Synthesis of Dynamical Systems via Model Checking
Martin Demko -
Formal Methods for Model Selection in Systems Biology
Matej Hajnal -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják