Worhp Banner Final Path
   HOME

TheInfoList



OR:

WORHP ( "warp", an acronym for "We Optimize Really Huge Problems"), also referred to as eNLP (European NLP solver) by ESA, is a mathematical software library for numerically solving large scale continuous nonlinear optimization problems. WORHP is a hybrid Fortran and C implementation and can be used from C/ C++ and Fortran programs using different interfaces of varying complexity and flexibility. There are also interfaces for the MATLAB,
CasADi CasADi is a free and open source symbolic framework for automatic differentiation and optimal control.Joel Andersson, Johan Åkesson, Moritz Diehl: "CasADi - A symbolic package for automatic differentiation and optimal control". Recent Advances in ...
and AMPL modelling environments.


Problem formulation

WORHP is designed to solve problems of the form ::: \min_ f(x) :subject to ::: L \leq \begin x \\ g(x) \end \leq U with sufficiently smooth functions f:\R^n \to \R (objective) and g:\R^n \to \R^m (constraints) that may be nonlinear, and need not necessarily be convex. Even problems with large dimensions n and m can be solved efficiently, if the problem is sufficiently sparse. Cases where objective and constraints cannot be evaluated separately, or where constraints can be evaluated element-wise can be exploited by WORHP to increase the computational efficiency.


Derivatives

WORHP requires the first derivative ( Gradient) of f and of g (
Jacobian In mathematics, a Jacobian, named for Carl Gustav Jacob Jacobi, may refer to: *Jacobian matrix and determinant *Jacobian elliptic functions *Jacobian variety *Intermediate Jacobian In mathematics, the intermediate Jacobian of a compact Kähler m ...
) and second derivatives ( Hessian matrix) of the
Lagrange function In mathematical optimization, the method of Lagrange multipliers is a strategy for finding the local maxima and minima of a function subject to equality constraints (i.e., subject to the condition that one or more equations have to be satisfied ex ...
; in a modelling environment like AMPL, these are provided by automatic differentiation methods, but need to be provided by the caller in other environments. First and second derivatives can be approximated by WORHP using finite differences. To reduce the otherwise prohibitively high number of necessary function evaluations in large scale sparse problems,
graph colouring In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertice ...
theory is used to group first and second partial derivatives. Second derivatives may also be approximated using variations of the classic BFGS method, including block-diagonal or sparse BFGS matrices.


Structure

The NLP level of WORHP is based on SQP, while the quadratic subproblems are solved using an interior point method. This approach was chosen to benefit from the robustness of SQP methods and the reliable runtime complexity of IP methods, since traditional
active set In mathematical optimization, the active-set method is an algorithm used to identify the active constraints in a set of inequality constraints. The active constraints are then expressed as equality constraints, thereby transforming an inequality ...
methods may be unsuitable for large-scale problems.


Development

Development of WORHP started in 2006 with funding from DLR and was continued under the ''eNLP'' label after 2008 with support by ESA /
ESTEC The European Space Research and Technology Centre (ESTEC) is the European Space Agency's main technology development and test centre for spacecraft and space technology. It is situated in Noordwijk, South Holland, in the western Netherlands, altho ...
together with the Interior-Point solver ipfilter (whose inclusion in eNLP was discontinued after 2010) to develop a European NLP solver for use in trajectory optimisation, mission analysis and aerospace applications in general. The development of WORHP is led by th
Steinbeis-Forschungszentrum Optimierung, Steuerung und Regelung
and scientists of th
Optimization and Optimal Control Group
at the University of Bremen, and at the
Bundeswehr University of Munich 200px, Entrance to the university Bundeswehr University Munich (german: Universität der Bundeswehr München, UniBw München) is one of two research universities in Germany at federal level that both were founded in 1973 as part of the German Ar ...
. The developers stress that WORHP, despite its academic roots, is intended as industrial-grade tool rather than an academic research platform.


Applications

WORHP has been integrated into trajectory analysis tools such as LOTNAV and
ASTOS ASTOS is a tool dedicated to mission analysis, Trajectory optimization, vehicle design and simulation for space scenarios, i.e. launch, re-entry missions, orbit transfers, Earth observation, navigation, coverage and re-entry safety assessments. ...
, and is being used at ESOC and
ESTEC The European Space Research and Technology Centre (ESTEC) is the European Space Agency's main technology development and test centre for spacecraft and space technology. It is situated in Noordwijk, South Holland, in the western Netherlands, altho ...
. It can be used as optimiser in CasADi (since version 1.5.0beta) and as local optimiser in SVAGO MDO tool developed at University of Bremen and Politecnico di Milano on
Multidisciplinary design optimization Multi-disciplinary design optimization (MDO) is a field of engineering that uses optimization methods to solve design problems incorporating a number of disciplines. It is also known as multidisciplinary system design optimization (MSDO), and Multi ...
through the ESA PRESTIGE program.


See also

* Sequential quadratic programming * Penalty-interior-point algorithm


References


External links


WORHP home page

WORHP overview chapter
{{Mathematical optimization software Mathematical optimization software Mathematical software Numerical software