• No results found

This abstract presents QPALM, an augmented La- grangian method with exact line-search to solve quadratic programs (QP)

N/A
N/A
Protected

Academic year: 2021

Share "This abstract presents QPALM, an augmented La- grangian method with exact line-search to solve quadratic programs (QP)"

Copied!
1
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

QPALM: Augmented Lagrangian method for Quadratic Programs

Ben Hermans and Goele Pipeleers

MECO Research Team, Department Mechanical Engineering, KU Leuven

DMMS lab, Flanders Make, Leuven, Belgium Email: ben.hermans2@kuleuven.be

Andreas Themelis and Panagiotis Patrinos KU Leuven, Leuven, Belgium Department of Electrical Engineering,

Division ESAT-STADIUS

1 Introduction

Applications of model predictive control (MPC) arise more and more in industry, because of its capacity to optimize a desired objective over a prediction horizon while explicitly taking into account constraints. The very core of MPC is to solve an optimization problem at every time instant, and then apply the first control input of the calculated sequence of inputs. Low sampling times result in faster responses to model-plant mismatch and disturbances in the environ- ment. Moreover, solvers often run on embedded hardware with memory limitations. Therefore, substantial research is being performed into fast and efficient optimization solvers.

Augmented Lagrangian methods are known to be an effi- cient framework for dealing with constrained optimization [1]. This abstract presents QPALM, an augmented La- grangian method with exact line-search to solve quadratic programs (QP). In this case, the exact line-search reduces to finding the zero of a monotone piecewise affine func- tion, which can be solved efficiently. We calculate update directions using the limited memory quasi-Newton method L-BGFS, resulting in an algorithm free of matrix inverses.

2 Methodology We consider the following quadratic program

minimize 12x>Qx+ q>x, subject to Ax ∈ C

with Q ∈ IRn×na positive definite matrix, q ∈ IRn, A ∈ IRm×n, C= {z : b ≤ z ≤ b} and bi, bi are m- dimensional vectors whose components satisfy −∞ ≤ bi≤ bi≤ ∞, i = 1, . . . , m.

Equality constraints can be incorporated in this formulation as well, by taking bi= bi. By introducing a slack vector z= Ax, we apply the augmented Lagrangian method where the equality constraints are relaxed. The inner subproblem is a minimization of the augmented Lagrangian, which after elimination of z can be expressed as

minimize ϕΣ(x) = f (x) +12dist2Σ,C(Ax + Σ−1yk), with Σ a diagonal matrix with penalty parameters, and distΣ,C(z) = min{kw − zkΣ| w ∈ C}. Termination requires the primal and dual residuals to be below tolerances which

are composed of an absolute and a relative contribution εp(x, z, εa, εr) = εa+ εrmax{kAxk, kzk}

εd(x, y, εa, εr) = εa+ εrmax{kQxk, kA>yk, kqk} where εa, εrare small positive numbers representing abso- lute and positive tolerance, respectively. The algorithm is outlined in alg. 1. The proposed method will be bench- marked against state-of-the-art QP solvers, and is expected to perform favorably against these solvers.

Algorithm 1 QPALM Require: x0, y0, εa, εr

Initialize: ρ, ϑ ∈ (0, 1), ∆ > 0, ˆεa> 0, ˆεr∈ (0, 1]

1: Σ = diag(σ1, . . . , σm), where σi> 0

2: rp= Ax0− min(b, max(Ax0+ Σ−1y0, b))

3: for k = 0, 1, . . . do

4: zk= min(b, max(Axk+ Σ−1yk, b))

5: yˆk= yk+ Σ(Axk− zk)

6: ∇ϕΣ(xk) = ∇ f (xk) + A>yˆk

7: if

(k∇ϕΣ(xk)k≤ εd(xk, ˆyk, εa, εr) kAxk− zkk≤ εp(xk, zk, εa, εr) then

8: Exit with solution xk.

9: else if k∇ϕΣ(xk)k≤ εd(xk, ˆyk, ˆεa, ˆεr) then

10: yk+1= ˆyk

11: ˆεa← max{ρ ˆεa, εa}, ˆεr← max{ρ ˆεr, εr}

12: σi

(

∆σi, |Aixk− zki| > ϑ |rp,i| σi, otherwise

13: rp← Axk− zk

14: else

15: Compute dkvia L-BFGS

16: Determine τkby exact line-search on ϕΣ 17: xk+1= xk+ τkdk, yk+1= yk

18: end if

19: end for

References

[1] D. P. Bertsekas, Constrained Optimization and Lagrange Multiplier Meth- ods. Athena Scientific, 1996.

Acknowledgement This work benefits from KU Leuven-BOF PFV/10/002 Centre of Excellence: Optimization in Engineering (OPTEC), from project G0C4515N of the Research Foundation - Flanders (FWO - Flanders), from Flanders Make ICON: Avoid- ance of collisions and obstacles in narrow lanes, and from the KU Leuven Research project C14/15/067: B-spline based certificates of positivity with applications in en- gineering. FWO-FNRS under EOS Project no 30468160 (SeLMA), FWO projects:

G086318N; G086518N

Referenties

GERELATEERDE DOCUMENTEN

Figure 1: Latent traversals along the first principal component from a trained St-RKM model on 3Dshapes (left) and Dsprites (right) dataset.. It has been argued that

Our algorithm requires the solution of a linear system at ev- ery iteration, but as the matrix to be factorized depends on the active constraints, efficient sparse factorization

In this paper, we propose a perceptual compressed sensing (PCS) framework, in which a declipping algorithm is subse- quently developed. The PCS framework integrates CS theory

Objective evaluation ex- periments show that the proposed loudspeaker compensation algorithm provides a signicant audio quality improvement, and this for all considered

Acknowledgement This work benefits from KU Leuven-BOF PFV/10/002 Centre of Excellence: Optimization in Engineering (OPTEC), from the project G0C4515N of the Research

Our algorithm requires the solution of a linear system at ev- ery iteration, but as the matrix to be factorized depends on the active constraints, efficient sparse factorization

The main results of this paper are the exact convergence rates of the gradient descent method with exact line search and its noisy variant for strongly convex functions with

The convergence proof available for ALC shows that solutions obtained with the coordination algorithm converge to Karush-Kuhn-Tucker (KKT) points of the original, non-decomposed