Biomedical Engineering Reference
In-Depth Information
of Eqs. (4.39) - (4.41) ensures the value of Eq. (4.43) for the performance
index.
Finally prove the constraint of Eq. (4.46) for the control
u(t) .
To validate Eq. (4.45) it suffices to prove that
y(t)
≥˜
y 0 (t),
0
t
T,
(4.47)
for any control u satisfying the constraint of Eq. (4.46). From Eq. (4.32)
and the inequality u
≥−
U it follows that
≥− ξ 0 (t),
ξ(t)
0
t
T,
(4.48)
ξ 0 (t) on the time interval 0
since
t
T is defined as ξ(t) for u
=−
U .
In a similar way, the inequality
x(t)
≥˜
x 0 (t),
0
t
T,
(4.49)
can be derived from Eq. (4.13), the initial conditions of Eq. (4.15) for x
and
t T as the
solution of the initial-value problem of Eqs. (4.28) and (4.29) for u =− U .
Add Eqs. (4.48) and (4.49) and use Eqs. (4.33) and (4.34) for
x , the inequality u ≥− U , and the definition of
x 0 for 0
y 0 and y ,
respectively, to obtain Eq. (4.47).
To derive Eq. (4.40) for the control
u , proceed from Eq. (4.42), which
implies y =
const and, hence,
y =
0and
y =
0for t > T . Use these rela-
tions together with Eq. (4.34) to obtain
ξ = x,
ξ = x,
t > T.
(4.50)
Then, from Eqs. (4.13) and (4.14) it follows that
ξ
c ξ
+
+
=
0 ,
t > T.
(4.51)
This equation takes into account Assumptions 1 and 3, according to which
v(t)
=
0for t > T . Use Eqs. (4.14) and (4.51) and the definition of
u as
¯
the control u for t > T to obtain
= ξ.
u
¯
(4.52)
ξ
Differentiate Eq. (4.51) twice with respect to time and substitute
u for
¯
into the resulting relation to arrive at Eq. (4.40).
Search WWH ::




Custom Search