Abstract
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. The formalism focussed on in this paper starts from the logical description developed by R. Thomas to capture network structure and qualitative behavior of a system. Using the framework of timed automata, the analysis of the dynamics can be refined by adding a continuous time evolution. This allows for the incorporation of data on time delays associated with specific processes. In general, structural aspects such as character and strength of interactions as well as time delays are context sensitive in the sense that they depend on the current state of the system. We propose an enhancement of the approach described above, integrating both structural and temporal context sensitivity.
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
Alur, R.: Timed Automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999)
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. 229, 339–347 (2004)
Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39, 103–129 (1973)
Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22, 437–467 (1969)
Oppenheim, A., Kobiler, O., Stavans, J., Court, D., Adhya, S.: Switches in bacteriophage lambda development. Annu. Rev. Genet. 39, 409–429 (2005)
Remy, É., Ruet, P., Thieffry, D.: Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. Prépublication (2005)
Richard, A., Comet, J.-P.: Necessary conditions for multistationarity in discrete dynamical systems. Rapport de Recherche 123 (2005)
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)
Siebert, H., Bockmayr, A.: Temporal constraints in the logical analysis of regulatory networks. Matheon Preprint 385 (2007)
Sugita, M.: Functional analysis of chemical systems in vivo using a logical circuit equivalent. J. Theor. Biol. 1, 415–430 (1961)
Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - II Immunity control in bacteriophage lambda. Bull. Math. Biol. 57, 277–297 (1995)
Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol. 42, 565–583 (1973)
Thomas, R., d’Ari, R.: Biological Feedback. CRC Press, Boca Raton, USA (1990)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 11, 180–195 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Siebert, H., Bockmayr, A. (2007). Context Sensitivity in Logical Modeling with Time Delays. In: Calder, M., Gilmore, S. (eds) Computational Methods in Systems Biology. CMSB 2007. Lecture Notes in Computer Science(), vol 4695. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75140-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-75140-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75139-7
Online ISBN: 978-3-540-75140-3
eBook Packages: Computer ScienceComputer Science (R0)