Professional Documents
Culture Documents
# 2010 EUCA
DOI:10.3166/EJC.16.16–22
In this paper, a new integral sliding mode control been proposed for study of switched systems [8, 13, 19,
scheme is proposed for a class of uncertain switched 26]. A common Lyapunov function for all subsystems
nonlinear systems. First, a nonlinear integral sliding guarantees asymptotic stability under arbitrary
surface is constructed such that the switched system switching laws [4, 12, 15]. The single Lyapunov func-
under the sliding mode is exponentially stable for tion is developed by designing a state-partition-based
switching laws with an average dwell time switching feedback switching law to stabilize a class of switched
property. Then, variable structure controllers are linear systems with stable convex combinations [10,
designed to guarantee the existence of the sliding mode 18, 22]. The multiple Lyapunov functions method
from the initial time. Robustness of the closed-loop proposed in [16] is considered as an analysis tool in
system in the whole state space is obtained. Finally, [2, 24]. It is shown in [14] that based on the dwell time
a numerical example is given to illustrate the effective- method a switched linear system is exponentially
ness of the proposed design method. stable if the individual subsystems are exponentially
stable. This result is later extended to switching laws
Keywords: Average dwell time, integral sliding mode with average dwell time [7]. The average dwell time
control, robust control, uncertain switched nonlinear method is considered as one of the most effective
systems methods in the study of switched systems [12]. It can
also be applied to the study of switched systems
composed of both stable and unstable subsystems [25].
1. Introduction However, the average dwell time method has rarely
been applied to study switched systems with uncer-
Recently, the study of switched systems has been tainties. In particular, no relevant results for uncertain
receiving growing attention mainly because many switched nonlinear systems have been reported so far.
real-world systems, for example, automotive engine On the other hand, sliding mode control is an
control systems [1], disc drives [23], some robot con- effective robust control approach [5, 11, 20]. Typic-
trol systems [9], and the cart-pendulum system [27] can ally, the complete response of the sliding mode control
be modeled as switched systems. Several methods have comprises two phases: reaching phase and sliding
phase. We know that in the reaching phase, systems
are sensitive to uncertainties and perturbations, which respectively. A1i are system parameter uncertainties
may deteriorate system performance. In order to that can be represented as
handle this problem, a new sliding mode is proposed,
called integral sliding mode which does not have A1i ¼ Ei i ðtÞFi ; i 2 ;
reaching phase [21]. Having this feature, integral
where Ei ; Fi are constant matrices with appropriate
sliding mode control has been widely applied to
dimensions and i ðtÞ are unknown matrices and sat-
various systems [3, 6]. Integral sliding mode control is
isfy Ti ðtÞi ðtÞ I.
of course expected to be effective for uncertain swit-
ched systems. However, so far there have been no Lemma 1 [17]: Given real matrices R1 and R2 with
results for integral sliding mode control of uncertain appropriate dimensions and an unknown matrix ðtÞ
switched nonlinear systems. with T ðtÞðtÞ I, there exists > 0 such that
In this paper, the robust integral sliding mode
control problem is studied for a class of uncertain R1 ðtÞR2 þ RT2 T ðtÞRT1 R1 RT1 þ 1 RT2 R2
switched nonlinear systems. The switched system is
composed of two cascade parts: a linear part with
We will focus on switching signals that satisfy certain
mismatched uncertainties and a nonlinear part with
average dwell time requirement.
matched uncertainties. In order to achieve exponential
stability, we present a two-step design strategy. First, Definition 1 [7]: For switching signal and t > 0,
we design an integral sliding surface such that the let N ð; tÞ denote the number of discontinuities of on
sliding mode is exponentially stabilizable via switch- an interval ð; tÞ. If there exist N0 0; a > 0 such that
ing. Then, we design variable structure controllers to
t
guarantee that the trajectory of the system remains on N ð; tÞ N0 þ ð2Þ
the sliding surface from the initial time. Robustness of a
the closed-loop system in the whole state space is
holds, then the positive constant a is referred to as
obtained.
average dwell time. As commonly used in the literature,
Throughout this paper, kk denotes the Euclidean
for convenience, we choose N0 ¼ 0 in this paper.
norm for a vector or the matrix-induced norm for a
matrix. max ðPÞ and min ðPÞ denote the maximum and The control object is for the uncertain switched non-
minimum eigenvalues of a symmetric matrix P, linear system (1), determine switching laws with an
respectively. average dwell time property, a proper nonlinear integral
sliding surface and variable structure controllers such
that the closed-loop system is globally exponentially
2. Problem Formulation and Preliminaries stable.
We introduce the following assumption.
We consider the following uncertain switched non-
Assumption 1: For each i 2 , the known nominal
linear system
nonlinear subsystem, _2 ¼ fi ð2 Þ þ gi ð2 Þui is globally
_1 ¼ ðA1 þ A1 Þ1 þ A2 2 ; asymptotically stabilizable via a nominal controller
ui ¼ i ð2 Þ, i.e., there are a collection of positive defined
_2 ¼ f ð2 Þ þ g ð2 Þf½I þ g ð2 ; #Þu þ f ð2 ; #Þg;
radially unbounded functions fW1 ; W2 ;
Wl g and
ð1Þ positive numbers i ; 1i ; 2i such that, for each
2 2 Rnh ,
where ¼ ½1T ; 2T T is the state with 1 2 Rh and 2 2
Rnh ; ðtÞ : ½0; 1Þ ! ¼ f1; 2; . . . ; lg is the switching @Wi ð2 Þ
signal, which is a piecewise constant function of ðfi þ gi i Þ i k2 k2 ;
@2 ð3Þ
time, ui 2 Rm is the control input of the ith subsystem, 2 2
A1i and A2i are constant matrices with appropriate 1i k2 k Wi ð2 Þ 2i k2 k :
dimensions, fi ð2 Þ and gi ð2 Þ are known nonlinear
In this paper, we do not require that all subsystems are
function vector and matrix, respectively. For some
stable. Instead, we allow stable subsystems and un-
prescribed compact set Y Rp ; # 2 Y is the vector
stable subsystems to co-exist. Let p be a nonempty
uncertain variable. fi ð2 ; #Þ and gi ð2 ; #Þ represent ~ p be the complement of p with
subset of and
the uncertainties satisfying, kfi ð2 ; #Þk ’i ð2 Þ;
respect to . We make the following assumption.
kgi ð2 ; #Þk i < 1; 8ð2 ; #Þ 2 Rnh Y, where
’i ð2 Þ and i are known nonnegative scalar-valued Assumption 2: There exist a constant 1, positive
nonlinear functions and nonnegative constants, definite matrices Pi ; i 2 , positive constants
18 J. Lian et al.
"i > 0; i 2 , a nonempty subset p , positive con- Remark 2: From (6), we can see that the sliding surface
stants i > 0; i 2 p and negative constants i < 0, is designed as integral form and depends on the initial
i2 ~ p such that the following matrix inequalities hold condition 2 ðt0 Þ. Therefore, the trajectory of 2 is driven
to remain in sliding surface from the initial time, the
AT1i Pi þ Pi A1i þ "1
i Pi Ei Ei Pi þ "i Fi Fi þ i Pi þ I < 0;
T T
reaching phase is avoided and the robustness is improved.
Pi Pj ; i; j 2 :
ð4Þ Theorem 1: Suppose that Assumptions 1 and 2 hold. The
uncertain switched nonlinear system (1) is exponenti-
Let Tþ ðt0 ; tÞ denote the total activation time of ally stable in the integral sliding surface SðtÞ ¼ 0 for
all ith; i 2 p subsystems during ½t0 ; tÞ; T ðt0 ; tÞ denote any switching signals satisfying the condition (5) and
the total activation time of all jth; j 2 ~ p subsystems the average dwell time
during ½t0 ; tÞ. Define ¼ minfj < 0; j 2 ~ p g;
ln ^
i a a ¼ ð7Þ
þ ¼ minf^i > 0; i 2 p g, where ^i ¼ min i ; .
22i 2i
with ^ ¼ max ; ; i; j 2 .
For any given 2 ð0; þ Þ, we choose an arbitrary 1j
2 ð; þ Þ. Motivated by the idea in [25], we propose Proof: When 2 evolves in the sliding surface, we have
the switching law satisfying the following condition:
SðtÞ ¼ 0 ð8Þ
Tþ ðt0 ; tÞ Differentiating the sliding function (6) with respect to
inf þ : ð5Þ
t>t0 T ðt0 ; tÞ time, one obtains
_ ¼ G_2 ðtÞ Gðf þ g Þ
SðtÞ ð9Þ
Remark 1: The form of A1i ¼ Ei i ðtÞFi is a standard
assumption in the robust control literature (see [5, 6,
According to kgi ð2 ; #Þk i < 1; ðI þ gi ð2 ; #ÞÞ
10] for example). Assumption 2 is very mild. In fact _ ¼ 0 is solved to
are invertible. Then, by using (1), SðtÞ
Pi Pj always hold for some 1, while AT1i Pi þ
obtain the equivalent control uieq
Pi A1i þ "1
i Pi Ei Ei Pi þ "i Fi Fi þ i Pi þ I < 0 are easy
T T
to satisfy and this is taken as a typical assumption in the uieq ¼ ½I þ gi ð2 ; #Þ1 fi ð2 Þ fi ð2 ; #Þg; i 2
literature ([5, 10]).
ð10Þ
Substituting (10) into (1) yields the sliding mode
3. Integral Sliding Surface Design
_1 ¼ ðA1 þ A1 Þ1 þ A2 2 ;
ð11Þ
According to design of general sliding mode variable _2 ¼ f ð2 Þ þ g ð2 Þ ð2 Þ:
structure control, the design procedure is divided into
two phases. First, the integral sliding surface is Define the Lyapunov function candidate as follows
designed, so that the controlled system yields the
desired dynamic performance. The second phase is to VðtÞ ¼ V ð1 ; 2 Þ ¼ 1T P 1 þ KW ð2 Þ ð12Þ
design the variable structure controllers such that the
trajectory of the system remains on the sliding surface where K is a positive number to be determined later, it
from the initial time. switches in accordance with the piecewise constant
In this section, we design a nonlinear integral sliding switching law .
surface such that the sliding mode is exponentially Then, when the i-th subsystem is active, the time
stable. derivative of Vi along the trajectory of the switched
The nonlinear integral sliding function is defined as system (11) is
follows
Z t V_ i ¼ 1T ðAT1i Pi þ Pi A1i Þ1 þ 1T ðAT1i Pi þ Pi A1i Þ1
SðtÞ ¼ G2 ðtÞ G2 ðt0 Þ Gðf þ g Þd; dWi ð2 Þ
þ 21T Pi A2i 2 þ K ðfi þ gi i Þ
t0 d2
ð6Þ ¼ 1T ðAT1i Pi þ Pi A1i Þ1 þ 1T ðFTi Ti ðtÞETi Pi
where G 2 RmðnhÞ is a constant matrix and Ggi ; i 2 þ Pi Ei i ðtÞFi Þ1 þ 21T Pi A2i 2
are invertible. dWi ð2 Þ
Now, when SðtÞ ¼ 0, we give the stability result for þK ðfi þ gi i Þ:
d2
uncertain switched nonlinear system (1).
Integral Sliding Control of Switching Nonlinear Systems 19
tt0
By using Assumption 1 and Lemma 1 with R1 ¼
VðtÞ e ðT
ðt0 ;tÞþTþ ðt0 ;tÞÞþ a ln ^
Vðt0 Þ ðt0 Þ
FTi ; R2 ¼ ETi Pi and ¼ "i , we have lna ^Þðtt0 Þ
eð
Vðt0 Þ ðt0 Þ ð19Þ
V_ i 1T ðAT1i Pi þ Pi A1i þ "1
i Pi Ei Ei Pi þ "i Fi Fi Þ1
T T
eðtt0 Þ Vðt0 Þ ðt0 Þ:
þ 21T Pi A2i 2 Ki k2 k2 :
Moreover, from 1i k2 k2 Wi ð2 Þ 2i k2 k2 in (3)
ð13Þ and (12), it is easy to get
structure controllers
T ðt0 ;tÞþ Tþ ðt0 ;tÞ
^N ðt0 ;tÞ e Vðt0 Þ ðt0 Þ
T ðt0 ;tÞþ Tþ ðt0 ;tÞþN ðt0 ;tÞ ln ^
1
¼e Vðt0 Þ ðt0 Þ; ui ¼ i ð2 Þ ði ki ð2 Þk þ ’i ð2 Þ þ Þ
1 i
ð18Þ signððGgi ÞT SÞ; i 2 ;
Thus, by exploiting (2), (5) and (7), we obtain ð23Þ
20 J. Lian et al.
where > 0 is a design constant to adjust the conver- 2i
where ^ ¼ max ; ; i; j 2 ; 2 ð0; 0 Þ; 0 ¼
gent rate.
1j
Proof: We choose a Lyapunov function as i
min i ; ;i 2 .
22i
1 Moreover, the state estimate of the system (1) is
Vs ¼ ST S ð24Þ given by
2 sffiffiffiffiffi
d2 0 ðtt0 Þ
Differentiating Vs with respect to time along the kðtÞk e 2 kðt0 Þk ð26Þ
d1
trajectory of (1) yields
where d1 ¼ minfa1 ; K1i ; i 2 g; d2 ¼ maxfa2 ; K2i ;
V_ s ¼ ST S_ ¼ ST Ggi ð2 Þf½I þ gi ð2 ; #Þui i 2 g; a1 ¼ min ðPi ; i 2 Þ; a2 ¼ max ðPi ; i 2 Þ;
2
þ fi ð2 ; #Þ i ð2 Þg: 2
i
K > max ;i 2 .
i
By substituting (23) into the above equation, one
obtains 5. Example
_ 1 In this section, we present an example to demonstrate
Vs ¼ S Ggi ð2 Þ
T
ði ki ð2 Þk
1 i the effectiveness of the proposed design method.
Consider the following uncertain switched non-
þ ’i ð2 Þ þ ÞsignððGgi ÞT SÞ
linear system
1
þ gi ð2 ; #Þ½i ð2 Þ ði ki ð2 Þk
1 i _1 ¼ ðA1 þ A1 Þ1 þ A2 2 ;
o
þ ’i ð2 Þ þ ÞsignððGgi ÞT SÞ þ fi ð2 ; #Þ _2 ¼ f ð2 Þ þ g ð2 Þf½I þ g ð2 Þu þ f ð2 Þg;
i 1 ð27Þ
ki ð2 Þk þ ’i ð2 Þ þ
1 i 1 i 1 i
where ðtÞ 2 ¼ f1; 2g;
T 2
S Ggi þ i ki ð2 Þk þ i
ki ð2 Þk 0:4 1:2 3 1
1 i A11 ¼ , A12 ¼ ,
1 0:5 2 4
i i ST Ggi
þ ’i ð2 Þ þ
1 i 1 i 0:1 0:2 0:3 0:5
T A21 ¼ , A22 ¼ ,
þ ’i ðÞ S Ggi ST Ggi
0:4 0:5 0:1 0:4
0 3 0:5
Because Ggi are nonsingular and Sðt0 Þ ¼ 0, then, if f1 ð2 Þ ¼ A1 2 þ , A1 ¼ ,
0:222 sin ð21 Þ
2
0:1 2
S 6¼ 0, we can get V_ s < 0. Therefore, the sliding mode
is maintained by the controllers (23), from the initial
0:221 cosð22 Þ 5 1
time. This completes the proof. f2 ð2 Þ ¼ A2 2 þ , A2 ¼ ,
0:222 sinð22 Þ 2 3
Remark 4: From Theorems 1 and 2, we know that
exponential stability of the system (1) is achieved under 2
0:1 cosð21 Þ 1
g1 ð2 Þ ¼ B1 þ , B1 ¼ ,
the controllers (23) and any switching law satisfying 0 1
average dwell time (7).
If p ¼ , then all i > 0; i 2 . We obtain the g2 ð2 Þ ¼ B2 þ
0
, B2 ¼
2
,
following corollary. 0:1 cosð21 Þ sinð22 Þ 1
Corollary 1: Suppose that Assumptions 1 and 2 hold.
The sliding function is given as (6). The switched non- g1 ð2 Þ ¼ 0:2cosð21 Þ, g2 ð2 Þ ¼ 0:1sinð22 Þ,
linear system (1) under the variable structure con- f1 ð2 Þ ¼ 0:121
2
sinð21 22 Þ þ 0:1,
trollers (23) is exponentially stable for arbitrary f2 ð2 Þ ¼ 0:121
4
cosð22 Þ þ 0:2222
sinð21 Þ þ 0:15,
switching law satisfying the average dwell time
A1i ¼ Ei i ðtÞFi , E1 ¼ ½ 0:1 0:1 T ,
ln ^ E2 ¼ ½ 0:1 0 T , F1 ¼ ½ 0 0:1 ,
a a ¼ ; ð25Þ
F2 ¼ ½ 0:1 0 , i ¼ i 2 ½1; 1.
Integral Sliding Control of Switching Nonlinear Systems 21
Thus, we obtain
V_ 01 1:7328k2 k2 ;
V_ 02 1:6196k2 k2 :