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.

20 3 Polyhedra, Polytopes and Simplices<br />

Example 3.1 The set<br />

F = {x ∈ R 2 : x1 + x2 = 1}<br />

is an affine set in R 2 of dimension one. The points x 1 = [0, 1] ′ and x 2 = [1, 0] ′ belong<br />

to the set F. The point ¯x = −0.2x 1 + 1.2x 2 = [1.2, −0.2] ′ is an affine combination of<br />

points x 1 and x 2 . The affine hull of x 1 and x 2 , aff({x 1 , x 2 }), is the set F.<br />

Convex sets have been defined in Section 1.2<br />

The convex combination of a finite set of points x1 , . . .,x k belonging to Rn is<br />

defined as the point λ1x1 + . . . + λkxk where k i=1 λi = 1 and λi ≥ 0, i = 1, . . . , k<br />

The convex hull of a set K ⊆ Rn is the set of all convex combinations of points<br />

in K and it is denoted as conv(K):<br />

conv(K) {λ 1 x 1 + . . . + λ k x k : xi ∈ K, λ i ≥ 0, i = 1, . . .,k,<br />

k<br />

λ i = 1}. (3.3)<br />

The convex hull of K is the smallest convex set that contains K, in the following<br />

sense: if S is any convex set with K ⊆ S, then conv(K)⊆ S.<br />

Example 3.2 Consider three points x 1 = [1, 1] ′ , x 2 = [1, 0] ′ , x 3 = [0, 1] ′ in R 2 . The<br />

point ¯x = λ 1 x 1 +λ 2 x 2 +λ 3 x 3 with λ 1 = 0.2, λ 2 = 0.2, λ 3 = 0.6 is ¯x = [0.4, 0.8] ′ and it<br />

is a convex combination of the points {x 1 , x 2 , x 3 }. The convex hull of {x 1 , x 2 , x 3 }<br />

is the triangle plotted in Figure 3.1. Note that any set in R 2 strictly contained in the<br />

triangle and containing {x 1 , x 2 , x 3 } is non-convex.<br />

x2<br />

2<br />

1.5<br />

1<br />

0.5<br />

0<br />

¯x<br />

-0.5<br />

-0.5 0 0.5 1 1.5 2<br />

Figure 3.1 Illustration of a convex hull of three points x 1 = [1, 1] ′ , x 1 = [1, 0] ′ ,<br />

x 3 = [0,1] ′<br />

A cone spanned by a finite set of points K = {x 1 , . . . , x k } is defined as<br />

cone(K) = {<br />

x1<br />

i=1<br />

k<br />

λ i x i , λ i ≥ 0, i = 1, . . .,k}. (3.4)<br />

i=1<br />

We define cone(K) = {0} if K is the empty set.

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

Saved successfully!

Ooh no, something went wrong!