Modeling the cell cycle: From deterministic models to hybrid systems

The cell cycle is a complex biological system frequently investigated from a mathematical perspective. In fact, over the past years a huge number of deterministic mathematical models describing the dynamics and the regulation of this process have been proposed. A crucial point concerning the cell cycle modeling is the combination of continuous and discrete dynamics in order to obtain results which are coherent with the biological context. To face with this problem we propose a novel approach to the mathematical modeling of biological processes based on the use of hybrid systems. This new methodology essentially consists in a model reduction (using the modified Prony's method) which allows to define the crucial features of the dynamical system. The final aim is to implement a corresponding hybrid system which preserves the properties of the starting deterministic model. Thus, we implemented a methodology which allows to describe the cellular system by combining continuous behavior with discrete events by using the hybrid automata technology. In this way we try to overcome some drawbacks of the deterministic approach, especially regarding the possibility to introduce new variables during simulation and the associated variation of parameters in a more efficient way than the continuous method can do. We applied this innovative methodology to the reconstruction of a simplified hybrid model concerning one of the crucial mammalian cell cycle control point. In particular, we investigated the role of the transcription factors E2F in the R-point transition. The resulting hybrid model preserve the properties of the deterministic one and it allows the identification of the parameter which controls the transition from the inactive (quiescent) to the active state (R-point transition) after the mitogenic stimulation. At the best of our knowledge no hybrid model for the R-point transition are available in literature.

[1]  Alberto Policriti,et al.  Hybrid systems and biology: continuous and discrete modeling for systems biology , 2008, FM'08 2008.

[2]  Claire J. Tomlin,et al.  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.

[3]  Attila Csikász-Nagy,et al.  Analysis of a generic model of eukaryotic cell-cycle regulation. , 2006, Biophysical journal.

[4]  S. V. Aksenov,et al.  A systems biology dynamical model of mammalian G1 cell cycle progression , 2007, Molecular systems biology.

[5]  Karl Henrik Johansson,et al.  A hybrid systems framework for cellular processes. , 2005, Bio Systems.

[6]  H. Kitano Systems Biology: A Brief Overview , 2002, Science.

[7]  T. Henzinger The theory of hybrid automata , 1996, LICS 1996.

[8]  Ezio Bartocci,et al.  Model Checking Biological Oscillators , 2009, FBTC@ICALP.

[9]  Edda Klipp,et al.  Towards a systems biology approach to mammalian cell cycle: modeling the entrance into S phase of quiescent fibroblasts after serum stimulation , 2009, BMC Bioinformatics.

[10]  Calin Belta,et al.  Robustness analysis and tuning of synthetic gene networks , 2007, Bioinform..

[11]  Marta Simeoni,et al.  Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing , 2003, CMSB.

[12]  John J. Tyson,et al.  Parameter Estimation for a Mathematical Model of the Cell Cycle in Frog Eggs , 2005, J. Comput. Biol..

[13]  T. Henzinger,et al.  Executable cell biology , 2007, Nature Biotechnology.

[14]  Pietro Liò,et al.  Trends in modeling Biomedical Complex Systems , 2009, BMC Bioinformatics.

[15]  I. V. Ramakrishnan,et al.  Learning Cycle-Linear Hybrid Automata for Excitable Cells , 2007, HSCC.

[16]  P. Nurse A Long Twentieth Century of the Cell Cycle and Beyond , 2000, Cell.

[17]  Mike Tyers,et al.  How Cells Coordinate Growth and Division , 2004, Current Biology.

[18]  M. R. Osborne Some Special Nonlinear Least Squares Problems , 1975 .

[19]  Ivan Merelli,et al.  A data integration approach for cell cycle analysis oriented to model simulation in systems biology , 2007, BMC Systems Biology.

[20]  John J Tyson,et al.  A model for restriction point control of the mammalian cell cycle. , 2004, Journal of theoretical biology.

[21]  Calin Belta,et al.  Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.

[22]  Ezio Bartocci,et al.  CellExcite: an efficient simulation environment for excitable cells , 2008, BMC Bioinformatics.

[23]  Alexander E. Kel,et al.  Bifurcation analysis of the regulatory modules of the mammalian G1/S transition , 2004, Bioinform..

[24]  Yong Chen Model order reduction for nonlinear systems , 1999 .

[25]  Joël Pothier,et al.  Protein evolution driven by symmetric structural repeats , 2008, BMC Bioinformatics.

[26]  Gordon K. Smyth,et al.  A Modified Prony Algorithm for Exponential Function Fitting , 1995, SIAM J. Sci. Comput..

[27]  Ivan Merelli,et al.  Parameter Estimation for Cell Cycle Ordinary Differential Equation (ODE) Models using a Grid Approach , 2007, HealthGrid.

[28]  Spring Berman,et al.  MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems , 2007, HSCC.

[29]  Irek Ulidowski,et al.  Preface: Hybrid automata and oscillatory behaviour in biological systems , 2010, Theor. Comput. Sci..

[30]  Michael Luck,et al.  Agents in bioinformatics, computational and systems biology , 2006, Briefings Bioinform..

[31]  A. Pardee G1 events and regulation of cell proliferation. , 1989, Science.

[32]  Robert J. Mulholland,et al.  State-variable canonical forms for Prony's method , 1986 .

[33]  Edda Klipp,et al.  Cell Size at S Phase Initiation: An Emergent Property of the G1/S Network , 2007, PLoS Comput. Biol..

[34]  Zhilin Qu,et al.  Regulation of the mammalian cell cycle: a model of the G1-to-S transition. , 2003, American journal of physiology. Cell physiology.

[35]  A. Casagrande,et al.  Discreteness, hybrid automata, and biology , 2008, 2008 9th International Workshop on Discrete Event Systems.

[36]  Scott A. Smolka,et al.  Efficient Modeling of Excitable Cells Using Hybrid Automata , 2005 .

[37]  Carla Piazza,et al.  Hybrid Automata in Systems Biology: How Far Can We Go? , 2009, FBTC@ICALP.

[38]  Tae J. Lee,et al.  A bistable Rb–E2F switch underlies the restriction point , 2008, Nature Cell Biology.

[39]  J Julian Blow,et al.  The chromosome cycle: coordinating replication and segregation , 2005, EMBO reports.

[40]  Ivan Merelli,et al.  The cell cycle DB: a systems biology approach to cell cycle analysis , 2007, Nucleic Acids Res..

[41]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.