Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
yk
uk
yck
I. I NTRODUCTION
There exist robust techniques for discrete-time linear state
feedback control laws [1], which guarantee that the closedloop system possesses pre-specified sector, gain, and phase
margins. There are also nonlinear optimal state feedback
regulators for continous time, which guarantees sector and disk
margins in presecence of nonlinearities in the sector (1/2, ).
In this paper, we state robustness margins of discrete-time nonlinear inverse optimal control for trajectory tracking [2],[3],
which minimizes a nonlinear performance criterion. We illustrate the proposed scheme with a linear induction motor
(LIM). This kind of motor has been employed widely in
industrial applications such as the steel, textile, nuclear and
space industries [4]. However, the most extensive application
for LIMs is for transportation.
The paper outline is as follows: we present mathematical
preliminaries of disk margin, optimal control, inverse optimal
control and block control form in section II; in section III, the
disk margin of discrete-time inverse optimal control for trajectory tracking is formulated, which is our main contribution.
Section IV describes a discrete-time mathematical model of
the linear induction motor. Then, in section V a discrete-time
trajectory tracking inverse optimal controller is implemented
via simulation to the LIM and a disk margin is calculated.
Finally, conclusions about the obtained results are given in
section VI.
II. M ATHEMATICAL PRELIMINARIES
A. Gain, Sector, and Disk Margins of Discrete-Time Regulators
In this section, we present definitions for gain, sector, and
disk margin of discrete-time nonlinear systems controlled by
nonlinear regulators.
()
u ck
=
=
where uk , yk m , f : n n , g : n nm and
: n m .
We define the robustness margins for G in (1), as follows:
Definition 1: [5]. A system G is zero-state observable if for
all x n , uk 0, yk 0 implies xk 0. A system G is
completely reacheable if for all xk1 , xk2 there exists a finite
integer and square summable control uk defined on [k1 , k2 ]
such that the state xk can driven from xk1 to xk2 .
Definition 2: [6]. Let , be such that 0 < 1
< . Then the nonlinear dynamical system is said to have
a gain margin (, ) if the negative feedback interconnection
of (1) and (uck ) = uck is globally asymptotically stable
for all = diag{k1 , . . . , km } with constants ki (, ),
i = 1, . . . , m.
Definition 3: [6]. Let , be such that 0 <
1 < . Then the nonlinear dynamical system (1) is
said to have a sector margin (, ) if the negative feedback
interconnection of (1) and (uck ) = (uck ) is globally
asymptotically stable for all nonlinearities : n m
T
such that (0) = 0, (uc ) = [1 (uc1 ), . . . , m (ucm )] , and
u2ci < i (uci )uci < u2ci , for all uci 6= 0, i = 1, . . . , m.
Definition 4: [6]. Let , be such that 0 <
1 < . Then the nonlinear dynamical system (1) is
said to have a disk margin (, ) if the negative feedback
interconnection of (1) and () is globally asymptotically
stable for all dynamics operators () such that () is zerostate observable and dissipative with respect to the supply rate
ycTk yck
+ k
B. Optimal Control
In this section, the discrete-time optimal control is presented. We consider a cost function associated with (1); which
minimize a nonlinear-performance criterion [6], [7]:
J
L(xk , uk ),
(2)
(8)
(9)
k=0
V := V (xk+1 ) V (xk )
+uTk R(xk )uk
(3)
which is used to obtain the control law uk by calculating
(4)
uk
uk
H(xk , uk ),
(5)
0.
(6)
:=
=
(11)
where
V (xk+1 )
V T (xk+1 )
y V =
.
xk+1
xk+1
As established in definition (5), the inverse optimal control
approach is based on the knowledge of V (xk ). Thus, we
propose a CLF V (xk ), such that (a) and (b) are guaranteed.
That is, instead of solving (11) for V (xk ), we propose a
control Lyapunov function V (xk ) with the form:
V T =
The value of uk which achieves this minimization is a feedback law denoted as uk = u(xk ), then
min H(xk , uk ) =
0,
is satisfied.
When we select l(xk ) := V 0, then V (xk ) is a solution
for the HJB equation
min H(xk , uk ).
(10)
uk
1
V (xk+1 )
g T (xk )
,
2
xk+1
(7)
1 T
x P xk ,
(12)
2 k
for control law (9), in order to ensure stability of the equilibrium point xk = 0 of system (8). Moreover, it is established
that control law (9) with (12), which is referred to as the
inverse optimal control law, optimizes a cost functional of the
form (2).
Consequently, by considering V (xk ) as in (12), the control
law takes the following form:
V (xk ) =
(xk ) :=
=
uk
1
(R(xk ) + P2u (xk ))1 P1u (xk ),
2
(13)
=
=
..
.
=
=
III. D ISK
yzk
Z
T
rT T
where xk n , xk = xT
, xj nj ;
k , xk , . . . xk ,
j = , . . . , r, nj denotes the order of each rth block;
T
xj = xj , xj , . . . xjn , ; and (xk ) m is the input.
For trajectory tracking, let define the tracking error as
zk
xk x,k ,
(15)
zk+
= f (xk ) + B (xk )xk x,k+ ,
(16)
zk+
=f
(xk )
+B
(xk )xk
x,k+
K zk ,
(17)
yzck
xrk
xr,k .
First, we demonstrate that system (22) is globally asymptotically stable with an inverse optimal feedback controller.
Theorem 1: Consider the block control nonlinear system Z
of the form:
r
zk+
= f r (xk ) + B r (xk )(xk ) xr,k+ .
zk+
zk+
r
zk+
K zk + B (xk )zk
=
..
.
=
K zk
+B
yzk
(zk ),
J(z0 , u()) =
(23)
X
L1 (zk ) + uTzk R(zk )uzk ,
k=0
(24)
V (zk ) > 0, z , z 6= 0,
(25)
(20)
(21)
zk+1
with cost functional
(19)
uzck
()
(26)
(xk , xk )zk
where z n and z 6= 0.
0 =
L1 (z) + V (f (zk ))
1
1 T
(zk ),
V (zk ) P1u (zk ) (R(zk ) + P2u (zk )) P1uz
4
(28)
with z n , and
V (zk ) as ||zk || .
(29)
= V (f (zk )) + V (zk )
1
T
P1uz (zk ) (R(zk ) + P2u (zk ))1 P1u
(zk )
+
4
+ uTzk R(zk )uzk
1
1
(31)
(zk ) = (R(z) + P2u (zk )) P1u (zk ),
2
and the cost functional (24) is minimized in the sense that
J(z0 , (z()))
min
u()S(z0 )
J(z0 n ),
(32)
Finally,
J((z0 ), (zk ())) = V (z0 ), z0 n .
(33)
V (zk+1 ) + V (zk )
From (26)
H(zk , uzk ) = L(z, uzk ) + [V (f (zk )) + P1u (zk )uzk
(34)
+ uTz P2u (zk )uz V (zk ),
Then
H(zk , uzk ) =
L1 (zk ) +
+ [V (f (zk )) + P1u (zk )uzk
+ uTzk P2u (zk )uzk V (zk ).
(35)
k2 1 h
(38)
(39)
zn
and
zn
with max (.) the maximum and min (.) the minimum singular
values.
In the next theorem a disk margin for system (23) is presented.
Theorem 2: Consider the nonlinear system (23), where
(zk ) is a stabilizing feedback control law given by (31)
and where V (zk ), P1u (zk ), P2u (zk ) satisfy (24), (25), (27)
and (28). Then
nonlinear system (23) has a disk margin
q
1
1
, where z , z /z .
,
1 + z 1 z
Proof 3: Note that for all u() U and k1 , k2 Z+ ; it
follows from lemma (1) that the solution zk , k Z+ , of the
closed-loop system (30), satisfies
kX
2 1 h
T
[uzk + yzk ] [R(zk ) + P2u (zk )]
V (zk2 ) V (zk1 )
k=k1
(uzk + yzk ) uTzk R(zk )uzk ,
(40)
which implies
V (zk2 ) V (zk1 )
k2 1 h
k=k1
i
z uTzk uzk .
(41)
1
k=k1
V (zk ), (23) is
Hence, with the storage function Vs (zk ) =
i
2
z
uTzk R(zk )uzk + V (zk1 ).
dissipative with respect to supply rate rz (uzk , yzk ) = uTzk yzk +
(37) (1 2 )
1
z
uTzk uzk + yzTk yzk . Applying corollary (13.17) and
2
2
Proof 2: Note that from (28), it follows that for all uz () U definition (6.3) from [6], then system (23) is globally asympand k Z+
totically stable. Hence, we conclude that (23) has a disk margin
T
T
(z , z ).
uz R(zk )uzk L1 (zk ) + uz R(zk )uzk
k
=
=
k+1
k+1
ik+1
ik+1
qk + vk T
(1 k2 )vk k3 FL T (k1 k 1 + k1 k 2 ) T ik
+ (k1 k 2 k1 k 1 ) T ik
(1 k6 T )k + (k4 vk 1 k4 1 + k5 2 ) T ik
+ (k4 2 k4 vk 2 + k5 1 ) T ik
(1 k6 T )k + (k4 vk 2 k4 2 k5 1 ) T ik
+ (k4 1 + k4 vk 1 + k5 2 ) T ik
(1 + k9 T )ik T k7 k 2 T k8 k vk 1
+T k7 k 1 T k8 k vk 2 T k10 uk
(1 + k9 T )ik + T k8 k vk 2 T k7 k 1
T k7 k 2 T k8 k vk 1 T k10 uk .
(42)
(1 2k6 T )m,k
+2T ik [(k4 vk 1 k4 1 + k5 2 ) k
+ (k4 vk 2 k4 2 k5 1 ) k ]
+2T ik [(k4 1 + k4 vk 1 + k5 2 ) k
+ (k4 2 k4 vk 2 + k5 1 ) k ] ,
1
Xk1 X,k
,
1
1
Xk+1
X,k+1
= K1 Zk1 ,
(45)
where
1
X,k
0.5sin(t)
0.1
(46)
Then,
Zk2
2
Zk+1
2
Xk2 X,k
,
=
=
2
2
Xk+1
X,k+1
.
(47)
The tracking error block controlable form is represented as
follows:
fz
k11
0
0
k12
A2
Zk11
+
B2
Zk12
21
C1 X,k+1
22
D1 X,k+1
A3
B3
(48)
(43)
where
and
1 = sin(np qk );
k1 =
np Lsr
;
Dm Lr
k4 = np Lsr ;
Rm
;
Dm
Rr Lsr
;
k5 =
Ls r
k2 =
Lsr Rr
;
Lr (L2sr Ls Lr )
L2r Rs + L2sr Rr
k9 =
;
Lr (L2sr Ls Lr )
k7 =
2 = cos(np qk );
1
;
Dm
Rr
;
k6 =
Lr
Ls rnp
;
L2sr Ls Lr
Lr
=
;
Lr (L2sr Ls Lr )
k8 =
k10
gz
k3 =
0
0
C2
0
0
0
,
0
D2
(49)
where
A1
A2
A3
B1
B2
=
=
=
=
=
B3
C1
C2
D1
=
=
D2
(1 k2 )vk k3 FL T,
(k1 k 1 + k1 k 2 ) ,
(k1 k 2 k1 k 1 ) ,
(1 2k6 T )m,k ,
2T [(k4 vk 1 k4 1 + k5 2 ) k
+ (k4 vk 2 k4 2 k5 1 ) k ] ,
2T [(k4 1 + k4 vk 1 + k5 2 ) k
+ (k4 2 k4 vk 2 + k5 1 ) k ] ,
(1 + k9 T )ik T k7 k 2 1
T k8 k vk 1 + T k7 k T k8 k vk 2 ,
T k10 ,
(1 + k9 T )ik + T k8 k vk 2 1
T k7 k 1 T k7 k 2 T k8 k vk 1 ,
T k10 .
(50)
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0.1
0.1
0.2
0.2
0.3
0.3
0.4
0.4
Velocity (m/s)
reference
measure
0.5
0.02
0.04
time (sec)
0.5
5
6
time (sec)
10
0.2
0.2
0.18
0.18
0.16
0.16
0.14
0.14
0.12
0.12
0.1
0.1
0.08
0.08
0.06
0.06
0.04
0.04
0.02
0.02
reference
measure
0.02
0.04
time (sec)
5
6
time (sec)
10
MSE
vk
6.0894e-06
6.4085e-06
5.4873e-06
8.0743e-06
8.8954e-06
MSE
m,k
1.2786e-06
1.5436e-06
2.7618e-06
1.6200e-05
1.9965e-05
Disk
Margin
(0.6801,1.888)
(0.6801,1.888)
(0.6801,1.888)
(0.6801,1.888)
(0.6801,1.888)
VI. CONCLUSION
In this paper, robustness of discrete-time inverse optimal
control for trajectory tracking is analyzed by means of the
disk margin concept. This result is illustrated using a lineal
induction motor. We are able to determine a disk margin for
this kind of motor as we claim in Theorem 2.
R EFERENCES
[1] T. T. Lee and S. H. Lee, Gain and phase margins for discrete-time
systems, International Journal of Control, vol. 44, pp. 14151426, Nov
1986.
[2] F. Ornelas-Tellez, E. N. Sanchez, and A. G. Loukianov, Discrete-time
inverse optimal control for nonlinear systems trajectory tracking, in The
49th IEEE Conference on Decision and Control (CDC), Atlanta, GA,
U.S.A., pp. 48134818, December 2010.
[3] E. N. Sanchez and F. Ornelas-Tellez, Discrete-Time Inverse Optimal
Control for Nonlinear Systems. Boca Raton, FL, U.S.A.: CRC Press,
2013.
[4] H. Toliyat and G. B. Kliman, Handbook of Electric Motors. Boca Raton,
FL, USA: CRC Press, 2 ed., 2004.
[5] D. Hill and P. Moylan, Stability results for nonlinear feedback systems,
Automatica, vol. 13, pp. 377382, Jul 1977.
[6] W. M. Haddad and V. Chellaboina, Nonlinear Dynamical Systems
and Control : a Lyapunov-based Approach. Princeton, N. J., U.S.A.:
Princeton University Press, 2008.
[7] F. L. Lewis and V. L. Syrmos, Optimal Control. New York, N. Y.,
U.S.A.: Wiley, 1995.
[8] D. E. Kirk, Optimal Control Theory: An Introduction. Englewood Cliffs,
N. J., U.S.A.: Prentice-Hall, 1970.
[9] R. A. Freeman and P. V. Kokotovic, Robust Nonlinear Control Design: State-Space and Lyapunov Techniques. Cambridge, MA, U.S.A.:
Birkhauser, 1996.
[10] M. Krstic and H. Deng, Stabilization of Nonlinear Uncertain Systems.
Berlin, Germany: Springer-Verlag., 1998.
[11] F. Ornelas-Tellez, E. N. Sanchez, and A. G. Loukianov, Discrete-time
neural inverse optimal control for nonlinear systems via passivation,
IEEE Transactions on Neural Networks and Learning Systems, vol. 23,
pp. 13271339, 2012.
[12] A. G. Loukianov, Robust block decomposition sliding mode control
design, Mathematical Problems in Engineering, vol. 8, 2002.
[13] M. Hernandez, Discrete-Time Neural Control for a Linear Induction
Motor, in Spanish. M. Sc Thesis, Centro de Investigacion y Estudios
Avanzados del I.P.N. Unidad Guadalajara, 2008.
[14] V. G. Lopez, E. N. Sanchez, and A. Y. Alanis, PSO neural inverse
optimal control for a linear induction motor, in IEEE Congress on
Evolutionary Computation (CEC), Cancun, QR, Mexico, pp. 19761982,
June 2013.
[15] H. A. Hairik and M. H. Hassan, Dynamic model of linear induction
motor considering the end effects, Iraqi Journal for Electrical &
Electronic Engineering, vol. 5, no. 1, pp. 3850, 2009.
[16] L. Radzevicius and E. Matkevicius, The generalized model of the
linear induction motor, Electronics and Electrical Engineering, vol. T,
no. 190, 2006.