02.08.2013 Views

Model Predictive Control

Model Predictive Control

Model Predictive Control

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2.2 Lagrange Duality Theory 11<br />

where u = [u1, . . . , um] ′ , v = [v1, . . .,vp] ′ and L : R s × R m × R p → R. The<br />

components ui and vi are called Lagrange multipliers or dual variables. Note<br />

that the i-th dual variable ui is associated with the i-th inequality constraint of<br />

problem (2.1), the i-th dual variable vi is associated with the i-th equality constraint<br />

of problem (2.1).<br />

Let z be a feasible point: for arbitrary vectors u ≥ 0 and v we trivially obtain<br />

a lower bound on f(z)<br />

L(z, u, v) ≤ f(z). (2.4)<br />

We minimize both sides of equation (2.4)<br />

inf L(z, u, v) ≤ inf f(z) (2.5)<br />

z∈Z, g(z)≤0, h(z)=0 z∈Z, g(z)≤0, h(z)=0<br />

in order to reconstruct the original problem on the right-hand side of the expression.<br />

Since for arbitrary u ≥ 0 and v<br />

we obtain<br />

inf L(z, u, v) ≥ inf L(z, u, v), (2.6)<br />

z∈Z, g(z)≤0, h(z)=0 z∈Z<br />

inf L(z, u, v) ≤ inf f(z). (2.7)<br />

z∈Z z∈Z, g(z)≤0, h(z)=0<br />

Equation (2.7) implies that for arbitrary u ≥ 0 and v the solution to<br />

inf<br />

z L(z, u, v), (2.8)<br />

provides us with a lower bound to the original problem. The “best” lower bound<br />

is obtained by maximizing problem (2.8) over the dual variables<br />

sup<br />

inf<br />

(u,v), u≥0 z∈Z<br />

Define the dual cost Θ(u, v) as follows<br />

L(z, u, v) ≤ inf<br />

z∈Z, g(z)≤0, h(z)=0 f(z).<br />

Θ(u, v) inf L(z, u, v) ∈ [−∞, +∞]. (2.9)<br />

z∈Z<br />

Then the Lagrange dual problem is defined as<br />

sup<br />

(u,v), u≥0<br />

Θ(u, v). (2.10)<br />

The dual cost Θ(u, v) is the optimal value of an unconstrained optimization<br />

problem. Problem (2.9) is called Lagrange dual subproblem. Only points (u, v)<br />

with Θ(u, v) > −∞ are interesting for the Lagrange dual problem. A point (u, v)<br />

will be called dual feasible if u ≥ 0 and Θ(u, v) > −∞. Θ(u, v) is always a<br />

concave function since it is the pointwise infimum of a family of affine functions<br />

of (u, v). This implies that the dual problem is a convex optimization problem (max<br />

of a concave function over a convex set) even if the original problem is not convex.<br />

Therefore, it is much easier to solve the dual problem than the primal (which is in

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!