Abstract
In this article, we propose a refinement of the modeling of genetic regulatory networks based on the approach of René Thomas. The notion of delays of activation/inhibition are added in order to specify which variable is faster affected by a change of its regulators. The formalism of linear hybrid automata is well suited to allow such refinement. We then use HyTech for two purposes: (1) to find automatically all paths from a specified initial state to another one and (2) to synthesize constraints on the delay parameters in order to follow any specific path.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67–103 (2002)
Thomas, R.: Logical analysis of systems comprising feedback loops. J. Theor. Biol. 73(4), 631–656 (1978)
Snoussi, E.: Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach. DSS 4, 189–207 (1989)
Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. J. theor. Biol. 153, 1–23 (1991)
Snoussi, E., Thomas, R.: Logical identification of all steady states: the concept of feedback loop caracteristic states. Bull. Math. Biol. 55(5), 973–991 (1993)
Devloo, V., Hansen, P., Labbé, M.: Identification of all steady states in large networks by logical analysis. Bull. Math. Biol. 65(6), 1025–1051 (2003)
de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page, M.: Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bulletin of Mathematical Biology 66(2), 261–299 (2004)
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., Geiselmann, J., Hernandez, C., Page, M.: Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19(3), 336–344 (2003)
Adélaïde, M., Sutre, G.: Parametric analysis and abstraction of genetic regulatory networks. In: Proc. 2nd Workshop on Concurrent Models in Molecular Biology (BioCONCUR 2004), London, UK. Electronic Notes in Theor. Comp. Sci., August 2004. Elsevier, Amsterdam (2004)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. Chaos 11, 180–195 (2001)
Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1(1–2), 110–122 (1997)
Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Page, M., Schneider, D.: Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in Escherichia coli. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 134–150. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ahmad, J., Richard, A., Bernot, G., Comet, JP., Roux, O. (2006). Delays in Biological Regulatory Networks (BRN). In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds) Computational Science – ICCS 2006. ICCS 2006. Lecture Notes in Computer Science, vol 3992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11758525_118
Download citation
DOI: https://doi.org/10.1007/11758525_118
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34381-3
Online ISBN: 978-3-540-34382-0
eBook Packages: Computer ScienceComputer Science (R0)