Hybrid modelling and dynamical analysis of gene regulatory networks with delays

Complexus

Volumn 3, Issue 4, 2006, Pages 231-251

  Ahmad, Jamil ^a   Bernot, Gilles ^b,c   Comet, Jean Paul ^c   Lime, Didier ^a   Roux, Olivier ^a,d  

^a ECOLE CENTRALE DE NANTES   (France)

^b Univ Evry   (France)

^c UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

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

Author keywords

Bioinformatics; Computer analysis; Gene regulatory network; Networks, analysis and modelling

Indexed keywords

ALGORITHM; ARTICLE; COMPUTER ANALYSIS; GENE CONTROL; GENE EXPRESSION; GENE INTERACTION; HYBRID; MOLECULAR DYNAMICS; NONHUMAN; PARAMETER; PRIORITY JOURNAL; PSEUDOMONAS AERUGINOSA;

BACTERIA (MICROORGANISMS); PSEUDOMONAS AERUGINOSA;

EID: 36949019568     PISSN: 14248492     EISSN: None     Source Type: Journal    
DOI: 10.1159/000110010     Document Type: Article

References (40)

1. Jacob F, Monod J: Genetics regulatory mechanisms in the synthesis of proteins. J Mol Biol 1961;3:318-356.
2. de Jong H: Modélisation et simulation qualitative de réseaux de régulation génique; 'Habilitation à diriger des recherches', Joseph Fourier University, Grenoble, 2004.
3. Sugita M: Functional analysis of chemical systems in vivo using a logical circuit equivalent. II. The idea of a molecular automaton. J Theor Biol 1963;4:179-192.
4. Kauffman SA: Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol 1969;22:437-467.
5. Thomas R: Boolean formalization of genetic control circuits. J Theor Biol 1973;42:563-585.
6. Bernot G, Comet J-P, Richard A, Guespin J: Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. J Theor Biol 2004;229:339-347.
7. Thomas R, Kaufman M: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 2001;11:180-195.
8. Henzinger T-A, Ho P-H, Wong-Toi H: HyTech: a model checker for hybrid systems. Int J Software Tools Technol Transfer 1997;1:110-122.
9. Lincoln P, Tiwari A: Symbolic systems biology: hybrid modeling and analysis of biological networks. 7th International Workshop, Hybrid Systems: Computation and Control (HSCC 2004). Lecture Notes Comput Sci 2004;2993:660-672.
10. Ghosh R, Tomlin CJ: Lateral inhibition through delta-notch signaling: a piecewise affine hybrid model. 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001). Lecture Notes Comput Sci 2001;2034:232-246.
11. Alur R, Belta C, Ivancic F, Kumar V, Mintz M, Pappas G, Rubin H, Schug J: Hybrid modeling and simulation of biomolecular networks. 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001). Lecture Notes Comput Sci 2001;2034:19-32.
12. de Jong H, Gouzé J-L, Hernandez C, Page M, Sari T, Geiselmann J: Hybrid modeling and simulation of genetic regulatory networks: a qualitative approach. 6th International Workshop, Hybrid Systems: Computation and Control (HSCC 2003). Lecture Notes Comput Sci 2003;2623:267-282.
13. Belta C, Schug J, Dang T, Kumar V, Pappas GJ, Rubin H, Dunlap P: Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. 40th IEEE Conference on Decision and Control (CDC 2001), Orlando, 2001, pp 869-874.
14. Belta C, Finin P, Habets LC, Halasz A, Imielinski M, Kumar V, Rubin H: Understanding the bacterial stringent response using reachability analysis of hybrid systems. 7th International Workshop, Hybrid Systems: Computation and Control (HSCC 2004). Lecture Notes Comput Sci 2004;2993:111-125.
15. Fowler AC, Mackey MC: Relaxation oscillations in a class of delay diff erential equations. SIAM J Appl Math 2002;63:299-323.
16. Wu FX, Zhang WJ, Kusalik AJ: State-space model for gene regulatory networks with time delays. IEEE Computational Systems Bioinformatics Conference (CSB 2004). IEEE Computer Society, 2004, pp 454-455.
17. Maranas CD, Dasika MS, Gupta A: A mixed integer linear programming (MILP) framework for inferring time delay in gene regulatory networks. Pacific Symposium on Biocomputing, Hawaii, 2004, pp. 474-485.
18. Adélaïde M, Sutre G: Parametric analysis and abstraction of genetic regulatory networks. Proc 2nd Workshop on Concurrent Models in Molecular Biology (BioCONCUR'04). Electronic Notes in Theor Comp Sci. Amsterdam, Elsevier, 2004.
19. Siebert H, Bockmayr A: Incorporating time delays into the logical analysis of gene regulatory networks. International Conference on Computational Methods in Systems Biology (CMSB'06), Trento, Italy, LNBI 4210. Berlin, Springer, 2006, pp 169-183.
20. Guespin-Michel J, Kaufman M: Positive feedback circuits and adaptive regulations in bacteria. Acta Biotheor 2001;49:207-218.
21. Snoussi EH, Thomas R: Logical identification of all steady states: the concept of feedback loop characteristic states. Bull Math Biol 1993;55:973-991.
22. Thomas R: On the Relation between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations. Springer Ser Synerg 1980;9:180-193.
23. Thomas R, Thieffry D, 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 1995;57:247-276.
24. Demongeot J, Kaufman M, Thomas R: Positive feedback circuits and memory. CR Acad Sci III 2000;323:69-79.
25. Cinquin O, Demongeot J: Positive and negative feedback: striking a balance between necessary antagonists. J Theor Biol 2002;216:229-241.
26. Soulé C: Graphical requirements for multistationarity. ComPlexUs 2003;1:123-133.
27. Emerson EA: Handbook of theoretical computer science, vol B: Formal Models and Semantics. Cambridge, MIT Press, 1990, pp 995-1072.
28. Filopon D, Merieau A, Bernot G, Comet J-P, Leberre R, Guery B, Polack B, Guespin-Michel J: Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. BMC Bioinformatics 2006;7:272-281.
29. Alur R, Dill DL: A theory of timed automata. Theor Comput Sci 1994;126:183-235.
30. Henzinger TA, Kopke PW, Puri A, Varaiya P: What's decidable about hybrid automata? J Comput Syst Sci 1998;57:94-124.
31. Henzinger T: The theory of hybrid automata. Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS '96), New Brunswick, 1996, pp 278-292.
32. Frehse G: Phaver: algorithmic verification of hybrid systems past HyTech; in HSCC. Berlin, Springer, 2005, pp 258-273.
33. Bengtsson J, Larsen K, Larsson F, Pettersson P, Yi W, Weise C: New generation of UPPAAL, 1998.
34. Asarin E, Schneider G, Yovine S: Towards computing phase portraits of polygonal differential inclusions; in HSCC 2002, number 2289 in LNCS. Stanford, Springer, 2002, pp 49-61.
35. Bernot G, Cassez F, Comet J-P, Delaplace F, Müller C, Roux O, Roux O: Semantics of biological regulatory networks; in Danos V, Laneve C (eds): BioConcur 2003. ENTCS series. Marseille, Elsevier, 2003.
36. Thomas R, D'Ari R: Biological Feedback. Boca Raton, CRC Press, 1990.
37. Schneider G: Computing invariance kernels of polygonal hybrid systems. Nordic J Comput 2004;11:194-210.
38. Aubin JP: A survey of viability theory. SIAM J Control Optim 1990;28:749-788.
39. Aubin JP: Viability kernels and capture basins of sets under differential inclusions. SIAM J Control Optim 2001;40:853-881.
40. Ahmad J, Roux O, Bernot G, Comet JP, Richard A: Analysing formal models of genetic regulatory networks with delays. Int J Bioinformatics Res Appl 2007.