Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway

M Demko, L Chrást, P Dvořák, J Damborský… - Microorganisms, 2019 - mdpi.com
In our previous work, we designed and implemented a synthetic metabolic pathway for 1, 2,
3-trichloropropane (TCP) biodegradation in Escherichia coli. Significant effects of metabolic …

Digital bifurcation analysis of TCP dynamics

N Beneš, L Brim, S Pastva, D Šafránek - … , TACAS 2019, Held as Part of the …, 2019 - Springer
Digital bifurcation analysis is a new algorithmic method for exploring how the behaviour of a
parameter-dependent computer system varies with a change in its parameters and, in …

Digital Bifurcation Analysis of Internet Congestion Control Protocols

N Beneš, L Brim, S Pastva… - International Journal of …, 2020 - World Scientific
Digital bifurcation analysis is a new algorithmic method for exploring how the behavior of a
parameter-dependent discrete system varies with a change in its parameters and, in …

Study of Piecewise Multi-affine models for Genetic Regulatory Networks via a Lyapunov approach: an LMI framework

M Pasquini, D Angeli - IFAC-PapersOnLine, 2020 - Elsevier
In this work we study convergence properties of Piecewise Multi-Affine models of genetic
regulatory networks, by means of a Lyapunov approach. These models, quantitatively more …

[PDF][PDF] Discrete Bifurcation Analysis

M Samuel, RND Luboš - is.muni.cz
When trying to describe and understand real-world phenomena, science often relies on a
model-based approach, where the true nature of the system is described in some simplified …

[PDF][PDF] Model Checking Based Parameter Synthesis of Dynamical Systems in Biology

M Demko - is.muni.cz
Biological systems are complex networks of interacting biological components that change
their properties with time in response to external and internal stimuli. Building suitable …

[PDF][PDF] Formal Analysis of Rule-Based Models in Systems Biology

M Troják - 2019 - is.muni.cz
Modelling complex systems in systems biology has to be conducted at several levels of
abstraction that reflect well the known information [56]. At every level, the system has to be …