Documente Academic
Documente Profesional
Documente Cultură
_
x(t) =
r
i=1
i
((t))(A
i
x(t) +B
i
u(t))
y(t) =
r
i=1
i
((t))(C
i
x(t) +D
i
u(t))
(2)
where x(t) R
n
is the state vector, u(t) R
m
is the input
vector, y(t) R
p
represents the output vector. A
i
R
nn
,
B
i
R
nm
, C
i
R
pn
and D
i
R
pm
are known
matrices. The functions
i
((t)) are the weighting functions
depending on the variables (t) which can be measurable
(as the input or the output of the system) or non measurable
variables (as the state of the system). These functions verify
the following properties
_
_
_
r
i=1
i
((t)) = 1
0
i
((t)) 1 i {1, 2, ..., r}
(3)
Obtaining a T-S model (2) from (1) can be performed from
different methods such us linearizing the system (1) around
some operating points and using adequate weighting func-
tions. It can also be obtained by black-box approaches which
allow to identify the parameters of the model from input-
output data. Finally, the most interesting and important way
to obtain a model in the form (2) is the well-known nonlinear
sector transformations [17], [12]. Indeed, this transformation
allows to obtain an exact T-S representation of (1) with no
information loss on a compact of state space.
Thanks to the convex sum property of the weighing
functions (3), it is possible to generalize some tools devel-
oped in the linear domain to the nonlinear systems. This
representation (2) is very interesting in the sense that it
simplies the stability studies of nonlinear systems and the
design of control laws and observers. In [2], [6], [7], the
stability and stabilization tools are inspired from the study
of linear systems. In [1], [10], the authors worked on the
problem of state estimation and diagnosis of T-S fuzzy
systems. The proposed approaches in these last papers rely
on the generalization of the classical observers (Luenberger
Observer [8] and Unknown Input Observer (UIO) [3]) to the
nonlinear domain.
In the remaining of the paper, we use the following
lemmas.
Lemma 1: Consider two matrices X and Y with appropri-
ate dimensions and a positive denite matrix. the following
property is veried
X
T
Y +Y
T
X X
T
X +Y
T
1
Y > 0 (4)
Lemma 2: (Congruence) Let two matrices P and Q, if P
is positive denite and if Q is a full column rank matrix,
than the matrix QPQ
T
is positive denite.
III. FAULT TOLERANT CONTROL OF T-S FUZZY SYSTEMS
Let us consider the T-S reference model without faults
described by (2). The system with faults f is described by
the following T-S model with unmeasurable premise variable
_
_
_
x
f
(t) =
r
i=1
i
(x
f
(t)) (A
i
x
f
(t) +B
i
(u
f
(t) +f(t)))
y
f
(t) = Cx
f
(t) +Rf(t)
(5)
For sake of simplicity, the time variable is omitted.
The goal is to design the control law u
f
(t) such that the
system state x
f
(t) converges toward the reference state x(t)
given by the reference model (2). The control strategy is
illustrated in the gure 1. The following structure is proposed
model
f(t)
u(t)
u
f
(t)
y
f
(t)
f(t)
x
f
(t)
x(t)
+
+
+
System
Observer
Controller
reference
Fig. 1. Fault tolerant control scheme
for the control law
u
f
=
r
i=1
i
( x
f
)
_
f +K
1i
(x x
f
) +u
_
(6)
The matrices K
1i
are determined in order to ensure the
stability of the system even if faults occur and to minimize
the difference between x
f
(t) and x(t). By analyzing the
structure of u
f
(t) given in equation (6), the estimation of
the state x
f
(t) and the f(t) faults is required. This task is
performed via a Proportional-Integral observer which esti-
mates simultaneously the state and the faults of the system.
Let us consider the PI observer
x
f
=
r
i=1
i
( x
f
)(A
i
x
f
+B
i
(u
f
+
f)
+ H
1i
(y
f
y
f
)) (7)
f =
r
i=1
i
( x
f
) (H
2i
(y
f
y
f
)) (8)
y
f
= C x
f
+R
i
f (9)
which depends on the gains H
1i
and H
2i
.
The output error between the system (5) and the observer
(7)-(8) is written by
y
f
y
f
=
Ce
a
(10)
where
C =
_
C R
(11)
x
a
=
_
x
f
f
_
(12)
e
a
= x
a
x
a
(13)
The dynamic of the trajectory tracking error e = x x
f
,
obeys to the differential equation
e =
r
i=1
i(x)(Aix +Biu) i(x
f
)(Aix
f
+Bi(u
f
f))
(14)
Taking into account the denitions (6) and (14) leads to
e =
r
i=1
r
j=1
i(x
f
)j( x
f
)(Aie Bi(f
f)
BiK1j(x
f
x
f
)) +1 (15)
=
r
i=1
r
j=1
i(x
f
)j( x
f
)((Ai BiK1j)e
Lijea) +1
(16)
where
Lij =
_
BiK1j Bi
_
, ea = xa xa (17)
1 =
r
i=1
(i(x) i(x
f
))(Aix +Biu) (18)
In order to analyze the evolution of the errors, two cases
are considered : in the rst one the faults are supposed to be
constant ; in the second one they are assumed to be under a
polynomial form with respect to the time variable.
A. Constant faults
In this rst approach, we have
f(t) = 0 and, with
denition (12), the system (5) becomes in augmented form
_
_
_
x
a
=
r
i=1
i
(x
f
)
_
A
i
x
a
+
B
i
u
f
_
y
f
=
Cx
a
(19)
where
A
i
=
_
A
i
B
i
0 0
_
,
B
i
=
_
B
i
0
_
, (20)
C =
_
C R
_
(21)
The state and fault estimation error e
a
(t) = x
a
(t) x
a
(t)
between the system (19) and the observer (7)-(8) evolves
according to the following equation
e
a
=
r
i=1
i
( x
f
)
_
(
A
i
H
i
C)e
a
+
2
_
(22)
where
=
_
I
n
0
_
(23)
2
=
r
i=1
(
i
(x
f
)
i
( x
f
))(A
i
x
f
+B
i
(u
f
+f)) (24)
The concatenation of the state tracking trajectory error and
the state and faults estimation errors allows to write, from
(15) and (22), the new augmented system is
e =
r
i=1
r
j=1
i
(x)
j
( x
f
(t))
A
ij
e +
(25)
where
e =
_
_
x x
f
x
f
x
f
f
f
_
_
, =
_
1
2
_
, (26)
=
_
_
I
n
0
0 I
n
0 0
_
_
(27)
A
ij
=
_
_
A
i
B
i
K
1j
B
i
K
1j
B
i
0 A
i
H
1i
C B
i
H
1i
R
0 H
2i
C H
2i
R
_
_
(28)
The gains K
1i
, H
1i
and H
2i
are determined by solving a
minimization problem under LMI constraints, given by the
following theorem 1.
Theorem 1: The state tracking error e(t) and the state
and fault estimation errors e
a
(t) converge asymptotically
toward zero if there exists symmetric and positive denite
matrices X
1
, P
2
and matrices
H
1i
, H
2i
and K
1i
such that
is minimized under the LMI constraints (29).
_
_
_
_
_
_
_
_
_
i B1K1j Bi B1K1j X1 X1 0
ij ij 0 0 0 P2
ij 0 0 0 0
I 0 0 0
I 0 0
I 0
I
_
_
_
_
_
_
_
_
_
< 0
(29)
i = AiX1 +X1A
T
i
(30)
ij = P2Ai +A
T
i
P2
H1iCj C
T
j
H
T
1i
(31)
ij = P2Bi
H1iRj C
T
j
H
T
2i
(32)
ij =
H2iRj R
T
j
H
T
2i
(33)
i, j = 1, ..., r
The gains are given by K
1j
and H
2i
are obtained directly
from the above optimization problem and H
1i
are then
computed from
H
1i
= P
1
2
H
1i
(34)
the L
2
gain from to e is given by
=
(35)
Proof: The gains H
1i
, H
2i
and K
1i
are obtained by a
stability analysis of the system described by the differential
equation (25), using the Lyapunov theory with a quadratic
function.
Let us chose the following quadratic Lyapunov function
V ( e) = e
T
P e, P = P
T
> 0 (36)
where P is chosen as follows
P =
_
_
P
1
0 0
0 P
2
0
0 0 P
3
_
_
(37)
The time derivative of the function V ( e) is given by
V ( e) =
r
i=1
r
j=1
i
(x
f
)
j
( x
f
) e
T
_
A
T
ij
P +P
A
ij
_
e
+ 2P
=
r
i=1
r
j=1
i
(x
f
)
j
( x
f
) e
T
M
ij
e + 2P
(38)
where
M
ij
= S
_
_
_
_
i
P
1
B
i
K
1j
P
1
B
i
0
i
i
0 P
3
H
2i
C P
3
H
2i
R
_
_
_
_
(39)
i
= P
1
A
i
P
1
B
i
K
1j
(40)
i
= P
2
A
i
P
2
H
1i
C (41)
i
= P
2
B
i
P
2
H
1i
R (42)
and S is a function that acts on any matrix X as follows
S(X) = X
T
+X (43)
Assume that the input and the faults are bounded and that
the system is stable. As a consequence, ((26), (18), (24))
is bounded. So, the objective is to minimize the L
2
-gain of
on the error e(t), this is formulated by
e
2
2
< ,
2
= 0 (44)
Then, we are seeking to ensure asymptotic convergence of
e(t) toward zero if (t) = 0 and to guarantee a bounded L
2
if (t) = 0. This problem can be formulated as follows
V ( e) + e
T
e
2
T
< 0 (45)
After some calculation and by using the convex sum property
of the weighting functions, the time varying inequality (45)
is satised if the following conditions hold
N
ij
< 0, i, j = 1, . . . , r (46)
where
Nij = S
_
_
_
_
_
_
_
_
_
_
i P1BiK1j P1Bi P1 0
0 i i 0 P2
0 P3H2iC P3H2iR 0 0
P1 0 0
2
I 0
P1 0 0 0
2
I
_
_
_
_
_
_
_
_
_
_
(47)
by congruence (lemma 2), for every invertible matrix W, we have
Nij < 0 WNijW < 0 (48)
dening W by
W =
_
_
_
_
P
1
1
0 0 0
0 I 0 0
0 0 I 0
0 0 0 I
_
_
_
_
(49)
the inequality (46) is equivalent to
_
_
_
_
_
_
ij
B
i
K
1j
B
i
P
1
0
Z
i
i
0 P
2
T
i
0 0
2
I 0
2
I
_
_
_
_
_
_
< 0 (50)
where
ij
= A
i
X
1
+X
1
A
T
i
B
i
K
1j
X
1
X
1
K
T
1j
B
T
i
(51)
Z
i
= P
2
A
i
+A
T
i
P
2
P
2
H
1i
C C
T
H
T
1i
P
2
(52)
i
= P
2
B
i
P
2
H
1i
R C
T
H
T
2i
P
3
(53)
T
i
= P
3
H
2i
R R
T
H
T
2i
P
3
(54)
X
1
= P
1
1
(55)
Let us remark that the bloc matrix
_
_
ij
B
i
K
1j
B
i
Z
i
i
T
i
_
_
(56)
of (50) can be written as follows
_
_
i B1K1j Bi
Zi i
Ti
_
_
+
_
BiK1j
0
0
__
X1
0
0
_
T
+
_
X1
0
0
__
BiK1j
0
0
_
T
< 0
(57)
where
i = AiX1 +X1A
T
i
(58)
The lemma 1 gives
_
i
B
1
K
1j
B
i
ij
i
T
i
_
+
_
B
i
K
1j
0
0
_
1
_
B
i
K
1j
0
0
_T
+
_
X
1
0
0
_
_
X
1
0
0
_
T
< 0 (59)
where is a symmetric and positive matrix. After bounding
the inequality (50) with (59), and, assuming that
H
1i
= P
2
H
1i
(60)
=
2
(61)
= I, P
3
= I (62)
the LMIs in theorem 1 are obtained.
B. Time varying faults
The assumption that the fault signal is constant over the
time is restrictive, but in many practical situations where
the faults are slowly time-varying signals, the estimation of
the faults is correct, and the proposed FTC scheme can be
applied. In the case where the faults are not slowly time-
varying or constant, the Proportional Integral Observer (PIO)
can be replaced by a Proportional Multiple Integral Observer
(PMIO). Such an observer is able to estimate a large class
of time-varying signals satisfying the following assumption
f
(q+1)
= 0 (63)
The principle of this observer is based on the estimation of
all the rst q
th
derivatives of the signal f(t). This observer
can also be extended to the case where f
(q+1)
is bounded.
Let consider the system (5) with a fault in the general
polynomial form
f(t) = a
0
+a
1
t +a
2
t
2
+... +a
q
t
q
(64)
Let consider d
0
(t) =
f(t), d
1
(t) =
f(t), ..., d
q1
(t) =
f
(q)
(t), the system can be transformed into an augmented
form _
_
_
x
f
=
r
i=1
i
(x
f
)
_
A
i
x
f
+
B
i
u
f
_
y =
C x
f
(65)
where
x
f
=
_
_
_
_
_
_
_
x
f
d
0
.
.
.
d
q
d
(q1)
_
_
_
_
_
_
_
,
A
i
=
_
_
_
_
_
_
_
A
i
B
i
0 0 0
0 0 I 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 0 I
0 0 0 0 0
_
_
_
_
_
_
_
,
B
i
=
_
_
_
_
_
_
_
B
i
0
.
.
.
0
0
_
_
_
_
_
_
_
,
C =
_
C R 0 0 0
_
x
f
(t) represents the augmented state vector composed of the
state x
f
(t) and the q
th
rst successive derivatives of the fault
f(t). The observer simultaneously estimating the state x
f
(t)
and the faults f(t) with the successive derivatives is given
in the following form
_
_
_
x
f
=
r
i=1
i
( x
f
)
_
A
i
x
f
+
B
i
u
f
+
H
i
(y y)
_
y =
C
x
f
(66)
The augmented state estimation error e(t) = x
f
(t)
x
f
(t)
and the error between x
f
and x are given by
_
e
e
a
_
=
r
i=1
r
j=1
i
(x)
j
( x
f
)
A
ij
_
e
e
a
_
+
(67)
where
A
ij
=
_
A
i
B
i
K
1j
B
i
0
A
i
H
i
C
_
Thus, the structure of the state equations is the same as those
expressed in the case of constant faults. The synthesis of the
gains of the controller and those of the observer are obtained
by solving the LMIs given in the theorem 1.
IV. SIMULATION EXAMPLE
In order to illustrate the proposed fault tolerant control
strategy, we proposed an academic example of T-S system
described by
_
_
_
x
f
=
r
i=1
i
(x
f
) (A
i
x
f
+B
i
(u
f
+f))
y
f
= Cx
f
+Rf
(68)
where
A
1
=
_
_
2 1 1
1 3 0
2 1 8
_
_
, A
2
=
_
_
3 2 2
0 3 0
5 2 4
_
_
,
B
1
=
_
_
0
1
0.25
_
_
, B
2
=
_
_
1
1
0
_
_
,
C =
_
1 1 1
1 0 1
_
, R =
_
1
0
_
The weighting functions depend on the rst component of
the state vector x
f
; they are dened by
_
1
(x
f
) =
1tanh(x
1
f
)
2
2
(x
f
) = 1
1
(x
f
)
(69)
The input variation u(t) over the time is depicted in the gure
2 (bottom, continuous blue line). To apply the proposed FTC
strategy, the following reference model is considered
_
_
_
x =
r
i=1
i
(x) (A
i
x +B
i
u)
y = Cx
(70)
The fault f(t) is a time varying signal at t = 5. Solving the
LMIs in theorem 1 results in the following matrices
X
1
=
_
_
0.91 0.11 0.04
0.11 0.93 0.04
0.04 0.04 0.44
_
_
,
P
2
=
_
_
1.53 0.31 0.50
0.31 3.04 0.39
0.50 0.39 0.95
_
_
,
H
11
=
_
_
1.93 4.58
3.19 6.27
5.35 1.22
_
_
, H
12
=
_
_
3.39 5.12
3.27 6.67
4.47 2.74
_
_
,
H
21
=
_
4.885 0.000
, H
22
=
_
3.771 1.114
,
K
11
=
_
0.004 0.024 0.004
,
K
12
=
_
0.003 0.019 0.004