Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli

Bioinformatics

Volumn 21, Issue SUPPL. 1, 2005, Pages

  Batt, Grégory ^a   Ropers, Delphine ^a   de Jong, Hidde ^a   Geiselmann, Johannes ^b   Mateescu, Radu ^a   Page, Michel ^a,c   Schneider, Dominique ^b  

^a INRIA RHÔNE ALPES   (France)

^b CNRS   (France)

^c UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ACCURACY; ARTICLE; BACTERIAL GENETICS; BACTERIAL GROWTH; BIOINFORMATICS; COMPUTER MODEL; COMPUTER SIMULATION; CONTROLLED STUDY; ESCHERICHIA COLI; INFORMATION PROCESSING; NONHUMAN; NUTRITION; PREDICTION; PRIORITY JOURNAL; QUALITATIVE ANALYSIS; STRESS; VALIDATION PROCESS;

BACTERIA (MICROORGANISMS); ESCHERICHIA COLI;

COMPUTER TOOLS; EXPERIMENTAL DATA; GENETIC REGULATORY NETWORKS; MODEL PREDICTION; MODEL VALIDATION; MODELING AND SIMULATION; NUTRITIONAL STRESS; QUALITATIVE MODEL; QUALITATIVE MODELING;

COMPUTER SIMULATION; ESCHERICHIA COLI; FORECASTING; INTELLIGENT SYSTEMS; MOLECULAR BIOLOGY; MOLECULAR STRUCTURE;

MODEL CHECKING;

EID: 84860513120     PISSN: 13674803     EISSN: 13674811     Source Type: Journal    
DOI: 10.1093/bioinformatics/bti1048     Document Type: Article

References (25)

1. Ali Azam,T., Iwata,A., Nishimura,A., Ueda,S. and Ishihama,A. (1999) Growth phase-dependent variation in protein composition of the E.coli nucleoid. J. Bacteriol., 181, 6361-6370.
2. Antoniotti,M., Piazza,C., Policriti,A., Simeoni,M. and Mishra,B. (2004) Taming the complexity of biochemical models through bisimulation and collapsing: Theory and practice. Theor. Comput. Sci., 325, 45-67.
3. Balke,V.L. and Gralla,J.D. (1987) Changes in the linking number of supercoiled DNA accompany growth transitions in Escherichia coli. J. Bacteriol., 169, 4499-4506.
4. Batt,G. Ropers,D., de Jong,H., Geiselmann,J., Page,M. and Schneider,D. (2005) Qualitative analysis and verification of hybrid models of genetic regulatory networks. In Morari,M. and Thiele,L. (eds), HSCC' 05, Lecture Notes in Computer Science Vol. 3414, Springer, Berlin, pp. 134-150.
5. Bernot,G., Comet,J.-P., Richard,A. and Guespin,J. (2004) A fruitful application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol., 229, 339-347.
6. Chabrier-Rivier,N., Chiaverini,M., Danos,V., Fages,F. and Schächter,V. (2004) Modeling and querying biomolecular interaction networks. Theor. Comput. Sci., 325, 25-44.
7. Cimatti,A., Clarke,E.M., Giunchiglia,E., Giunchiglia,F., Pistore,M., Roveri,M., Sebastiani,R. and Tacchella,A. (2002) NuSMV2: An opensource tool for symbolic model checking. In Brinksma,E. and Larsen,K.G. (eds), CAV'02, Lecture Notes in Computer Science, Vol. 2404, Springer, Berlin, pp. 359-364.
8. Clarke,E.M. and Draghicescu,I.A. (1988) Expressibility results for linear-time and branching-time logics. In de Bakker,J.W., de Roever,W.P. and Rozenberg,G. (eds), REX Workshop, Lecture Notes in Computer Science Vol. 354, Springer, Berlin, pp. 428-437.
9. Clarke,E.M., Grumberg,O. and Peled,D.A. (1999) Model Checking. MIT Press, Cambridge, MA.
10. de Jong,H. (2002) Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol., 9, 69-105.
11. de Jong,H., Geiselmann,J., Hernandez,C. and Page,M. (2003) Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics, 19, 336-344.
12. de Jong,H., Gouzé,J.-L., Hernandez,C., Page,M., Sari,T. and Geiselmann,J. (2004) Qualitative simulation of genetic regulatory networks using Piecewise-linear models. Bull. Math. Biol., 66, 301-340.
13. Drlica,K. (1990) Bacterial topoisomerases and the control of DNA supercoiling. Trends Genet., 6, 433-437.
14. Eker,S., Knapp,M., Laderoute,K., Lincoln,P., Meseguer,J. and Sönmez,M.K. (2002) Pathway logic: Symbolic analysis of biological signaling. In Altman,R.B., Dunker,A.K., Hunter,L., Jung,T., and Klein,T.C. (eds), PSB'02, World Scientific Publishing, Singapore, pp. 400-412.
15. Ghosh,R., Tiwari,A. and Tomlin,C.J. (2003) Automated symbolic reachability analysis, with application to Delta-Notch signaling automata. In Maler,O. and Pnueli,A. (eds), HSCC' 03, Lecture Notes in Computer Science Vol. 2623, Springer, Berlin, pp. 233-248.
16. Glass,L. and Kauffman,S.A. (1973) The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol., 39, 103-129.
17. Gouzé,J.-L. and Sari,T. (2002) A class of piecewise-linear differential equations arising in biological models. Dyn. Syst., 17, 299-316.
18. Hengge-Aronis,R. (2000) The general stress response in E.coli. In Storz,G. and Hengge-Aronis,R. (eds), Bacterial Stress Responses. ASM Press, Washington, DC, pp. 161-177.
19. Huisman,G.W., Siegele,D.A., Zambrano,M.M. and Kolter,R. (1996) Morphological and physiological changes during stationary phase. In Neidhardt,F.C., Curtiss III,R., Ingraham,J.L., Lin,E.C.C., Low,K.B., Magasanik,B., Reznikoff,W.S., Riley,M., Schaechter,M. and Umbarger,H.E. (eds), Escherichia coli and Salmonella: Cellular and Molecular Biology. ASM Press, Washington, DC, pp. 1672-1682.
20. Koch,I., Junker,B.H. and Heiner,M. (2005) Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21, 1219-1226.
21. Mateescu,R. and Sighireanu,M. (2003) Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program., 46, 255-281.
22. Mateescu,R. and Garavel,H. (1998) XTL: A meta-language and tool for temporal logic model-checking. In Margaria,T. and Steffen,B. (eds) STTT'98. Brics, Aalborg, pp. 33-42.
23. Regev,A., Silverman,W. and Shapiro,E. (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra. In Altman,R.B., Dunker,A.K., Hunter,L. and Klein,T.E. (eds), PSB'01.World Scientific Publishing, Singapore, pp. 459-470.
24. Ropers,D., de Jong,H., Page,M., Schneider,D. and Geiselmann,J. (2004) Qualitative simulation of nutritional stress response in Escherichia coli. Technical Report INRIA RR-5412.
25. Shults,B. and Kuipers,B.J. (1997) Proving properties of continuous systems: Qualitative simulation and temporal logic. Artif. Intell., 92, 91-130.