Professional Documents
Culture Documents
Abstract— This paper presents a new method for fault linear sub-model. An interpolation of all these sub-models
tolerant control of nonlinear systems described by Takagi- with nonlinear functions satisfying the sum convex property
Sugeno fuzzy systems with unmeasurable premise variables. allows to obtain the global behavior of the system. One
The idea is to use a reference model and design a new
control law to minimize the state deviation between a healthy can cite some works in FTC field for nonlinear systems,
reference model and the eventually faulty actual model. This for example, in [5], the authors give a method for actuator
scheme requires the knowledge of the system states and of faults by using their estimations, for nonlinear descriptor
the occurring faults. These signals are estimated from a systems with Lipschitz nonlinearities. In [14], a method
Proportional-Integral Observer (PIO) or Proportional-Multi- requiring only the fault isolation is proposed for T-S systems.
Integral Observer (PMIO). The fault tolerant control law is
designed by using the Lyapunov method to obtain conditions It is based on controller based observers bank. A switching
which are given in Linear Matrix Inequality formulation system is then designed, to switch from one controller to an
(LMI). Finally, an example is included. other, from the residual decision logic.
This paper is dedicated to the design of a fault tolerant
Index Terms— Takagi-Sugeno fuzzy systems, state and fault control strategy for nonlinear systems described by Takagi-
estimation, PI and PMI observers, Lyapunov stability analysis,
linear matrix inequality. Sugeno models with unmeasurable premise variables. The
main idea is to re-use the nominal control input developed
I. INTRODUCTION in fault-free case to which two terms, related to the occurred
Fault tolerant control (FTC) has been recently introduced fault and the tracking error trajectory between the system
in the fault diagnosis framework. It consists to compute a and a reference model, are added to be able to compensate
new control law by taking into account the faults affecting the fault. The reference trajectory is provided by a reference
the system in order to maintain acceptable performances and model representing the system without faults. In addition,
preserve stability of the system in the faulty situations. the control law requires the knowledge of the state of the
The existing strategies are classified into two classes. system and faults affecting it. For that purpose, a PI (or PMI)
The first class is called passive fault tolerant control or observer is used to estimate simultaneously these signals.
robust control. In this approach, the faults are treated as The second section is dedicated to a brief presentation
uncertainties. Therefore, the control is designed to be robust of Takagi-Sugeno models. The third section deals with the
only to the specified faults. Contrarily to the passive FTC, problem of fault tolerant control design with PI and PMI
active FTC requires a FDI block to detect, isolate and observers. Finally, an academic example is proposed in order
estimate the faults. The informations issued from the FDI to illustrate the FTC strategy.
block are used by the FTC module to reconfigure the control II. TAKAGI -S UGENO STRUCTURE FOR MODELING
law in order to compensate the fault and ensure an acceptable
system performances. Consider a nonlinear system described by
The active fault tolerant control has been developed essen- ẋ(t) = f (x(t), u(t))
tially for linear systems [4], [15], [13], [11] and descriptor (1)
y(t) = h(x(t), u(t))
linear systems [9]. Clearly, linear models do not often repre-
The T-S fuzzy modeling allows to represent the behavior
sent accurately physical systems due to nonlinear behaviors.
of a nonlinear system (1) by the interpolation of a set
It is then interesting to work directly with nonlinear models.
of linear sub-models. Each sub-model contributes to the
Nevertheless, from the mathematical point of view, working
global behavior of the nonlinear system through a weighting
with nonlinear models is much harder than with linear ones.
function µi (ξ(t)). The T-S structure is given by
A new representation that combines simplicity of linear
models and accuracy of nonlinear behaviors is introduced, Pr
ẋ(t) = µi (ξ(t))(Ai x(t) + Bi u(t))
initially, in [16] and known as Takagi-Sugeno (T-S) models. i=1
The idea is to consider a set of system operating points. At Pr (2)
y(t) = µi (ξ(t))(Ci x(t) + Di u(t))
each operating point, the system is represented by a simple i=1
All the authors are with the Centre de Recherche en where x(t) ∈ R is the state vector, u(t) ∈ Rm is the input
n
Automatique de Nancy (CRAN), Nancy-Université, 2, av- vector, y(t) ∈ Rp represents the output vector. Ai ∈ Rn×n ,
enue de la forêt de Haye 54516 Vandoeuvre-les-Nancy
{dalil.ichalal, benoit.marx, jose.ragot, Bi ∈ Rn×m , Ci ∈ Rp×n and Di ∈ Rp×m are known
didier.maquin}@ensem.inpl-nancy.fr matrices. The functions µi (ξ(t)) are the weighting functions
f (t)
depending on the variables ξ(t) which can be measurable
(as the input or the output of the system) or non measurable
u(t) + uf (t) yf (t)
variables (as the state of the system). These functions verify System
+
the following properties
r
P µ (ξ(t)) = 1
i Observer
(3)
i=1 x̂f (t)
0 ≤ µi (ξ(t)) ≤ 1 ∀i ∈ {1, 2, ..., r} fˆ(t)
−
Obtaining a T-S model (2) from (1) can be performed from Controller
different methods such us linearizing the system (1) around +
some operating points and using adequate weighting func- x(t)
reference
tions. It can also be obtained by black-box approaches which model
allow to identify the parameters of the model from input-
output data. Finally, the most interesting and important way Fig. 1. Fault tolerant control scheme
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 The matrices K1i are determined in order to ensure the
information loss on a compact of state space. stability of the system even if faults occur and to minimize
Thanks to the convex sum property of the weighing the difference between xf (t) and x(t). By analyzing the
functions (3), it is possible to generalize some tools devel- structure of uf (t) given in equation (6), the estimation of
oped in the linear domain to the nonlinear systems. This the state xf (t) and the f (t) faults is required. This task is
representation (2) is very interesting in the sense that it performed via a Proportional-Integral observer which esti-
simplifies the stability studies of nonlinear systems and the mates simultaneously the state and the faults of the system.
design of control laws and observers. In [2], [6], [7], the Let us consider the PI observer
stability and stabilization tools are inspired from the study r
˙x̂f = µi (x̂f )(Ai x̂f + Bi (uf + fˆ)
X
of linear systems. In [1], [10], the authors worked on the
problem of state estimation and diagnosis of T-S fuzzy i=1
systems. The proposed approaches in these last papers rely + H1i (yf − ŷf )) (7)
on the generalization of the classical observers (Luenberger r
˙
fˆ =
X
Observer [8] and Unknown Input Observer (UIO) [3]) to the µi (x̂f ) (H2i (yf − ŷf )) (8)
nonlinear domain. In the remaining of the paper, we use the i=1
illustrated in the figure 1. The following structure is proposed − Bi K1j (xf − x̂f )) + ∆1 (13)
r r
for the control law XX
r = µi (xf )µj (x̂f )((Ai − Bi K1j )e − L̃ij ea )
µi (x̂f ) −fˆ + K1i (x − x̂f ) + u
X
uf = (6) i=1 j=1
i=1 + ∆1 (14)
where following theorem 1.
L̃ij = Bi K1j Bi , ea = xa − x̂a (15) Theorem 1: The state tracking error e(t) and the state
r
X and fault estimation errors ea (t) converge asymptotically
∆1 = (µi (x) − µi (xf ))(Ai x + Bi u) (16) toward zero if there exists symmetric and positive definite
i=1 matrices X1 , P2 and matrices H̄1i , H2i and K1i such that γ̄
In order to analyze the evolution of the errors, two cases is minimized under the LMI constraints (27).
are considered : in the first one the faults are supposed to be
Ψi −B1 K1j −Bi −B1 K1j X1 X1 0
constant ; in the second one they are assumed to be under a ∗ Θj Ξj 0 0 0 P2
polynomial form with respect to the time variable.
∗ ∗ Φj 0 0 0 0
∗ ∗ ∗ −I 0 0 0
A. Constant faults <0
∗ ∗ ∗ ∗ −I 0 0
In this first approach, we have f˙(t) = 0 and, with
∗
∗ ∗ ∗ ∗ −γ̄I 0
definition (11), the system (5) becomes in augmented form
∗ ∗ ∗ ∗ ∗ ∗ −γ̄I
r
ẋ = P µ (x ) Ã x + B̃ u
(27)
a i f i a i f
i=1 (17) Ψi = Ai X1 + X1 ATi (28)
yf = C̃xa
Θj = P2 Aj + ATj P2 − H̄1j C − C T H̄1j
T
(29)
where
Ξj = P2 Bj − H̄1j R − C T H̄2j
T
(30)
Ai Bi Bi T T
Ãi = , B̃i = , (18) Φj = −H̄2j R − R H̄2j (31)
0 0 0
i, j = 1, ..., r
C̃ = C R (19)
The gains are given by K1j and H2j are obtained directly
The state and fault estimation error ea (t) = xa (t) − x̂a (t) from the above optimization problem and H1j are then
between the system (17) and the observer (7)-(8) evolves computed from
according to the following equation H1j = P2−1 H̄1j (32)
r
the L2 gain from ∆ to ẽ is given by
X
ėa = µi (x̂f ) (Ãi − Hi C̃)ea + Γ∆2 (20)
i=1
√
γ = γ̄ (33)
where
Proof: The gains H1i , H2i and K1i are obtained by a
In
Γ= (21) stability analysis of the system described by the differential
0
r
equation (23), using the Lyapunov theory with a quadratic
X function.
∆2 = (µi (xf ) − µi (x̂f ))(Ai xf + Bi (uf + f )) (22)
Let us chose the following quadratic Lyapunov function
i=1
The concatenation of the state tracking trajectory error and V (ẽ) = ẽT P ẽ, P = P T > 0 (34)
the state and faults estimation errors allows to write, from
where P is chosen as follows
(13) and (20), the new augmented system is
r
r X
P1 0 0
X P = 0 P2 0 (35)
ẽ˙ = µi (xf )µj (x̂f (t))Ãij ẽ + Γ̃∆ (23)
0 0 P3
i=1 j=1
R EFERENCES
Fig. 2. Fault and its estimate (top) - nominal control input (continuous
blue line) FTC input (dashed red line) (bottom) [1] A. Akhenak, M. Chadli, J. Ragot, and D. Maquin. Fault detection and
isolation using sliding mode observer for uncertain Takagi-Sugeno
state estimation errors
fuzzy model. In 16th Mediterranean Conference on Control and
1 Automation Congress Centre, Ajaccio, France, June 25-27 2008.
0.8 [2] M. Chadli, D. Maquin, and J. Ragot. Non quadratic stability analysis
0.6
of Takagi-Sugeno systems. In IEEE Conference on Decision and
Control, CDC’2002, Las Vegas, Nevada, USA, 2002.
0.4
[3] M. Darouach, M. Zasadzinski, and S.J. Xu. Full-order observers for
0.2
linear systems with unknown inputs. IEEE Transactions on Automatic
0 Control, 39(3):606–609, March 1994.
−0.2 [4] Z. Gao and P.J. Antsaklis. Reconfigurable control system design via
0 1 2 3 4 5 6 7 8 9 10 perfect model following. International Journal of Control, 56(4):783–
798, 1992.
state tracking errors [5] Z. Gao and S. X. Ding. Actuator fault robust estimation and fault-
0.05
tolerant control for a class of nonlinear descriptor systems. Automatica,
0 43(5):912–920, 2007.
[6] T-M. Guerra, A. Kruszewski, L. Vermeiren, and H. Tirmant. Con-
−0.05
ditions of output stabilization for nonlinear models in the Takagi-
−0.1
Sugeno’s form. Fuzzy Sets and Systems, 157(9):1248–1259, May 2006.
[7] A. Kruszewski, R. Wang, and T.M. Guerra. Nonquadratic stabilization
−0.15 conditions for a class of uncertain nonlinear discrete time TS fuzzy
−0.2
models: A new approach. IEEE Transactions on Automatic Control,
0 1 2 3 4 5 6 7 8 9 10 53(2):606 – 611, March 2008.
[8] D.G. Luenberger. An introduction to observers. IEEE Transactions
Fig. 3. State estimation errors (top) - State trajectory tracking (bottom) on Automatic Control, 16:596–602, 1971.
[9] B. Marx, D. Koenig, and D. Georges. Robust fault tolerant control
State of the reference model
for descriptor systems. IEEE Transactions on Automatic Control,
0.4 State of the system without FTC 49:1869–1875, 2004.
State of the system with FTC
0.2 [10] B. Marx, D. Koenig, and J. Ragot. Design of observers for takagi
x1(t)