Interval analysis on directed acyclic graphs for global optimization

Journal of Global Optimization

Volumn 33, Issue 4, 2005, Pages 541-562

  Schichl, Hermann ^a   Neumaier, Arnold ^a  

^a UNIVERSITY OF VIENNA   (Austria)

Author keywords

Automatic differentiation; Constraint propagation; Directed acyclic graphs; Global optimization; Interval analysis; Slope

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; DIFFERENTIATION (CALCULUS); GLOBAL OPTIMIZATION; PROBLEM SOLVING;

AUTOMATIC DIFFERENTIATION; CONSTRAINT PROPAGATION; DIRECTED ACYCLIC GRAPH; INTERVAL ANALYSIS; SLOPE;

GRAPH THEORY;

EID: 28044471201     PISSN: 09255001     EISSN: 15732916     Source Type: Journal    
DOI: 10.1007/s10898-005-0937-x     Document Type: Article

References (29)

1. ILOG Solver 5.1, 2001.
2. Androulakis, I.P., Maranas, CD. and Floudas, C.A. (1995), αBB: a global optimization method for general constrained nonconvex problems, J. Global Optim., 7, 337-363.
3. Benhamou, F. and Older, W. (1997), Applying interval arithmetic to real, integer, and boolean constraints, J. Logic Program.
4. Berz, M. (1997), COSY INFINITY version 8 reference manual. Technical report, National Superconducting Cyclotron Lab., Michigan State University, East Lansing, Mich., MSUCL-1008.
5. Berz, M. and Makino, K. (1998), Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models, Reliable Comput., 4, 361-369.
6. Bliel, C. (1992), Computer Methods for Design Automation. PhD thesis, Department of Ocean Engineering, Massachusetts Institute of Technology.
7. Bliek, C., Spellucci, P., Vicente, L.N., Neumaier, A., Granvilliers, L., Monfroy, E., Benhamouand, F., Huens, E., Van Hentenryck, P., Sam-Haroud, D. and Fallings, B. (2001), Algorithms for Solving Nonlinear Constrained and Optimization Problems: The State of the Art. Report of the European Community funded project COCONUT, Mathematisches Institut der Universität Wien, http://www.mat.univie.ac.at/~neum/glopt/coconut/StArt.html.
8. Brooke, A., Kendrick, D. and Meeraus, A. (1992), GAMS - A User's Guide (Release 2.25). Boyd & Eraser Publishing Company, Danvers, Massachusetts.
9. Chekuri, C., Johnson, R., Motwani, R., Natarajan, B., Ramakrishna Rau, B. and Schlansker, M. S. (1996), Profile-driven instruction level parallel scheduling with application to super blocks, in International Symposium on Microarchitecture, pp. 58-67.
10. Dallwig, S., Neumaier, A. and Schichl, H. (1997), GLOPT - A program for constrained global optimization, in Bomze, I.M., Csendes, T., Horst, R. and Pardalos, P.M. (eds.), Developments in Global Optimization, Kluwer, Dordrecht, pp. 19-36.
11. Dixon, L.C.W. and Szegö, G.P. (1975), Towards Global Optimization, Elsevier, New York.
12. Floudas, C.A. (1999), Deterministic Global Optimization: Theory, Algorithms and Applications, Kluwer, Dordrecht.
13. Fourer, R., Gay, D.M. and Kernighan, B.W. (2003), AMPL - A Mathematical Programming Language, Thomson, second ed.
14. Griewank, A. and Corliss, G.F. (1991), Automatic. Differentiation of Algorithms, SIAM Publications, Philadelphia.
15. Jaffar, J. and Maher, M.T. (1994), Constraint logic programming: A survey, J. of Logic Program., 19/20, 503-581.
16. Kearfott, R.B. (1991), Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems, Computing, 47, 169-191.
17. Kearfott, R.B. (1996), Rigorous Global Search: Continuous Problems, Kluwer, Dordrecht.
18. Kolev, L.V. (1997), Use of interval slopes for the irrational part of factorable functions, Reliable Comput, 3, 83-93.
19. Kolev, L.V. (2002), An improved interval linearization for solving non-linear problems, Manuscript.
20. McCormick, G.P. (1976), Computability of global solutions to factorable nonconvex programs: Part I - Convex underestimating problems, Math. Program., 10, 147-175.
21. Neumaier, A. (1990), Interval Methods for Systems of Equations, Cambridge University Press, Cambridge.
22. Neumaier, A. (2001), Introduction to Numerical Analysis, Cambridge University Press, Cambridge.
23. Neumaier, A. (2002), Taylor forms - use and limits, Reliable Comput., 9, 43-79.
24. Sahinidis, N.V. (1996), BARON: A general purpose global optimization software package, J. Global Optim., 8, 201-205.
25. Sam-Haroud, D. and Faltings, B. (1996), Consistency techniques for continuous constraints, Constraints, 1(1&2), 85-118.
26. Shen, Z. and Neumaier, A. (1990), The Krawczyk operator and Kantorovich's theorem, J. Math. Anal. Appl. 149, 437-443.
27. Tawarmalani, M. and Sahinidis, N.V. (2002), Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications, Kluwer, Dordrecht.
28. Van Hentenryck, P., Michel, L. and Deville, Y. (1997), Numerica - A Modeling Language for Global Optimization, MIT Press, Cambridge, MA.
29. Vu, X.-H., Schichl, H. and Sam-Haroud, D. (2004), Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems, in Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004). Florida, USA.