Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Alur, C. Belta, F. Ivančíc, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schlug. Hybrid modeling and simulation of biomolecular networks. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control (HSCC 2001), volume 2034 of LNCS, pages 19–32. Springer-Verlag, 2001.
C. Belta, L. C. G. J. M. Habets, and V. Kumar. Control of multi-affine systems on rectangles with an application to gene transcription control. In Proc. IEEE 2002 Conf. Decision and Control, CDC 2002, Las Vegas, NV, 2002.
W. F. Burkholder and A. D. Grossman. Regulation of the initiation of endospore formation in Bacillus subtilis. In Y. V. Brun and L. J. Shimkets, editors, Prokaryotic Development, chapter 7, pages 151–166. ASM, 2000.
H. de Jong. Modeling and simulation of genetic regulatory systems: A literature review. J. Comput. Biol., 9(1):69–105, 2002.
H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, and M. Page. Qualitative simulation of the initiation of sporulation in B. subtilis. Technical Report RR-4527, INRIA, 2002.
H. de Jong, J. Geiselmann, C. Hernandez, and M. Page. Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics, 2003. In press.
H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, and H. Geiselmann. Dealing with discontinuities in the qualitative simulation of genetic regulatory networks. In F. van Harmelen, editor, Proc. Fifteenth Europ. Conf. Artif. Intell., ECAI 2002, pages 412–416. IOS Press, 2002.
H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, and H. Geiselmann. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Technical Report RR-4407, INRIA, 2002.
H. de Jong, M. Page, C. Hernandez, and J. Geiselmann. Qualitative simulation of genetic regulatory networks: Method and application. In B. Nebel, editor, Proc. Seventeenth Int. Joint Conf. Artif. Intell., IJCAI-01, pages 67–73. Morgan Kaufmann, 2001.
R. Edwards, H. T. Siegelmann, K. Aziza, and L. Glass. Symbolic dynamics and computation in model gene networks. Chaos, 11(1):160–169, 2001.
P. Fawcett, P. Eichenberger, R. Losick, and P. Youngman. The trancriptional profile of early to middle sporulation in Bacillus subtilis. Proc. Natl. Acad. Sci. USA, 97(14):8063–8068, 2000.
A. F. Filippov. Differential Equations with Discontinuous Righthand Sides. Kluwer Academic Publishers, 1988.
R. Ghosh and C. J. Tomlin. Lateral inhibition through Delta-Notch signaling: A piecewise affine hybrid model. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control (HSCC 2001), volume 2034 of LNCS, pages 232–246. Springer-Verlag, Berlin, 2001.
L. Glass and S. A. Kauffman. The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol., 39:103–129, 1973.
J.-L. Gouzé and T. Sari. A class of piecewise linear differential equations arising in biological models. Dynam. Syst., 2003. To appear.
A. D. Grossman. Genetic networks controlling the initiation of sporulation and the development of genetic competence in Bacillus subtilis. Ann. Rev. Genet., 29:477–508, 1995.
J. Hasty, D. McMillen, F. Isaacs, and J. J. Collins. Computational studies of gene regulatory networks: in numero molecular biology. Nat. Rev. Genet., 2(4):268–279, 2001.
R. Heinrich and S. Schuster. The Regulation of Cellular Systems. Chapman & Hall, New York, 1996.
J. A. Hoch. Regulation of the phosphorelay and the initiation of sporulation in Bacillus subtilis. Ann. Rev. Microbiol., 47:441–465, 1993.
B. Kuipers. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, 1994.
H. H. McAdams and A. Arkin. Simulation of prokaryotic genetic circuits. Ann. Rev. Biophys. Biomol. Struct., 27:199–224, 1998.
T. Mestl, E. Plahte, and S. W. Omholt. A mathematical framework for describing and analysing gene regulatory networks. J. Theor. Biol., 176:291–300, 1995.
P. J. Mosterman and G. Biswas. A comprehensive methodology for building hybrid models of physical systems. Artif. Intell., 121:171–209, 2000.
P. J. Mosterman, F. Zhao, and G. Biswas. Sliding mode model semantics and simulation for hybrid systems. In P. J. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry, editors, Hybrid Systems V, pages 19–32. Springer-Verlag, Berlin, 1999.
P. Smolen, D. A. Baxter, and J. H. Byrne. Modeling transcriptional control in gene networks: Methods, recent results, and future directions. Bull. Math. Biol., 62:247–292, 2000.
E. H. Snoussi. Qualitative dynamics of piecewise-linear differential equations: A discrete mapping approach. Dyn. Stabil. Syst., 4(3–4):189–207, 1989.
P. Stragier and R. Losick. Molecular genetics of sporulation in Bacillus subtilis. Ann. Rev. Genet., 30:297–341, 1996.
R. Thomas, D. Thieffry, and M. Kaufman. Dynamical behaviour of biological regulatory networks: I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol., 57(2):247–276, 1995.
E. O. Voit. Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists. Cambridge University Press, Cambridge, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Jong, H., Gouzé, JL., Hernandez, C., Page, M., Sari, T., Geiselmann, J. (2003). Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. In: Maler, O., Pnueli, A. (eds) Hybrid Systems: Computation and Control. HSCC 2003. Lecture Notes in Computer Science, vol 2623. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36580-X_21
Download citation
DOI: https://doi.org/10.1007/3-540-36580-X_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00913-9
Online ISBN: 978-3-540-36580-8
eBook Packages: Springer Book Archive