ICCAS2005 June 2-5, KINTEX, Gyeonggi-Do, Korea GLOBAL ASYMPTOTIC OUTPUT TRACKING FOR A CLASS OF
NONLINEAR SYSTEMS Keylan Alimhan* and Hiroshi Inaba**
*Department of Information Sciences, Tokyo Denki University, Tokyo, Japan
(Tel : +81-49-296-2911; E-mail: [email protected])
**Department of Information Sciences, Tokyo Denki University, Tokyo, Japan
(Tel : +81-49-296-2911; E-mail: [email protected])
Abstract: This paper considers a global asymptotic output tracking problem with a prescribed constant reference signal for a class of single-input and single output-output nonlinear systems. It is shown that under some mild conditions on such a system there is a smooth output feedback achieving global asymptotic output tracking and such a smooth output controller is explicitly constructed by a new design method proposed. The usefulness of our result is illustrated by a numerical example.
Keywords: nonlinear system, output tracking, output feedback, reference signal
1. INTRODUCTION 2. GLOBAL ASYMPTOTIC OUTPUT TRACKING
FOR A CLASS OF NONLINEAR SYSTEMS BY OUTPUT FEEDBACK
One of most important problems in control theory is to design a feedback control law making the output of a system asymptotically track a prescribed smooth reference signal. This problem has a long-standing history and has been thoroughly investigated over the last three decades.
We consider a global asymptotic output tracking problem by output feedback for single-input and single output-output nonlinear systems of the form given by
1 2 1 2 3 2 1 ( , , ) ( , , ) ( , , ) n n x x t x u x x t x u x u t x y x δ δ δ = + = + = + = u n ∈ (1) The asymptotic tracking problem requires not only to
asymptotically track a desired reference signal but also to guarantee the boundedness of all the internal states in the system. In general, even when the state of the system is known, tracking problems are much more difficult than those of stabilization. Thus solving asymptotic output tracking problems via output feedback is more difficult and challenging than solving those via state feedback (see [1]).
wherex=[ , , , ]x x1 2 xn T R is the state, u∈ Rand y∈ Rare the input and the output of the system,
respectively, the mapping : n for i
δ R R× × →R R
1,
i= , n are smooth with δi(0, ,0) 0… = . The class of systems under consideration is assumed to satisfy the following condition.
In this paper, we consider essentially the same class of nonlinear systems as treated in [2-4]. By far, it seems that one of most relaxed conditions imposed on the nonlinear terms of a given system is a triangular-type condition as far as the output feedback control is concerned as discussed in [2-3]. In [4], it has been proved that under a furthermore relaxed condition on the nonlinear term than a triangular-type condition, global asymptotic stabilization problems can be solved by output feedback.
Assumption 1. For System (1), there exists a function
( ) 0s
γ ≥ such that for any s>0 the inequality
1 1 2 ( , , ) ( ) n n i i i i 1 i i s− δ t x u γ s s x = = ≤
∑
∑
− (2) is satisfied. In this paper, we deal essentially with the same classof nonlinear systems treated in [2-4], and study an output tracking problem with a prescribed constant reference signal for this class. It is shown that under some mild assumptions on a given system belonging to this class the global asymptotic output tracking problem is solved by smooth output feedback and further such a smooth output feedback is explicitly constructed. Finally the usefulness of our result is illustrated by a numerical example.
System (1) can be rewritten in the following form:
( , , ) x Ax Bu t x u y Cx δ = + + = (3) where
(
1, ,)
T n x= x x 557ICCAS2005 June 2-5, KINTEX, Gyeonggi-Do, Korea
0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 A ⎛ ⎞ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ = ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ ,
(
0 0 0 1)
T B=(
1 0 0 0)
C= , δ( , , )t x u =(
δ1( , , ), , ( , , )t x u δn t x u)
.Formally, the tracking problem can be formulated as follows: given a bounded reference signal with bounded derivatives , find, if possible, a dynamic output compensator of the form
( ) r y t (1)( ), , ( )n ( ) r r y t y t ( ) ( ) ( , , , , , ), ( , , , , , ) n n r r r n r r r y y y y R u u y y y y ξ α ξ ξ ξ = = … … ∈ n (4) such that all the states of the closed system (1) with (4) are globally bounded; the output of this closed system with any initial state
(
x(0), (0)ξ)
∈Rn×R satisfieslim ( ) r( ) 0.
t→∞ y t −y t = (5)
In the article [4], global asymptotic stabilization of system (1) can be solved by output feedback. In this paper, it will be shown that asymptotic output tracking is achievable by smooth output feedback. Further an output feedback controller solving this problem will be explicitly constructed by a new method. Indeed, the following result can be established.
Theorem 1. Consider system (1) or equivalently (3) and
suppose that it satisfies Assumption 1 and there exist
matricesK L, and s>0such that the matrices
K
A = +A BK, AL = +A LC
are stable and det where defined as
(16). Then the global asymptotical tracking problem for
any constant reference signal is solvable by a
smooth dynamic output feedback controller of the form (4). ( ) 0 W s > W s( ) ( ) r y t ≡c
Proof. Let be a constant reference signal that needs to be tracked. Define the error signals by
( )
r
y t ≡c
e t( )=y t( )−y tr( )= −x1 c. Then system (1) is equivalent to
2 1 2 2 3 2 2 2 1 ( , , , ) ( , , , ( , , , ) , n n n n e x e c x x ) n x x e c x x x u e c x x y x δ δ δ = + + = + + = + + = … … … (6)
and further (2) in Assumption 1 is written as
1 2 1 ( , , , ) ( ) n n i i n i 1 2 i i i s− δ e c x x γ s s x = + ≤
∑
… − =∑
(7) Thus it becomes clear that solving the problem of globalasymptotic tracking for system (1) is equivalent to achieving global stabilization of the error dynamic
system (6).
Now, we design a linear output feedback controller
(
)
(
)
(
)
1 2 2 2 3 2 1 2 2 1 ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ n n n n n n n L e x e e s L x x e e s L x u e e s K K K u e x ˆx s s s − = − − = − − = − − = + + + (8) or equivalent to ˆ ˆ ( )( ˆ) z=Az+Bu−L s y Cz− (9) ˆ ( ) u=K s z (10) where zˆ=(
e x, , ,ˆ2 … xˆn)
T, 1 2 1 ( ) , , , n n n K K K K s s s s − ⎛ ⎞ = ⎜ ⎟ ⎝ … ⎠ and 1 2 2 ( ) , , , T n n L L L L s s s s ⎛ ⎞ = ⎜ ⎟ ⎝ … ⎠ with anys>0.First, we select K=
[
K1, ,… Kn]
and L=[
L1, ,… Ln]
so as to satisfy that AK = +A BK and AL = +A LC
are stable. Next defining
1 e eˆ, i xi xˆi, 2 i n
ε = − ε = − ≤ ≤ ,
it follows from (6) and (8) that ( ) ( , , ) L A s t x u ε= ε δ+ (11) where ( ) ( ) L A s = +A L s C.
Now, from (6) and (10), the closed–loop system (6)-(9)-(10) becomes ( ) ( , , ) ( ) K z=A s z+δ t z u −BK s ε (12) where
(
, 2, ,)
Tand n z= e x x ( ) ( ) K A s = +A BK s . Further defining 1 1 0 0 0 0 0 0 ( ) 0 0 0 0 0 0 0 n s D s s − ⎛ ⎞ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ = ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ ,and noticing that AKandALare stable, we have the following equalities:
ICCAS2005 June 2-5, KINTEX, Gyeonggi-Do, Korea
1 1 2 1 1 2 ( ) ( ) ( ), ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) K K T K K K K L L T L L L L sA s D s A D s A s P s P s A s s D s sA s D s A D s A s P s P s A s s D s − − − − = + = − = + = − where ( ) ( ) ( ), ( ) ( ) ( ) K K L L P s =D s P D s P s =D s P D s , , T T K K K K L L L L A P +P A = −I A P +P A = −I s . Now, we set 1( ) T ( ) L V ε =ε P ε . Then, from (12),
Assumption 1 and the previous equalities, we have
2 1 1 2 1 1 2 1 1 1 2 1 1 2 ( ) ( ) 2 ( ) ( ) ( , , ) ( ) 2 ( ) ( ) ( , , ) ( ) 2 ( ) ( , , ) ( ) 2 ( ) ( ) T L L n i L i i n i L i V s D s D s P D s t z u i s D s P D s D s t x u s D s P D s s t z u s D s P D s s s x ε ε ε δ ε ε δ ε ε δ ε ε γ − − − − = − − = = − + ≤ − + ≤ − + ≤ − +
∑
∑
{
}
1 1 1 2 ( ) ( ) ( ) ( ) 2 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) T K T D s D s z M s X s X s M s n P s D s D s z D s D s W s D s z D s z ε γ ε ε ε − − ⎡ ⎤ ≤ −⎢ ⎥ ⋅ ⎢ ⎥ ⎣ ⎦ ⎡ ⎤ ⎢ ⎥ − ⎢ ⎥ ⎣ ⎦ ⎡ ⎤ ⋅⎢ ⎥ ⎢ ⎥ ⎣ ⎦ ⎡ ⎤ ⎡ ⎤ = − ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎢ ⎥ ⎣ ⎦ ⎣ ⎦ where{
}
1 1 1 2 ( ) ( ) ( ) 2 K ( ) M s X s W s X s M s n P γ s − − ⎡ ⎤ ⎢ ⎥ = − ⎢ ⎥ ⎣ ⎦ (16) 1 2 1 ( ) K ( ) L X s = −M s− P K −M nγ s P . By the condition 2 1 1 2 2 1 ( ) 2 ( ) ( ) ( ) 2 ( ) ( ) ( ) n i L i i L s D s P D s s e s x s D s n s P D s D s z ε ε γ ε γ ε − − = − ⎛ ⎞ ≤ − + ⎜ + ⎟ ⎝ ≤ − +∑
⎠ (13){
}
1 1 2 1 2 det ( )W s =M M s− s− −2 n PK γ( )s −X s( ) >0So, the closed-loop system (6)-(9)-(10) is globally exponentially stable. This implies the global output tracking problem with any constant signaly tr( )≡c is
solvable, for the nonlinear system (1). Next, we set 2( ) T ( ) and note that
K
V z =z P s z
Example. We work out a simple numerical example to illustrate the result described in Theorem 1. The example we consider is a 2-dimensional system of the following form:
1
( ) ( ) ( )
D s BK sε=s BKD s− ε.
Then, from (12), Assumption1 and the previous equalities, we obtain
{
}
{
}
{
}
2 1 2 2 1 1 2 1 1 ( ) 2 ( ) ( ) 2 ( ) ( ) ( ) 2 ( ) ( ) 2 ( ) ( ) 2 ( ) ( ) 2 ( ) K T K K T K K K V z s n P s D s z z D s P D s BK s s n P s D s z s z D s P BKD s s n P s D s z ( ) s P K D s z D s γ ε γ ε γ ε − − − − − ≤ − − − = − − − ≤ − − + (14) 2 1 2 1 2 2 1 2 1 1 2 x x x x x x u y x = + + = = (17) It is easy to verify that system (17) satisfies Assumption1. It follows from Theorem 1 that for any given constant reference signal there exists a dynamic output feedback controller of the form (8), achieving asymptotic output tracking for the nonlinear system (17). For instance, let( )
r
y t ≡c
Now, we introduce a function
1 1( ) 2 2( ),
V =M V ε +M V z Mi >0,i=1, 2 (15)
( ) 10
r
y t = .
for the system (11) and (12). Then using (13) and (14), we have
{
}
(
)
{
}
2 1 1 1 2 1 2 1 2 2 1 1 1 2 1 2 1 2 ( ) 2 ( ) ( ) ( ) 2 ( ) ( ) 2 ( ) ( ( ) 2 ( ) ( ) 2 ( ) ( L K K K L K V s M D s M n s P D s D s z M s n P s D s z s M P K D s z D s s M D s ) ( ) ) M s P K M n s P D s D s z M s n P s D s ε γ ε γ ε ε γ ε γ − − − − − − ≤ − + − − + ≤ − + + − − zThen, following the design procedure above, one can obtain the following output feedback controller
(
)
(
)
1 2 2 2 2 1 2 2 2 ˆ ˆ ˆ ˆ ˆ ˆ r r L e x y y e s L ˆ x u y y s K K u e x s s e = + − − = + − − = + (18) where 1 2 [ , ] [ 2, 3 K = K K = − − ] and .In view of Assumption1, we can check that
1 2 [ , ] [ 4, 4]T L= L L = − − ( ) 1 2s s γ = . 559
ICCAS2005 June 2-5, KINTEX, Gyeonggi-Do, Korea
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2 -10 -5 0 5 10 15 20 x 1 x 2 ehat x 2hat With γ( ) 1 2s = s , we choose M1=1andM2 =s2 .
Then, there exists a range of s to satisfydet . We choose . The simulation results shown in Fig.1 or Fig.2 demonstrate asymptotic output tracking of (17) is achieved by the output compensator (18).
( ) 0 T s > 0.18 s= 0 0 .2 0 .4 0 .6 0 .8 1 1 .2 1 .4 1 .6 1 .8 2 6 .5 7 7 .5 8 8 .5 9 9 .5 1 0 1 0 .5 1 1 1 1 .5 x 1 y r= 1 0
Fig.2. state trajectories with
1(0) 7, (0)2 5, (0) 1, (0) 0ˆ ˆ2
x = x = − e = x =
Fig.1(a). output reference 3. CONCLUSIONS
0 0 .2 0 .4 0 .6 0 .8 1 1 .2 1 .4 1 .6 1 .8 2 - 1 0 - 5 0 5 1 0 1 5 2 0 x 2
In this paper, the asymptotic output tracking problem for a system belonging to a class of nonlinear systems was studied. It was shown that the asymptotic output tracking problem is solvable by a smooth output feedback controller and such a controller can be explicitly constructed. Finally a simple numerical example was work out to illustrate the result obtained.
ACKNOWLEDGMENTS
This work was supported in part by the Japanese Ministry of Education, Science, Sports and Culture under the Grant-Aid of General Scientific Research C-15560387 and the 21st Century Center of Excellence (COE) Project..
Fig.1(b). trajectory of state x2 with x2(0)= −5
0 0 .2 0 .4 0 .6 0 .8 1 1 .2 1 .4 1 .6 1 .8 2 - 3 - 2 .5 - 2 - 1 .5 - 1 - 0 .5 0 0 .5 1 1 .5 e h a t REFERENCES
[1] M. Krstic, I. Kanellakopoulos, and P. Kokotovic,
Nonlinear and Adaptive Control Design, John
Wiley & Sons, Inc., 1995.
[2] L. Praly, “Asymptotic stabilization via output feedback for lower triangular systems with output dependent incremental rate”,IEEE Trans. Automat.
Contr., Vol. 48, pp. 1103-1108 (2003).
Fig.1(c). trajectory of with ˆe eˆ(0) 1=
0 0 .2 0 .4 0 .6 0 .8 1 1 .2 1 .4 1 .6 1 .8 2 - 1 0 - 8 - 6 - 4 - 2 0 2 4 6 8 1 0 x 2 h a t
[3] C. Qian and W. Lin, “Output feedback Control of a Class of Nonlinear Systems: A Nonseparation Principle paradigm”, IEEE Trans. Automat. Contr., Vol. 47, pp. 1710-1715 (2002).
[4] Choi, H. -L. and Lim, J. -T., “Global Exponential Stabilization of a Class of Nonlinear Systems by Output Feedback”, IEEE Trans. Automat. Contr., Vol. 50, pp. 255- 257 (2005).
Fig.1(d). trajectory of state ˆx2with xˆ (0) 02 =