Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach

The study of genetic regulatory networks has received a major impetus from the recent development of experimental techniques allowing the measurement of patterns of gene expression in a massively parallel way. This experimental progress calls for the development of appropriate computer tools for the modeling and simulation of gene regulation processes. We present a method for the hybrid modeling and simulation of genetic regulatory networks, based on a class of piecewiselinear (PL) differential equations that has been well-studied in mathematical biology. Distinguishing characteristics of the method are that it makes qualitative predictions of the behavior of regulatory systems and that it deals with discontinuities in the right-hand side of the differential equations. The simulation method has been implemented in Java in the computer tool Genetic Network Analyzer (GNA). The method and the tool have been used to analyze several networks of biological interest, including the network underlying the initiation of sporulation in Bacillus subtilis.

[1]  H. D. Jong,et al.  Qualitative simulation of genetic regulatory networks using piecewise-linear models , 2004, Bulletin of mathematical biology.

[2]  A. Arkin,et al.  Simulation of prokaryotic genetic circuits. , 1998, Annual review of biophysics and biomolecular structure.

[3]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[4]  R. Losick,et al.  Molecular genetics of sporulation in Bacillus subtilis. , 1996, Annual review of genetics.

[5]  Hidde de Jong,et al.  Genetic Network Analyzer: qualitative simulation of genetic regulatory networks , 2003, Bioinform..

[6]  Eberhard O. Voit,et al.  Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists , 2000 .

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

[8]  J. Gouzé,et al.  A class of piecewise linear differential equations arising in biological models , 2002 .

[9]  R Thomas,et al.  Dynamical behaviour of biological regulatory networks--I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. , 1995, Bulletin of mathematical biology.

[10]  R. Losick,et al.  The transcriptional profile of early to middle sporulation in Bacillus subtilis. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[11]  Farren J. Isaacs,et al.  Computational studies of gene regulatory networks: in numero molecular biology , 2001, Nature Reviews Genetics.

[12]  El Houssine Snoussi.  Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach , 1989 .

[13]  D. A. Baxter,et al.  Modeling transcriptional control in gene networks—methods, recent results, and future directions , 2000, Bulletin of mathematical biology.

[14]  Hidde de Jong,et al.  Qualitative Simulation of Genetic Regulatory Networks: Method and Application , 2001, IJCAI.

[15]  T. Mestl,et al.  A mathematical framework for describing and analysing gene regulatory networks. , 1995, Journal of theoretical biology.

[16]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

[17]  R. Heinrich,et al.  The Regulation of Cellular Systems , 1996, Springer US.

[18]  Pieter J. Mosterman,et al.  Sliding Mode Model Semantics and Simulation for Hybrid Systems , 1997, Hybrid Systems.

[19]  J. Hoch.  Regulation of the phosphorelay and the initiation of sporulation in Bacillus subtilis. , 1993, Annual review of microbiology.

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

[21]  Jean-Luc Gouzé,et al.  Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks , 2002, ECAI.

[22]  L. Glass,et al.  Symbolic dynamics and computation in model gene networks. , 2001, Chaos.

[23]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[24]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[25]  A. Grossman,et al.  Regulation of the Initiation of Endospore Formation in Bacillus subtilis , 2000 .

[26]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[27]  Pieter J. Mosterman,et al.  A comprehensive methodology for building hybrid models of physical systems , 2000, Artif. Intell..

[28]  A. Grossman.  Genetic networks controlling the initiation of sporulation and the development of genetic competence in Bacillus subtilis. , 1995, Annual review of genetics.

[29]  H. D. Jong,et al.  Qualitative simulation of the initiation of sporulation in Bacillus subtilis , 2004, Bulletin of mathematical biology.