Abstract
Quantitative models in Systems Biology depend on a large number of free parameters, whose values completely determine behavior of models. These parameters are often estimated by fitting the system to observed experimental measurements and data. The response of a model to parameter variation defines qualitative changes of the system’s behavior. The influence of a given parameter can be estimated by varying it in a certain range. Some of these ranges produce similar system dynamics, making it possible to define general trends for trajectories of the system (e.g. oscillating behavior) in such parameter ranges. Such trends can be seen as a qualitative description of the system’s dynamics within a parameter range. In this work, we define an automata-based formalism to formally describe the qualitative behavior of systems’ dynamics. Qualitative behaviors are represented by finite transition systems whose states contain predicate valuation and whose transitions are labeled by probabilistic delays. Biochemical system’ dynamics are automatically abstracted in terms of these qualitative transition systems by a random sampling of trajectories. Furthermore, we use graph theoretic tools to compare the resulting qualitative behaviors and to estimate those parameter ranges that yield similar behaviors. We validate this approach on published biochemical models and show that it enables rapid exploration of models’ behavior, that is estimation of parameter ranges with a given behavior of interest and identification of some bifurcation points.
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
Chesneaux, J.: The equality relations in scientific computing. Numerical Algorithms (January 1994)
Rizk, A., Batt, G., Fages, F., Soliman, S.: On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 251–268. Springer, Heidelberg (2008)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200–204. Springer, Heidelberg (2002)
Le Novere, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., et al.: BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Research 34(Database Issue), D689 (2006)
Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524–531 (2003)
Shapiro, B., Hucka, M., Finney, A., Doyle, J.: Mathsbml: a package for manipulating sbml-based biological models. Bioinformatics 20(16), 2829–2831 (2004)
Tyson, J.: Modeling the cell division cycle: cdc2 and cyclin interactions. Proceedings of the National Academy of Sciences 88(16), 7328–7332 (1991)
Kholodenko, B.N.: Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades. Eur. J. Biochem. 267(6), 1583–1588 (2000)
Kim, D., Rath, O., Kolch, W., Cho, K.: A hidden oncogenic positive feedback loop caused by crosstalk between wnt and erk pathways. Oncogene 26(31), 4571–4579 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soueidan, H., Sutre, G., Nikolski, M. (2009). Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. In: Degano, P., Gorrieri, R. (eds) Computational Methods in Systems Biology. CMSB 2009. Lecture Notes in Computer Science(), vol 5688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03845-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-03845-7_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03844-0
Online ISBN: 978-3-642-03845-7
eBook Packages: Computer ScienceComputer Science (R0)