Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 370-375

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

^a INRIA RHÔNE ALPES   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS AND VERIFICATIONS; GENETIC REGULATORY NETWORKS; MODEL-CHECKING TECHNIQUES; NUTRITIONAL STRESS; QUALITATIVE MODEL; QUALITATIVE SIMULATION;

ARTIFICIAL INTELLIGENCE; DYNAMICAL SYSTEMS; ESCHERICHIA COLI; MODEL CHECKING;

COMPUTER SIMULATION;

EID: 38149009818     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. R. Alur, T.A. Henzinger, G. Lafferriere, and G.J. Pappas. Discrete abstractions of hybrid systems. Proc. IEEE, 88(7):971-84, 2000.
2. J.A. Appleman, W. Ross, J. Salomon, and R.L. Gourse. Activation of E. coli rRNA transcription by Fis during a growth cycle. J. Bacteriol., 180(6):1525-32, 1998. (Pubitemid 28125738)
3. T. Ali Azam, A. Iwata., A. Nishimura, S. Ueda, and A. Ishihama. Growth phase-dependent variation in protein composition of the E. coli nucleoid. J. Bacteriol., 181(20):6361-70, 1999. (Pubitemid 29512946)
4. G. Batt, H. de Jong, J. Geiselmann, and M. Page. Analysis of genetic regulatory networks: A model-checking approach. QR'03, 31-38. 2003.
5. G. Batt, D. Ropers, H. de Jong, J. Geiselmann, M. Page, and D. Schneider. Qualitative analysis and verification of hybrid models of genetic regulatory networks. HSCC'05, LNCS 3414, 134-50. Springer, 2005.
6. G. Bernot, J.-P. Comet, A. Richard, and J. Guespin. A fruitful application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol., 229(3):339-47, 2004. (Pubitemid 38844938)
7. G. Brajnik and D.J. Clancy. Focusing qualitative simulation using temporal logic. Ann. Math. Artif. Intell., 22(1-2):59-86, 1998.
8. N. Chabrier-Rivier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter. Modeling and querying biomolecular interaction networks. Theor. Comput. Sci., 325(1):25-44, 2004.
9. A. Cimatti et al. NuSMV2: An open-source tool for symbolic model checking. CAV'02, LNCS 2404, 359-64. Springer, 2002.
10. E.M. Clarke and I.A. Draghicescu. Expressibility results for linear-time and branching-time logics. REX Workshop, LNCS 354, 428-37. Springer, 1988.
11. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT Press, 1999.
12. H. de Jong, J. Geiselmann, C. Hernandez, and M. Page. Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics, 19(3):336-44, 2003. (Pubitemid 36284933)
13. H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, and M. Page. Qualitative simulation of the initiation of sporulation in B. subtilis. Bull. Math. Biol., 66(2):261-99, 2004. (Pubitemid 38225125)
14. H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, and J. Geiselmann. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol., 66(2):301-40, 2004. (Pubitemid 38215331)
15. L. Glass and S.A. Kauffman. The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol., 39(1):103-29, 1973.
16. J.-L. Gouzé and T. Sari. A class of piecewise-linear differential equations arising in biological models. Dyn. Syst., 17(4):299-316, 2002.
17. O. Grumberg and D.E. Long. Model checking and modular verification. ACM Trans. Program. Lang. and Syst., 16(3):1512-42, 1994.
18. G.W. Huisman, D.A. Siegele, M.M. Zambrano, and R. Kolter. Morphological and physiological changes during stationary phase. In F.C. Neidhardt et al., eds, E. coli and Salmonella: Cellular and Molecular Biology, 1672-82. ASM Press, 1996.
19. M. Kawamukai, J. Kishimoto, R. Utsumi, M. Himeno, T. Komano, and H. Aiba. Negative regulation of adenylate cyclase gene (cya) expression by cyclic AMP-cyclic AMP receptor protein in E. coli. J. Bacteriol., 164(2):872-77, 1985.
20. B.J. Kuipers. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, 1994.
21. R. Mateescu and H. Garavel. XTL: A meta-language and tool for temporal logic model-checking. STTT'98, 33-42, 1998.
22. R. Mateescu and M. Sighireanu. Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program., 46(3):255-81, 2003. (Pubitemid 35349766)
23. D. Ropers, H. de Jong, M. Page, D. Schneider, and J. Geiselmann. Qualitative simulation of nutritional stress response in E. coli. Technical Report RR-5412, INRIA, 2004.
24. B. Shults and B.J. Kuipers. Proving properties of continuous systems: Qualitative simulation and temporal logic. Artif. Intell., 92:91-130, 1997.