
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Hidde de Jong, Michel Page, "Search for Steady States of PiecewiseLinear Differential Equation Models of Genetic Regulatory Networks," IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 5, no. 2, pp. 208222, AprilJune, 2008.  
BibTex  x  
@article{ 10.1109/TCBB.2007.70254, author = {Hidde de Jong and Michel Page}, title = {Search for Steady States of PiecewiseLinear Differential Equation Models of Genetic Regulatory Networks}, journal ={IEEE/ACM Transactions on Computational Biology and Bioinformatics}, volume = {5}, number = {2}, issn = {15455963}, year = {2008}, pages = {208222}, doi = {http://doi.ieeecomputersociety.org/10.1109/TCBB.2007.70254}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE/ACM Transactions on Computational Biology and Bioinformatics TI  Search for Steady States of PiecewiseLinear Differential Equation Models of Genetic Regulatory Networks IS  2 SN  15455963 SP208 EP222 EPD  208222 A1  Hidde de Jong, A1  Michel Page, PY  2008 KW  Genetic regulatory networks KW  piecewiselinear differential equations KW  steady states KW  SAT problem KW  largescale systems VL  5 JA  IEEE/ACM Transactions on Computational Biology and Bioinformatics ER   
[1] H. Kitano, “Systems Biology: A Brief Overview,” Science, vol. 295, no. 5560, pp. 16621664, 2002.
[2] System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, Z. Szallasi, V. Periwal, and J. Stelling, eds. MIT Press, 2006.
[3] H. Bolouri and E. Davidson, “Modeling Transcriptional Regulatory Networks,” BioEssays, vol. 24, no. 12, pp. 11181129, 2002.
[4] H. de Jong, “Modeling and Simulation of Genetic Regulatory Systems: A Literature Review,” J. Computational Biology, vol. 9, no. 1, pp. 67103, 2002.
[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. 268279, 2001.
[6] P. Smolen, D. Baxter, and J. Byrne, “Modeling Transcriptional Control in Gene Networks: Methods, Recent Results, and Future Directions,” Bull. Math. Biology, vol. 62, no. 2, pp. 247292, 2000.
[7] L. Glass and S. Kauffman, “The Logical Analysis of Continuous NonLinear Biochemical Control Networks,” J. Theoretical Biology, vol. 39, no. 1, pp. 103129, 1973.
[8] S. Kauffman, “Metabolic Stability and Epigenesis in Randomly Constructed Genetic Nets,” J. Theoretical Biology, vol. 22, no. 3, pp.437467, 1969.
[9] R. Thomas, “Boolean Formalization of Genetic Control Circuits,” J.Theoretical Biology, vol. 42, no. 3, pp. 563585, 1973.
[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. 125148, MIT Press, 2006.
[11] J. Gagneur and G. Casari, “From Molecular Networks to Qualitative Cell Behavior,” FEBS Letters, vol. 579, no. 8, pp.18671871, 2005.
[12] J. Stelling, U. Sauer, Z. Szallasi, F. Doyle, and J. Doyle, “Robustness of Cellular Functions,” Cell, vol. 118, no. 6, pp. 675686, 2004.
[13] N. Ingolia and A. Murray, “The Ups and Downs of Modeling the Cell Cycle,” Current Biology, vol. 14, no. 18, pp. R771R777, 2004.
[14] H. de Jong, J.L. Gouzé, C. Hernandez, M. Page, T. Sari, and J. Geiselmann, “Qualitative Simulation of Genetic Regulatory Networks Using PiecewiseLinear Models,” Bull. Math. Biology, vol. 66, no. 2, pp. 301340, 2004.
[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. i19i28, 2005.
[16] H. de Jong, J. Geiselmann, C. Hernandez, and M. Page, “Genetic Network Analyzer: Qualitative Simulation of Genetic Regulatory Networks,” Bioinformatics, vol. 19, no. 3, pp. 336344, 2003.
[17] H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, and M. Page, “Qualitative Simulation of the Initiation of Sporulation in B.subtilis,” Bull. Math. Biology, vol. 66, no. 2, pp. 261299, 2004.
[18] A. Usseglio Viretta and M. Fussenegger, “Modeling the Quorum Sensing Regulatory Network of HumanPathogenic Pseudomonas aeruginosa,” Biotechnology Progress, vol. 20, no. 3, pp. 670678, 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. 124152, 2006.
[20] J.A. Sepulchre, S. Reverchon, and W. Nasser, “Modeling the Onset of Virulence in a Pectinolytic Bacterium,” J. Theoretical Biology, vol. 44, no. 2, pp. 239257, 2007.
[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. 299316, 2002.
[22] R. Casey, H. de Jong, and J.L. Gouzé, “PiecewiseLinear Models of Genetic Regulatory Networks: Equilibria and Their Stability,” J.Math. Biology, vol. 52, no. 1, pp. 2756, 2006.
[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. 19152, 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. 973991, 1993.
[25] V. Devloo, P. Hansen, and M. Labbé, “Identification of All Steady States in Large Networks by Logical Analysis,” Bull. Math. Biology, vol. 65, no. 6, pp. 10251052, 2003.
[26] E. Snoussi, “Qualitative Dynamics of PiecewiseLinear Differential Equations: A Discrete Mapping Approach,” Dynamics and Stability of Systems, vol. 4, nos. 34, pp. 189207, 1989.
[27] T. Mestl, E. Plahte, and S. Omholt, “A Mathematical Framework for Describing and Analysing Gene Regulatory Networks,” J.Theoretical Biology, vol. 176, no. 2, pp. 291300, 1995.
[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.
[31] E. Plahte and S. Kjóglum, “Analysis and Generic Properties of Gene Regulatory Networks with Graded Response Functions,” Physica D, vol. 201, no. 1, pp. 150176, 2005.
[32] T. Zolezzi, “Differential Inclusions and Sliding Mode Control,” Sliding Mode Control in Eng., W. Perruquetti and J. Barbot, eds., pp.2951, 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. 193243, 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. 530535, 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 GrowthLimiting Nutrient in Chemostat Cultures,” Applied and Environmental Microbiology, vol. 70, no. 4, pp. 23542366, 2004.
[39] M. Oh, L. Rohlin, K. Kao, and J. Liao, “Global Expression Profiling of AcetateGrown Escherichia coli,” J. Biological Chemistry, vol. 277, no. 15, pp. 1317513183, 2002.
[40] R. Edwards, “Analysis of ContinuousTime Switching Networks,” Physica D, vol. 146, no. 14, pp. 165199, 2000.
[41] L. Glass and J. Pasternack, “Stable Oscillations in Mathematical Models of Biological Control Systems,” J. Math. Biology, vol. 6, no. 3, pp. 207223, 1978.
[42] T. Mestl, E. Plahte, and S. Omholt, “Periodic Solutions in Systems of PiecewiseLinear Differential Equations,” Dynamics and Stability of Systems, vol. 10, no. 2, pp. 179193, 1995.
[43] T. Mestl, C. Lemay, and L. Glass, “Chaos in HighDimensional Neural and Gene Networks,” Physica D, vol. 98, no. 1, pp. 3352, 1996.
[44] M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NPCompleteness. W.H. Freeman, 1979.