Abstract
The systematic development of large biological models can benefit from an iterative approach based on a refinement process that gradually adds more details regarding the reactants and/or reactions of the model. We focus here on data refinement, where the species of the initial model are substituted with several subspecies in the refined one, each with its own individual behavior in the model. In this context, we distinguish between structural refinement, where the aim is to generate meaningful refined reactions, and quantitative refinement, where one looks for a data fit at least as good as that of the original model. The latter generally requires refitting the model and additional experimental data, a computationally expensive process. A fit-preserving refinement, i.e. one that captures the same species dynamics as the original model, can serve as a suitable alternative or as initialization for parameter estimation routines. We focus in this paper on the problem of finding all numerical setups that yield fit-preserving refinements of a given model and formulate a sufficient condition for it. Our result suggests a straightforward, computationally efficient automation of the quantitative model refinement process. We illustrate the use of our approach through a discussion of the Lotka-Volterra model for prey-predator dynamics.
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
Back, R.J., von Wright, J.: Refinement Calculus. Graduate Texts in Computer Science. Springer (1998)
Craciun, G., Pantea, C.: Identifiability of chemical reaction networks. Journal of Mathematical Chemistry 44(1), 244–259 (2008)
Czeizler, E., Czeizler, E., Iancu, B., Petre, I.: Quantitative model refinement as a solution to the combinatorial size explosion of biomodels. Electronic Notes in Theoretical Computer Science 284, 35–53 (2012)
Czeizler, E., Rogojin, V., Petre, I.: The phosphorylation of the heat shock factor as a modulator for the heat shock response. IEEE/ACM Transactions on Computational Biology and Bioinformatics 9(5), 1326–1337 (2012)
Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling, symmetries, refinements. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 103–122. Springer, Heidelberg (2008)
Gratie, C., Petre, I.: Fit-preserving data refinement of mass-action reaction networks. Technical report, TUCS (2014)
Gratie, D.E., Iancu, B., Azimi, S., Petre, I.: Quantitative model refinement in four different frameworks, with applications to the heat shock response (2013) (submitted)
Hirsch, M.W., Smale, S., Devaney, R.L.: Differential equations, dynamical systems and an introduction to chaos, 2nd edn. Pure and Applied Mathematics, vol. 60. Academic Press (2004)
Iancu, B., Czeizler, E., Czeizler, E., Petre, I.: Quantitative refinement of reaction models. International Journal of Unconventional Computing 8(5-6), 529–550 (2012)
Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems Biology in Practice. WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim (2005)
Volterra, V.: Variation and fluctuations of the number of individuals of animal species living together. In: Animal Ecology, pp. 409–448. McGraw-Hill (1931)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gratie, C., Petre, I. (2014). Fit-Preserving Data Refinement of Mass-Action Reaction Networks. In: Beckmann, A., Csuhaj-Varjú, E., Meer, K. (eds) Language, Life, Limits. CiE 2014. Lecture Notes in Computer Science, vol 8493. Springer, Cham. https://doi.org/10.1007/978-3-319-08019-2_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-08019-2_21
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08018-5
Online ISBN: 978-3-319-08019-2
eBook Packages: Computer ScienceComputer Science (R0)