Hybrid models of the cell cycle molecular machinery

  title={Hybrid models of the cell cycle molecular machinery},
  author={Vincent Noel and Dima Grigoriev and Sergei Vakulenko and Ovidiu Radulescu},
Piecewise smooth hybrid systems, involving continuous and discrete variables, are suitable models for describing the multiscale regulatory machinery of the biological cells. In hybrid models, the discrete variables can switch on and off some molecular interactions, simulating cell progression through a series of functioning modes. The advancement through the cell cycle is the archetype of such an organized sequence of events. We present an approach, inspired from tropical geometry ideas… 

Figures from this paper

A hybrid mammalian cell cycle model

This work presents a piecewise-smooth version of a mammalian cell cycle model, obtained by hybridization from a smooth biochemical model, and discusses several learning strategies for the parameters of the hybrid model.

An Overview on Computational Approaches to Modeling Mammalian Cell Cycle

This paper overlays current and existing computational modeling approaches used in modeling mammalian cell cycle (discrete, continuous, stochastic and hybrid), and presents a more flexible and intuitive fuzzy logic based system framework to modeling cell cycle system.

Dynamical properties of a two-gene network with hysteresis

Dynamical Properties of a Two-gene Network with Hysteresis

A mathematical model for a two-gene regulatory network is derived and several of their properties analyzed. Due to the presence of mixed continuous/discrete dynamics and hysteresis, we employ a

Set-Based Analysis for Biological Modeling

This chapter investigates the use of set-based analysis techniques, designed to compute on sets of behaviors, for the validation of biological models under uncertainties and perturbations, so that the execution of the considered biological model under the influence of the synthesized parameters is guaranteed to satisfy a given constraint or property.

Automated Reasoning for Systems Biology and Medicine

This review briefly describes the state-of-the-art methods and techniques employing model checking, as one of the most prominent verification techniques, to the analysis of biomedical systems, and demonstrates some of the advantages of using the model checking method.

New Algorithms for Solving Tropical Linear Systems

A new reformulation of Grigoriev's algorithm is presented that brings it closer to the algorithm of Akian, Gaubert, and Guterman, and a whole family of new algorithms from this family for which no known superpolynomial counterexamples work are presented.

Formal methods for modelling and validation of biological models

L’objectif de cette these est la modelisation et l’etude de systemes biologiques par l’intermediaire de methodes formelles. Les systemes biologiques demontrent des comportements continus mais sont



Algorithm for Identification of Piecewise Smooth Hybrid Systems: Application to Eukaryotic Cell Cycle Regulation

This work shows how to produce piecewise smooth hybrid systems as models for regulatory networks in molecular biology by a top down approach that use biological knowledge for a guided choice of important variables and interactions and proposes an algorithm for fitting parameters of the piecewise smoother models from data.

Piecewise smooth hybrid systems as models for networks in molecular biology

This work shows how to produce piecewise smooth hybrid systems as models for regulatory networks in molecular biology by a top down approach that use biological knowledge for a guided choice of important variables and interactions, and proposes an algorithm for fitting parameters of the piecewise smoother models from data.

A Hybrid Model of Mammalian Cell Cycle Regulation

A hybrid approach that combines the best features of continuous differential equations and discrete Boolean networks is described, which can be used to create quantitatively accurate, computational models of protein regulatory networks in cells.

Modeling the cell cycle: From deterministic models to hybrid systems

Reduction of dynamical biochemical reactions networks in computational biology

The application of model reduction to the problem of parameter identification, via backward pruning machine learning techniques is discussed, and the main approaches to model reduction of reaction networks are revisited, including quasi-steady state (QSS) and quasi-equilibrium approximations (QE).

Robust simplifications of multiscale biochemical networks

A systematic treatment of model reduction of multiscale biochemical networks that allows critical parameter identification and produces hierarchies of models and deals naturally with the presence of multiple time scales, which is a general property of systems biology models.

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

Once a hybrid model is obtained, analysis techniques such as those described in this and previous HSCC workshops can be usefully applied to help uncover structure in the dynamics of biological systems of interest.

Model Reduction Using Piecewise-Linear Approximations Preserves Dynamic Properties of the Carbon Starvation Response in Escherichia coli

The results show that the PL approximations generally preserve the dynamics of the carbon starvation response network, although with some deviations concerning notably the quantitative precision of the model predictions, which encourages the application of PL models to the qualitative analysis of bacterial regulatory networks, in situations where the reference time scale is that of protein synthesis and degradation.

Modeling the cell division cycle: cdc2 and cyclin interactions.

  • J. Tyson
  • Biology
    Proceedings of the National Academy of Sciences of the United States of America
  • 1991
This work associates the steady state with metaphase arrest in unfertilized eggs, the spontaneous oscillations with rapid division cycles in early embryos, and the excitable switch with growth-controlled division cycles typical of nonembryonic cells.