Abstract
We describe a modern approach to parameter estimation, based on set-valued computations combined with a branch and bound step. This allows us to examine entire sets of parameters, and thus to exhaust the global search within a finite number of steps. In addition, we show that the method can be accelerated by set-valued constraint propagation, which allows great improvement of its efficiency. To illustrate the applicability of our method we apply it to some networks of biochemical reactions modeled by a generic class of ODEs called Generalized Mass Action Models (GMAs).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)
CAPD—Computer Assisted Proofs in Dynamics Library, version 4.0. http://capd.ii.uj.edu.pl/
Corliss, G.: Which Root Does the Bisection Algorithm Find? SIAM Rev. 19, 325–327 (1977)
CXSC—C++ eXtension for Scientific Computation, version 2.0. http://www.math.uni-wuppertal.de/org/WRST/xsc/cxsc.html
Forte Developer 7: C++ Interval Arithmetic Programming Reference. http://docs.sun.com/app/docs/doc/816-2465
Hammer, R., et al.: C++ toolbox for Verified Computing. Springer, Berlin (1995)
INTLAB—INTerval LABoratory, version 4.1.2. http://www.ti3.tu-harburg.de/~rump/intlab/
Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis: With Examples in Parameter and State Estimation. Springer, Robust Control and Robotics (2001)
Johnson, T., Tucker, W.: Rigorous parameter reconstruction for differential equations with noisy data. Automatica 44(9), 2422–2426 (2008)
Kulisch, U.W., Miranker, W.L.: Computer Arithmetic in Theory and Practice. Academic Press (1981)
Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)
Moore, R.E.: Methods and Applications of Interval Analysis. SIAM Studies in Applied Mathematics, Philadelphia (1979)
Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)
Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)
PROFIL/BIAS—Programmer’s Runtime Optimized Fast Interval Library/Basic Interval Arithmetic Subroutines. http://www.ti3.tu-harburg.de/Software/PROFILEnglisch.html
Torres, N.V., Voit, E.O.: Pathway analysis and optimization in metabolic engineering. Cambridge University Press, Cambridge (2002)
Tucker, W.: Validated numerics: A short introduction to rigorous computations. Princeton University Press, Princeton (2011)
Tucker, W., Moulton, V.: Reconstructing metabolic networks using interval analysis. Lect. Notes Comp. Sci. 3692, 192–203 (2005)
Tucker, W., Moulton, V.: Parameter reconstruction for biochemical networks using interval analysis. Reliab. Comput. 12(5), 389–402 (2006)
Tucker, W., Kutalik, Z., Moulton, V.: Estimating parameters for generalized mass action models using constraint propagation. Math. Biosci. 208(2), 607–620 (2007)
Voit, E.O.: Computational analysis of biochemical systems. Cambridge University Press, (2000)
Voit, E.O., Almeida, J.: Decoupling dynamical systems for pathway identification from metabolic profiles. Bioinformatics 20(11), 1670–1681 (2004)
Walster, W.G., Hansen, E.: Global Optimization Using Interval Analysis, vol. 264. CRC Press, Series in Pure and Applied Mathematics (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Conflict of Interest
Conflict of Interest
The authors declare that they have no conflict of interest.
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Tucker, W. (2016). Interval Methods. In: Geris, L., Gomez-Cabrero, D. (eds) Uncertainty in Biology. Studies in Mechanobiology, Tissue Engineering and Biomaterials, vol 17. Springer, Cham. https://doi.org/10.1007/978-3-319-21296-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-21296-8_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21295-1
Online ISBN: 978-3-319-21296-8
eBook Packages: EngineeringEngineering (R0)