A second-order pruning step for verified global optimization

Journal of Global Optimization

Volumn 44, Issue 3, 2009, Pages 349-374

  Schnurr, Marco ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Global optimization; Interval analysis; Pruning step

Indexed keywords

AUTOMATIC SLOPE COMPUTATION; BRANCH-AND-BOUND ALGORITHMS; FIRST-ORDER; INTERVAL ANALYSIS; NON-SMOOTH; PRUNING STEP; PRUNING STEPS; SECOND ORDERS; TEST PROBLEM;

ALGORITHMS; GLOBAL OPTIMIZATION;

OPTIMIZATION;

EID: 67849118853     PISSN: 09255001     EISSN: 15732916     Source Type: Journal    
DOI: 10.1007/s10898-008-9331-9     Document Type: Article

References (38)

1. Alefeld G., Herzberger J.: Introduction to Interval Computations. Academic Press, New York (1983)
2. E. Baumann 1988 Optimal centered forms BIT 28 80 87
3. Bornemann, F., Laurie, D., Wagon, S., Waldvogel, J.: The SIAM 100-digit challenge: a study in high-accuracy numerical computing. society of industrial and applied mathematics (SIAM). Philadelphia (2004)
4. Clarke F.H.: Optimization and Nonsmooth Analysis. John Wiley & Sons, New York (1983)
5. A. Frommer B. Lang M. Schnurr 2004 A comparison of the Moore and Miranda existence tests Computing 72 349 354
6. Hammer R., Hocks M., Kulisch U., Ratz D.: Numerical Toolbox for Verified Computing I. Springer-Verlag, Berlin (1993)
7. E.R. Hansen 1978 Interval forms of Newton's method Computing 20 153 163
8. E.R. Hansen 1979 Global optimization using interval analysis-the one-dimensional case J. Optim. Theory Appl. 29 331 344
9. E.R. Hansen 1980 Global optimization using interval analysis-the multi-dimensional case Numer. Math. 34 247 270
10. Hansen E.R., Walster G.W.: Global optimization using interval analysis: second edition, revised and expanded. Marcel Dekker, New York (2004)
11. K. Ichida Y. Fujii 1979 An interval arithmetic method for global optimization Computing 23 85 97
12. Kearfott R.B.: Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht (1996)
13. Klatte R., Kulisch U., Neaga M., Ratz D., Ullrich Ch.: Pascal-XSC-Language Reference with Examples. Springer, Berlin (1992)
14. L. Kolev 1997 Use of interval slopes for the irrational part of factorable functions Reliab. Comput. 3 83 93
15. R. Krawczyk A. Neumaier 1985 Interval slopes for rational functions and associated centered forms SIAM J. Numer. Anal. 22 604 616
16. Moore R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs, NJ (1966)
17. R.E. Moore 1977 A test for existence of solutions to nonlinear systems SIAM J. Numer. Anal. 14 4 611 615
18. J.J. Moré B.S. Garbow K.E. Hilstrom 1981 Testing unconstrained optimization software ACM Trans. Math. Software 7 17 41
19. H. Muñoz R.B. Kearfott 2004 Slope intervals, generalized gradients, semigradients, slant derivatives, and csets Reliab. Comput. 10 3 163 193
20. Rall L.B.: Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science, vol. 120. Springer, Berlin (1981)
21. Ratz D.: Automatic Slope Computation and its Application in Nonsmooth Global Optimization. Shaker Verlag, Aachen (1998)
22. D. Ratz 1999 A nonsmooth global optimization technique using slopes-the one-dimensional case J. Global Optim. 14 365 393
23. S.M. Rump 1996 Expansion and estimation of the range of nonlinear functions Math. Comp. 65 216 1503 1512
24. U. Schäfer M. Schnurr 2006 A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data J. Ind. Manage. Optim. 2 4 425 434
25. Schnurr, M.: The automatic computation of second-order slope tuples for some nonsmooth functions. ETNA Electron. Trans. Numer. Anal. (to appear)
26. Schnurr, M.: Computing slope enclosures by exploiting a unique point of inflection. Appl. Math. Comput. (to appear)
27. Schnurr, M.: Webpage for software download. http://iamlasun8.mathematik. uni-karlsruhe.de/~ae26/software/
28. M. Schnurr 2006 Some supplements concerning automatic slope enclosures PAMM 6 1 691 692
29. Schnurr, M.: Steigungen höherer Ordnung zur verifizierten globalen Optimierung. PhD Thesis, Universität Karlsruhe (2007). http://digbib.ubka. uni-karlsruhe.de/volltexte/1000007229
30. Schnurr, M., Ratz, D.: Slope enclosures for functions given by two or more branches (submitted for publication)
31. Schwefel H.: Numerical Optimization of Computer Models. Wiley, New York (1981)
32. Z. Shen M.A. Wolfe 1990 On interval enclosures using slope arithmetic Appl. Math. Comput. 39 89 105
33. S. Skelboe 1974 Computation of rational interval functions BIT 4 87 95
34. Sotiropoulos D.G., Grapsa T.N.: A branch-and-prune method for global optimization: the univariate case. In: Krämer, W., Gudenberg, J.W.v.(eds) Scientific Computing, Validated Numerics, Interval Methods, pp. 215-226. Kluwer, Boston (2001)
35. Törn A., Žilinskas A.: Global Optimization, Lecture Notes in Computer Science, vol 50. Springer, Berlin (1989)
36. T. Vinko J.-L. Lagouanelle T. Csendes 2004 A new inclusion function for global optimization: kite-the one dimensional case J. Global Optim. 30 435 456
37. T. Vinko D. Ratz 2004 A multidimensional branch-and-prune method for interval global optimization Numer. Algorithms 37 391 399
38. XSC Website.: Website on programming languages for scientific computing with validation. http://www.xsc.de (December 2007)