Abstract
An introduction to the interval arithmetic tools and basic methods that can be used to solve global optimization problems are presented. These tools are applicable both to unconstrained and constrained as well as to nonsmooth optimization or to problems over unbounded domains. We also emphasize the role of bisections and attempts to find the right bisections when solving the problem computationally since almost all interval based global optimization algorithms use branch-and-bound principles where the problem domain is bisected iteratively and since the research on bisection strategies has made significant progress during the last decade.
Thanks are due to the National Science and Engineering Research Council of Canada for financial support.
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.
Bibliography
Alefeld, G. (1968). Intervallrechnung über den komplexen Zahlen und einige Anwendungen, Thesis, Universität Karlsruhe.
Alefeld, G., Herzberger, J. (1974). Einführung in die Intervallrechnung, Bibliographisches Institut, Mannheim.
Alefeld, G., Herzberger, J. (1983). Introduction to Interval Computations, Academic Press, New York.
Asaithambi, N.S., Shen, Z., Moore, R.E. (1982). On computing the range of values, Computing, 28, pp. 225 - 237.
Bauch, H., Jahn, K.-U., Oelschlägel, D., Süsse, H., Wiebigke, V. (1987). Intervallmathematik - Theorie und Anwendungen, Math.-Nat. Bibl., Bd. 72, BSB B.G. Teubner Verlagsges. Leipzig.
Baumann, E. (1988). Optimal centered forms, BIT 28, pp. 80 - 87.
Caprani, O., Madsen, K. (1979). Interval methods for global optimization, Report No. NI 79 - 09, Institute for Numerical Analysis, Technical University of Denmark.
Clarke, F.H. (1983). Optimization and Nonsmooth Analysis, Wiley, New York.
Conte, S.D., de Boor, C. (1980). Elementary Numerical Analysis, 3rd ed., McGraw-Hill, New York.
Daniel, J.W. (1973). Newton’s method for nonlinear inequalities, Numerische Mathematik, 21, pp. 381 - 387.
Dussel, R. (1972). Einschliessung des Minimalpunktes einer streng konvexen Funktion auf einem n-dimensionalen Quader, Dissertation, Universität Karlsruhe, Karlsruhe.
Fletcher, R. (1987). Practical Methods of Optimization, 2nd ed., Wiley, New York.
Floudas, C.A., Pardalos, P.M. (1990). A collection of test problems for constrained global optimization algorithms, Springer-Verlag, Berlin.
Griewank, A. (ed.) (1991). Automatic differentiation of algorithms: Theory, implementation, and application, SIAM, Philadelphia.
Hansen, E.R. (1979). Global optimization using interval analysis - the one-dimensional case, J. Optim. Theor. and Appl., 29, pp. 331 - 344.
Hansen, E.R. (1980). Global optimization using interval analysis - the multidimensional case, Numerische Mathematik, 34, pp. 247 - 270.
Hansen, E.R. (1984). Global optimization with data perturbations, Computers and Oper. Res., 11, pp. 97 - 104.
Hansen, E. (1992). Global Optimization Using Interval Analysis, Dekker, New York.
Hansen, E.R., Greenberg, R.I. (1983). An interval Newton method, Applied Math. and Comp., 12, pp. 89 - 98.
Hansen, E.R., Sengupta, S. (1980). Global constrained optimization using interval analysis. In: Nickel (ed.) ( 1980 ), pp. 25 - 47.
Hansen, E.R., Sengupta, S. (1981). Bounding solutions of systems of equations using interval analysis, BIT, 21, pp. 203 - 211.
Hansen, E.R., Sengupta, S. (1983). Summary and steps of a global nonlinear constrained optimization algorithm, LMSC-D889778, Lockheed Missiles and Space Co., Sunnyvale, California.
Hansen, E.R., Smith, R.R. (1967). Interval arithmetic in matrix computations, part II, SIAM Journal on Numerical Analysis, 4, pp. 1 - 9.
Hansen, E.R., Walster, G.W. (1987a). Nonlinear equations and optimization. Preprint.
Hansen, E.R., Walster, G.W. (1987b). Bounds for Lagrange multipliers and optimal points. Preprint.
Hansen, P., Jaumard, B., Xiong, Junjie (1992). The cord-slope form of Taylor’s expansion in univariate global optimization. JOTA. Forthcomming.
Ichida, K., Fujii, Y. (1979). An interval arithmetic method for global optimization, Computing 23, pp. 85 - 97.
Kalmykov, S.A.,Shokin, Yu.I.,Yuldashev, Z. Kh. (1986). Methods of Interval Analysis,(In Russian), Nauka, Novosibirsk.
Kearfott, R.B. (1987). Abstract generalized bisection and a cost bound, Mathematics of Computation, 49, pp. 187 - 202.
Kearfott, B.B. (1990). Preconditioners for the interval Gauss-Seidel method, SIAM Journal on Numerical Analysis, 27, pp. 804 - 822.
Klatte, R., Kulisch, U. Neaga, M., Ratz, D., Ullrich, C. (1992). Springer-Verlag, Berlin.
Krawczyk, R. (1969). Newton-Algorithmen zur Bestimmung von Fehlerschranken, Computing, 4, pp. 187 - 201.
Krawczyk, R. (1983). Intervallsteigungen für rationale Funktionen und zugeord- nete zentrische Formen, Freiburger Intervall-Berichte 83/2, Institut für Angewandte Mathematik, Universität Freiburg.
Krawczyk, R., Neumaier, A. (1985). Interval slopes for rational functions and associated centered forms, SIAM Journal on Numerical Analysis, 22, pp. 604 - 616.
Krawczyk, R., Nickel, K. (1982). Die zentrische Form in der Intervallarithmetik, ihre quadratische Konvergenz and ihre Inklusionsisotonie, Computing, 28, pp. 117 - 132.
Kulisch, U., Miranker, W.L. (eds.) (1983). A new Approach to Scientific Computation, Academic Press, Orlando.
Lebourg, G. (1975). Valeur moyenne pour gradients, Co. R. Acad. Sci., Paris 281, pp. 795 - 797.
Mancini, L.J. (1975). Applications of interval arithmetic in signomial programming, Technical Report SOL 75-23, Stanford University, Stanford, California.
Mancini, L.J. McCormick, G.P. (1979). Bounding global minima with interval arithmetic, Oper. Res. 27, pp. 743 - 754.
Mancini, L.J., Wilde, D.J. (1978). Interval arithmetic in unidimensional signomial programming, J. Optim. Theory Appl., 26, pp. 277 - 289.
Mancini, L.J., Wilde, D.J. (1979). Signomial dual Kuhn-Tucker intervals, J. Optim. Theory Appl., 28, pp. 11 - 27 (1979)
McCormick, G.P. (1972). Attempts to calculate global solutions of problems that may have local minima. In: Lootsma, F.A. (ed.), Numerical Methods for Nonlinear Optimization, Academic Press, London, pp. 209 - 221.
McCormick, G.P. (1983). Nonlinear Programming: Theory, Algorithms and Applications, Wiley, New York.
Mohd, Ismail Bin (1986). Global optimization using interval arithmetic, Ph.D. Thesis, Univ. of St. Andrews, St. Andrews, Scotland.
Moore, R.E. (1962). Interval arithmetic and automatic error analysis in digital computation, Ph.D. Thesis, Stanford University.
Moore, R.E. (1966). Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ.
Moore, R.E. (1976). On computing the range of values of a rational function of n variables over a bounded region, Computing, 16, pp. 1 - 15.
Moore, R.E. (1977). A test for existence of solutions to non-linear systems, SIAM Journal on Numerical Analysis, 14, pp. 611 - 615.
Moore, R.E. (1978). A computational test for convergence of iterative methods for non-linear systems, SIAM Journal on Numerical Analysis, 15, pp. 1194 - 1196.
Moore, R.E. (1979). Methods and Applications of Interval Analysis, SIAM, Philadelphia.
Moore, R.E. (1988) (ed.). Reliability in Computing: The Role of Interval Methods, Academic Press, New York.
Moore, R.E. (1990). Interval tools for computer aided proofs in analysis. In: Cornputer Aided Proofs in Analysis, ed. Moore, R.E. 28, Berlin.
Moore, R.E., Jones, S.T. (1977). Safe starting regions for iterative methods, SIAM Journal on Numerical Analysis, 14, pp. 1051-1065.
Neumaier, A. (1988). The enclosure of solutions of parameter-dependent systems of equations, In: Moore (ed.) ( 1988 ) pp. 269 - 286.
Neumaier, A. (1990). Interval Methods for Systems of Equations, Cambridge University Press, Cambridge.
Nickel, K. (ed.) (1980). Interval Mathematics 1980, Proceedings of the International Symposium, Freiburg 1980, Academic Press, New York.
Oelschlägel, D., Süsse, H. (1978). Fehlerabschätzung beim Verfahren von Wolfe zur Lösung Quadratischer Optimierungsprobleme mit Hilfe der Intervallarithmetik, Math. Operationsforsch. Statist., Ser. Optimization 9, pp. 389 - 396.
Pintér, J. (1992). Convergence qualification of adaptive partition algorithms in global optimization, Math. Programming, 56, pp. 343 - 360.
Rall, L.B. (1981). Automatic Di f ferentiation: Techniques and Applications, Notes in Computer Science No. 120, Springer, New York.
Rall, L.B. (1983). Mean value and Taylor forms in interval analysis, SIAM Journal on Mathematical Analysis, 14, pp. 223 - 238.
Ratschek, H. (1972). Teilbarkeitskriterien der Intervallarithmetik, J. Reine Angew. Math., 252, pp. 128 - 138.
Ratschek, H., Rokne, J. (1984). Computer Methods for the Range of Functions, Ellis Horwood, Chichester.
Ratschek, H., Rokne, J. (1987). Efficiency of a global optimization algorithm, SIAM Journal on Numerical Analysis, 24, pp. 1191 - 1201.
Ratschek, H., Rokne, J. (1988). New Computer Methods for Global Optimization, Ellis Horwood, Chichester.
Ratschek, H., Rokne, J. (1991). Nonuniform variable precision computing, Proc. Of the 13th IMACS World Congress on Computation and Appl. Mathemetics, Dublin 1991, ed. by R. Vichnevetsky and J.J. Miller, IMACS 1991, Vol. 1, pp. 71 - 72.
Ratschek, H., Rokne, J. (1992a). The transistor modeling problem again, Microelectronics and Reliability, 32, pp. 1725 - 1740.
Ratschek, H., Rokne, J. (1992b). Nonuniform variable precision bisecting, Computational and Appl. Math. I., ed. by C. Brezinski and U. Kulisch, Elsevier, Amsterdam, pp. 419 - 428.
Ratschek, H., Rokne, J. (1993). A circuit design problem., JOGO. Forthcomming.
Robinson, S.M. (1972). Extension of Newton’s method to nonlinear functions with values in a cone, Numerische Mathematik, 19, pp. 341 - 347.
Robinson, S.M. (1973). Computable error bounds for nonlinear programming, Mathematical Programming, 5, pp. 235 - 242.
Sengupta, S. (1981). Global nonlinear constrained optimization, Dissertation, Dep. Pure and Appl. Math. Washington State University.
Shen, Z., Wolfe, M.A. (1990). On lterval enclosures using slope arithmetic, Appl. Math. Comput. 39, pp. 89 - 105.
Shokin, Yu.I. (1981). Interval Analysis, (In Russian), Nauka, Novosibirsk.
Skelboe, S. (1974). Computation of rational interval functions, BIT, 14, pp. 87 - 95.
Stroem, T. (1971). Strict estimation of the maximum of a function of one variable, BIT 11, pp. 199 - 211.
Süsse, H. (1977). Intervallarithmetische Behandlung von Optimierungsproblemen und Damit Verbundener Numerischer Aufgabenstellungen. Dissertation zur Promotion A, Fak. Tech. Wiss., Tech. Hochsch. ’Carl Schorlemmer’ Leuna-Merseburg.
Tuy, H. (1991). Effect of the subdivision strategy on convergence and efficiency of some global optimization algorithms, JOGO, 1, pp. 23-26.
Wright, D.J., Cutteridge, O.P.D. (1976). Applied optimization and circuit design, Computer Aided:Design, 8, pp. 70 - 76.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ratschek, H., Rokne, J. (1995). Interval Methods. In: Horst, R., Pardalos, P.M. (eds) Handbook of Global Optimization. Nonconvex Optimization and Its Applications, vol 2. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2025-2_14
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2025-2_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5838-1
Online ISBN: 978-1-4615-2025-2
eBook Packages: Springer Book Archive