Abstract
In the face of incomplete data on a system of interest, constraint-based Boolean modeling still allows for elucidating system characteristics by analyzing sets of models consistent with the available information. In this setting, methods not depending on consideration of every single model in the set are necessary for efficient analysis. Drawing from ideas developed in qualitative differential equation theory, we present an approach to analyze sets of monotonic Boolean models consistent with given signed interactions between systems components. We show that for each such model constraints on its behavior can be derived from a universally constructed state transition graph essentially capturing possible sign changes of the derivative. Reachability results of the modeled system, e.g., concerning trap or no-return sets, can then be derived without enumerating and analyzing all models in the set. The close correspondence of the graph to similar objects for differential equations furthermore opens up ways to relate Boolean and continuous models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
More specifically speaking, we use a multivariate interpolation and a subsequent concatenation with Hill Cubes to obtain an ODE-System, which is guaranteed to have a Jacobi matrix, whose abstraction coincides with the matrix \(\varSigma \) on the off diagonals. Then we choose arbitrarily Hill coefficients and thresholds.
References
Abou-Jaoudé, W., Thieffry, D., Feret, J.: Formal derivation of qualitative dynamical models from biochemical networks. Biosystems 149, 70–112 (2016)
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)
De Jong, H., Page, M., Hernandez, C., Geiselmann, J.: Qualitative simulation of genetic regulatory networks: method and application. In: IJCAI, pp. 67–73 (2001)
Eisenack, K.: Model ensembles for natural resource management: extensions of qualitative differential equations using graph theory and viability theory. Unpublished doctoral thesis, Free University Berlin, Germany (2006). Accessed 3 Feb 2008
John, M., Nebut, M., Niehren, J.: Knockout prediction for reaction networks with partial kinetic information. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 355–374. Springer, Heidelberg (2013). doi:10.1007/978-3-642-35873-9_22
Keinänen, M.: Techniques for solving Boolean equation systems. Ph.D. thesis, Helsinki University of Technology (2006)
Klarner, H., Streck, A., Siebert, H.: PyBoolNet-a python package for the generation, analysis and visualisation of boolean networks. Bioinformatics 33, 770–772 (2016)
Melliti, T., Regnault, D., Richard, A., Sené, S.: Asynchronous simulation of boolean networks by monotone boolean networks. In: El Yacoubi, S., Wąs, J., Bandini, S. (eds.) ACRI 2016. LNCS, vol. 9863, pp. 182–191. Springer, Cham (2016). doi:10.1007/978-3-319-44365-2_18
Remy, É., Ruet, P., Thieffry, D.: Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. Adv. Appl. Math. 41(3), 335–350 (2008)
Streck, A., Thobe, K., Siebert, H.: Data-driven optimizations for model checking of multi-valued regulatory networks. Biosystems 149, 125–138 (2016)
Thomas, R.: On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. In: Della, D.J., Demongeot, J., Lacolle, B. (eds.) Numerical Methods in the Study of Critical Phenomena, pp. 180–193. Springer, Heidelberg (1981)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior. Chaos 11(1), 170–179 (2001)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos Interdiscip. J. Nonlinear Sci. 11(1), 180–195 (2001)
Videla, S., Saez-Rodriguez, J., Guziolowski, C., Siegel, A.: caspo: a toolbox for automated reasoning on the response of logical signaling networks families. Bioinformatics 33, 947–950 (2017)
Wittmann, D.M., Krumsiek, J., Saez-Rodriguez, J., Lauffenburger, D.A., Klamt, S., Theis, F.J.: Transforming boolean models to continuous models: methodology and application to T-cell receptor signaling. BMC Syst. Biol. 3(1), 98 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Schwieger, R., Siebert, H. (2017). Graph Representations of Monotonic Boolean Model Pools. In: Feret, J., Koeppl, H. (eds) Computational Methods in Systems Biology. CMSB 2017. Lecture Notes in Computer Science(), vol 10545. Springer, Cham. https://doi.org/10.1007/978-3-319-67471-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-67471-1_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67470-4
Online ISBN: 978-3-319-67471-1
eBook Packages: Computer ScienceComputer Science (R0)