Abstract
In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interactions, a state transition graph is constructed that captures the dynamics of the system. In the late eighties, Snoussi and Thomas extended the original framework by including singular values corresponding to interaction thresholds. They showed that these are needed for a refined understanding of the network dynamics. In this paper, we study systematically singular steady states, which are characteristic of feedback circuits in the interaction graph, and relate them to the type, number and cardinality of attractors in the state transition graph. In particular, we derive sufficient conditions for regulatory networks to exhibit multistationarity or oscillatory behavior, thus giving a partial converse to the well-known Thomas conjectures.
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
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)
Remy, É., Mossé, B., Chaouiya, C., Thieffry, D.: A description of dynamical graphs associated to elementary regulatory circuits. Bioinform. 19, 172–178 (2003)
Remy, É., Ruet, P., Thieffry, D.: Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. (prépublication 2005)
Remy, É., Ruet, P., Thieffry, D.: Positive or negative regulatory circuit inference from multilevel dynamics. In: Positive Systems: Theory and Applications. LNCIS, vol. 341, pp. 263–270. Springer, Heidelberg (2006)
Richard, A., Comet, J.-P.: Necessary conditions for multistationarity in discrete dynamical systems. Rapport de Recherche (2005)
Richard, A., Comet, J.-P., Bernot, G., Thomas, R.: Modeling of biological regulatory networks: introduction of singular states in the qualitative dynamics. Fundamenta Informaticae 65, 373–392 (2005)
Siebert, H., Bockmayr, A.: Relating attractors and singular steady states in the logical analysis of bioregulatory networks. preprint 373, DFG Research Center MATHEON (2007)
Snoussi, E.H., Thomas, R.: Logical identification of all steady states: the concept of feedback loop characteristic states. Bull. Math. Biol. 55, 973–991 (1993)
Soulé, C.: Graphical requirements for multistationarity. ComPlexUs 1, 123–133 (2003)
Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42, 563–585 (1973)
Thomas, R., d’Ari, R.: Biological Feedback. CRC Press (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). Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. In: Anai, H., Horimoto, K., Kutsia, T. (eds) Algebraic Biology. AB 2007. Lecture Notes in Computer Science, vol 4545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73433-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-73433-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73432-1
Online ISBN: 978-3-540-73433-8
eBook Packages: Computer ScienceComputer Science (R0)