Professional Documents
Culture Documents
RISE
RISE
net/publication/4049299
CITATIONS READS
44 344
4 authors, including:
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Jiaju Chen on 20 November 2015.
e---Xd--X. (8)
where z(t) is the output vector, u(t) is the control input
vector, O/(t), i = 1,2 denote unknown, time-varyingpara- Our objective is to obtain asymptotic tracking with a
meter vectors, H (.) is an uncertain nonlinear vector func- continuous control law using (7) and norm-based, in-
tion, and G (.) is an uncertain nonlinear matrix function. Oim(xd) oif(xd)
The proposed controller produces semi-global asymptotic equality bounds on the functions OXid and Ox~ '
tracking under the assumption that g (.) and G(.) are i = 0,1,2.
second-order differentiable, and G (.) is a positive-definite
symmetric matrix. To achieve this result, we utilize a R e m a r k 1 For simplicity of presentation, we have as-
new continuous control mechanism which is inspired by sumed re(x) and f(x) do not depend explicitly on time
a simple example provided in [16]. The control approach or on unknown time-varying parameters. However, it
compensates for the uncertainty associated with H (-)and should be emphasized that the proposed control approach
G (.) with limited assumptions with regard to structure can compensate for these phenomena provided the time-
of the nonlinearities. varying effects satisfy second-order differentiability condi-
The paper is organized as follows. For the sake of clar- tions similar to those given in (6). That is, the functions
ity, we first present the proposed control design for the re(x) and f (x) could be easily replaced by m(x, Ol (t), t)
first-order, single-input, scalar version of (2), i.e., and f (x, 02(t),t) where Oi(t), i = 1, 2 denote unknown
dz time-varying parameter vectors and other time-varying
d--[ = H(z, 01 (t), t) + G(z, O2(t), t)u. (3) disturbance that may appear nonlinearly in the model;
hence, the system given by (~) represents the same class
We then illustrate how the control approach can be ap- of systems introduced in (3).
plied to the system given by (2).
2.1 Control Law
2 First-Order Single-Input Sys- Based on the subsequent stability analysis, we propose
tems the following control law I to achieve the stated control
objective
To explain the control technique, we first examine a first-
order, single-input nonlinear system having the general (ks + 1)e(t) - (ks + 1)e(to)+
form
rn(x)~c + f (x) = u (4) fit( [(ks + 1 ) a e ( T ) + ~sgn(e(7))] dT (9)
53
where a was introduced in (9). After differentiating (10) 2.3 Stability A n a l y s i s
and then multiplying both sides of the resulting equation
Before presenting the main result of this section, we state
by re(x), we have
the following two lemmas which will be invoked later.
m(x)i ~ = m(x)(~d -6 c~) -6 ~h(x)2 -6 ](x) - it (11)
L e m m a 1 Let the auxiliary function L(t) E l~ be defined
where the time derivative of (4) was used. After some as follows
simple manipulations, (11) can be rewritten as follows L ~- ~ (N~ - # ~ ( ~ ) ) . (22)
.~(x)~ = -~l~h(x)r - e - it + N ( x , ~ , t ) (12) If the control gain fl is selected to satisfy the following
sufficient condition
where
(13) then
After taking the time derivative of (9), we obtain f t l L(~') d~" <- ~b (24)
/t = (ks + 1)r + flsgn(e) (14)
where the positive constant ~b E I~ is defined as
upon use of (10). After substituting (14) into (12), we
obtain the following closed loop system G ~ # I~(t0)l- e(to)Nd(to). (2~)
m(x)÷ = --~17h(x)r - e - (ks + 1)r - flsgn(e) -6 N(x, 2, t) Proof. See Appendix A.
(15) L e m m a 2 Let the region D in the state space be defined
Before analyzing the stability of the closed-loop sys- as follows D A {~ E I~'n I [l~[I < ~} where ~ E I~ is some
tem, we perform the following manipulation on (15). Let positive constant and let V(t, ~)" I~+ x D ~ ~+ be a con-
Nd(t) A N(Xd, iCd,t); hence, from (13), we can show that tinuously differentiable function such that
a~(x~) ~ + Sf(xd) ~ (16)
Nd = m ( x d ) ~ + ax~ Ox~ Wl (~~(t<_' ~)V(t' - W<-
( ~W2(~)
) (26)
and
a~n(xd) ~ + Vt >_ to and V~ E D where WI(~), W2(~) E IR are contin-
uous positive definite functions, W(~) E ~ is a uniformly
continuous positive semi-definite function, and to denotes
O2f (Xd) the initial time. Provided (26) is satisfied and ~(to) E S,
Om (Xd) J:di~d -6
2 OXd ax~ ~ + we have
Of(Xd) .. lim W(~) = 0 (27)
OXd Xd.
(17) t- +c<)
54
where p(.) was defined in (20), At, A2(x), and A3 e lI~ are We now apply Lemma 2 to (36) and (40). Specifically,
defined as follows we see from (36) that lower and upper bounds for (34)
are given as follows
A1 ~ ½ min{1,m} A2(x) A max {½~(x), 1} (31)
A3 ~ min {1, a } ,
W~(y) - ~ iryll ~ W~(y) = ~(x)rlyrl ~ (41)
and 7o C ~ is defined as follows
while the upper bound for the derivative of (34) is given
by
~ e2(t0)+ [2d(t0)+ m-l(x(to))f(x(to))
(32)
~o = +ae(t0)2] ~ +/~ le(to)l - e(to)Nd(to) "
W(y) - ~ Ilzll ~ . (42)
Following Lemma 2, we utilize the right-most inequality
P r o o f . Let the auxiliary function P(t) C ]~ be defined as in (40) to define the region T~ as
follows
T~ ~ { y E IE3 }i}y]l< p - l ( 2 ~V~-~3k~)}. (43)
P(t) ~- ~ b -
f2 L(T)d7 (33)
From (34) and (40), we know V(t,y(t)) E £ ~ ; hence,
where (b and L(t) were defined in Lemma 1. It is easy to e(t), r(t) e £ ~ . From (10), we then know ~(t) e £ ~ .
see that the use of Lemma 1 ensures P(t) >~ O. Continuing Using (7) and (8), we can conclude that x(t), ~(t) e £ ~ .
with the proof, we define the function V(t, y)" I~+ × l~3~ We now know from (6) that re(x), f(x) E £ ~ . Finally,
l~+ as follows we can use (4) to show that u(t) E £ ~ .
Using the above boundedness statements, it is clear
V a le2 lm(x)r2 (34) from (18), (21), and (42) that l~V(y(t)) e £.00, which is a
= ~ +2 +P
sufficient condition for W(y(t)) being uniformly continu-
where y(t) E I~3 is defined as ous. If we define the region S as follows
and z(t) was defined in (21). Note that (34) can be we can now invoke Lemma 2 to state that lim 7 IIz(t)II 2 -
t---*(x)
bounded as
0 Vy(to) C S. From (21) we then know that lim r(t) = 0
' t----~oo
~ Ilyll = ~ v ~ ~(x)llyll = (36) Vy(to) E S. Finally, the structure of (10) allows us to
conclude that [17] lim e(t) ~(t) = 0 Vy(to) E S.
t---*(:x~
where (31) has been utilized. Note that the region of attraction in (44) can be made
After taking the time derivative of (34) and substitut- arbitrarily large to include any initial conditions by in-
ing from (10) and (18), we obtain creasing the control gain ks (i.e., a semi-global type of
stability result). Specifically, we can use the right-most
= - a e 2 - r 2 + riV - ksr 2 + r (Nd --/3sgn(e)) -- L
equality in (41) and the definition given by (44) to calcu-
= - a e 2 - r 2 + r.N - ksr 2 (37) late the region of attraction as follows
upon use of (22). After applying (20) and (21), we can w~(y(to)l < ~ (p-~(2 ~57~k~))~
upper bound the right-hand side of (37) as follows
A1 -1(24A31%) (45)
< -~ Ilzll ~ + [1~1p(llzll)Ilzll- k, I~1~]. (38) Jly(t0)l] < A2(x(to)) p
After completing the squares on the bracketed term in which can be rearranged as
(38), we obtain
( I ks> 1 P 2 ( ~ A2(x(t°)) ) (46)
p~(llzll) ilzlj~ (39) ~ ~ Iry(t0)rt .
~- A3- 4k~
By using (10) and (35), we can write an explicit expres-
From (39), we can state that sion for ]]y(to)]l as follows
< -'Yiizii 2 for
]]y(t0)lJ = v/e2(t0) + (~(t0) + ae(t0)) 2 + P(to). (47)
k~ > ~ 1p 2 (llzll) (or Ilzll<p- 1(2 ~X/-A~3ks))(40)
From (4), (8), and the fact that u ( t o ) = 0, we have that
where 7 E I~ is some positive constant. ~(to) = 5cd(to) + m-l(x(to))f(x(to)); (48)
BB
hence, (47) can be rewritten as Let xd(t) E ]RTM be the reference trajectory that is con-
tinuously differentiable up to its (n + 2)th derivative such
M(.), 1VI(.), l~I(.) E / 2 ~ if x, ~k, ..., x (n-l) E / 2 ~ sgn(~) ~ [ sgn(~l) sgn(~2) ... sgn(~m) ]T
= . (bs)
f (.) , t (.) ,]~ (.) E E ~ if x, x, ..., x (n-l) E £cxD.
(53) (Note that u(t0) = 0). After taking the time derivative
of (57), we have
2The symbol "." is used from now on to indicate the function's
dependency on x , ± , ...,x ( n - l ) . Note t h a t the comments made in
Remark 1 are also applicable to M ( - ) and f (.).
fl = (Ks + Im)(~,~ + A e n ) + Fsgn(en(~-)). (59)
56
3.3 Stability Analysis [11] F.L. Lewis, S. Jagannathan, and A. Yesildirak, Neural
Network Control of Robot Manipulators and Nonlinear
The main result of this section is delineated by the fol- Systems, Taylor & Francis, 1999.
lowing theorem.
[12] W. Lin and C. Qian, "Adaptive Control of Nonlinearly
T h e o r e m 2 The control law of (5"/) ensures that all sys- Parameterized Systems: A Nonsmooth Feedback Frame-
tem signals are bounded under closed-loop operation and work," IEEE Trans. Automatic Control, Vol. 47, No. 5,
that pp. 757-774, May 2002.
lim ei(t) = 0 , i=0,1,...,n, (60) [13] W. Messner, R. Horowitz, W.W. Kao, and M. Boals, "A
t---~ (x)
57