Skip to main content

Interval Methods

  • Chapter

Part of the book series: Nonconvex Optimization and Its Applications ((NOIA,volume 2))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   469.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   599.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   599.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Alefeld, G. (1968). Intervallrechnung über den komplexen Zahlen und einige Anwendungen, Thesis, Universität Karlsruhe.

    Google Scholar 

  • Alefeld, G., Herzberger, J. (1974). Einführung in die Intervallrechnung, Bibliographisches Institut, Mannheim.

    MATH  Google Scholar 

  • Alefeld, G., Herzberger, J. (1983). Introduction to Interval Computations, Academic Press, New York.

    MATH  Google Scholar 

  • Asaithambi, N.S., Shen, Z., Moore, R.E. (1982). On computing the range of values, Computing, 28, pp. 225 - 237.

    Google Scholar 

  • 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.

    Google Scholar 

  • Baumann, E. (1988). Optimal centered forms, BIT 28, pp. 80 - 87.

    Google Scholar 

  • Caprani, O., Madsen, K. (1979). Interval methods for global optimization, Report No. NI 79 - 09, Institute for Numerical Analysis, Technical University of Denmark.

    Google Scholar 

  • Clarke, F.H. (1983). Optimization and Nonsmooth Analysis, Wiley, New York.

    MATH  Google Scholar 

  • Conte, S.D., de Boor, C. (1980). Elementary Numerical Analysis, 3rd ed., McGraw-Hill, New York.

    MATH  Google Scholar 

  • Daniel, J.W. (1973). Newton’s method for nonlinear inequalities, Numerische Mathematik, 21, pp. 381 - 387.

    Google Scholar 

  • Dussel, R. (1972). Einschliessung des Minimalpunktes einer streng konvexen Funktion auf einem n-dimensionalen Quader, Dissertation, Universität Karlsruhe, Karlsruhe.

    Google Scholar 

  • Fletcher, R. (1987). Practical Methods of Optimization, 2nd ed., Wiley, New York.

    MATH  Google Scholar 

  • Floudas, C.A., Pardalos, P.M. (1990). A collection of test problems for constrained global optimization algorithms, Springer-Verlag, Berlin.

    Book  MATH  Google Scholar 

  • Griewank, A. (ed.) (1991). Automatic differentiation of algorithms: Theory, implementation, and application, SIAM, Philadelphia.

    Google Scholar 

  • Hansen, E.R. (1979). Global optimization using interval analysis - the one-dimensional case, J. Optim. Theor. and Appl., 29, pp. 331 - 344.

    Google Scholar 

  • Hansen, E.R. (1980). Global optimization using interval analysis - the multidimensional case, Numerische Mathematik, 34, pp. 247 - 270.

    Google Scholar 

  • Hansen, E.R. (1984). Global optimization with data perturbations, Computers and Oper. Res., 11, pp. 97 - 104.

    Article  MathSciNet  MATH  Google Scholar 

  • Hansen, E. (1992). Global Optimization Using Interval Analysis, Dekker, New York.

    MATH  Google Scholar 

  • Hansen, E.R., Greenberg, R.I. (1983). An interval Newton method, Applied Math. and Comp., 12, pp. 89 - 98.

    Article  MathSciNet  MATH  Google Scholar 

  • Hansen, E.R., Sengupta, S. (1980). Global constrained optimization using interval analysis. In: Nickel (ed.) ( 1980 ), pp. 25 - 47.

    Google Scholar 

  • Hansen, E.R., Sengupta, S. (1981). Bounding solutions of systems of equations using interval analysis, BIT, 21, pp. 203 - 211.

    Article  MathSciNet  MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Hansen, E.R., Smith, R.R. (1967). Interval arithmetic in matrix computations, part II, SIAM Journal on Numerical Analysis, 4, pp. 1 - 9.

    Article  MathSciNet  MATH  Google Scholar 

  • Hansen, E.R., Walster, G.W. (1987a). Nonlinear equations and optimization. Preprint.

    Google Scholar 

  • Hansen, E.R., Walster, G.W. (1987b). Bounds for Lagrange multipliers and optimal points. Preprint.

    Google Scholar 

  • Hansen, P., Jaumard, B., Xiong, Junjie (1992). The cord-slope form of Taylor’s expansion in univariate global optimization. JOTA. Forthcomming.

    Google Scholar 

  • Ichida, K., Fujii, Y. (1979). An interval arithmetic method for global optimization, Computing 23, pp. 85 - 97.

    Article  MathSciNet  MATH  Google Scholar 

  • Kalmykov, S.A.,Shokin, Yu.I.,Yuldashev, Z. Kh. (1986). Methods of Interval Analysis,(In Russian), Nauka, Novosibirsk.

    Google Scholar 

  • Kearfott, R.B. (1987). Abstract generalized bisection and a cost bound, Mathematics of Computation, 49, pp. 187 - 202.

    Article  MathSciNet  MATH  Google Scholar 

  • Kearfott, B.B. (1990). Preconditioners for the interval Gauss-Seidel method, SIAM Journal on Numerical Analysis, 27, pp. 804 - 822.

    Article  MathSciNet  MATH  Google Scholar 

  • Klatte, R., Kulisch, U. Neaga, M., Ratz, D., Ullrich, C. (1992). Springer-Verlag, Berlin.

    Google Scholar 

  • Krawczyk, R. (1969). Newton-Algorithmen zur Bestimmung von Fehlerschranken, Computing, 4, pp. 187 - 201.

    Article  MathSciNet  MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Krawczyk, R., Neumaier, A. (1985). Interval slopes for rational functions and associated centered forms, SIAM Journal on Numerical Analysis, 22, pp. 604 - 616.

    Article  MathSciNet  MATH  Google Scholar 

  • Krawczyk, R., Nickel, K. (1982). Die zentrische Form in der Intervallarithmetik, ihre quadratische Konvergenz and ihre Inklusionsisotonie, Computing, 28, pp. 117 - 132.

    Article  MathSciNet  MATH  Google Scholar 

  • Kulisch, U., Miranker, W.L. (eds.) (1983). A new Approach to Scientific Computation, Academic Press, Orlando.

    MATH  Google Scholar 

  • Lebourg, G. (1975). Valeur moyenne pour gradients, Co. R. Acad. Sci., Paris 281, pp. 795 - 797.

    MathSciNet  MATH  Google Scholar 

  • Mancini, L.J. (1975). Applications of interval arithmetic in signomial programming, Technical Report SOL 75-23, Stanford University, Stanford, California.

    Google Scholar 

  • Mancini, L.J. McCormick, G.P. (1979). Bounding global minima with interval arithmetic, Oper. Res. 27, pp. 743 - 754.

    Article  MathSciNet  MATH  Google Scholar 

  • Mancini, L.J., Wilde, D.J. (1978). Interval arithmetic in unidimensional signomial programming, J. Optim. Theory Appl., 26, pp. 277 - 289.

    Article  MathSciNet  MATH  Google Scholar 

  • Mancini, L.J., Wilde, D.J. (1979). Signomial dual Kuhn-Tucker intervals, J. Optim. Theory Appl., 28, pp. 11 - 27 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  • 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.

    Google Scholar 

  • McCormick, G.P. (1983). Nonlinear Programming: Theory, Algorithms and Applications, Wiley, New York.

    Google Scholar 

  • Mohd, Ismail Bin (1986). Global optimization using interval arithmetic, Ph.D. Thesis, Univ. of St. Andrews, St. Andrews, Scotland.

    Google Scholar 

  • Moore, R.E. (1962). Interval arithmetic and automatic error analysis in digital computation, Ph.D. Thesis, Stanford University.

    Google Scholar 

  • Moore, R.E. (1966). Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ.

    MATH  Google Scholar 

  • 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.

    Article  MathSciNet  MATH  Google Scholar 

  • Moore, R.E. (1977). A test for existence of solutions to non-linear systems, SIAM Journal on Numerical Analysis, 14, pp. 611 - 615.

    Article  MathSciNet  MATH  Google Scholar 

  • 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.

    Article  MathSciNet  MATH  Google Scholar 

  • Moore, R.E. (1979). Methods and Applications of Interval Analysis, SIAM, Philadelphia.

    Book  MATH  Google Scholar 

  • Moore, R.E. (1988) (ed.). Reliability in Computing: The Role of Interval Methods, Academic Press, New York.

    Google Scholar 

  • Moore, R.E. (1990). Interval tools for computer aided proofs in analysis. In: Cornputer Aided Proofs in Analysis, ed. Moore, R.E. 28, Berlin.

    Google Scholar 

  • Moore, R.E., Jones, S.T. (1977). Safe starting regions for iterative methods, SIAM Journal on Numerical Analysis, 14, pp. 1051-1065.

    Google Scholar 

  • Neumaier, A. (1988). The enclosure of solutions of parameter-dependent systems of equations, In: Moore (ed.) ( 1988 ) pp. 269 - 286.

    Google Scholar 

  • Neumaier, A. (1990). Interval Methods for Systems of Equations, Cambridge University Press, Cambridge.

    MATH  Google Scholar 

  • Nickel, K. (ed.) (1980). Interval Mathematics 1980, Proceedings of the International Symposium, Freiburg 1980, Academic Press, New York.

    Google Scholar 

  • 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.

    Google Scholar 

  • Pintér, J. (1992). Convergence qualification of adaptive partition algorithms in global optimization, Math. Programming, 56, pp. 343 - 360.

    Google Scholar 

  • Rall, L.B. (1981). Automatic Di f ferentiation: Techniques and Applications, Notes in Computer Science No. 120, Springer, New York.

    Google Scholar 

  • Rall, L.B. (1983). Mean value and Taylor forms in interval analysis, SIAM Journal on Mathematical Analysis, 14, pp. 223 - 238.

    Google Scholar 

  • Ratschek, H. (1972). Teilbarkeitskriterien der Intervallarithmetik, J. Reine Angew. Math., 252, pp. 128 - 138.

    Google Scholar 

  • Ratschek, H., Rokne, J. (1984). Computer Methods for the Range of Functions, Ellis Horwood, Chichester.

    Google Scholar 

  • Ratschek, H., Rokne, J. (1987). Efficiency of a global optimization algorithm, SIAM Journal on Numerical Analysis, 24, pp. 1191 - 1201.

    Google Scholar 

  • Ratschek, H., Rokne, J. (1988). New Computer Methods for Global Optimization, Ellis Horwood, Chichester.

    MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Ratschek, H., Rokne, J. (1992a). The transistor modeling problem again, Microelectronics and Reliability, 32, pp. 1725 - 1740.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Ratschek, H., Rokne, J. (1993). A circuit design problem., JOGO. Forthcomming.

    Google Scholar 

  • Robinson, S.M. (1972). Extension of Newton’s method to nonlinear functions with values in a cone, Numerische Mathematik, 19, pp. 341 - 347.

    Article  MathSciNet  MATH  Google Scholar 

  • Robinson, S.M. (1973). Computable error bounds for nonlinear programming, Mathematical Programming, 5, pp. 235 - 242.

    Article  MathSciNet  MATH  Google Scholar 

  • Sengupta, S. (1981). Global nonlinear constrained optimization, Dissertation, Dep. Pure and Appl. Math. Washington State University.

    Google Scholar 

  • Shen, Z., Wolfe, M.A. (1990). On lterval enclosures using slope arithmetic, Appl. Math. Comput. 39, pp. 89 - 105.

    Article  MathSciNet  MATH  Google Scholar 

  • Shokin, Yu.I. (1981). Interval Analysis, (In Russian), Nauka, Novosibirsk.

    Google Scholar 

  • Skelboe, S. (1974). Computation of rational interval functions, BIT, 14, pp. 87 - 95.

    Article  MathSciNet  MATH  Google Scholar 

  • Stroem, T. (1971). Strict estimation of the maximum of a function of one variable, BIT 11, pp. 199 - 211.

    Article  MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Tuy, H. (1991). Effect of the subdivision strategy on convergence and efficiency of some global optimization algorithms, JOGO, 1, pp. 23-26.

    Google Scholar 

  • Wright, D.J., Cutteridge, O.P.D. (1976). Applied optimization and circuit design, Computer Aided:Design, 8, pp. 70 - 76.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics