2 MPC REAL-TIME IMPLEMENTATIONSTATE OF THE PLANT AT THE INSTANTTOR I...

3.2 MPC real-time implementationstate of the plant at the instanttor its estimation based on measurement output.In order for real-time implementation, piece-wise constant functions are used as a pro-This model is used to predict future outputs of the process given the programmed controlgrammed control over the prediction horizon. That is, the programmed control ˜u

(

τ

)

is pre-u˜

(

τ

)

over a finite time intervalτ

[

t,t

+

T

p

]

. Such a model is calledprediction modelandsented by the sequence{u˜

k

, ˜u

k+1

, ..., ˜u

k+P−1

}, where ˜u

i

E

m

is the control input at the timethe parameter T

p

is namedprediction horizon. Integrating system (8) we obtain ˜x

(

τ

) =

interval

[

iδ,

(

i

+

1

)

δ

]

,δis the sampling interval. Note that,Pis a number of sampling intervalsx˜

(

τ,x

(

t

)

, ˜u

(

τ

))

—predicted process evolution over time intervalτ∈

[

t,t

+

T

p

]

.over the prediction horizon, that isT

p

=

Pδ. Likewise, general MPC formulation presentedThe programmed control ˜u

(

τ

)

is chosen in order to minimize quadratic cost functional overabove consider nonlinear prediction model in the discrete formthe prediction horizonx˜

i+1

=

f

(

x˜

i

, ˜u

i

)

, i

=

k

+

j, j

=

0, 1, 2, ..., x˜

k

=

x

k

,

t+T

p

y˜

i

=

Cx˜

i

. (12)J

=

J

(

x

(

t

)

, ˜u

(

·

)

,T

p

) =

t

((

x˜r

x

)

R

(

x˜

)(

x˜r

x

) + (

u˜r

u

)

Q

(

x˜

)(

u˜r

u

))

dτ, (9)Here ˜y

i

E

r

is the vector of output variables,x

k

E

n

is the actual state of the plant at timewhereR

(

x˜

)

,Q

(

x˜

)

are positive definite symmetric weight matrices,r

x

,r

u

are state and con-instantkor its estimation on the base of measurement output. We shall say that the sequencetrol input reference signals. In addition, the programmed control ˜u

(

τ

)

should satisfy all of theof vectors{y˜

k+1

, ˜y

k+2

, ..., ˜y

k+P

}represents the prediction of future plant behavior.constraints imposed on the state and control variables. Therefore, the programmed controlSimilar to the cost functional (9), consider also its discrete analog given byu˜

(

τ

)

over prediction horizon is chosen to provide minimum of the following optimizationJ

k

=

J

k

(

y, ¯¯ u

) =

P

j=1

(

y˜

k+j

r

y

k+j

)

T

R

k+

j

(

y˜

k+j

r

y

k+j

)

problem, (10)J

(

x

(

t

)

, ˜u

(·)

,T

p

)

min

+ (

u˜

k+j

1

r

u

k+j

1

)

T

Q

k+j

(

u˜

k+j

1

r

u

k+j

1

)

, (13)

u(·)∈Ω

u

˜

whereΩ

u

is the admissible set given bywhereR

k+j

andQ

k+j

are the weight matrices as in the functional (9),r

y

i

andr

u

i

are the outputand input reference signals,Ω

u

=

u˜

(·)

K

0

n

[

t,t

+

T

p

]

: ˜u

(

τ

)

U, ˜x

(

τ,x

(

t

)

, ˜u

(

τ

))

X, ∀τ∈

[

t,t

+

T

p

]

. (11)y¯

=

y˜

k+1

y˜

k+2

... y˜

k+P

T

E

rP

,u¯

=

u˜

k

u˜

k+1

... u˜

k+P

1

T

Here, K

0

n

[

t,t

+

T

p

]

is the set of piecewise continuous vector functions over the intervalE

mP

[

t,t

+

T

p

]

,UE

m

is the set of feasible input values,XE

n

is the set of feasible state values.are the auxiliary vectors.Denote by ˜u

(

τ

)

the solution of the optimization problem (10), (11). In order to implementThe optimization problem (10), (11) can now be stated as followsfeedback loop, the obtained optimal programmed control ˜u

(

τ

)

is used as the input only onthe time interval

[

t,t

+

δ

]

, whereδ<<T

p

. So, only a small part of ˜u

(

τ

)

is implemented. AtJ

k

(

x

k

, ˜u

k

, ˜u

k+1

, ... ˜u

k+P

1

)

mintimet

+

δthe whole procedure—prediction and optimization—is repeated again to find new

{

u

˜

k

, ˜

u

k+1

,..., ˜

u

k+P−1

}∈Ω∈E

mP

, (14)optimal programmed control over time interval

[

t

+

δ,t

+

δ

+

T

p

]

. Summarizing, the basicis the admissible set.whereΩ

=

u¯ E

mP

: ˜u

k+j−1

U, ˜x

k+j

X, j

=

1, 2, ...,PMPC scheme works as follows:Generally, the functionJ

(

x

k

, ˜u

k

, ˜u

k+1

, ... ˜u

k+P

1

)

is a nonlinear function ofmPvariables andΩ