Analysing formal models of genetic regulatory networks with delays

International Journal of Bioinformatics Research and Applications

Volumn 4, Issue 3, 2008, Pages 240-262

  Ahmad, Jamil ^a   Roux, Olivier ^a   Bernot, Gilles ^b   Comet, Jean Paul ^b   Richard, Adrien ^b  

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

^b UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

Bioinformatics; Constraints; Cycles; Delays; Gene networks; HyTech; Modelling; Path; Path algorithm; Regulatory networks

Indexed keywords

BACTERIAL DNA; INTERLEUKIN 2; INTERLEUKIN 2 RECEPTOR; PROTEIN TYROSINE KINASE; T LYMPHOCYTE RECEPTOR;

ALGORITHM; ARTICLE; BACTERIOPHAGE LAMBDA; CELL PROLIFERATION; ESCHERICHIA COLI; GENE EXPRESSION; GENETIC ANALYSIS; GENETIC REGULATION; IMMUNE RESPONSE; MAJOR HISTOCOMPATIBILITY COMPLEX; MOLECULAR MODEL; NONHUMAN; PARAMETER; QUANTITATIVE ANALYSIS; RECEPTOR BINDING; SIGNAL TRANSDUCTION; T LYMPHOCYTE ACTIVATION; UPREGULATION;

EID: 47749102070     PISSN: 17445485     EISSN: 17445493     Source Type: Journal    
DOI: 10.1504/IJBRA.2008.019573     Document Type: Article

References (31)

1. Adélaïde, M. and Sutre, G. (2004) 'Parametric analysis and abstraction of genetic regulatory networks', Proc. 2nd Workshop on Concurrent Models in Molecular Biology (BioCONCUR'04), London, UK, August, ser. Electronic Notes in Theor. Comp. Sci., Elsevier, London, UK, (To appear).
2. Ahmad, J., Bernot, G., Comet, J-P., Lime, D. and Roux, O. (2006) 'Hybrid modeling and dynamical analysis of gene regulatory networks with delays', ComPlexUs, Vol. 3, No. 4, pp.231-251.
3. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P-H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S. (1995) 'The algorithmic analysis of hybrid systems', Theoretical Computer Science, Vol. 138, No. 1, pp.3-34, [Online], Available: citeseer.ist.psu.edu/alur95algorithmic.html
4. Alur, R., Courcoubetis, C., Henzinger, T.A. and Ho, P-H. (1992) 'Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems', Hybrid Systems, pp.209-229, [Online], Available: citeseer.ist.psu.edu/alur92hybrid.html
5. 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: nutritional stress response in Escherichia coli', in Morari, M. and Thiele, L. (Eds.): Eighth International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, Ser. Lecture Notes in Computer Science, Vol. 3414, Springer, pp.134-150.
6. Bernot, G., Cassez, F., Comet, J-P., Delaplace, F., Müller, C., Roux, O. and Roux, O. (2007) 'Semantics of biological regulatory networks', Proc. First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003), Marseille, France, ser. Electronic Notes in Theor. Comp. Sci., Elsevier, Vol. 180, No. 3, pp.3-14.
7. Bernot, G., Comet, J-P., Richard, A. and Guespin, J. (2004) 'Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic', Journal of Theoretical Biology, Vol. 229, No. 3, pp.339-347.
8. Cassez, F. and Larsen, K.G. (2000) 'The impressive power of stopwatches', CONCUR'00: Proceedings of the 11th International Conference on Concurrency Theory, Springer-Verlag, London, UK, pp.138-152.
9. Cinquin, O. and Demongeot, J. (2002) 'Positive and negative feedback: striking a balance between necessary antagonists, Journal of Theoretical Biology, Vol. 216, No. 2, pp.229-241.
10. de Jong, H. (2002) 'Modeling and simulation of genetic regulatory systems: a literature review', J. Comput. Biol., Vol. 9, No. 1, pp.67-103.
11. de Jong, H., Geiselmann, J., Batt, G., Hernandez, C. and Page, M. (2004) 'Qualitative simulation of the initiation of sporulation in Bacillus subtilis', Bulletin of Mathematical Biology, Vol. 66, No. 2, pp.261-299.
12. de Jong, H., Geiselmann, J., Hernandez, C. and Page, M. (2003) 'Genetic network analyzer: qualitative simulation of genetic regulatory networks', Bioinformatics, Vol. 19, No. 3, pp.336-344.
13. Devloo, V., Hansen, P. and Labbé, M. (2003) 'Identification of all steady states in large networks by logical analysis', Bull. Math. Biol., Vol. 65, No. 6, pp.1025-1051.
14. Henzinger, T-A., Ho, P-H. and Wong-Toi, H. (1997) 'HYTECH: a model checker for hybrid systems', International Journal on Software Tools for Technology Transfer, Vol. 1, Nos. 1-2, pp.110-122, [Online], Available: citeseer.ist.psu.edu/henzinger97hytech.html
15. Hill, C., Sawhill, B., Kauffman, S.A. and Glass, L. (1998) 'Transition to chaos in models of genetic networks', in Statistical Mechanics of Biocomplexity: Proceedings of the XV Sitges Conference Held at Sitges, Barcelona, Spain, ser. Lecture Notes in Physics, Springer, Berlin/Heidelberg, Vol. 527, pp.261-274.
16. Kam, N., Cohen, I.R. and Harel, D. (2001) 'The immune system as a reactive system: modeling T cell activation with statecharts', Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01), 05-07 September, p.15.
17. Kauffman, S. (2003) 'Understanding genetic regulatory networks', International Journal of Astrobiology, Vol. 2, April, pp.131-139.
18. Kaufman, M., Andris, F. and Leo, O. (1999) 'A logical analysis of T cell activation and anergy', Proc. Natl. Acad. Sci. U.S.A., pp.3894-3899.
19. Schneider, G. (2004) 'Computing invariance kernels of polygonal hybrid systems', Nordic Journal of Computing, Vol. 11, No. 2, pp.194-210.
20. Snoussi, E. (1989) 'Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach', DSS, Vol. 4, pp.189-207.
21. Snoussi, E. and Thomas, R. (1993) 'Logical identification of all steady states : the concept of feedback loop characteristic states', Bull. Math. Biol., Vol. 55, No. 5, pp.973-991.
22. Soulé, C. (2003) 'Graphic requirements for multistationarity', Complexus, Vol. 1, pp.123-133.
23. Thieffry, D. (1993) Modélisation des régulations Génétiques: une méthode logique, son automatisation et quelques applications, PhD Dissertation, Theoretical Biology Unit, Université Libre de Bruxelles, Belgium, 23 January.
24. Thomas, A.P., Henzinger, A., Kopke, P.W. and Varaiya, P. (1998) What's Decidable about Hybrid Automata, EECS Department, University of California, Berkeley, Tech. Rep., [Online], Available: http://www.eecs.berkeley.edu/Pubs/ TechRpts/1998/3418.html
25. Thomas, R. (1973) 'Boolean formalization of genetic control circuits', Journal of Theoretical Biology, Vol. 425, pp.563-585.
26. Thomas, R. (1978) 'Logical analysis of systems comprising feedback loops', J. Theor. Biol., Vol. 73, No. 4, pp.631-656.
27. Thomas, R. (1979) 'Kinetic logic: a Boolean approach to the analysis of complex regulatory systems', Lecture Notes in Biomathematics, Vol. 29, p.507.
28. Thomas, R. (1991) 'Regulatory networks seen as asynchronous automata: a logical description', J. Theor. Biol., Vol. 153, pp.1-23.
29. Thomas, R. and D'Ari, R. (1990) Biological Feedback, CRC Press, Boca Raton, FL.
30. Thomas, R. and Kaufman, M. (2001) 'Multistationarity, the basis of cell differentiation and memory', Chaos, Vol. 11, pp.180-195.
31. Thomas, R., Thieffry, D. and Kaufman, M. (1995) 'Dynamical behaviour of biological regulatory networks-I', Bull. Math. Biol., Vol. 57, No. 2, pp.9247-276.