Atic L5
Atic L5
Upcoming Lectures:!
!
Lecture 5: Convex Optimization (today / PG)"
!
Lecture 6: Duality at KKT Conditions (March 25 / PG)!
!
Lecture 7: Structured Singular Value (April 1 / RS)"
!
Lecture 8: H∞ design (April 8 / PG)"
!
!
!
References
These lecture notes are based to a large extent on those for the Stanford EE 364a class developed by
Stephen Boyd. His original slides can be downloaded from http://www.stanford.edu/class/ee364a/.
The most extensive text on convex optimization (and one of the best written) is:"
S. Boyd & L. Vandenberghe, “Convex Optimization,” Cambridge Univ. Press, 2004.
Convex optimization
Problems to be solved:
1. µ (M ) = µ (DM D 1
) inf max (DM D
1
)
D D
Tools to be used:
Convex sets:
A set is convex if the line segment between every two points is also in the set.
For all x1 , x2 C, { 1 x1 + 2 x2 | 1 + 2 = 1, 1 0, 2 0} C.
x1 + (1 )x2 , [0, 1]
x2
x1
x aT x b
x0
x aT x b
Halfspaces are convex.
Polyhedra
{ x | Ax b, Cx = d }
AT1•
AT2•
AT5•
AT3•
AT4•
Convex cones
x = 1 x1 + 2 x2 , 1 0, 2 0.
x2
0
A convex cone is a set that contains every conic combination of points in the set.
x1
x =1
Note that the “shape” depends on the norm.
8
x =1
2
x 1=1
x2
1.0
0. 8
0. 2
0
Norm balls and norm cones are convex. -1.0
-0.5 1.0
0 0. 5
0
x1 0.5 -0.5
x2
1.0 -1.0
The Euclidean norm cone is called a second-order cone.
Robust Control & Convex Optimization 5: !8
Convex optimization
Sn : Symmetric n n matrices.
0.6
0.4
Example: 2 2 matrices:
0.2
x y 0
0. 1
y z 0.5 1
0.8
y
0 0.6 x
−0.5 0.4
0.2
−1 0
Affine functions
Y Rm (convex) = f 1
(Y ) = { x Rn | f (x) Y } is convex.
Examples:
f: Rn Rm ,
Ax + b
f (x) = T , dom f = x cT x + d > 0 .
c x + d
Images (and inverse images) of convex sets are convex under the linear
fractional mapping.
Example:
2z 1
Bilinear (Tustin) transform: s = f (z) = , maps the unit disk to the left half-plane.
T z+1
Imaginary Imaginary
z-plane s-plane
-1 1
Real Real
Convex functions
f ( x+(1 )y) f (x)+(1 )f (y), for all x, y dom f and all [0, 1].
f ( x + (1 )y)
f (x)
Strict convexity (and strict concavity) are obtained by replacing with <
Simple examples:
Convex functions:
Concave functions:
Examples on Rn :
Convex functions:
n 1/p
Examples on Rm n
:
Convex functions:
m n
Affine functions, f (X) = tr(AT X) + b = Aij Xij + b.
i=1 j=1
Quasiconvex functions
f (x)
minimize f0 (x)
subject to fi (x) 0, i = 1, . . . , m
hi (x) = 0, i = 1, . . . , p
minimize f0 (x)
subject to fi (x) 0, i = 1, . . . , m
aTi x = bi , i = 1, . . . , p
minimize f0 (x)
subject to fi (x) 0, i = 1, . . . , m
Ax = b
minimize cT x
subject to x1 F1 + x2 F2 + . . . + xn Fn + G 0
Ax = b
where Fi , G Sk
if and only if
F1 0 F2 0 Fn 0 G 0
x1 + x2 + . . . + xn + 0
0 H1 0 H2 0 Hn 0 M
dx(t)
Example: proving the stability of a system: = A x(t)
dt
there exists P = P T I, AT P + P A I
cvx_begin sdp
variable P(n,n) symmetric
A’*P + P*A <= -eye(n)
P >= eye(n)
cvx_end
Another example:
dx(t) dx(t)
= A1 x(t) and = A2 x(t)
dt dt
dx(t)
= A(t) x(t) stable for A(t) = 1 (t) A1 + 2 (t) A2 , i (t) 0
dt
cvx_begin sdp
variable P(n,n) symmetric
A1’*P + P*A1 <= -eye(n)
A2’*P + P*A2 <= -eye(n)
P >= eye(n)
cvx_end
Schur complements
Q(x) S(x)
0 R(x) 0 and Q(x) S(x) R(x) 1
S(x)T 0
T
S(x) R(x)
Example 1:
X S(x)T
trace(X) < 1, 0, (X = X T is a slack variable)
S(x) P (x)
Example 2:
tI AT
A 2 t A A T 2
t I, t 0, 0
A tI
1/2
minimize A(x) 2 = (A(x) A(x))
T
minimize t
tI A(x)
subject to T
0
A(x) tI
A 2 t AT A t2 I, t 0,
tI A
0
AT tI
S-procedure
Fi (x) = xT Ai x + 2bTi x + ci , Ai Sn , i = 0, 1, . . . , m.
m
If there exists i 0 such that for all x, F0 (x) i Fi (x) 0,
i=1
S-procedure
A b
We can show that x Ax + 2b x + c
T T
0 for all x 0
bT c
m
X
A0 b0 Ai bi
This gives an LMI test, ⌧i 0
bT0 c0 bTi ci
i=1
Example: find the smallest ellipse containing the union of a set of ellipses.
and we would like to characterize whether or not each of them is contained within an ellipse, E0 ,
x E0 (x x0 )A0 (x x0 ) 1, A0 0.
S-procedure
Example: find the smallest ellipse containing the union of a set of ellipses.
A0 b0 Ai bi
there exists i 0, such that i 0.
bT0 c0 bTi ci