Mathematical Problems in Engineering

Volume 2013 (2013), Article ID 815329, 12 pages

http://dx.doi.org/10.1155/2013/815329

Research Article

Fault Detection for Nonlinear Impulsive Switched Systems

Jian Li, Qingyu Su, Lingfang Sun, and Bo Li

School of Automation Engineering, Northeast Dianli University, Jilin, Jilin 132012, China

Received 3 April 2013; Revised 12 May 2013; Accepted 12 May 2013

Academic Editor: Xiaojie Su

Copyright © 2013 Jian Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper is concerned with the fault detection problem for nonlinear impulsive switched systems. Fault detection filters are designed such that the augmented systems are stable, and the residual signal generated by the filters achieves the -gain for disturbances and guarantees the performance for faults. Sufficient conditions for the solvability of this problem are formulated in terms of linear matrix inequalities; furthermore, the filter gains are characterized by a convex optimization problem. A simulation on a continuous stirred tank reactor control system is given to demonstrate the effectiveness of the proposed methods.

1. Introduction

Switched systems are an important class of hybrid systems, which consist of a family of continuous-time or discrete-time subsystems and a switching law that specifies the switching between them. Study on this class of systems has attracted much attention in recent years for its theoretical significance [1–6] and engineering applications [7–9]. However, in a wide range of actual systems such as engineering, economics, and biology, there usually exist some impulses when the switched system is switching among subsystems. These special switched systems are called impulsive switched systems. As typical switched impulsive system, the circuit switching usually causes system state to change abruptly in some circuit systems [10]. The abrupt state at the time instant of switching could often lead to oscillations and instability and the lead poor performances. Recently, numbers of papers have focused on stability problem of switched impulsive systems [11–13].

On the other hand, fault detection (FD) is an important topic in system engineering from the viewpoint of the higher demands for safety and reliability of control systems [14–17]. Among these model-based approaches, the class of procedures are that observers or filters are firstly designed to construct a residual signal which is used to generate an alarm when the residual evaluation function has larger than the threshold. During the past decades, Many results, using robust technique [18–21] and technique, investigate this important issue [22, 23].

However, the problem of FD design in switched systems schemes is still in the early stage of development and a few results have been reported in the literatures [24–28]. It is worth noticing that all the aforementioned FD approaches for switched systems do not include impulsive switched systems. Moreover, since the FD approaches for switched systems without impulsive increments are not appropriate for switched systems with impulsive increments, the new FD technique need to solve the impulsive case. Because these impulsive switched systems exist widely, the FD problem for a general class of nonlinear impulsive switched systems is significant, both theoretically and practically.

In this paper, the problem of FD filters for a general class of nonlinear impulsive switched systems is presented. Different from [10, 29] which only involve linear impulsive switched systems with linear impulsive increments, nonlinear impulsive switched systems with nonlinear impulsive increments have been considered in this paper. The main contributions of this paper include (i) the performance of nonlinear impulsive switched systems to directly reflect the effect on the residual signal from faults and obtain the better detection results and (ii) the smaller conservatism of sufficient conditions for the performance and the performance. Finally, the filters gains are characterized in terms of the solution of a convex optimization problem.

The paper is organized as follows. Section 2 introduces the problem under consideration and presents the design objectives. Section 3 illustrates the FD filter design approach in detail. The thresholds are given in Section 4. Two examples are given in Section 5 to demonstrate the proposed method. Conclusions of this paper are given in the last section.

Notation. For a matrix , denotes its transpose. For a symmetric matrix, and denote positive definiteness (positive semidefinite matrix) and negative definiteness (negative semidefinite matrix), respectively. The Hermitian part of a square matrix is denoted by . The symbol within a matrix represents the symmetric entries.

2. Problem Formulation

2.1. System Model

Consider the following nonlinear impulsive switched systems:

where is the state, is the measured output, and and are the disturbance input and the fault input, respectively. It is assumed that both the disturbance input and the fault input are energy bounded; then it is demanded that they belong to . , , are impulsive switching time points satisfying . The piecewise constant function is a switching rule which takes its values in the finite set ( is the number of subsystems). The index denotes the sequence of the active subsystem; that is, when , the subsystems is activated at the time point . , which is globally the Lipschitz continuous, and for all , with and ; that is, the solution is left continuous. is nonlinear function, and for all . The subsystem is denoted by the matrices , ,  , ,  , and with appropriate dimensions.

We introduce the following assumptions for nonlinear impulsive switched systems (1).

Assumption 1. There exist nonnegative scalars , , such that

Assumption 2. Denote as the spectral radius for each subsystem. for .

For the purpose of the fault detection, the following FD filters are designed:

where is the state of the filter and is the residual signal. The matrices , and with appropriate dimensions are to be determined.

Combining (1) and (3), the nonlinear impulsive switched system can be written as

where

and when ,

To present the purpose of this paper more precisely, the following definition is introduced.

Definition 3. Let Assumptions 1 and 2 be satisfied and . Nonlinear impulsive switched system (4) under zero initial conditions is said to be stable with the -gain , if the condition holds that

2.2. Problem Formulation

The design problem of the fault detection filters to be addressed in this paper can be expressed as follows.

The frameworks of FD filter design: given nonlinear impulsive switched system (1), the FD filters (3) are designed such that nonlinear impulsive switched system (4) is stable and the fault effects on the residual signal are maximized, while the disturbance effects on the residual signals are minimized. Our design objective of the FD filters can now be formulated as the following performances:

Remark 4. Condition (8) is expressed to maximize the effects of the fault on the residual output for impulsive switched system (4). That is, the residual output is sensitive for the fault . Condition (9) is used for the disturbance attenuation performance, which minimizes the disturbance effects on the all residual outputs and ensures that the disturbances are not disastrous.

3. The Fault Detection Filter Design

Before beginning this section, the following lemmas are needed to present our main results.

Lemma 5 (see [30]). Let be a given scalar and be a matrix such that , where is an identity matrix with appropriate dimension. Then for all and .

Lemma 6 (see [31]). Let be a given symmetric positive definite matrix and let be a given symmetric matrix. Then

for all , while and denote, respectively, the largest and the smallest eigenvalues of the matrix inside the brackets.

In this section, sufficient conditions on the existence of the FD filters for nonlinear impulsive switched systems (4) would be given, and the desired filters can be obtained.

3.1. The Fault Sensitiveness Performance (8)

Considering nonlinear impulsive switched system (4) with , we have

performance for nonlinear impulsive switched system (11) is given.

Lemma 7. Let , be constants satisfying , , , and Assumptions 1 and 2 hold. Furthermore, suppose that nonlinear impulsive switched system (11) switches from subsystem to th subsystem as switched time point . If there exists the Lyapunov functions candidate , satisfying the following inequalities

then nonlinear impulsive switched system (11) is stable with -gain for any switching signal satisfying

where .

Proof. When and th subsystem is activated, evaluating the time derivative of along the trajectory of nonlinear impulsive switched system (11) gives

By Lemma 5, it is clear that

Therefore, when assuming the zero input (i.e., ) and using Assumptions 1, we have the following condition from (14) and (15):

where . If (12) holds, then , which implies that . Thus, from (16), we have . Integrating this inequality gives

At the impulsive switching time point , it has

By Lemma 6, it has

where , . Therefore, from (17) and (19), we have

where means the th switching impulsive value from th subsystem to th subsystems, and denotes the decay rate of the Lyapunov function for subsystem. Since (13) holds; that is, there exists such that , then

It follows that

Therefore, we conclude that converges to zero as then nonlinear impulsive switched system (11) with is stable.

Secondly, establish the performance defined in (7) for nonlinear impulsive switched system (11). Consider the following performance index:

For any nonzero and zero initial condition , let and consider the Lyapunov functions as . For subsystem, it has

where

Equation (12) is equivalent to . Then, it has . By iteration operation on the above inequality for , we have

Along the same lines as the impulsive switching time point , it has from (19) and (26) that

where and are defined as (21).

Under the zero initial condition, (27) implies . Because ,  , it has ; that is,

When , nonlinear impulsive switched system (11) has performance, which completes the proof.

Remark 8. For switched systems, the Lyapunov function is discontinuous at the time instant of switching; that is to say, this Lyapunov function does not have its derivative in the whole time domain. Then the piecewise Lyapunov function was utilized in Lemma 7. Each subsystem has one corresponding Lyapunov function, and each Lyapunov function has its derivative in the corresponding subsystem time domain.

Based on Lemma 7, the following theorem is given to obtain the fault sensitiveness performance conditions in terms of linear matrix inequalities.

Theorem 9. Let , , and be constants satisfying , , and Assumptions 1 and 2 hold. If there exist matrix variables , , , , , , , , , , , and symmetric positive-definite matrices

satisfying the following inequalities

where

then, for any switching signal satisfying (13), nonlinear impulsive switched system (11) is stable and guarantees the performance (8). Moreover, if (30) is feasible, then the FD filter gains in form of (3) can be given by

Proof. Now, to establish the convex condition, (12) can be rewritten as

where

On the other hand, we also can have

Based on Finsler’s Lemma, it has

where introduced by Finsler’s Lemma is the matrix variable of appropriate dimensions. Partition as , and

Due to , and in , then the condition (36) is non-convex. To establish the convex condition, (36) can be rewritten as

where

Using Finsler’s Lemma again, (38) holds if

holds for any with appropriate dimension and . Let and define , , , ; then (30) is reached by the Schur complement on (40). Hence if the conditions (30) holds, nonlinear impulsive switched system (11) is stable and guarantees the performance (8), which completes the proof.

Remark 10. Scalars are used to reduce conservatism for the same variable in matrix variables . On the other hand, the coefficient matrices are given to adjust the variable dimension. When we set , as the fixed parameters, the conditions in Theorem 9 become convex.

3.2. The Disturbance Attenuation Performance (8)

Consider nonlinear impulsive switched system (4) with , we have

performance for nonlinear impulsive switched system (41) is given.

Lemma 11. Let , be constants satisfying , , , and Assumptions 1 and 2 hold. Furthermore, suppose that nonlinear impulsive switched system (41) switches from subsystem to th subsystem as switched time point . If there exists the Lyapunov functions candidate , , satisfying

then nonlinear impulsive switched system (41) is stable with -gain for any switching signal satisfying (13).

Proof. Following the same lines as those for Lemma 7, nonlinear impulsive switched system (41) is stable, for any nonzero and zero initial condition . Let and consider the Lyapunov function as Lemma 7; we can have

where

Equation (42) is equivalent to . Thus, it has

By iteration operation on the above inequality for , we have . As the same lines as those for Lemma 7, it has

Under the zero initial condition, (46) implies . Because , , it can further have

When , the nonlinear impulsive switched system (41) has performance, which completes the proof.

Based on Lemma 11, the following theorem is given to obtain sufficient conditions by linear matrix inequalities.

Theorem 12. Let , , and be constants satisfying , , and and Assumptions 1 and 2 hold. If there exist matrix variables , , , , , , , , , and and symmetric positive-definite matrices

satisfying the following inequalities

where

then, for any switching signal satisfying (13), nonlinear impulsive switched system (41) is stable and guarantees the performance (9). Moreover, if (49) is feasible, then the FD filter gains in form of (3) can be given by

Proof. To establish the convex condition, (42) can be rewritten as follows:

Denote

From (52), we have

On the other hand,

Based on Projection Lemma, it follows from (54) and (55) that

where introduced by Projection Lemma is the matrix variable of appropriate dimensions. Partition as . By the Schur complement, (56) is equivalent to

Then pre- and postmultiply to (57); one obtains

we partition , , respectively, as

and are set to be fixed parameters. Define , , , and ; then (58) becomes (49). Hence if the condition (30) holds, nonlinear impulsive switched system (41) is stable and guarantees the performance (8), which completes the proof.

Remark 13. Scalars are used to reduce conservatism for the same variable in matrix variables and . When we set as the fixed parameters, the conditions in Theorem 12 become convex.

3.3. Algorithm

In the previous sections, Theorems 9 and 12 have formulated the inequality conditions for the performances (8)-(9), respectively. Summarily, we have the following algorithm.

It is noted that conditions (30) and (49) are all convex. Hence, the problem of FD filter design can directly translate into the following optimization problem:

Remark 14. The performance and performance are considered to describe the fault sensitiveness performance and the disturbance attenuation performance, respectively. Due to the multiobjective optimization problem, each performance has some LMI conditions. However, by analyzing the theorems and their proofs, it can be discovered that , in Theorem 9 and , in Theorem 12 can be defined as the same variable to decrease the computational complexity.

Finally, the gain matrices , , , and of the filters can be derived as

4. Thresholds Computation

After the gain matrices of the filters , , , and are designed, similarly to that proposed in [32], the residual evaluation function can be chosen as

where is square value which means the average energy of residual signal over a time interval , denotes the initial evaluation time instant, and stands for the evaluation time.

We propose to use the following threshold:

Consequently, the occurrence of faults can be detected by the following logic rule:

5. Examples

In this section, we present examples derived from a liquid level control system to illustrate the effectiveness of FD design approach.

Consider a continuous stirred tank reactor (CSTR) control system [33] shown in Figure 1. It consists of a constant-volume CSTR fed by a single inlet stream through a selector valve which is connected to two different source streams.

Figure 1: Schematic diagram of the process.

Assuming constant liquid volume, negligible heat losses, perfectly mixing, and a first-order reaction in reactant , the dynamical equations of the CSTR at each operating mode are described by

where is the reactant concentration (moL/L), is the th mode’s feed flow rate (L/min), is the th mode’s concentration of the feed stream (moL/L), is the volume of the reactor , is the activation energy, is the gas constant (J/(moL·K)), is the reactor temperature (K), is the th mode’s reactor temperature of the feed stream , and is the coolant temperature (K). These nominal values of the parameters are described in [34], and we choose the nominal operating conditions corresponding to an unstable equilibrium point as , , and for both modes.

Since the objective in the example is to testify the FD filter design techniques for the switched system and sustain the main theoretical results, we make design as [33] and the closed-loop system can be obtained with matrices

Suppose other system matrices in (1) as

Let , , , , . By giving , , and and obtaining , , we solve the convex optimization problem (60) and get the optimal sensitivity performance gain . The gain matrices of the fault detection filters and the matrix in the Lyapunov function are

Then by (13), the dwell time for each subsystem is obtained with :

To illustrate the simulation results of the FD objective, the two cases which include the fault for subsystem 1 and subsystem 2, respectively, are considered. The disturbance is assumed to be . The switching signal in this paper is shown in Figure 2.

Figure 2: Switch signal.

Case 1. The fault for subsystem 1 with the unit amplitude occurs from 100 sec to 200 sec. The generated residual and the evolution of the residual evaluation function are shown in Figure 3. The simulation results show that when the fault for subsystem 1 occurs, the residual signal varies sharply, and at 109 sec, which means that the fault for subsystem 1 can be detected 9 sec after the fault of subsystem 1 occurs. Hence, the fault for subsystem 1 can be detected.

(a)

(b)

Figure 3: (a) The residual signal. (b) The residual evaluation function and threshold when the fault for subsystem 1 occurs from 100 sec to 200 sec.

Case 2. The fault for subsystem 2 with the unit amplitude also occurs from 200 sec to 300 sec. The generated residual and the evolution of the residual evaluation function are shown in Figure 4. It can be seen that when subsystem 2 are activated at 210 sec, the residual signal is changed sharply and at 234 sec. Thus, the fault for subsystem 2 can be detected.

(a)

(b)

Figure 4: (a) The residual signal. (b) The residual evaluation function and threshold when the fault for subsystem 2 occurs from 200 sec to 300 sec.

From Cases 1 and 2, we see that both the faults for subsystem 1 and subsystem 2, respectively, can be detected, and they can demonstrate the effectiveness of the proposed design method.

6. Conclusion

In this paper, the problem of FD filter design for nonlinear impulsive switched systems has been investigated. Firstly, the performance and the performance are presented for nonlinear impulsive switched systems, and sufficient conditions to characterize given performances have been obtained. Subsequently, the design of FD filters is formulated as a multiobjective optimization problem, and the filter gains are characterized in term of the solution of LMI conditions. Finally, an example has been given to illustrate the effectiveness of the proposed method.

Future works on fault detection for nonlinear impulsive switched systems are to focus on how to cope with stochastic switched systems as in [35, 36] and switched systems with time delay as in [37–39].

References

H. Lin and P. J. Antsaklis, “Stability and stabilizability of switched linear systems: a survey of recent results,” IEEE Transactions on Automatic Control, vol. 54, no. 2, pp. 308–322, 2009.

D.-W. Ding and G.-H. Yang, “ static output feedback control for discrete-time switched linear systems with average dwell time,” IET Control Theory & Applications, vol. 4, no. 3, pp. 381–390, 2010.

H. Yang, L. Zhang, and X. Liu, “Robust tracking control for switched fuzzy systems with fast switching controller,” Mathematical Problems in Engineering, vol. 2012, Article ID 872826, 21 pages, 2012.

Q. Su and J. Zhao, “Stabilization of a class of switched systems with state constraints,” Nonlinear Dynamics, vol. 70, no. 2, pp. 1499–1510, 2012.

L. Wu, D. W. C. Ho, and C. W. Li, “Sliding mode control of switched hybrid systems with stochastic perturbation,” Systems & Control Letters, vol. 60, no. 8, pp. 531–539, 2011.

R. Wang, J. Zhao, G. M. Dimirovski, and G.-P. Liu, “Output feedback control for uncertain linear systems with faulty actuators based on a switching method,” International Journal of Robust and Nonlinear Control, vol. 19, no. 12, pp. 1295–1312, 2009.

J. Li and G. H. Yang, “Fault detection and isolation for discrete-time switched linear systems based on average dwell-time method,” International Journal of Systems Science, 2012.

Y. Z. Hou, C. Y. Dong, and Q. Wang, “Adaptive control scheme for linear uncertain switched systems,” in Proceedings of the AIAA Guidance, Navigation and Control Conference and Exhibit, Honolulu, Hawaii, USA, August 2008.

B. Lu, F. Wu, and S. Kim, “Switching LPV control of an F-16 aircraft via controller state reset,” IEEE Transactions on Control Systems Technology, vol. 14, no. 2, pp. 267–277, 2006.

W. Xiang and J. Xiao, “Stability analysis and control synthesis of switched impulsive systems,” International Journal of Robust and Nonlinear Control, vol. 22, no. 13, pp. 1440–1459, 2012.

S. W. Zhao and J. T. Sun, “A geometric approach for reachability and observability of linear switched impulsive systems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 72, no. 11, pp. 4221–4229, 2010.

H. Xu, K. L. Teo, and X. Liu, “Robust stability analysis of guaranteed cost control for impulsive switched systems,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 38, no. 5, pp. 1419–1422, 2008.

J. Guo, C. Liu, and Z. Xiang, “Robust finite-time control for impulsive switched nonlinear systems with state delay,” Mathematical Problems in Engineering, vol. 2012, Article ID 830154, 25 pages, 2012.

J. Chen and P. R. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems, Kluwer Academic, Boston, Mass, USA, 1999.

T. Li and Y. Zhang, “Fault detection and diagnosis for stochastic systems via output PDFs,” IEEE Engineering and Applied Mathematics, vol. 348, no. 6, pp. 1140–1152, 2011.

L. Wu, X. Yao, and W. X. Zheng, “Generalized fault detection for two-dimensional Markovian jump systems,” Automatica, vol. 48, no. 8, pp. 1741–1750, 2012.

I. Hwang, S. Kim, Y. Kim, and C. E. Seah, “A survey of fault detection, isolation, and reconfiguration methods,” IEEE Transactions on Control Systems Technology, vol. 18, no. 3, pp. 636–653, 2010.

H. Gong and Z. Zhen, “A neuro-augmented observer for robust fault detection in nonlinear systems,” Mathematical Problems in Engineering, vol. 2012, Article ID 789230, 8 pages, 2012.

W. Li, F. Jiang, Z. Wang, G. Zhou, and Z. Zhu, “Fault detection of Markov jumping linear systems,” Mathematical Problems in Engineering, vol. 2012, Article ID 141867, 27 pages, 2012.

S. He and F. Liu, “Fuzzy model-based fault detection for Markov jump systems,” International Journal of Robust and Nonlinear Control, vol. 19, no. 11, pp. 1248–1266, 2009.

L. Wu and D. W. C. Ho, “Fuzzy filter design for Itô stochastic systems with application to sensor fault detection,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 1, pp. 233–242, 2009.

X. J. Li and G. H. Yang, “Fault detection filter design for stochastic time-delay systems with sensor faults,” International Journal of Systems Science, vol. 43, no. 8, 2012.

H. Wang and G.-H. Yang, “A finite frequency domain approach to fault detection for linear discrete-time systems,” International Journal of Control, vol. 81, no. 7, pp. 1162–1171, 2008.

D. Wang, W. Wang, and P. Shi, “Robust fault detection for switched linear systems with state delays,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 39, no. 3, pp. 800–805, 2009.

B. Jiang, D. Du, and V. Cocquempot, “Fault detection for discrete-time switched systems with interval time-varying delays,” International Journal of Control, Automation and Systems, vol. 9, no. 2, pp. 396–401, 2011.

D. Wang, P. Shi, and W. Wang, “Robust fault detection for continuous-time switched delay systems: an linear matrix inequality approach,” IET Control Theory & Applications, vol. 4, no. 1, pp. 100–108, 2010.

D. Du, B. Jiang, and P. Shi, “Fault detection for discrete-time switched systems with intermittent measurements,” International Journal of Control, vol. 85, no. 1, pp. 78–87, 2012.

J. Li and G. H. Yang, “Asynchronous fault detection filter design approach for discrete-time switched linear systems,” International Journal of Robust and Nonlinear Control, 2012.

Z. Zhang, “Robust control of a class of discrete impulsive switched systems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 12, pp. e2790–e2796, 2009.

H. Xu and K. L. Teo, “Exponential stability with -gain condition of nonlinear impulsive switched systems,” IEEE Transactions on Automatic Control, vol. 55, no. 10, pp. 2429–2433, 2010.

H. Xu, X. Liu, and K. L. Teo, “Robust stabilisation with definite attenuance of an uncertain impulsive switched system,” The ANZIAM Journal, vol. 46, no. 4, pp. 471–484, 2005.

P. M. Frank and X. Ding, “Survey of robust residual generation and evaluation methods in observer-based fault detection systems,” Journal of Process Control, vol. 7, no. 6, pp. 403–424, 1997.

Y. M. Barkhordari and M. R. Jahed-Motlagh, “Stabilization of a CSTR with two arbitrarily switching modes using modal state feedback linearization,” Chemical Engineering Journal, vol. 155, no. 3, pp. 838–843, 2009.

L. Magni, G. de Nicolao, L. Magnani, and R. Scattolini, “A stabilizing model-based predictive control algorithm for nonlinear systems,” Automatica, vol. 37, no. 9, pp. 1351–1362, 2001.

L. Wu and W. Zheng, “Dissipativity-Based sliding mode control of switched stochastic systems,” IEEE Transactions on Automatic Control, vol. 58, no. 3, pp. 785–793, 2013.

J. L. Liu, Z. Gu, and S. L. Hu, “ filtering for Markovian jump systems with time-varying delays,” International Journal of Innovative Computing, Information and Control, vol. 7, no. 3, pp. 1299–1310, 2011.

L. Wu and W. X. Zheng, “Weighted model reduction for linear switched systems with time-varying delay,” Automatica, vol. 45, no. 1, pp. 186–193, 2009.

L. Wu, Z. Feng, and W. X. Zheng, “Exponential stability analysis for delayed neural networks with switching parameters: average dwell time approach,” IEEE Transactions on Neural Networks, vol. 21, no. 9, pp. 1396–1407, 2010.

X. Su, P. Shi, L. Wu, and Y. Song, “A Novel approach to filter design for T-S fuzzy discrete-Time Syst ems with Time-Varying Delay,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 6, pp. 1114–1129, 2012.