Formal methods for modeling biological regulatory networks

Modern Formal Methods and Applications

Volumn , Issue , 2006, Pages 83-122

  Richard, Adrien ^a   Comet, Jean Paul ^a   Bernot, Gilles ^a  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79957681989     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/1-4020-4223-X_5     Document Type: Chapter

References (33)

1. V. Bassano and G. Bernot. Marked regulatory graphs: A formal framework to simulate biological regulatory networks with simple automata. In 14'th International Workshop on Rapid System Prototyping, pages 93-99, San Diego, 2003.
2. G. Bernot, F. Cassez, J.-P. Comet, F. Delaplace, C. Müller, O. Roux, and O.H. Roux. Semantics of biological regulatory networks. In Proceedings of the Workshop on Concurrent Models in Molecular Biology (BioConcur'2003), 2003.
3. 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-347, 2004.
4. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: A reimplementation of SMV. In Proceeding of the International Workshop on Software Tools for Technology Transfer (STTT-98), BRICS Notes Series, NS-98-4, pages 25-31, 1998.
5. O. Cinquin and J. Demongeot. Positive and negative feedback: Striking a balance between necessary antagonists. J. Theor. Biol., 216(2):229-241, 2002.
6. O. Cinquin and J. Demongeot. Roles of positive and negative feedback in biological systems. C.R.Biol., 325(11):1085-1095, 2002.
7. H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, S. Tewfik, and J. Geiselmann. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol., 66(2):301-340, 2004.
8. E.A. Emerson. Handbook of theoretical computer science, Volume B : formal models and semantics, chapter Temporal and modal logic, pages 995-1072. MIT Press, 1990.
9. A.F. Filippov. Differential equations with discontinuous right-hand sides. Kluwer Academic Publishers, 1988.
10. L. Glass and S.A. Kauffman. The logical analysis of continuous non linear biochemical control networks. J. Theor. Biol., 39(1):103-129, 1973.
11. J.-L. Gouzé and S. Tewfik. A class of piecewise linear differential equations arising in biological models. Dynamical Syst., 17:299-316, 2003.
12. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1:110-122, 1997.
13. M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000.
14. B.J. Kuipers. Qualitative reasoning: modeling and simulation with incomplete knowledge. MIT Press, 1994.
15. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
16. L. Mendoza, D. Thieffry, and E.R. Alvarez-Buylla. Genetic control of flower morphogenesis in arabidopsis thaliana: A logical analysis. Bioinformatics, 15(7-8):593-606, 1999.
17. S. Pérès and J.-P. Comet. Contribution of computational tree logic to biological regulatory networks: Example from pseudomonas aeruginosa. In International workshop on Computational Methods in Systems.
18. E. Plathe, T. Mestl, and S.W. Omholt. Feedback loops, stability and multistationarity in dynamical systems. J. Biol. Syst., 3:569-577, 1995.
19. L. Sánchez and D. Thieffry. A logical analysis of the drosophila gapgene system. J. Theor. Biol., 211(2):115-141, 2001.
20. L. Sánchez, J. van Helden, and D. Thieffry. Establishment of the dorsoventral pattern during embryonic development of drosophila melanogaster: A logical analysis. J. Theor. Biol., 189(4):377-389, 1997.
21. S.S. Shen-Orr, R. Milo, S. Mangan, and U. Alon. Network motifs in the transcriptional regulation network of Escherichia coli. Nat. Genet., 31(1):64-68, 2002.
22. E.H. Snoussi. Qualitative dynamics of a piecewise-linear differential equations : A discrete mapping approach. Dynamics and stability of Systems, 4:189-207, 1989.
23. E.H. Snoussi. Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst., 6:3-9, 1998.
24. E.H. Snoussi and R. Thomas. Logical identification of all steady states : The concept of feedback loop characteristic states. Bull. Math. Biol., 55(5):973-991, 1993.
25. C. Soulé. Graphical requirements for multistationarity. ComPlexUs, 1:123-133, 2003.
26. D. Thieffry and R. Thomas. Dynamical behaviour of biological regulatory networks - II. Immunity control in bacteriophage lambda. Bull. Math. Biol., 57(2):277-297, 1995.
27. R. Thomas. Logical analysis of systems comprising feedback loops. J. Theor. Biol., 73(4):631-656, 1978.
28. R. Thomas. On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Series in Synergies 9, pages 180-193, 1980.
29. R. Thomas. Biological Feedback. CRC Press, 1990.
30. R. Thomas, A.M. Gathoye, and L. Lambert. A complex control circuit. Regulation of immunity in temperate bacteriophages. Eur. J. Biochem., 71(1):211-227, 1976.
31. R. Thomas and M. Kaufman. Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos, 11:180-195, 2001.
32. R. Thomas, D. Thieffry, and M. Kaufman. Dynamical behaviour of biological regulatory networks - I. Biological role of feedback loops an practical use of the concept of the loop-characteristic state. Bull. Math. Biol., 57(2):247-276, 1995.
33. E.O. Voit. Computational Analysis of biochemical systems: A practical guide for biochemists and molecular biologists. Cambridge University Press, 2000.