CSDL Home IEEE/ACM Transactions on Computational Biology and Bioinformatics 2008 vol.5 Issue No.02 - April-June

Subscribe

Issue No.02 - April-June (2008 vol.5)

pp: 208-222

ABSTRACT

Analysis of the attractors of a genetic regulatory network gives a good indication of the possible functional modes of the system. In this paper we are concerned with the problem of finding all steady states of genetic regulatory networks described by piecewise-linear differential equation (PLDE) models. We show that the problem is NP-hard and translate it into a propositional satisfiability (SAT) problem. This allows the use of existing, efficient SAT solvers and has enabled the development of a steady state search module of the computer tool Genetic Network Analyzer (GNA). The practical use of this module is demonstrated by means of the analysis of a number of relatively small bacterial regulatory networks as well as randomly generated networks of several hundreds of genes.

INDEX TERMS

Genetic regulatory networks, piecewise-linear differential equations, steady states, SAT problem, large-scale systems

CITATION

Hidde de Jong, Michel Page, "Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks",

*IEEE/ACM Transactions on Computational Biology and Bioinformatics*, vol.5, no. 2, pp. 208-222, April-June 2008, doi:10.1109/TCBB.2007.70254REFERENCES

- [1] H. Kitano, “Systems Biology: A Brief Overview,”
Science, vol. 295, no. 5560, pp. 1662-1664, 2002.- [2]
System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, Z. Szallasi, V. Periwal, and J. Stelling, eds. MIT Press, 2006.- [5] J. Hasty, D. McMillen, F. Isaacs, and J. Collins, “Computational Studies of Gene Regulatory Networks: In numero Molecular Biology,”
Nature Rev. Genetics, vol. 2, no. 4, pp. 268-279, 2001.- [10] H. de Jong and D. Ropers, “Qualitative Approaches towards the Analysis of Genetic Regulatory Networks,”
System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, Z. Szallasi, V.Periwal, and J. Stelling, eds., pp. 125-148, MIT Press, 2006.- [15] G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, and D. Schneider, “Validation of Qualitative Models of Genetic Regulatory Networks by Model Checking: Analysis of the Nutritional Stress Response in Escherichia coli,”
Bioinformatics, vol. 21, no. 1, pp. i19-i28, 2005.- [18] A. Usseglio Viretta and M. Fussenegger, “Modeling the Quorum Sensing Regulatory Network of Human-Pathogenic Pseudomonas aeruginosa,”
Biotechnology Progress, vol. 20, no. 3, pp. 670-678, 2004.- [19] D. Ropers, H. de Jong, M. Page, D. Schneider, and J. Geiselmann, “Qualitative Simulation of the Carbon Starvation Response in Escherichia coli,”
Biosystems, vol. 84, no. 2, pp. 124-152, 2006.- [21] J.-L. Gouzé and T. Sari, “A Class of Piecewise Linear Differential Equations Arising in Biological Models,”
Dynamical Systems, vol. 17, no. 4, pp. 299-316, 2002.- [23] J. Gu, P. Purdom, J. Franco, and B. Wah, “Algorithms for the Satisfiability (SAT) Problem: A Survey,”
Satisfiability Problem: Theory and Applications, D. Dingzhu, G. Jun, and P. Pardalos, eds., vol. 35, pp. 19-152, AMS Press, 1997.- [24] E. Snoussi and R. Thomas, “Logical Identification of All Steady States: The Concept of Feedback Loop Characteristic States,”
Bull. Math. Biology, vol. 55, no. 5, pp. 973-991, 1993.- [26] E. Snoussi, “Qualitative Dynamics of Piecewise-Linear Differential Equations: A Discrete Mapping Approach,”
Dynamics and Stability of Systems, vol. 4, nos. 3-4, pp. 189-207, 1989.- [28] M. Ptashne,
A Genetic Switch: Phage $\lambda$ and Higher Organisms, second ed. Cell Press and Blackwell Science, 1992.- [29] R. Thomas and R. D'Ari,
Biological Feedback. CRC Press, 1990.- [30] A. Filippov,
Differential Equations with Discontinuous Righthand Sides. Kluwer Academic, 1988.- [32] T. Zolezzi, “Differential Inclusions and Sliding Mode Control,”
Sliding Mode Control in Eng., W. Perruquetti and J. Barbot, eds., pp.29-51, Marcel Dekker, 2002.- [33] C. Edwards and S. Spurgeon,
Sliding Mode Control: Theory and Applications. Taylor & Francis, 1998.- [34] I. Gent and T. Walsh, “The Search for Satisfaction,” technical report, Dept. of Computer Science, Univ. of Strathclyde, 1999.
- [35] H. Dixon, M. Ginsberg, and A. Parkes, “Generalizing Boolean Satisfiability I: Background and Survey of Existing Work,”
J.Artificial Intelligence Research, vol. 21, pp. 193-243, 2004.- [36] http:/www.sat4j.org, 2008.
- [37] M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, “Chaff: Engineering an Efficient SAT Solver,”
Proc. 38th ACM/IEEE Design Automation Conf., pp. 530-535, 2001.- [38] Q. Hua, C. Yang, T. Oshima, H. Mori, and K. Shimizu, “Analysis of Gene Expression in Escherichia coli in Response to Changes of Growth-Limiting Nutrient in Chemostat Cultures,”
Applied and Environmental Microbiology, vol. 70, no. 4, pp. 2354-2366, 2004.- [39] M. Oh, L. Rohlin, K. Kao, and J. Liao, “Global Expression Profiling of Acetate-Grown Escherichia coli,”
J. Biological Chemistry, vol. 277, no. 15, pp. 13175-13183, 2002.- [42] T. Mestl, E. Plahte, and S. Omholt, “Periodic Solutions in Systems of Piecewise-Linear Differential Equations,”
Dynamics and Stability of Systems, vol. 10, no. 2, pp. 179-193, 1995.- [44] M. Garey and D. Johnson,
Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, 1979. |