Abstract
We introduce a hybrid modelling framework for gene regulatory networks as an extension of the René Thomas’ discrete modelling framework. We handle temporal aspects through delays expressing the time mandatory to pass from a qualitative state to another one. It permits one to build, from a specification expressed in terms of paths, the constraints on the temporal parameters in order to assure the consistency between the hybrid model and the specification.
We illustrate this modelling framework on the simple system of mucus production in the bacterium Pseudomonas aeruginosa. We show through this example how to build the constraints on the delays parameters for the specification of a cycle in the dynamics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ideker, T., Galitski, T., Hood, L.: A new approach to decoding life: systems biology. Annual Rev. Genomics Hum. Genet. 2, 343–372 (2001)
Oltvai, Z., Barabási, A.: Systems biology. Life’s complexity pyramid. Science 298(5594), 763–764 (2002)
Kitano, H.: Computational systems biology. Nature 420(6912), 206–210 (2002)
Conti, F., Valerio, M., Zbilut, J., Giuliani, A.: Will systems biology offer new holistic paradigms to life sciences? Syst. Synth. Biol. 1(4), 161–165 (2007)
Rashevsky, N.: Mathematical Biophysics: Physico-Mathematical Foundations of Biology. University of Chicago Press, Chicago (1948)
Sugita, M.: Functional analysis of chemical systems in vivo using a logical circuit equivalent. Journal of Theoretical Biology 1, 415–430 (1961)
Thomas, R.: Boolean formalization of genetic control circuits. Journal of Theoretical Biology 42, 563–585 (1973)
Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. Journal of Theoretical Biology 153, 1–23 (1991)
Snoussi, E.: Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach. Dynamics and stability of Systems 4, 189–207 (1989)
Farcot, E., Gouzé, J.L.: Limit cycles in piecewise-affine gene network models with multiple interaction loops. International Journal of Systems Science 41(1), 119–130 (2010)
Siebert, H., Bockmayr, A.: Incorporating time delays into the logical analysis of gene regulatory networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 169–183. Springer, Heidelberg (2006)
Ahmad, J., Bernot, G., Comet, J.P., Lime, D., Roux, O.: Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComPlexUs 3(4), 231–251 (2007)
Batt, G., Ben Salah, R., Maler, O.: On timed models of gene networks. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 38–52. Springer, Heidelberg (2007)
Maler, O., Pnueli, A.: Timing analysis of asynchronous circuits using timed automata. In: Camurati, P.E., Eveking, H. (eds.) CHARME 1995. LNCS, vol. 987, pp. 189–205. Springer, Heidelberg (1995)
Comet, J.P., Bernot, G.: Introducing continuous time in discrete models of gene regulatory networks. In: Proc. of the Nice Spring school on Modelling and simulation of biological processes in the context of genomics. EDP Sciences, pp. 61–94 (2010) ISBN: 978-2-7598-0545-7
Radde, N.: The impact of time-delays on the robustness of biological oscillators and the effect of bifurcations on the inverse problem. Eurasip J. Bioinf. Syst. Biol. (2009)
Guespin-Michel, J., Kaufman, M.: Positive feedback circuits and adaptive regulations in bacteria. Acta. Biotheor. 49, 207–218 (2001)
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. Journal of Theoretical Biology 229(3), 339–347 (2004)
de Jong, H., Gouzé, J.L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 66(2), 301–340 (2004)
Mateus, D., Gallois, J.P., Comet, J.P., Le Gall, P.: Symbolic modeling of genetic regulatory networks. J. of Bioinformatics and Comput. Biol. 5(2B), 627–640 (2007)
Fromentin, J., Comet, J.P., Le Gall, P., Roux, O.: Analysing gene regulatory networks by both constraint programming and model-checking. In: EMBC 2007, 29th IEEE EMBS Annual Intern. Conf., pp. 4595–4598. IEEE Press, Los Alamitos (2007)
Fanchon, E., Corblin, F., Trilling, L., Hermant, B., Gulino, D.: Modeling the molecular network controlling adhesion between human endothelial cells: Inference and simulation using constraint logic programming. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 104–118. Springer, Heidelberg (2004)
Corblin, F., Fanchon, E., Trilling, L.: Modélisation de réseaux biologiques discrets en programmation logique par contraintes. Technique et Science Informatiques 26(1-2), 73–98 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Comet, JP., Fromentin, J., Bernot, G., Roux, O. (2010). A Formal Model for Gene Regulatory Networks with Time Delays. In: Chan, J.H., Ong, YS., Cho, SB. (eds) Computational Systems-Biology and Bioinformatics. CSBio 2010. Communications in Computer and Information Science, vol 115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16750-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-16750-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16749-2
Online ISBN: 978-3-642-16750-8
eBook Packages: Computer ScienceComputer Science (R0)