Beruflich Dokumente
Kultur Dokumente
org
ISSN 1751-8644
Abstract: This study addresses the robust fault detection problem for continuous-time switched systems with
state delays. The fault detection filter is used as the residual generator depending on the system mode.
Attention is focused on designing the filter such that, for the modelling errors, the unknown inputs and the
control one, the error between the residuals and the faults is minimised. The addressed fault detection filter
design is converted into an auxiliary H 1 filtering problem. By using the Lyapunov – Krasovskii functional
method and average dwell time approach, a sufficient condition for the solvability of this problem is
established in terms of linear matrix inequalities (LMIs). Two examples are provided to demonstrate the
effectiveness of the proposed method.
100 IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100– 108
& The Institution of Engineering and Technology 2010 doi: 10.1049/iet-cta.2008.0517
www.ietdl.org
delay. Meanwhile, it is also very difficult because of the y(t) ¼ Cs x(t) þ Cd s x(t d (t)) þ Fs u(t) þ Ds w(t) þ Js f (t)
simultaneous existence of the switching property and time
x(u) ¼ f(u), u [ [ h2 , 0] (1)
delay. Very recently, a few results have been reported in the
literature (see e.g. [22 – 26] and references therein). Delay- where x(t) [ Rn is the state, y(t) [ Rr is the measured
independent conditions for the existence of a robust fault output, u(t) [ Rp , w(t) [ Rq , f (t) [ Rs are, respectively,
detection filter (RFDF) for discrete-time switched delay the control input, the disturbance input and the fault
systems under arbitrary switching signals are obtained by input which are assumed to belong to l2 [0, 1). The
using switched Lyapunov functional approach [22]. piecewise constant function s denoting s(t) for simplicity :
However, to the best of the authors’ knowledge, the [0, 1) ! P ¼ {1, . . . , p} is a switching signal to specify, at
problem of FDI for continuous-time switched linear each time instant t, the index s [ P of the active
systems with state delays has not been investigated yet. subsystem, that is, s ¼ i means that the ith subsystem
This motivates us to study this interesting and challenging is activated. p . 1 is the number of subsystems. The
problem, which has great potential in practical applications. ith subsystem is denoted by Ai , Adi , Ei , Bi , Gi , Ci , Cdi ,
Fi , Di , Ji , where Ai ¼ A i þ DAi (t), Adi ¼ A di þ DAdi (t),
This paper deals with the problem of RFDF design by using Ei ¼ E i þ DEi (t). A i , A di , E i are known real constant
the Lyapunov – Krasovskii functional method and average matrices that describe the nominal system. DAi (t), DAdi (t),
dwell time approach for continuous-time switched linear DEi (t) are time-varying matrices representing norm-
systems with state delays. Firstly, the residual generator is bounded uncertainties with
constructed based on the filter and the design of RFDF is
formulated as H1 filtering problem. The objective is to
make the difference between the faults and the residuals as DAi (t) DAdi (t) DEi (t) ¼ Hi F (t) C i1 C i2 C i3
small as possible, and increase robustness of the residuals to (2)
the unknown input and the modelling errors. Secondly, by
using the Lyapunov – Krasovskii functional method and where Hi , C i1 , C i2 , C i3 are known real constant matrices,
average dwell time approach, a sufficient condition on the whereas F (t) is unknown time-varying matrices satisfying
existence of such filters is established in terms of linear T
matrix inequalities (LMIs). The parameterised matrices of F (t)F (t) I . d (t) is assumed to be the interval time-
this filter are constructed by solving the corresponding varying delay satisfying either of the following two cases:
LMIs. Finally, a simulation example is presented to
demonstrate the effectiveness of the proposed method. (C1) h1 d (t) h2 , d_ (t) d:
Consider a class of uncertain switched linear systems with An FDI system consists of a residual generator and a
state delay residual evaluation stage including an evaluation function
and a threshold. For the purpose of residual generation, the
x_ (t) ¼ As x(t) þ Ad s x(t d (t)) þ Es u(t) þ Bs w(t) þ Gs f (t) following fault detection filter is constructed as a residual
IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100 – 108 101
doi: 10.1049/iet-cta.2008.0517 & The Institution of Engineering and Technology 2010
www.ietdl.org
generator 2 3
Ei Bi Gi
6 7
B~ i ¼ 4 Bfi Fi Bfi Di Bfi Ji 5,
x_^ (t) ¼ Af s x^ (t) þ Bf s y(t)
0 0 BQ
r(t) ¼ Cf s x^ (t) þ Df s y(t) (3)
K ¼ I 0 0 , C~ i ¼ Dfi Ci Cfi CQ ,
where x^ (t) [ Rn and r(t) [ Rs are the state and the residual, C~ di ¼ Dfi Cdi , D
~ i ¼ Dfi Fi Dfi Di Dfi Ji DQ
respectively. Afi , Bfi , Cfi , Dfi , 8i [ P are the parameterised
filter matrices to be determined.
Now, the RFDF design problem to be addressed in this
paper can be transformed into an auxiliary H1 filtering
Remark 2: The parameters of filter (3) depend on the problem. What we need to do here is to develop the fault
system modes, that is the residual generator is a switched detection filter (3) for switched delay system (1) such that
system as well. Filter (3) is switched synchronously by the the resulting augmented system (5) is exponentially stable
switching signal in system (1). This means that the under the switching signals with average dwell time and
switched signal in filter (3) is the same as that in system (1). the infimum of g is made small in the feasibility of
Remark 3: Similar to [7, 10], the introduction of a stable After designing the residual generator, the remaining
weighting matrix Qf (s) could limit the frequency ranges of important task is to evaluate the generated residual. One of
interest, but the system performance can be improved and the widely adopted approaches is to select a threshold and a
the frequency characteristics required to reflect the residual evaluation function. In this paper, the residual
emphases of different frequency ranges can be captured. evaluation function is chosen as
x (t) f (t)
2 3 2 3
Ai 0 0 Adi where T is the maximum time window of the evaluation
6 7 6 7 function. It is clear that the computation of Jth involves the
A~ i ¼ 4 Bfi Ci Afi 0 5, A~ di ¼ 4 Bfi Cdi 5
determination of the unknown inputs w(t) and the control
0 0 AQ 0 inputs u(t) on the residuals r(t).
102 IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100– 108
& The Institution of Engineering and Technology 2010 doi: 10.1049/iet-cta.2008.0517
www.ietdl.org
Based on this, the faults can be detected by using the 8i [ P such that the following inequalities hold
following logical relationship
Pi m Pj , Qik mQjk , Zil mZjl , 8i, j [ P (10)
Jr (L) . Jth ) Faults ) Alarm
Jr (L) Jth ) No Fault Vi Ri
,0 (11)
Wi
Remark 5: In fact, L and T are limit not infinite since it is
desired that the faults will be detected as early as possible, and average dwell time satisfies
while an evaluation of the residual signals over the whole
time range is not practical. This is pointed out in [2, 3, 7, 8]. ln m
ta . ta ¼ (12)
a
Definition 1 [16]: For given scalars t . 0 and N0 0,
where
we have
2 3
tt wi11 wi12 wi13
Ns (t0 , t) N0 þ 0 (9) 6
t Vi ¼ 4 wi22 wi23 7
5
2
g I
where Ns (t0 , t) denotes the switching number of s during
(t0 , t). Then, t and N0 are called average dwell time and
(see equation at the bottom of the page)
the chattering bound, respectively. N0 should be at least
two in the case of ADT switching [11], however, we could
Wi ¼ diag eah1 Qi1 eah2 Qi2
assume it to be zero for the simplicity of mathematic 1 1 1
manipulation. Ui I H20 Zi1 H21 Zi3 H21 Zi2
eah2 eah1 eah2 1
Remark 6: Switching signals with average dwell time means H21 ¼ , H20 ¼ , h21 ¼ h2 h1
a a
that the time interval of switching signals between
Ui ¼ h2 Z i1 þ h21 Z i2 , Z i3 ¼ Z i1 þ Z i2
consecutive switching is at least t on the average. This is a
kind of slowly switching signals, which is less conservative X
3
T
than arbitrary switching signals. wi11 ¼ Pi A~ i þ A~ i Pi þ K T Qil K þ K T Yi1 K
l ¼1
2 T
3
K T Li1 K T Ti1 K T AiT Ui C~ i K T Yi1 K T Ti1 K T Li1
6 7
Ri ¼ 6
4 Li2 Ti2 AdiT Ui
T
C~ di Yi2 Ti2 Li2 7
5
Li3 Ti3 B^ iT Ui ~ Ti
D Yi3 Ti3 Li3
IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100 – 108 103
doi: 10.1049/iet-cta.2008.0517 & The Institution of Engineering and Technology 2010
www.ietdl.org
T
where w~ i12 ¼ CiT Ni2T Ni1 A i Pi2 aPi2
2 3 w~ i22 ¼ Ni1 þ Ni1T þ aPi2
w i11 wi12 wi13
6 7
Vi ¼ 4 w i22 wi23 5 w~ i33 ¼ Pi3 AQ þ AQT Pi3 þ aPi3
g 2 I
w~ i14 ¼ Pi1 A di Ni2 Cdi Yi1 þ Yi2T þ Ti1 Li1
T X
2
w i11 ¼ Pi A~ i þ A~ i Pi þ K T Qil K þ K T Yi1 K w~ i24 ¼ Ni2 Cdi Pi2 A di , w~ i15 ¼ Pi1 E i Ni2 Fi þ Yi31
T
l ¼1
T T
T w~ i25 ¼ Ni2 Fi Pi2 E i , w~ i45 ¼ Ti31 Yi31 LTi31
þK Yi1T K þ aPi
T
w~ i16 ¼ Pi1 Bi Ni2 Di þ Yi32 , w~ i26 ¼ Ni2 Di Pi2 Bi
w i22 ¼ Yi2 Yi2T þ Ti2 þ Ti2T Li2 LTi2
T T
w~ i46 ¼ Ti32 Yi32 LTi32 , w~ i17 ¼ Pi1 Gi Ni2 Ji þ Yi33
T
2 3
K T Li1 K T Ti1 w~ i110 C^ iT K T Yi1 K T Ti1 K T Li1
6 7
R~ i ¼ 4 Li2 Ti2 w~ i210 CdiT Ni4T Yi2 Ti2 Li2 5
Li3 Ti3 B^ iT Ui D ^ iT Yi3 Ti3 Li3
104 IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100– 108
& The Institution of Engineering and Technology 2010 doi: 10.1049/iet-cta.2008.0517
www.ietdl.org
Note that from (10), by Schur complement, we can that (12), (15) and the following inequalities hold
obtain (16).
Pi2 mPj2 , Pi1 Pi2 m(Pj1 Pj2 ), Pi3 mPj3 ,
Defining
Qil mQjl , Zil mZjl (23)
Ni1 ¼ Pi2 Afi , Ni2 ¼ Pi2 Bfi , Ni3 ¼ Cfi , Ni4 ¼ Dfi 2 3
^ þF
V R~ i Fi2
i i1
(20) 4 Wi Fi3 5 , 0 (24)
1I
Noticing the uncertainties satisfying (2) and substituting (20)
into (11), we have where
2 3
~
V R~ i þ J
~ T F (t)J
~ þJ~ T F T (t)J
~ ,0 w^ i11 w~ i12 0 w~ i14 w~ i15 w~ i16 w~ i17
i
8 9 9 8 (21)
Wi 6 w~ i22 0 w~ i24 w~ i25 w~ i26 w~ i27 7
6 7
6 w~ i33 0 0 0 Pi3 BQ 7
~ ¼ FT FT and J ~ ¼ C~ C C~ 0 0 0 ^
6 7
where J 8 i2 i3 9 i1 i2 i3 Vi ¼ 6
6 w i22 w~ i45 w~ i46 w~ i47 7
7
0 0 0 0. It follows from Lemma 1 that 6 g 2 I 0 0 7
6 7
4 g 2 I 0 5
~
V R~ i þ 1J
~ TJ
~ 1 ~ T ~ g2 I
8 9 þ 1 J8 J9 , 0 (22)
i
Wi
T X
2
IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100 – 108 105
doi: 10.1049/iet-cta.2008.0517 & The Institution of Engineering and Technology 2010
www.ietdl.org
2 3
" # 7:1413 3:2672 3:0186
A1f B1f 6 0:1400 13:2288
¼6 2:9322 7
7
C1f D1f 4 5
0:4156 0:1619 0:3638
Figure 2 Evolution of residual evaluation function for (C1)
106 IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100– 108
& The Institution of Engineering and Technology 2010 doi: 10.1049/iet-cta.2008.0517
www.ietdl.org
5 Conclusion
In this paper, we have investigated the problem of RFDF
design for continuous-time uncertain switched systems with
state delays. The filters are dependent on the original
switched systems, that is the switching signals are the same.
The suitable filters have been constructed under the
switching signals with average dwell time, which guarantee
sensitivity to the occurred fault and robustness to the
modelling errors, the control inputs and the unknown
inputs. Two examples have been provided to illustrate the
effectiveness of the proposed methods.
6 Acknowledgments
Figure 3 Residual signals for (C2) The authors would like to thanks the reviewers for their
helpful comments and suggestions which have improved
the presentation of the paper. This work was partially
supported by the Science and Technology Project of
Liaoning Provincial Education Department and the
Engineering and Physical Sciences Research Council, UK
(EP/F029195).
7 References
[1] NGUANG S.K., SHI P., DING S.X.: ‘Fault detection for uncertain
fuzzy systems: an LMI approach’, IEEE Trans. Fuzzy Syst.,
2207, 15, (6), pp. 1251– 1262
[2] DING S.X., JEINSH T., FRANK P.M., DING E.L.: ‘A unified approach
to the optimization of fault detection systems’, Int. J. Adapt.
Control Signal Process., 2000, 14, (7), pp. 725– 745
Figure 4 Evolution of residual evaluation function for (C2)
[3] ZHONG M.Y., DING S.X., LAM J., WANG H.B.: ‘An LMI approach to
design robust fault detection filter for uncertain LTI
follows systems’, Automatica, 2003, 39, (3), pp. 543 – 550
2 3 [4] WANG J., JIANG B., SHI P.: ‘Adaptive observer based fault
" # 7:2129 3:1422 3:0602 diagnosis for satellite attitude control systems’,
A1f B1f
6 0:3973 13:3617 2:8799 7 Int. J. Innov. Comput. Inf. Control, 2008, 4, (8),
C1f D1f ¼4 5
0:4206 0:1674 0:3624 pp. 1921 – 1930
2 3
" # 7:0551 0:9910 4:1858 [5] MAHMOUD M.: ‘Stabilizing controllers for a class of
A2f B2f 6 2:6116 15:1431
¼6 6:6492 7
7 discrete time fault tolerant control systems’, ICIC Express
C2f D2f 4 5 Lett., 2008, 2, (3), pp. 213– 218
0:3469 0:0106 0:3435
[6] MAHMOUD M.: ‘An H1 stabilizing controller for discrete
time fault tolerant control systems with state delays’, ICIC
and the minimal average dwell time ta ¼ 0:3646 is given by Express Lett., 2009, 3, (1), pp. 1 – 6
(12). Average dwell time is still selected as ta ¼ 0:5. The
generated residual r(t) is shown in Fig. 3. The threshold [7] ZHONG M.Y., YE H. , SHI P. , WANG G. : ‘Fault detection for
can be determined as Jth ¼ 2:5664 for T ¼ 20 s. Fig. 4 Markovian jump systems’, IEE Proc. Control Theory Appl.,
shows the evolution of residual evaluation function Jr (t), in 2005, 152, (4), pp. 397– 402
which the dashed line is fault-free case, the solid line is the
case with the fault f (t). The simulation results show that [8] NOBREGA E.G., ABDALLA M.O., GRIGORIADIS K.M.: ‘LMI-based filter
Jr (t) ¼ 2:5869 . 2:5664 when t ¼ 11 s, which means that design for fault detection and isolation’. Proc. 39th IEEE Conf.
the fault f (t) can be detected 5 s after its occurrence. Decision Control, 2000, pp. 4329–4334
IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100 – 108 107
doi: 10.1049/iet-cta.2008.0517 & The Institution of Engineering and Technology 2010
www.ietdl.org
[9] GAO H., CHEN T., WANG L.: ‘Robust fault detection with missing [19] ZHANG L., SHI P.: ‘l2 2 l1 model reduction for switched
measurements’, Int. J. Control, 2008, 81, (5), pp. 804–819 LPV systems with average dwell time’, IEEE Trans. Autom.
Control, 2008, 53, (10), pp. 2443– 2448
[10] HE X., WANG Z.D., JI Y.D., ZHOU D.H.: ‘Network-based fault
detection for discrete-time state-delay systems: a ness [20] WANG D., WANG W., SHI P.: ‘Delay-dependent exponential
measurement model’, Int. J. Adapt. Control Signal stability for switched delay systems’, Opt. Control Appl.
Process., 2008, 22, (5), pp. 510– 528 Methods, 2009, 30, (4), pp. 383– 397
[11] LIBERZON D.: ‘Switching in systems and control’ [21] WANG D., WANG W., SHI P.: ‘Exponential H1 filtering for
(Birkhäuser, Boston, MA, 2003) switched linear systems with interval time-varying delay’,
Int. J. Robust Nonlinear Control, 2009, 19, (5), pp. 532– 551
[12] LIAN J., ZHAO J. : ‘Output feedback variable structure
control for a class of uncertain switched systems’, Asian [22] WANG D. , WANG W. , SHI P.: ‘Robust fault detection
J. Control, 2009, 11, (1), pp. 31– 39 for switched linear systems with state delays’, IEEE
Trans. Syst., Man, Cybern., B, Cybern., 2009, 39, (3),
[13] SUN Z.D., GE S.S.: ‘Switched linear systems control and pp. 800– 805
design’ (Springer-Verlag, New York, 2005)
[23] LIAN J., ZHAO J., DIMIROVSKI G.M.: ‘Model reference adaptive
[14] ZHAI G., HU B., YASUDA K., MICHEL A.N.: ‘Stability analysis of integral sliding mode control for switched delay systems’,
switched systems with stable and unstable subsystems: Int. J. Innov. Comput., Inf. Control, 2008, 4, (8),
an average dwell time approach’, Int. J. Syst. Sci., 32, (8), pp. 2025 – 2032
pp. 1055 – 1061
[24] KIM S., CAMPBELL S.A., LIU X.Z.: ‘Stability of a class of linear
[15] BRANICKY M.S.: ‘Multiple Lyapunov functions and other switching systems with time delay’, IEEE Trans. Circuits
analysis tools for switched and hybrid systems’, IEEE Syst., I, 2006, 53, (2), pp. 384– 393
Trans. Autom. Control, 1998, 43, (4), pp. 475– 482
[25] SUN X.M., ZHAO J., HILL D.J.: ‘Stability and L2-gain analysis
[16] HESPANHA J.P., MORSE A.S.: ‘Stability of switched systems for switched delay systems: a delay-dependent method’,
with average dwell-time’. Proc. 38th IEEE Conf. Decision Automatica, 2006, 42, (10), pp. 1769– 1774
Control, 1999, pp. 2655 – 2660
[26] ZHANG L., BOUKAS E.K., LAM J.: ‘Analysis and synthesis of
[17] LIN H. , ANTSAKLIS P.J.: ‘Switching stabilizability for Markov jump linear systems with time-varying delays and
continuous-time uncertain switched linear systems’, IEEE partially known transition probabilities’, IEEE Trans.
Trans. Autom. Control, 2007, 52, (4), pp. 633– 646 Autom. Control, 2008, 53, (10), pp. 2458 – 2464
[18] DAAFOUZ J., RIEDINGER P., IUNG C.: ‘Stability analysis and [27] XIE L., FU M., DE SOUZA C.E.: ‘H1 control and quadratic
control synthesis for switched systems: a switched stabilization of systems with parameter uncertainty via
Lyapunov function approach’, IEEE Trans. Autom. Control, output feedback’, IEEE Trans. Autom. Control, 1992, 37,
2002, 47, (11), pp. 1883 – 1887 (8), pp. 1253 – 1256
108 IET Control Theory Appl., 2010, Vol. 4, Iss. 1, pp. 100– 108
& The Institution of Engineering and Technology 2010 doi: 10.1049/iet-cta.2008.0517