The ESA NLP Solver WORHP

We Optimize Really Huge Problems (WORHP) is a solver for large-scale, sparse, nonlinear optimization problems with millions of variables and constraints. Convexity is not required, but some smoothness and regularity assumptions are necessary for the underlying theory and the algorithms based on it. WORHP has been designed from its core foundations as a sparse sequential quadratic programming (SQP) / interior-point (IP) method; it includes efficient routines for computing sparse derivatives by applying graph-coloring methods to finite differences, structure-preserving sparse named after Broyden, Fletcher, Goldfarb and Shanno (BFGS) update techniques for Hessian approximations, and sparse linear algebra. Furthermore it is based on reverse communication, which offers an unprecedented level of interaction between user and nonlinear programming (NLP) solver. It was chosen by ESA as the European NLP solver on the basis of its high robustness and its application-driven design and development philosophy. Two large-scale optimization problems from space applications that demonstrate the robustness of the solver complement the cursory description of general NLP methods and some WORHP implementation details.

[1]  Kenneth Levenberg A METHOD FOR THE SOLUTION OF CERTAIN NON – LINEAR PROBLEMS IN LEAST SQUARES , 1944 .

[2]  Brian W. Kernighan,et al.  AMPL: a mathematical programming language , 1989 .

[3]  Philip E. Gill,et al.  Practical optimization , 1981 .

[4]  K. Schittkowski On the Convergence of a Sequential Quadratic Programming Method with an Augmented Lagrangian Line Search Functions. , 1982 .

[5]  O. Mangasarian,et al.  The Fritz John Necessary Optimality Conditions in the Presence of Equality and Inequality Constraints , 1967 .

[6]  P. Gill,et al.  Model Building and Practical Aspects of Nonlinear Programming , 1985 .

[7]  Michael A. Saunders,et al.  SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization , 2002, SIAM J. Optim..

[8]  Anil V. Rao,et al.  Practical Methods for Optimal Control Using Nonlinear Programming , 1987 .

[9]  Shih-Ping Han,et al.  Superlinearly convergent variable metric algorithms for general nonlinear programming problems , 1976, Math. Program..

[10]  Stephen J. Wright,et al.  Object-oriented software for quadratic programming , 2003, TOMS.

[11]  Klaus Schittkowski Computational Mathematical Programming , 2011 .

[12]  Christof Büskens,et al.  Numerical Solution of Optimal Control Problems with DAE Systems of Higher Index , 2000 .

[13]  C. A. Kluever,et al.  Optimal feedback guidance for low-thrust orbit insertion , 1995 .

[14]  Patrik Kalmbach,et al.  Effiziente Ableitungsbestimmung bei hochdimensionaler nichtlinearer Optimierung , 2011 .

[15]  H. Maurer,et al.  SQP-methods for solving optimal control problems with control and state constraints: adjoint variables, sensitivity analysis and real-time control , 2000 .