This chapter provides an introduction to interval arithmetic-based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circle packing, chaotic behaviour dynamical systems, and process network synthesis.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alefeld, G. and J. Herzberger, Introduction to Interval Calculations. Academic Press, New York (1983).
Bánhelyi, B., T. Csendes, and B.M. Garay, Optimization and the Miranda approach in detecting horseshoe-type chaos by computer. International Journal of Bifurcation and Chaos, 17, 735–748 (2007).
Bánhelyi, B., T. Csendes, B.M. Garay, and L. Hatvani, A computer-assisted proof for Sigma_3-chaos in the forced damped pendulum equation. SIAM Journal on Applied Dynamical Systems, 7, 843–867 (2008).
Bleher, J.H., S.M Rump U. Kulisch M. Metzger, Ch. Ullrich, and W. Walter, FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH, Computing, 39, 93–110 1987
Csallner, A.E., T. Csendes, and A.B. Kocsis, Reliable numerical computation in civil engineering. Numerical Algorithms, 37, 85–91 (2004).
Csendes, T., An interval method for bounding level sets of parameter estimation problems. Computing, 41, 75–86, (1989).
Csendes, T., Interval method for bounding level sets: revisited and tested with global optimization problems. BIT, 30, 650–657 (1990).
Csendes, T., Optimization methods for process network synthesis — a case study. In: C. Carlsson and I. Eriksson (eds.) Global & Multiple Criteria Optimization and Information Systems Quality. Abo Academy, Turku, 1998, pp. 113–132.
Csendes, T., Reliable optimization, methods and applications. DSc Dissertation, Hungarian Academy of Sciences, Budapest (2007).
Csendes, T. and J. Pintér, A new interval method for locating the boundary of level sets. International Journal of Computer Mathematics, 49, 53–59 (1993).
Csendes, T., B. Bánhelyi, and L. Hatvani, Towards a computer-assisted proof for chaos in a forced damped pendulum equation. Journal of Computational and Applied Mathematics, 199, 378–383 (2007).
Csendes, T., B.M. Garay, and B. Bánhelyi, A verified optimization technique to locate chaotic regions of a Hénon system. Journal of Global Optimization, 35, 145–160 (2006).
Csendes, T., Z.B. Zabinsky, and B.P. Kristinsdottir, Constructing large feasible suboptimal intervals for constrained nonlinear optimization. Annals of Operations Research, 58, 279–293 (1995).
Fiacco, A.V., Sensitivity analysis for nonlinear programming using penalty methods. Mathematical Programming, 12, 287–311 (1976).
Galias, Z., and P. Zgliczynski, Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map. Nonlinearity, 14, 909–932 (2001).
Hammer, R., M. Hocks, U. Kulisch, and D. Ratz, Numerical Toolbox for Verified Computing I. Springer, Berlin (1993).
Hansen, E., Global Optimization Using Interval Analysis. Marcel Dekker, New York (1992).
Jöllig, H.P., BIBINS/2.0 — C++ Bibliotheken för Vektoren und Matrizen über beliebigem skalaren Datentyp unter Berücksichtigungs spezieller spärlicher Strukturen sowie Intervall-datentypen. Bericht 92.6, Technical University of Hamburg-Harburg (1992).
Kearfott, R.B., An interval branch and bound algorithm for bound constrained optimization problems. Journal of Global Optimization, 2, 259–280 (1992).
Klatte, R., U. Kulisch, M. Neaga, D. Ratz, and Ch. Ullrich, PASCAL-XSC — Language Reference with Examples. Springer-Verlag, Berlin (1992).
Klatte, R., U. Kulisch, A. Wiethoff, C. Lawo, and M. Rauch, C-XSC — A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993).
Kovács, Z., F. Friedler, and L.T. Fan, Recycling in a separation process structure. AIChE Journal, 39, 1087–1089 (1993).
Kristinsdottir, B.P., Z.B. Zabinsky, T. Csendes, and M.E. Tuttle, Methodologies for tolerance intervals. Interval Computations, 3, 133–147 (1993).
Kristinsdottir, B.P., Z.B Zabinsky M.E. Tuttle and T. Csendes, Incorporating manufacturing tolerances in optimal design of composite structures, Engineering Optimization, 26, 1–23 1996
Markót, M.C., Optimal packing of 28 equal circles in a unit square — the first reliable solution. Numerical Algorithms, 37, 253–261 (2004).
Markót, M.C. and T. Csendes, A new verified optimization technique for the “packing circles in a unit square ” problems. SIAM Journal on Optimization, 16, 193–219 (2005).
Neumaier, A and T. Rage Rigorous chaos verification in discrete dynamical systems Physica D, 67, 327–346 1993
Rage, T., A Neumaier and C. Schlier Rigorous verification of chaos in a molecular model, Physical Review E, 50, 2682–2688 1994
Ratschek, H., and J. Rokne, Computer Methods for the Range of Functions, Ellis Horwood, Chichester (1984).
Ratschek, H. and J. Rokne, New Computer Methods for Global Optimization. Ellis Horwood, Chichester (1988).
Ratschek, H. and J. Rokne, Experiments using interval analysis for solving a circuit design problem. Journal of Global Optimization, 3, 501–518 (1993).
Rump, S.M., INTLAB — INTerval LABoratory. In: T. Csendes (ed.) Developements in Reliable Computing. Kluwer, Dordrecht, 1999, pp. 77–104.
Zgliczynski, P., Computer assisted proof of the horseshoe dynamics in the Hénon map. Random & Computational Dynamics, 5, 1–17 (1997).
Zgliczynski, P., On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach. Journal of Differential Equations, 195, 271–283 (2003).
Zabinsky, Z.B., D.L. Graesser, M.E. Tuttle, and G.I. Kim, Global optimization of composite laminates using improving hit-and-run, in: Recent Advances in Global Optimization. Princeton University Press, Princeton (1992), pp. 343–368.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science + Business Media B.V
About this paper
Cite this paper
Csendes, T. (2009). Interval analysis and verification of mathematical models. In: Baveye, P.C., Laba, M., Mysiak, J. (eds) Uncertainties in Environmental Modelling and Consequences for Policy Making. NATO Science for Peace and Security Series C: Environmental Security. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-2636-1_4
Download citation
DOI: https://doi.org/10.1007/978-90-481-2636-1_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2635-4
Online ISBN: 978-90-481-2636-1
eBook Packages: Earth and Environmental ScienceEarth and Environmental Science (R0)