Temporal constraints of a gene regulatory network: Refining a qualitative simulation

BioSystems

Volumn 98, Issue 3, 2009, Pages 149-159

  Ahmad, Jamil ^a   Bourdon, Jérémie ^b,c   Eveillard, Damien ^b   Fromentin, Jonathan ^a   Roux, Olivier ^a   Sinoquet, Christine ^b  

^a ECOLE CENTRALE DE NANTES   (France)

^b INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^c CAMPUS DE BEAULIEU   (France)

Author keywords

Delay parameter synthesis; Escherichia coli; Gene regulatory network; Hybrid automaton; Model checking

Indexed keywords

CARBON;

BACTERIUM; GENE EXPRESSION; HYBRID; MODEL; REGULATORY APPROACH; SIMULATION;

ARTICLE; BIOINFORMATICS; ESCHERICHIA COLI; GENE ACTIVATION; GENE EXPRESSION REGULATION; GENE REGULATORY NETWORK; INFORMATION SCIENCE; MATHEMATICAL MODEL; NONHUMAN; PSEUDOMONAS AERUGINOSA; QUALITATIVE ANALYSIS; SIMULATION;

ESCHERICHIA COLI;

EID: 71849105753     PISSN: 03032647     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.biosystems.2009.05.002     Document Type: Article

References (23)

1. Adélaïde, M., Sutre, G., 2004. Parametric analysis and abstraction of genetic regulatory networks. In: Proceedings of the 2nd Workshop on Concurrent Models in Molecular Biology, BioCONCUR'04. Electronic Notes in Theor. Comp. Sci. Amsterdam, Elsevier.
2. Ahmad, J., Bernot, G., Comet, J.-P., Lime, D., Roux, O., 2007. Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks With Delays. ComPlexUs, Karger Publisher, vol. 3, no. 4, pp. 231-251.
3. Alur R., and Dill D.L. A theory of timed automata. Theor. Comput. Sci. 126 (1994) 183-235
4. Balke V., and Gralla J. Changes in the linking number of supercoiled DNA accompany growth transitions in Escherichia coli. J. Bacteriol. 169 10 (1987) 4499-4506
5. Batt G., Ropers D., de Jong H., Geiselmann J., Mateescu R., Page M., and Schneider D. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21 Suppl. 1 (2005) i19-i28
6. Bernot G., Comet J.-P., Richard A., and Guespin J. Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol. 229 3 (2004) 339-347
7. Chang D., Smalley D., and Conway T. Gene expression profiling of Escherichia coli growth transitions: an expanded stringent response model. Mol. Microbiol. 45 2 (2002) 289-306
8. de Jong H. Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9 1 (2002) 67-103 doi: 10.1089/10665270252833208
9. de Jong H., Gouzé J.L., Hernandez C., Page M., Sari T., and Geiselmann J. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 66 2 (2004) 301-340
10. de Jong, H., Page, M., Hernandez, C., Geiselmann, J., 2001. Qualitative simulation of genetic regulatory networks: method and application. In: Nebel, B. (Ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI'01. Morgan Kaufmann, San Mateo, CA, pp. 67-73.
11. Glass L., and Kauffman S.A. The logical analysis of continuous non linear biochemical control networks. J. Theor. Biol. 1 39 (1973) 103-129
12. Hatfield G.W., and Benham C.J. DNA topology-mediated control of global gene expression in Escherichia coli. Annu. Rev. Genet. 36 (2002) 175-203 doi: 10.1146/annurev.genet.36.032902.111815
13. Henzinger, T.A., Ho, P.-H., 1995. Algorithmic analysis of nonlinear hybrid systems. CAV: Computer-Aided Verification, Lecture Notes in Computer Science 939. Springer, pp. 225-238.
14. Henzinger T.A., Ho P.-H., and Wong-Toi H. HYTECH: a model checker for hybrid systems. Int. J. Software Tools Technol. Transf. 1 1-2 (1997) 110-122
15. Ropers D., de Jong H., Page M., Schneider D., and Geiselmann J. Qualitative simulation of the carbon starvation response in Escherichia coli. Biosystems 2 84 (2006) 124-152 doi: 10.1016/j.biosystems.2005.10.005
16. Siebert, H., Bockmayr, A., 2006. Incorporating time delays into the logical analysis of gene regulatory networks. Computational Methods in Systems Biology, CMSB'06, Corrado Priami, Trento, Italy, Lecture Notes in Computer Science, Springer, vol. 4210, pp. 169-183.
17. Siebert H., and Bockmayr A. Temporal constraints in the logical analysis of regulatory networks. Theor. Comput. Sci. 391 3 (2008) 258-275
18. Snoussi E.H. Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach. Dyn. Stab. Syst. 4 3 & 4 (1989) 189-207
19. Snoussi E.H., and Thomas R. Logical identification of all steady states: the concept of feedback loop characteristic states. Bull. Math. Biol. 55 5 (1993) 973-991
20. Thomas R. Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol. 153 (1991) 1-23
21. Thomas R., and d'Ari R. Biological Feedback (1990), CRC Press
22. Thomas R., Thieffry D., and Kaufman M. 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 (1995) 247-276
23. Travers A., Schneider R., and Muskhelishvili G. DNA supercoiling and transcription in Escherichia coli: the FIS connection. Biochimie 2 (2001) 1213-1217 doi: 10.1016/S0300-9084(00)01217-7