Control mechanisms for stochastic biochemical systems via computation of reachable sets

  title={Control mechanisms for stochastic biochemical systems via computation of reachable sets},
  author={Eszter Lakatos and Michael P. H. Stumpf},
  journal={Royal Society Open Science},
Controlling the behaviour of cells by rationally guiding molecular processes is an overarching aim of much of synthetic biology. Molecular processes, however, are notoriously noisy and frequently non-linear. We present an approach to studying the impact of control measures on motifs of molecular interactions, that addresses the problems faced in biological systems: stochasticity, parameter uncertainty, and non-linearity. We show that our reachability analysis formalism can describe the… 

Figures from this paper

Collocation based training of neural ordinary differential equations
A collocation scheme as a fast and efficient training strategy that alleviates the need for costly ODE solvers and illustrates the advantages that collocation approaches offer, as well as their robustness to qualitative features of a dynamical system, and the quantity and quality of observational data.
Evaluating single molecule detection methods for microarrays with high dynamic range for quantitative single cell analysis
It is shown that super-resolution image analysis methods can significantly improve counting accuracy and better cope with single molecule congestion and the implications to performing such analyses using microarray based approaches are discussed.
Repeated Decision Stumping Distils Simple Rules from Single Cell Data
The approach is computationally efficient, has remarkable predictive power, and yields robust and statistically stable predictors: the same set of candidates is generated by applying the algorithm to different subsamples of the data.
Open Problems in Mathematical Biology
Biology is data-rich, and it is equally rich in concepts and hypotheses. Part of trying to understand biological processes and systems is therefore to confront our ideas and hypotheses with data


Stochastic reachability analysis in complex biological networks
The use of new techniques of stochastic reachability analysis are demonstrated based on the algorithmic construction of barrier certificates using convex optimization and illustrated through the use of a biologically important system: the bacteriophage lambda genetic switch.
On the reachable set of the controlled gene expression system
The reachable set of a standard stochastic model of controlled gene expression is investigated by constructing invariant sets in two-dimensional projections of the state space and the lower bound on the variance derived is much higher than the one available in the literature.
Analysis of lactose metabolism in E. Coli using reachability analysis of hybrid systems.
An approximation for an ordinary differential equation model of the lac operon is constructed, and it is shown that the abstraction passes the same experimental tests as were used to validate the original model.
A synthetic oscillatory network of transcriptional regulators
This work used three transcriptional repressor systems that are not part of any natural biological clock to build an oscillating network, termed the repressilator, in Escherichia coli, which periodically induces the synthesis of green fluorescent protein as a readout of its state in individual cells.
Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks
The theory behind moment-based methods for parameter inference and experiment design for continuous-time Markov chains is summarized and new case studies where their performance is investigated are provided.
Practical limits for reverse engineering of dynamical systems: a statistical analysis of sensitivity and parameter inferability in systems biology models.
A comprehensive analysis of 180 systems biology models is presented, which reaffirms the inability to estimate precisely most model or kinetic parameters as a generic feature of dynamical systems, and provides safe guidelines for performing better inferences and model predictions in the context of reverse engineering of mathematical models for biological systems.
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
A novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical Systems is introduced and algorithms solving the reachability problem for biochemical Dynamical systems are presented.
Multivariate moment closure techniques for stochastic kinetic models.
A set of multivariate moment-closures is developed that allows us to describe the stochastic dynamics of nonlinear systems, and is used in the context of two models that have proved challenging to the previous attempts at approximating stoChastic dynamics: oscillations in p53 and Hes1.
Topological sensitivity analysis for systems biology
A computational framework to systematically evaluate potentially vast sets of candidate differential equation models in light of experimental and prior knowledge about biological systems is developed and topological sensitivity analysis is provided to evaluate quantitatively the dependence of model inferences and predictions on the assumed model structures.