# Fault Diagnosis for Actuators in a Class of Nonlinear Systems Based on an Adaptive Fault Detection Observer.

1. Introduction

With the rapid development of modern technology, the engineering and technical personnel have put forward higher requirements for the performance and reliability of equipment. Due to the complexity of equipment and harsh work environment, in order to avoid serious losses, adopting fault diagnosis technology for real-time monitoring of equipment's status is necessary. In the past few decades, there has been a rapid development in fault diagnosis technology.

Generally, the fault diagnosis methods can be divided into model-based approaches [1-3], knowledge-based approaches [4-6], and the methods based on signal processing [7-9]. Among these troubleshooting approaches, knowledge-based fault diagnosis methods are strongly dependent on the diagnostic systems themselves, and the diagnostic efficiency is subjective to the integrity of the information about the diagnostic systems. The fault diagnosis algorithms based on signal processing, especially filtering theory, are easy to implement in practical applications, but the first-order linear truncation in extended Kalman filters (EKF) can lead to low precision and filters' divergence. The model-based fault diagnosis approaches can make full use of the system's information for fault location, determination of the failures' type, and fault estimation to obtain higher accuracy. Therefore, the modelbased fault diagnosis technology has been widely studied by scholars [10, 11]. The state observer technique is very important in model-based fault diagnosis, and it is able to give specific estimated values of both failures and state variables simultaneously, which is beneficial to the subsequent design of fault-tolerant control law. Consequently, fault diagnosis based on observer has been a research hotspot [12, 13]. The representative results are analyzed as follows.

A robust fault detection observer was designed for a Takagi-Sugeno (T-S) fuzzy model with sensor faults [14]. The approach used the technique of descriptor systems by considering sensor fault as an auxiliary state variable. The design of robust fault detection observer was formulated as an H_/H-infinity problem. A solution of the pursued problem based on nonquadratic Lyapunov functions was then given via a linear matrix inequality formulation. An example was presented to demonstrate the design conditions. The example showed that the proposed fault detection observer was effective.

The small-amplitude oscillatory failures in the electrical flight control system of an aircraft were specifically studied [15]. A nonlinear observer-based solution to detect oscillatory failures with small amplitude at a very early stage was presented. By narrowing the detection threshold, the proposed approach could detect a fault with small amplitude and achieve early fault warning but was not able to give a specific form of the failure.

The online fault estimation question was further pursued [16]. A nonlinear aircraft model with multiple control surfaces was considered and a fault detection and isolation (FDI) algorithm was proposed for the stuck fault detection. The estimation effect was perfect; however, the proposed algorithm was based on an ideal analytical model, without considering external disturbances and measurement noise.

Robust and accurate detection of failures in the actuators of a civil aircraft is a crucial issue. Actuator failures, if not accurately detected in time, can often lead to improper maintenance and may potentially lead to structural damage or waste of money. Motivated by the actual demand, the combination of the observer approach and the adaptive control theory is applied to carry out fault diagnosis for actuators in a class of nonlinear systems. The adaptive method has been applied in the development of fault detection observer. Adaptive control is one of the effective theories of nonlinear systems' design. By selecting adaptable compensators, the adaptive controller can achieve stable control of a nonlinear system whose parameters are not accurately known or affected by disturbances [17, 18]. The adaptive parameters' adjusting law of the unknown fault vector has been set up, guaranteeing the asymptotic stability of the observer.

The main contributions of this paper lie in three aspects. Firstly, different from the existing papers, the fault diagnosis algorithm in this paper is not based on ideal analytical models; in other words, the random measurement noise and external disturbances are taken into account simultaneously during the whole development process [19]. The designed fault diagnosis algorithm can successfully separate the measurement noise generated by the sensors, the unknown external disturbances, and the failures when they exist at the same time. Secondly, the fault diagnosis algorithm is able to give specific estimated values of both failures and state variables rather than just giving the estimated values of the state variables or a fault warning. This is very beneficial for indepth fault analysis and taking appropriate troubleshooting actions. Thirdly, the proposed algorithm is very simple and concise, which can overcome the problem of "explosion of complexity" and is easy to be applied to practical engineering. All the above three aspects of research work are not perfect in the existing literatures.

The structure of this paper is organized as follows. An analytical model of nonlinear system with measurement noise and disturbances is presented in Section 2. Section 3 identifies the diagnostic targets and constraints under which the diagnosis algorithm is developed. A design scheme of the nonlinear adaptive fault detection observer is proposed for actuators' fault diagnosis. In addition, a theoretically rigorous proof of asymptotical stability has also been given. Experimental results are presented in Section 4. Conclusions and future works are discussed in Section 5.

2. Nonlinear System Statement

Consider a fault-free nonlinear system:

[mathematical expression not reproducible], (1)

where x(t) [member of] [R.sup.n] denotes the state vector and it can be measured directly; y(t) [member of] [R.sup.m] and u(t) [member of] [R.sup.r] denote an output vector and a control input vector, respectively; d(t) [member of] [R.sup.n] denotes an external disturbance vector that is applied to the system's actuator; n(t) [member of] [R.sup.n] denotes a random measurement noise (band-limited white noise) vector that is generated by the system's sensors; B and C are appropriately dimensional constant matrices; M and N are full rank const. matrices; g(x, t) is a nonlinear function of the state variables x(t).

Remark 1. Nonlinear control system (1) describes the influence of disturbances on the state variables and the effect of measurement noise on the output, respectively.

When there are actuators' failures, the fault system can be expressed as

[mathematical expression not reproducible], (2)

where f(t) [member of] [R.sup.r] denotes an unknown time-varying fault vector.

3. Design of the Observer and Adaptive Fault Estimation Algorithm

3.1. Constraint Conditions. Before designing the fault diagnosis algorithm, some constraints need to be satisfied for fault system (2).

(i) g(x, t) in (1) and (2) satisfies the Lipschitz condition about state vector x(t); namely, there exists constant [[delta].sub.1] > 0, such that

[parallel]g ([x.sub.1]) - g ([x.sub.2])[parallel] [less than or equal to] [[delta].sub.1] [parallel][x.sub.1] - [x.sub.2][parallel]. (3)

Remark 2. To simplify writing, x(t) is abbreviated to x. This kind of writing method is suitable for the subsequent content.

(ii) The unknown external time-varying disturbance vector d(t) is bounded; that is,

[parallel]Md[parallel] [less than or equal to] [[mu].sub.0], (4)

where [[mu].sub.0] [greater than or equal to] 0 represents the maximum acceptable disturbance.

The requirement that the power of external disturbances is bounded is obviously reasonable. Because the disturbances must exist actually in the running process of nonlinear system (1) or (2), in other words, if [parallel]Md[parallel] [right arrow] +[infinity], state variables x(t) and time-varying failures f(t) will be "drowned" by disturbances. In this case, state estimation or fault estimation is impossible.

(iii) The sensor's measurement noise vector n(t) is bounded; that is,

[parallel]Nn[parallel] [less than or equal to] [[mu].sub.1], (5)

where [[mu].sub.1] 0 represents the maximum amplitude of the noise.

In general, measurement noise is mingled in the feedback signal coming from the sensors, which means that the noise signal exists for real. So the measurement noise should be bounded.

(iv) The time-varying fault vector f is a bounded vector with finite rate of change; that is,

[mathematical expression not reproducible], (6)

where [[mu].sub.2] [greater than or equal to] 0 and [[mu].sub.3] [greater than or equal to] 0 represent the maximum amplitude of the failures and the rate of change, respectively.

Constraint condition (6) has specified the applicable scope of the proposed algorithm in this paper; in other words, only bounded failures with finite rate of change can be given specific estimated values. If [parallel]f[parallel] [right arrow] +[infinity] or [parallel][??][parallel] [right arrow] +[infinity], specific estimated values of failures will not be obtained.

(v) The state vector x is also bounded with finite rate of change; that is,

[mathematical expression not reproducible], (7)

where [[mu].sub.4] [greater than or equal to] 0 and [[mu].sub.5] [greater than or equal to] 0 represent the maximum amplitude of the states and the rate of change, respectively.

Just as constraint condition (6), because the proposed algorithm will also give the specific estimated values of state variables, their values should also be bounded.

3.2. Fault Detection Observer. For fault system (2), the following observer is designed:

[mathematical expression not reproducible], (8)

where [??] [member of] [R.sup.n], [??] [member of] [R.sup.r], and [??] [member of] [R.sup.m] denote state estimation, fault estimation, and output estimation, respectively; H is a finite gain matrix of the designed observer.

Here, the deviation signal [??] [member of] [R.sup.n] is defined in the following form:

[??] = x - [??]. (9)

Remark 3. x denotes the real values of state variables in fault system (2), which is measureable. However, x comes from fault detection observer (8). When failures occur in actuators, namely, [parallel]f[parallel] [not equal to] 0, x is not equal to [??]; namely, [parallel][??][parallel] [not equal to] 0. In other words, [??] always contains the deviation information caused by actuators' failure f. If there are no failures, [??] asymptotically approaches x and in this case, fault detection observer (8) becomes a standard state observer. So, (8) is named as "fault detection observer."

By fault system (2) and fault detection observer (8), we can obtain

[mathematical expression not reproducible], (10)

where [??] denotes g([??]).

3.3. Adaptive Fault Estimation. Consider the system to be supervised given by (2); the proposed adaptive fault estimation algorithm for this fault system is given by

[??] = [PI][B.sup.T]W[??], (11)

where [PI] = diag{[[PI].sub.11] , [[PI].sub.22], ..., [[PI].sub.rr]} [for all][[PI].sub.ii] > 0, i [member of] [1, r], denotes a convergence factor matrix, namely, an adaptive rate, which can influence the estimation performance; W is a symmetric positive definite matrix and the conditions that need to be satisfied for W will be discussed in detail in the following.

Remark 4. Matrix [PI] in (11) is discussed here. In the subsequent proof process, only the conditions for element [[PI].sub.ii] in the diagonal of matrix n need to be met, that is, [for all][[PI].sub.ii] > 0, [for all][[PI].sub.ii] < +[infinity], and [for all][[PI].sub.ij] = 0, j [member of] [1, r] and i [not equal to] j. These constraint conditions can ensure that the eigenvalues of matrix [PI] exist. In addition, it is easy to satisfy these constraint conditions, but the optimal value for [[PI].sub.ii] cannot be given here.

The error signal of fault estimation [??] [member of] [R.sup.r] is defined in the following form:

[??] = f - [??]. (12)

By constraint condition (6), it can be obtained that

[mathematical expression not reproducible]. (13)

Theorem 5. If W in (11) and the symmetric positive definite matrix U are selected to satisfy the condition

[(-HC).sup.T] W + W (-HC) + [delta]WW + [delta]1 = -U, (14)

where [delta] is a positive constant that satisfies Lipschitz condition (3) and I is an appropriately dimensional unit matrix, then the fault diagnosis algorithm based on fault detection observer (8) and adaptive fault estimation algorithm (11) can ensure that state estimation error [??] and fault estimation error [??] are driven asymptotically to bounded constants simultaneously, in the sense that

[mathematical expression not reproducible], (15)

where [[tau].sub.1] > 0 and [[tau].sub.2] > 0 denote two bounded positive constants.

Proof. We now define a Lyapunov function V(t) as

[mathematical expression not reproducible]. (16)

Remark 6. V(t) evaluates deviation signal x and fault estimation error [??] comprehensively.

After taking the time derivative of (16) and substituting (10) and (13) into it, it can be obtained that

[mathematical expression not reproducible]. (17)

There are four terms in [??]. In order to facilitate reading, they are expanded, respectively, into the following forms:

[mathematical expression not reproducible]. (18)

After substituting (18) into (17), [??] can be expressed as

[mathematical expression not reproducible]. (19)

After utilizing Lipschitz condition (3), the following inequality can be obtained:

[mathematical expression not reproducible], (20)

where [[lambda].sub.max] (W) denotes the maximum eigenvalue of matrix W.

Next, the last term in (20) can be handled in accordance with the following form:

[mathematical expression not reproducible], (21)

where [[lambda].sub.max]([[PI].sup.-1] [[PI].sup.-1]) denotes the maximum eigenvalue of matrix [[PI].sup.-1] [[PI].sup.-1].

In addition, because the measurement noise vector n(t) is bounded, where [parallel]Nn[parallel] [less than or equal to] [[mu].sub.1] has been declared in constraint conditions (5) and H is the finite gain matrix of the designed observer, [parallel]HNn[parallel] will also be bounded. It can be defined as follows:

[parallel]HNn[parallel] [less than or equal to] [[mu].sub.6], (22)

where [[mu].sub.6] is abounded positive constant.

Obviously, by combining conditions (21) and (22), (20) can be strengthened to

[mathematical expression not reproducible], (23)

where [[mu].sub.0] has been defined in (4).

After utilizing constraint condition (6), the following inequality can be obtained easily:

[mathematical expression not reproducible], (24)

where [[mu].sub.2] has been defined in (6).

After substituting (6), (14), and (24) into (23), the condition can be adjusted into the following expression:

[mathematical expression not reproducible], (25)

where [[lambda].sub.min](U) denotes the minimum eigenvalue of matrix U which satisfies Theorem 5, [UPSILON] = ([[mu].sub.0] + [[mu].sub.6]) and [PSI] = 4[[mu].sup.2.sub.2] + [[mu].sup.2.sub.3][[lambda].sub.max] ([[PI].sup.-1] [[PI].sup.-1]), and [[mu].sub.3] has been defined in (6).

Next, in order to complete the stability analysis, two cases will be examined.

Case 1 ([parallel][??][parallel] > [eta]). Consider [eta] = (2[UPSILON][[lambda].sub.max](W) + [square root of 4[[UPSILON].sup.2][[lambda].sup.2.sub.max](W) + 4[PSI][[lambda].sub.min](U))/2[[lambda].sub.min](U).

In this case, [??] < 0 is established and (8) is a stable observer of nonlinear fault system (2).

Case 2 ([parallel][??][parallel] [less than or equal to] [eta]). In this case, [??] > 0 is established and observer (8) will be divergent. This causes the increase of [parallel][??][parallel], and let [parallel][??][parallel] > [eta]. Next, it will satisfy Case 1, which brings [parallel][??][parallel] to reduce, and so on; namely, the states error [parallel][??][parallel] will remain at a certain level range.

Consolidating Cases 1 and 2, it can be seen that the observer is stable, and the designed fault detection observer is able to keep accurate tracking of fault system (2).

Remark 7. H in (14) is a finite gain matrix of fault detection observer (8), which just needs to satisfy the condition that ensures that (-HC) is a stable matrix. For example, the following choice is reasonable:

H = [THETA] W[C.sup.T], (26)

where [THETA] > 0 is an adjustable parameter.

4. Experiments

Experiment 1. It is a comparative study between the proposed approach and the T-S fuzzy observer.

In order to fully evaluate the performance of the proposed fault diagnosis algorithm, an actuator motion model is selected and its parameters are analyzed as the following expression:

[mathematical expression not reproducible]. (27)

Obviously, g(x) satisfies the Lipschitz condition. The parameters in fault detection observer (8) are selected according to (14) with the following form:

[mathematical expression not reproducible]. (28)

By combining (27) and (28), the fault detection observer based on our proposed algorithm in this paper has been constructed as follows:

[mathematical expression not reproducible]. (29)

The convergence factor matrix n in adaptive fault estimation algorithm (11) is selected carefully as

[mathematical expression not reproducible]. (30)

The observer based on Takagi-Sugeno (T-S) fuzzy models is another important approach for fault detection. So it is necessary to make a comparative study between the proposed approach and T-S fuzzy observer. Here, a reduced-order T-S fuzzy observer scheme has been cited and its design process is presented briefly (the specific technical details can be found in [20]).

The T-S fuzzy system fault model that contains actuators' failures is given in the following form:

[mathematical expression not reproducible], (31)

where l is the number of fuzzy rules; [h.sub.i](x) is a membership function and [h.sub.i](x) [member of] [0, 1]; [[summation].sup.l.sub.i=1] [h.sub.i](x) = 1; [A.sub.i] and [B.sub.i] are appropriately dimensional constant matrices; x, y, u, f, and C have been defined in (1) and (2) separately.

The fault detection observer based on T-S fuzzy model is designed:

[mathematical expression not reproducible], (32)

where [mathematical expression not reproducible], and C have been defined in (8).

A T-S fuzzy adaptive fault estimation algorithm for fault system (2) is given by

[mathematical expression not reproducible]. (33)

Assumed in the diagnosis process, there are no disturbances (internal or external); namely, d = n = [[bar.0]], but there are failures described as

[mathematical expression not reproducible]. (34)

The control input vector adopts constants with the following form:

[mathematical expression not reproducible]. (35)

Initial state vector x and estimation vector [??] are selected as follows:

[mathematical expression not reproducible]. (36)

The simulation process lasts 40 seconds. The effects of state estimation

and fault estimation based on the proposed algorithm in this paper are shown in Figures 1,2,3, and 4. The effects of state estimation and fault estimation based on T-S fuzzy model are shown in Figures 5, 6, 7, and 8.

From Experiment 1, the following can be seen:

(1) There is no obvious difference between the performances of the proposed algorithm in this paper and the T-S fuzzy model. Both of the two algorithms can accurately estimate the state variables and the failures, and only small errors exist. The adjustment time of T-S fuzzy model is slightly shorter, but it is not obvious (see Figure 2 versus Figure 6, Figure 3 versus Figure 7, and Figure 4 versus Figure 8). In addition, from the point of view of the design process in two observers, the proposed algorithm is more concise.

(2) The T-S fuzzy observer proposed by [20] did not consider the influence of time-varying disturbances (random measurement noise, external disturbances, etc.) on estimation performance and the solution to the antidisturbance problem was also not given. However, the proposed algorithm in this paper has excellent antidisturbance performance, which is the most important advantage compared with the existing approaches. In order to fully illustrate this point, Experiment 2 is further carried out.

Experiment 2. It is the performance test with the presence of disturbances and failures.

Assuming that in the diagnosis process there are external time-varying disturbances as shown in (37) and time-varying failures as shown in (34) at the same time,

[mathematical expression not reproducible]. (37)

In addition, sensors' random measurement noise n(t) is seen as a band-limited white noise with the height of the power spectral density (PSD) being equal to 0.01 and zero mean, and its variance is equal to 1; namely,

[mathematical expression not reproducible]. (38)

The control input vector also uses (35); initial state vector x and estimation vector [??] use (36).

In order to thoroughly analyze and evaluate the convergence factors' impact on the performance of state estimation and fault estimation, the convergence factor matrix n in adaptive fault estimation algorithm (11) is selected as (30) and (39), respectively:

[mathematical expression not reproducible]. (39)

The effects of estimation based on [[PI].sub.1] are shown in Figures 9-12. The effects of estimation based on [[PI].sub.2] are shown in Figures 13-16.

For the proposed algorithm in this paper, the following can be concluded from Experiments 1 and 2:

(1) The performance of state estimation is perfect. Regardless of whether there are disturbances, the error signals of state estimation in stable state are very small; namely, [lim.sub.t[right arrow][infinity]][parallel][??][parallel] = [0] (see Figures 1, 2, 9, 10, 13, and 14). This shows that the designed fault detection observer (8) is not only stable but also very accurate. The precise state estimation provides the basis for the fault diagnosis of small-amplitude failures.

(2) The external disturbances and random measurement noise have a very obvious influence on the results of fault estimation. From Experiment 2, it can be found that, with the presence of disturbances and noise, the values of fault estimation have obvious "burr" (see Figures 11(b), 12(b), 15(b), and 16(b)). At this time, the estimated failures will oscillate around the actual failures. However, when there are no disturbances or noise, the values of fault estimation are very "smooth" (see Figures 3 and 4). In actual operation, fault system (2) has difficulty avoiding the influence of disturbances and noise, and therefore the results in Experiment 2 are more consistent with the actual situations.

(3) There are slight constant phase differences between actual values and estimated values in steady state (see Figures 3(b), 4(b), 11(b), 12(b), 15(b), and 16(b)). According to Theorem 5, the fault diagnosis algorithm based on fault detection observer (8) and fault estimation algorithm (11) can only ensure that state estimation error [??] and fault estimation error [??] are driven asymptotically to bounded positive constants, not to zero. In other words, the proposed algorithm is not an error-free estimation. So these simulation results are consistent with Lyapunov stability theory and this is why constant phase differences are generated. But the phase differences are not too large and are within an acceptable range.

(4) The convergence factor matrix n has a significant impact on the performance of fault estimation. In Experiment 2, through the comparison of [mathematical expression not reproducible], it can be found that if n1 is selected, the estimated failures in stable status have smaller amplitude errors (see Figure 11(b) versus Figure 15(b) and Figure 12(b) versus Figure 16(b)). Therefore, an appropriate increase of convergence factors can improve the accuracy of fault estimation and reduce the estimation errors. However, it is also found through experiments that too large values of convergence factors will cause the observer's divergence; therefore, careful selection of convergence factors is always required.

5. Conclusion

A nonlinear fault detection observer and an adaptive fault estimation algorithm have been proposed for the diagnosis of a class of nonlinear systems that have actuators' failures. Satisfactory experimental results have been achieved. The most important contribution of this paper is to present a novel diagnostic strategy that is able to give specific estimated values of state variables and failures when the external disturbances and measurement noise exist simultaneously. It has been proved that the fault detection observer, obtained via a Lyapunov function, is useful to achieve asymptotical stability in the case where unknown bounded disturbances and noise exist.

In this paper, we only discuss the problem of detection and estimation of actuators' failures. Future works will be focused on three aspects: the first aspect is the selection of convergence factors [PI] in (11). A guided approach of parameters' selection should be studied to guarantee that the proposed algorithm has faster estimation speed and smaller estimation errors; the second aspect is diagnosis algorithm's spreading. We hope that not only actuators' failures but also sensors' failures can be detected and estimated simultaneously; the third aspect is the practical use. This paper focuses on the theoretical research and how to apply the given results to engineering practice more effectively is also a major task to be completed in the future.

http://dx.doi.org/10.1155/2016/2618534

Competing Interests

The authors declare that there are no competing interests regarding the publication of this paper.

Acknowledgments

This work was jointly funded by the National Natural Science Foundation of China and the Civil Aviation Administration of China (Grant no. U1433103), the Natural Science Foundation of Tianjin (Grant no. 13JCYBJC39000), and the Basic R&D Operating Expenses of CAUC with no. 3122014B002 and no. 3122014D022.

References

[1] M. Chadli, S. Aouaouda, H. R. Karimi, and P. Shi, "Robust fault tolerant tracking controller design for a VTOL aircraft," Journal of the Franklin Institute, vol. 350, no. 9, pp. 2627-2645, 2013.

[2] S. Aouaouda, M. Chadli, M. T. Khadir, and T. Bouarar, "Robust fault tolerant tracking controller design for unknown inputs T-S models with unmeasurable premise variables," Journal of Process Control, vol. 22, no. 5, pp. 861-872, 2012.

[3] S. Aouaouda, M. Chadli, and H.-R. Karimi, "Robust static output-feedback controller design against sensor failure for vehicle dynamics," IET Control Theory and Applications, vol. 8, no. 9, pp. 728-737, 2014.

[4] H. R. Karimi, M. Zapateiro, and N. Luo, "A linear matrix inequality approach to robust fault detection filter design of linear systems with mixed time-varying delays and nonlinear perturbations," Journal of the Franklin Institute, vol. 347, no. 6, pp. 957-973, 2010.

[5] Y. Y. Xu, S. C. Tong, and Y. M. Li, "Prescribed performance fuzzy adaptive fault-tolerant control of non-linear systems with actuator faults," IET Control Theory and Applications, vol. 8, no. 6, pp. 420-431, 2014.

[6] A. Bregon, G. Biswas, B. Pulido, C. Alonso-Gonzalez, and H. Khorasgani, "A common framework for compilation techniques applied to diagnosis of linear dynamic systems," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 44, no. 7, pp. 863-876, 2014.

[7] H. Z. Hosseinabadi, B. Nazari, R. Amirfattahi, H. R. Mirdamadi, and A. R. Sadri, "Wavelet network approach for structural damage identification using guided ultrasonic waves," IEEE Transactions on Instrumentation and Measurement, vol. 63, no. 7, pp. 1680-1692, 2014.

[8] J. Li and G.-H. Yang, "Fault detection filter design for discrete-time switched linear systems with mode-dependent average dwell-time," International Journal of Adaptive Control and Signal Processing, vol. 28, no. 1, pp. 77-95, 2014.

[9] S. Yin and X. Zhu, "Intelligent particle filter and its application to fault detection of nonlinear system," IEEE Transactions on Industrial Electronics, vol. 62, no. 6, pp. 3852-3861, 2015.

[10] L.-Y. Meng and B. Jiang, "Fault diagnosis based on the nonlinear adaptive observer," Systems Engineering and Electronics, vol. 30, no. 7, pp. 1317-1319, 2008.

[11] S. Kelkar and R. Kamal, "Adaptive fault diagnosis algorithm for controller area network," IEEE Transactions on Industrial Electronics, vol. 61, no. 10, pp. 5527-5537, 2014.

[12] S. Aouaouda, M. Chadli, P. Shi, and H. R. Karimi, "Discrete-time H-/H[infinity] sensor fault detection observer design for nonlinear systems with parameter uncertainty," International Journal of Robust and Nonlinear Control, vol. 25, no. 3, pp. 339-361, 2015.

[13] S. Aouaouda, M. Chadli, V. Cocquempot, and K. M. Tarek, "Multi-objective H_/[H.sub.[infinity]] fault detection observer design for Takagi-Sugeno fuzzy systems with unmeasurable premise variables: descriptor approach," International Journal of Adaptive Control and Signal Processing, vol. 27, no. 12, pp. 1031-1047, 2013.

[14] M. Chadli, A. Abdo, and S. X. Ding, "H_/[H.sub.[infinity]] fault detection filter design for discrete-time Takagi-Sugeno fuzzy system," Automatica, vol. 49, no. 7, pp. 1996-2005, 2013.

[15] E. Alcorta-Garcia, A. Zolghadri, and P. Goupil, "A nonlinear observer-based strategy for aircraft oscillatory failure detection: A380 case study," IEEE Transactions on Aerospace and Electronic Systems, vol. 47, no. 4, pp. 2792-2806, 2011.

[16] Y. Han, S. Oh, B. Choi, D. Kwak, H. J. Kim, and Y. Kim, "Fault detection and identification of aircraft control surface using adaptive observer and input bias estimator," IET Control Theory and Applications, vol. 6, no. 10, pp. 1367-1387, 2012.

[17] M. Rodrigues, H. Hamdi, D. Theilliol, C. Mechmeche, and N. Benhadj Braiek, "Actuator fault estimation based adaptive polytopic observer for a class of LPV descriptor systems," International Journal of Robust and Nonlinear Control, vol. 25, no. 5, pp. 673-688, 2015.

[18] J. Zhang, A. K. Swain, and S. K. Nguang, "Robust Hot adaptive descriptor observer design for fault estimation of uncertain nonlinear systems," Journal of the Franklin Institute, vol. 351, no. 11, pp. 5162-5181, 2014.

[19] R. X. Guo, K. Guo, J. K. Dong, and Y. Zhu, "Time-varying and anti-disturbance fault diagnosis for a class of nonlinear systems," Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, vol. 229, no. 7, pp. 573-586, 2015.

[20] D. Krokavec and A. Filasova, "A reduced-order TS fuzzy observer scheme with application to actuator faults reconstruction," Mathematical Problems in Engineering, vol. 2012, Article ID 951953, 25 pages, 2012.

Runxia Guo, (1) Kai Guo, (1) Quan Gan, (1) Junwei Zhang, (1) Jiankang Dong, (1) and Lanping Bai (2)

(1) College of Electronics Information and Automation, Civil Aviation University of China, Tianjin 300300, China

(2) Process Engineering Department, Freescale Semiconductor (China) Limited, Tianjin 300300, China

Correspondence should be addressed to Runxia Guo; rxguoblp@163.com

Received 13 October 2015; Revised 28 December 2015; Accepted 13 January 2016

Academic Editor: M. Chadli

Caption: Figure 1: Estimation of [x.sub.1] based on the proposed approach.

Caption: Figure 2: Estimation of [x.sub.2] based on the proposed approach.

Caption: Figure 3: Estimation of failure 1 based on the proposed approach: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 4: Estimation of failure 2 based on the proposed approach: (a) estimation of failure 2 and (b) enlarged view.

Caption: Figure 5: Estimation of [x.sub.1] based on the T-S fuzzy models.

Caption: Figure 6: Estimation of [x.sub.2] based on the T-S fuzzy models.

Caption: Figure 7: Estimation of failure 1 based on the T-S fuzzy models: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 8: Estimation of failure 2 based on the T-S fuzzy models: (a) estimation of failure 2 and (b) enlarged view.

Caption: Figure 9: Estimation of [x.sub.1] with [[PI].sub.1].

Caption: Figure 10: Estimation of [x.sub.2] with [[PI].sub.1].

Caption: Figure 11: Estimation of failure 1 with [[PI].sub.1]: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 12: Estimation of failure 2 with [[PI].sub.1]: (a) estimation of failure 2 and (b) enlarged view.

Caption: Figure 13: Estimation of [[PI].sub.1]1 with [[PI].sub.2].

Caption: Figure 14: Estimation of [x.sub.2] with [[PI].sub.2].

Caption: Figure 15: Estimation of failure 1 with [[PI].sub.2]: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 16: Estimation of failure 2 with [[PI].sub.2]: (a) estimation of failure 2 and (b) enlarged view.

With the rapid development of modern technology, the engineering and technical personnel have put forward higher requirements for the performance and reliability of equipment. Due to the complexity of equipment and harsh work environment, in order to avoid serious losses, adopting fault diagnosis technology for real-time monitoring of equipment's status is necessary. In the past few decades, there has been a rapid development in fault diagnosis technology.

Generally, the fault diagnosis methods can be divided into model-based approaches [1-3], knowledge-based approaches [4-6], and the methods based on signal processing [7-9]. Among these troubleshooting approaches, knowledge-based fault diagnosis methods are strongly dependent on the diagnostic systems themselves, and the diagnostic efficiency is subjective to the integrity of the information about the diagnostic systems. The fault diagnosis algorithms based on signal processing, especially filtering theory, are easy to implement in practical applications, but the first-order linear truncation in extended Kalman filters (EKF) can lead to low precision and filters' divergence. The model-based fault diagnosis approaches can make full use of the system's information for fault location, determination of the failures' type, and fault estimation to obtain higher accuracy. Therefore, the modelbased fault diagnosis technology has been widely studied by scholars [10, 11]. The state observer technique is very important in model-based fault diagnosis, and it is able to give specific estimated values of both failures and state variables simultaneously, which is beneficial to the subsequent design of fault-tolerant control law. Consequently, fault diagnosis based on observer has been a research hotspot [12, 13]. The representative results are analyzed as follows.

A robust fault detection observer was designed for a Takagi-Sugeno (T-S) fuzzy model with sensor faults [14]. The approach used the technique of descriptor systems by considering sensor fault as an auxiliary state variable. The design of robust fault detection observer was formulated as an H_/H-infinity problem. A solution of the pursued problem based on nonquadratic Lyapunov functions was then given via a linear matrix inequality formulation. An example was presented to demonstrate the design conditions. The example showed that the proposed fault detection observer was effective.

The small-amplitude oscillatory failures in the electrical flight control system of an aircraft were specifically studied [15]. A nonlinear observer-based solution to detect oscillatory failures with small amplitude at a very early stage was presented. By narrowing the detection threshold, the proposed approach could detect a fault with small amplitude and achieve early fault warning but was not able to give a specific form of the failure.

The online fault estimation question was further pursued [16]. A nonlinear aircraft model with multiple control surfaces was considered and a fault detection and isolation (FDI) algorithm was proposed for the stuck fault detection. The estimation effect was perfect; however, the proposed algorithm was based on an ideal analytical model, without considering external disturbances and measurement noise.

Robust and accurate detection of failures in the actuators of a civil aircraft is a crucial issue. Actuator failures, if not accurately detected in time, can often lead to improper maintenance and may potentially lead to structural damage or waste of money. Motivated by the actual demand, the combination of the observer approach and the adaptive control theory is applied to carry out fault diagnosis for actuators in a class of nonlinear systems. The adaptive method has been applied in the development of fault detection observer. Adaptive control is one of the effective theories of nonlinear systems' design. By selecting adaptable compensators, the adaptive controller can achieve stable control of a nonlinear system whose parameters are not accurately known or affected by disturbances [17, 18]. The adaptive parameters' adjusting law of the unknown fault vector has been set up, guaranteeing the asymptotic stability of the observer.

The main contributions of this paper lie in three aspects. Firstly, different from the existing papers, the fault diagnosis algorithm in this paper is not based on ideal analytical models; in other words, the random measurement noise and external disturbances are taken into account simultaneously during the whole development process [19]. The designed fault diagnosis algorithm can successfully separate the measurement noise generated by the sensors, the unknown external disturbances, and the failures when they exist at the same time. Secondly, the fault diagnosis algorithm is able to give specific estimated values of both failures and state variables rather than just giving the estimated values of the state variables or a fault warning. This is very beneficial for indepth fault analysis and taking appropriate troubleshooting actions. Thirdly, the proposed algorithm is very simple and concise, which can overcome the problem of "explosion of complexity" and is easy to be applied to practical engineering. All the above three aspects of research work are not perfect in the existing literatures.

The structure of this paper is organized as follows. An analytical model of nonlinear system with measurement noise and disturbances is presented in Section 2. Section 3 identifies the diagnostic targets and constraints under which the diagnosis algorithm is developed. A design scheme of the nonlinear adaptive fault detection observer is proposed for actuators' fault diagnosis. In addition, a theoretically rigorous proof of asymptotical stability has also been given. Experimental results are presented in Section 4. Conclusions and future works are discussed in Section 5.

2. Nonlinear System Statement

Consider a fault-free nonlinear system:

[mathematical expression not reproducible], (1)

where x(t) [member of] [R.sup.n] denotes the state vector and it can be measured directly; y(t) [member of] [R.sup.m] and u(t) [member of] [R.sup.r] denote an output vector and a control input vector, respectively; d(t) [member of] [R.sup.n] denotes an external disturbance vector that is applied to the system's actuator; n(t) [member of] [R.sup.n] denotes a random measurement noise (band-limited white noise) vector that is generated by the system's sensors; B and C are appropriately dimensional constant matrices; M and N are full rank const. matrices; g(x, t) is a nonlinear function of the state variables x(t).

Remark 1. Nonlinear control system (1) describes the influence of disturbances on the state variables and the effect of measurement noise on the output, respectively.

When there are actuators' failures, the fault system can be expressed as

[mathematical expression not reproducible], (2)

where f(t) [member of] [R.sup.r] denotes an unknown time-varying fault vector.

3. Design of the Observer and Adaptive Fault Estimation Algorithm

3.1. Constraint Conditions. Before designing the fault diagnosis algorithm, some constraints need to be satisfied for fault system (2).

(i) g(x, t) in (1) and (2) satisfies the Lipschitz condition about state vector x(t); namely, there exists constant [[delta].sub.1] > 0, such that

[parallel]g ([x.sub.1]) - g ([x.sub.2])[parallel] [less than or equal to] [[delta].sub.1] [parallel][x.sub.1] - [x.sub.2][parallel]. (3)

Remark 2. To simplify writing, x(t) is abbreviated to x. This kind of writing method is suitable for the subsequent content.

(ii) The unknown external time-varying disturbance vector d(t) is bounded; that is,

[parallel]Md[parallel] [less than or equal to] [[mu].sub.0], (4)

where [[mu].sub.0] [greater than or equal to] 0 represents the maximum acceptable disturbance.

The requirement that the power of external disturbances is bounded is obviously reasonable. Because the disturbances must exist actually in the running process of nonlinear system (1) or (2), in other words, if [parallel]Md[parallel] [right arrow] +[infinity], state variables x(t) and time-varying failures f(t) will be "drowned" by disturbances. In this case, state estimation or fault estimation is impossible.

(iii) The sensor's measurement noise vector n(t) is bounded; that is,

[parallel]Nn[parallel] [less than or equal to] [[mu].sub.1], (5)

where [[mu].sub.1] 0 represents the maximum amplitude of the noise.

In general, measurement noise is mingled in the feedback signal coming from the sensors, which means that the noise signal exists for real. So the measurement noise should be bounded.

(iv) The time-varying fault vector f is a bounded vector with finite rate of change; that is,

[mathematical expression not reproducible], (6)

where [[mu].sub.2] [greater than or equal to] 0 and [[mu].sub.3] [greater than or equal to] 0 represent the maximum amplitude of the failures and the rate of change, respectively.

Constraint condition (6) has specified the applicable scope of the proposed algorithm in this paper; in other words, only bounded failures with finite rate of change can be given specific estimated values. If [parallel]f[parallel] [right arrow] +[infinity] or [parallel][??][parallel] [right arrow] +[infinity], specific estimated values of failures will not be obtained.

(v) The state vector x is also bounded with finite rate of change; that is,

[mathematical expression not reproducible], (7)

where [[mu].sub.4] [greater than or equal to] 0 and [[mu].sub.5] [greater than or equal to] 0 represent the maximum amplitude of the states and the rate of change, respectively.

Just as constraint condition (6), because the proposed algorithm will also give the specific estimated values of state variables, their values should also be bounded.

3.2. Fault Detection Observer. For fault system (2), the following observer is designed:

[mathematical expression not reproducible], (8)

where [??] [member of] [R.sup.n], [??] [member of] [R.sup.r], and [??] [member of] [R.sup.m] denote state estimation, fault estimation, and output estimation, respectively; H is a finite gain matrix of the designed observer.

Here, the deviation signal [??] [member of] [R.sup.n] is defined in the following form:

[??] = x - [??]. (9)

Remark 3. x denotes the real values of state variables in fault system (2), which is measureable. However, x comes from fault detection observer (8). When failures occur in actuators, namely, [parallel]f[parallel] [not equal to] 0, x is not equal to [??]; namely, [parallel][??][parallel] [not equal to] 0. In other words, [??] always contains the deviation information caused by actuators' failure f. If there are no failures, [??] asymptotically approaches x and in this case, fault detection observer (8) becomes a standard state observer. So, (8) is named as "fault detection observer."

By fault system (2) and fault detection observer (8), we can obtain

[mathematical expression not reproducible], (10)

where [??] denotes g([??]).

3.3. Adaptive Fault Estimation. Consider the system to be supervised given by (2); the proposed adaptive fault estimation algorithm for this fault system is given by

[??] = [PI][B.sup.T]W[??], (11)

where [PI] = diag{[[PI].sub.11] , [[PI].sub.22], ..., [[PI].sub.rr]} [for all][[PI].sub.ii] > 0, i [member of] [1, r], denotes a convergence factor matrix, namely, an adaptive rate, which can influence the estimation performance; W is a symmetric positive definite matrix and the conditions that need to be satisfied for W will be discussed in detail in the following.

Remark 4. Matrix [PI] in (11) is discussed here. In the subsequent proof process, only the conditions for element [[PI].sub.ii] in the diagonal of matrix n need to be met, that is, [for all][[PI].sub.ii] > 0, [for all][[PI].sub.ii] < +[infinity], and [for all][[PI].sub.ij] = 0, j [member of] [1, r] and i [not equal to] j. These constraint conditions can ensure that the eigenvalues of matrix [PI] exist. In addition, it is easy to satisfy these constraint conditions, but the optimal value for [[PI].sub.ii] cannot be given here.

The error signal of fault estimation [??] [member of] [R.sup.r] is defined in the following form:

[??] = f - [??]. (12)

By constraint condition (6), it can be obtained that

[mathematical expression not reproducible]. (13)

Theorem 5. If W in (11) and the symmetric positive definite matrix U are selected to satisfy the condition

[(-HC).sup.T] W + W (-HC) + [delta]WW + [delta]1 = -U, (14)

where [delta] is a positive constant that satisfies Lipschitz condition (3) and I is an appropriately dimensional unit matrix, then the fault diagnosis algorithm based on fault detection observer (8) and adaptive fault estimation algorithm (11) can ensure that state estimation error [??] and fault estimation error [??] are driven asymptotically to bounded constants simultaneously, in the sense that

[mathematical expression not reproducible], (15)

where [[tau].sub.1] > 0 and [[tau].sub.2] > 0 denote two bounded positive constants.

Proof. We now define a Lyapunov function V(t) as

[mathematical expression not reproducible]. (16)

Remark 6. V(t) evaluates deviation signal x and fault estimation error [??] comprehensively.

After taking the time derivative of (16) and substituting (10) and (13) into it, it can be obtained that

[mathematical expression not reproducible]. (17)

There are four terms in [??]. In order to facilitate reading, they are expanded, respectively, into the following forms:

[mathematical expression not reproducible]. (18)

After substituting (18) into (17), [??] can be expressed as

[mathematical expression not reproducible]. (19)

After utilizing Lipschitz condition (3), the following inequality can be obtained:

[mathematical expression not reproducible], (20)

where [[lambda].sub.max] (W) denotes the maximum eigenvalue of matrix W.

Next, the last term in (20) can be handled in accordance with the following form:

[mathematical expression not reproducible], (21)

where [[lambda].sub.max]([[PI].sup.-1] [[PI].sup.-1]) denotes the maximum eigenvalue of matrix [[PI].sup.-1] [[PI].sup.-1].

In addition, because the measurement noise vector n(t) is bounded, where [parallel]Nn[parallel] [less than or equal to] [[mu].sub.1] has been declared in constraint conditions (5) and H is the finite gain matrix of the designed observer, [parallel]HNn[parallel] will also be bounded. It can be defined as follows:

[parallel]HNn[parallel] [less than or equal to] [[mu].sub.6], (22)

where [[mu].sub.6] is abounded positive constant.

Obviously, by combining conditions (21) and (22), (20) can be strengthened to

[mathematical expression not reproducible], (23)

where [[mu].sub.0] has been defined in (4).

After utilizing constraint condition (6), the following inequality can be obtained easily:

[mathematical expression not reproducible], (24)

where [[mu].sub.2] has been defined in (6).

After substituting (6), (14), and (24) into (23), the condition can be adjusted into the following expression:

[mathematical expression not reproducible], (25)

where [[lambda].sub.min](U) denotes the minimum eigenvalue of matrix U which satisfies Theorem 5, [UPSILON] = ([[mu].sub.0] + [[mu].sub.6]) and [PSI] = 4[[mu].sup.2.sub.2] + [[mu].sup.2.sub.3][[lambda].sub.max] ([[PI].sup.-1] [[PI].sup.-1]), and [[mu].sub.3] has been defined in (6).

Next, in order to complete the stability analysis, two cases will be examined.

Case 1 ([parallel][??][parallel] > [eta]). Consider [eta] = (2[UPSILON][[lambda].sub.max](W) + [square root of 4[[UPSILON].sup.2][[lambda].sup.2.sub.max](W) + 4[PSI][[lambda].sub.min](U))/2[[lambda].sub.min](U).

In this case, [??] < 0 is established and (8) is a stable observer of nonlinear fault system (2).

Case 2 ([parallel][??][parallel] [less than or equal to] [eta]). In this case, [??] > 0 is established and observer (8) will be divergent. This causes the increase of [parallel][??][parallel], and let [parallel][??][parallel] > [eta]. Next, it will satisfy Case 1, which brings [parallel][??][parallel] to reduce, and so on; namely, the states error [parallel][??][parallel] will remain at a certain level range.

Consolidating Cases 1 and 2, it can be seen that the observer is stable, and the designed fault detection observer is able to keep accurate tracking of fault system (2).

Remark 7. H in (14) is a finite gain matrix of fault detection observer (8), which just needs to satisfy the condition that ensures that (-HC) is a stable matrix. For example, the following choice is reasonable:

H = [THETA] W[C.sup.T], (26)

where [THETA] > 0 is an adjustable parameter.

4. Experiments

Experiment 1. It is a comparative study between the proposed approach and the T-S fuzzy observer.

In order to fully evaluate the performance of the proposed fault diagnosis algorithm, an actuator motion model is selected and its parameters are analyzed as the following expression:

[mathematical expression not reproducible]. (27)

Obviously, g(x) satisfies the Lipschitz condition. The parameters in fault detection observer (8) are selected according to (14) with the following form:

[mathematical expression not reproducible]. (28)

By combining (27) and (28), the fault detection observer based on our proposed algorithm in this paper has been constructed as follows:

[mathematical expression not reproducible]. (29)

The convergence factor matrix n in adaptive fault estimation algorithm (11) is selected carefully as

[mathematical expression not reproducible]. (30)

The observer based on Takagi-Sugeno (T-S) fuzzy models is another important approach for fault detection. So it is necessary to make a comparative study between the proposed approach and T-S fuzzy observer. Here, a reduced-order T-S fuzzy observer scheme has been cited and its design process is presented briefly (the specific technical details can be found in [20]).

The T-S fuzzy system fault model that contains actuators' failures is given in the following form:

[mathematical expression not reproducible], (31)

where l is the number of fuzzy rules; [h.sub.i](x) is a membership function and [h.sub.i](x) [member of] [0, 1]; [[summation].sup.l.sub.i=1] [h.sub.i](x) = 1; [A.sub.i] and [B.sub.i] are appropriately dimensional constant matrices; x, y, u, f, and C have been defined in (1) and (2) separately.

The fault detection observer based on T-S fuzzy model is designed:

[mathematical expression not reproducible], (32)

where [mathematical expression not reproducible], and C have been defined in (8).

A T-S fuzzy adaptive fault estimation algorithm for fault system (2) is given by

[mathematical expression not reproducible]. (33)

Assumed in the diagnosis process, there are no disturbances (internal or external); namely, d = n = [[bar.0]], but there are failures described as

[mathematical expression not reproducible]. (34)

The control input vector adopts constants with the following form:

[mathematical expression not reproducible]. (35)

Initial state vector x and estimation vector [??] are selected as follows:

[mathematical expression not reproducible]. (36)

The simulation process lasts 40 seconds. The effects of state estimation

and fault estimation based on the proposed algorithm in this paper are shown in Figures 1,2,3, and 4. The effects of state estimation and fault estimation based on T-S fuzzy model are shown in Figures 5, 6, 7, and 8.

From Experiment 1, the following can be seen:

(1) There is no obvious difference between the performances of the proposed algorithm in this paper and the T-S fuzzy model. Both of the two algorithms can accurately estimate the state variables and the failures, and only small errors exist. The adjustment time of T-S fuzzy model is slightly shorter, but it is not obvious (see Figure 2 versus Figure 6, Figure 3 versus Figure 7, and Figure 4 versus Figure 8). In addition, from the point of view of the design process in two observers, the proposed algorithm is more concise.

(2) The T-S fuzzy observer proposed by [20] did not consider the influence of time-varying disturbances (random measurement noise, external disturbances, etc.) on estimation performance and the solution to the antidisturbance problem was also not given. However, the proposed algorithm in this paper has excellent antidisturbance performance, which is the most important advantage compared with the existing approaches. In order to fully illustrate this point, Experiment 2 is further carried out.

Experiment 2. It is the performance test with the presence of disturbances and failures.

Assuming that in the diagnosis process there are external time-varying disturbances as shown in (37) and time-varying failures as shown in (34) at the same time,

[mathematical expression not reproducible]. (37)

In addition, sensors' random measurement noise n(t) is seen as a band-limited white noise with the height of the power spectral density (PSD) being equal to 0.01 and zero mean, and its variance is equal to 1; namely,

[mathematical expression not reproducible]. (38)

The control input vector also uses (35); initial state vector x and estimation vector [??] use (36).

In order to thoroughly analyze and evaluate the convergence factors' impact on the performance of state estimation and fault estimation, the convergence factor matrix n in adaptive fault estimation algorithm (11) is selected as (30) and (39), respectively:

[mathematical expression not reproducible]. (39)

The effects of estimation based on [[PI].sub.1] are shown in Figures 9-12. The effects of estimation based on [[PI].sub.2] are shown in Figures 13-16.

For the proposed algorithm in this paper, the following can be concluded from Experiments 1 and 2:

(1) The performance of state estimation is perfect. Regardless of whether there are disturbances, the error signals of state estimation in stable state are very small; namely, [lim.sub.t[right arrow][infinity]][parallel][??][parallel] = [0] (see Figures 1, 2, 9, 10, 13, and 14). This shows that the designed fault detection observer (8) is not only stable but also very accurate. The precise state estimation provides the basis for the fault diagnosis of small-amplitude failures.

(2) The external disturbances and random measurement noise have a very obvious influence on the results of fault estimation. From Experiment 2, it can be found that, with the presence of disturbances and noise, the values of fault estimation have obvious "burr" (see Figures 11(b), 12(b), 15(b), and 16(b)). At this time, the estimated failures will oscillate around the actual failures. However, when there are no disturbances or noise, the values of fault estimation are very "smooth" (see Figures 3 and 4). In actual operation, fault system (2) has difficulty avoiding the influence of disturbances and noise, and therefore the results in Experiment 2 are more consistent with the actual situations.

(3) There are slight constant phase differences between actual values and estimated values in steady state (see Figures 3(b), 4(b), 11(b), 12(b), 15(b), and 16(b)). According to Theorem 5, the fault diagnosis algorithm based on fault detection observer (8) and fault estimation algorithm (11) can only ensure that state estimation error [??] and fault estimation error [??] are driven asymptotically to bounded positive constants, not to zero. In other words, the proposed algorithm is not an error-free estimation. So these simulation results are consistent with Lyapunov stability theory and this is why constant phase differences are generated. But the phase differences are not too large and are within an acceptable range.

(4) The convergence factor matrix n has a significant impact on the performance of fault estimation. In Experiment 2, through the comparison of [mathematical expression not reproducible], it can be found that if n1 is selected, the estimated failures in stable status have smaller amplitude errors (see Figure 11(b) versus Figure 15(b) and Figure 12(b) versus Figure 16(b)). Therefore, an appropriate increase of convergence factors can improve the accuracy of fault estimation and reduce the estimation errors. However, it is also found through experiments that too large values of convergence factors will cause the observer's divergence; therefore, careful selection of convergence factors is always required.

5. Conclusion

A nonlinear fault detection observer and an adaptive fault estimation algorithm have been proposed for the diagnosis of a class of nonlinear systems that have actuators' failures. Satisfactory experimental results have been achieved. The most important contribution of this paper is to present a novel diagnostic strategy that is able to give specific estimated values of state variables and failures when the external disturbances and measurement noise exist simultaneously. It has been proved that the fault detection observer, obtained via a Lyapunov function, is useful to achieve asymptotical stability in the case where unknown bounded disturbances and noise exist.

In this paper, we only discuss the problem of detection and estimation of actuators' failures. Future works will be focused on three aspects: the first aspect is the selection of convergence factors [PI] in (11). A guided approach of parameters' selection should be studied to guarantee that the proposed algorithm has faster estimation speed and smaller estimation errors; the second aspect is diagnosis algorithm's spreading. We hope that not only actuators' failures but also sensors' failures can be detected and estimated simultaneously; the third aspect is the practical use. This paper focuses on the theoretical research and how to apply the given results to engineering practice more effectively is also a major task to be completed in the future.

http://dx.doi.org/10.1155/2016/2618534

Competing Interests

The authors declare that there are no competing interests regarding the publication of this paper.

Acknowledgments

This work was jointly funded by the National Natural Science Foundation of China and the Civil Aviation Administration of China (Grant no. U1433103), the Natural Science Foundation of Tianjin (Grant no. 13JCYBJC39000), and the Basic R&D Operating Expenses of CAUC with no. 3122014B002 and no. 3122014D022.

References

[1] M. Chadli, S. Aouaouda, H. R. Karimi, and P. Shi, "Robust fault tolerant tracking controller design for a VTOL aircraft," Journal of the Franklin Institute, vol. 350, no. 9, pp. 2627-2645, 2013.

[2] S. Aouaouda, M. Chadli, M. T. Khadir, and T. Bouarar, "Robust fault tolerant tracking controller design for unknown inputs T-S models with unmeasurable premise variables," Journal of Process Control, vol. 22, no. 5, pp. 861-872, 2012.

[3] S. Aouaouda, M. Chadli, and H.-R. Karimi, "Robust static output-feedback controller design against sensor failure for vehicle dynamics," IET Control Theory and Applications, vol. 8, no. 9, pp. 728-737, 2014.

[4] H. R. Karimi, M. Zapateiro, and N. Luo, "A linear matrix inequality approach to robust fault detection filter design of linear systems with mixed time-varying delays and nonlinear perturbations," Journal of the Franklin Institute, vol. 347, no. 6, pp. 957-973, 2010.

[5] Y. Y. Xu, S. C. Tong, and Y. M. Li, "Prescribed performance fuzzy adaptive fault-tolerant control of non-linear systems with actuator faults," IET Control Theory and Applications, vol. 8, no. 6, pp. 420-431, 2014.

[6] A. Bregon, G. Biswas, B. Pulido, C. Alonso-Gonzalez, and H. Khorasgani, "A common framework for compilation techniques applied to diagnosis of linear dynamic systems," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 44, no. 7, pp. 863-876, 2014.

[7] H. Z. Hosseinabadi, B. Nazari, R. Amirfattahi, H. R. Mirdamadi, and A. R. Sadri, "Wavelet network approach for structural damage identification using guided ultrasonic waves," IEEE Transactions on Instrumentation and Measurement, vol. 63, no. 7, pp. 1680-1692, 2014.

[8] J. Li and G.-H. Yang, "Fault detection filter design for discrete-time switched linear systems with mode-dependent average dwell-time," International Journal of Adaptive Control and Signal Processing, vol. 28, no. 1, pp. 77-95, 2014.

[9] S. Yin and X. Zhu, "Intelligent particle filter and its application to fault detection of nonlinear system," IEEE Transactions on Industrial Electronics, vol. 62, no. 6, pp. 3852-3861, 2015.

[10] L.-Y. Meng and B. Jiang, "Fault diagnosis based on the nonlinear adaptive observer," Systems Engineering and Electronics, vol. 30, no. 7, pp. 1317-1319, 2008.

[11] S. Kelkar and R. Kamal, "Adaptive fault diagnosis algorithm for controller area network," IEEE Transactions on Industrial Electronics, vol. 61, no. 10, pp. 5527-5537, 2014.

[12] S. Aouaouda, M. Chadli, P. Shi, and H. R. Karimi, "Discrete-time H-/H[infinity] sensor fault detection observer design for nonlinear systems with parameter uncertainty," International Journal of Robust and Nonlinear Control, vol. 25, no. 3, pp. 339-361, 2015.

[13] S. Aouaouda, M. Chadli, V. Cocquempot, and K. M. Tarek, "Multi-objective H_/[H.sub.[infinity]] fault detection observer design for Takagi-Sugeno fuzzy systems with unmeasurable premise variables: descriptor approach," International Journal of Adaptive Control and Signal Processing, vol. 27, no. 12, pp. 1031-1047, 2013.

[14] M. Chadli, A. Abdo, and S. X. Ding, "H_/[H.sub.[infinity]] fault detection filter design for discrete-time Takagi-Sugeno fuzzy system," Automatica, vol. 49, no. 7, pp. 1996-2005, 2013.

[15] E. Alcorta-Garcia, A. Zolghadri, and P. Goupil, "A nonlinear observer-based strategy for aircraft oscillatory failure detection: A380 case study," IEEE Transactions on Aerospace and Electronic Systems, vol. 47, no. 4, pp. 2792-2806, 2011.

[16] Y. Han, S. Oh, B. Choi, D. Kwak, H. J. Kim, and Y. Kim, "Fault detection and identification of aircraft control surface using adaptive observer and input bias estimator," IET Control Theory and Applications, vol. 6, no. 10, pp. 1367-1387, 2012.

[17] M. Rodrigues, H. Hamdi, D. Theilliol, C. Mechmeche, and N. Benhadj Braiek, "Actuator fault estimation based adaptive polytopic observer for a class of LPV descriptor systems," International Journal of Robust and Nonlinear Control, vol. 25, no. 5, pp. 673-688, 2015.

[18] J. Zhang, A. K. Swain, and S. K. Nguang, "Robust Hot adaptive descriptor observer design for fault estimation of uncertain nonlinear systems," Journal of the Franklin Institute, vol. 351, no. 11, pp. 5162-5181, 2014.

[19] R. X. Guo, K. Guo, J. K. Dong, and Y. Zhu, "Time-varying and anti-disturbance fault diagnosis for a class of nonlinear systems," Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, vol. 229, no. 7, pp. 573-586, 2015.

[20] D. Krokavec and A. Filasova, "A reduced-order TS fuzzy observer scheme with application to actuator faults reconstruction," Mathematical Problems in Engineering, vol. 2012, Article ID 951953, 25 pages, 2012.

Runxia Guo, (1) Kai Guo, (1) Quan Gan, (1) Junwei Zhang, (1) Jiankang Dong, (1) and Lanping Bai (2)

(1) College of Electronics Information and Automation, Civil Aviation University of China, Tianjin 300300, China

(2) Process Engineering Department, Freescale Semiconductor (China) Limited, Tianjin 300300, China

Correspondence should be addressed to Runxia Guo; rxguoblp@163.com

Received 13 October 2015; Revised 28 December 2015; Accepted 13 January 2016

Academic Editor: M. Chadli

Caption: Figure 1: Estimation of [x.sub.1] based on the proposed approach.

Caption: Figure 2: Estimation of [x.sub.2] based on the proposed approach.

Caption: Figure 3: Estimation of failure 1 based on the proposed approach: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 4: Estimation of failure 2 based on the proposed approach: (a) estimation of failure 2 and (b) enlarged view.

Caption: Figure 5: Estimation of [x.sub.1] based on the T-S fuzzy models.

Caption: Figure 6: Estimation of [x.sub.2] based on the T-S fuzzy models.

Caption: Figure 7: Estimation of failure 1 based on the T-S fuzzy models: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 8: Estimation of failure 2 based on the T-S fuzzy models: (a) estimation of failure 2 and (b) enlarged view.

Caption: Figure 9: Estimation of [x.sub.1] with [[PI].sub.1].

Caption: Figure 10: Estimation of [x.sub.2] with [[PI].sub.1].

Caption: Figure 11: Estimation of failure 1 with [[PI].sub.1]: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 12: Estimation of failure 2 with [[PI].sub.1]: (a) estimation of failure 2 and (b) enlarged view.

Caption: Figure 13: Estimation of [[PI].sub.1]1 with [[PI].sub.2].

Caption: Figure 14: Estimation of [x.sub.2] with [[PI].sub.2].

Caption: Figure 15: Estimation of failure 1 with [[PI].sub.2]: (a) estimation of failure 1 and (b) enlarged view.

Caption: Figure 16: Estimation of failure 2 with [[PI].sub.2]: (a) estimation of failure 2 and (b) enlarged view.

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Guo, Runxia; Guo, Kai; Gan, Quan; Zhang, Junwei; Dong, Jiankang; Bai, Lanping |

Publication: | Mathematical Problems in Engineering |

Article Type: | Report |

Date: | Jan 1, 2016 |

Words: | 5164 |

Previous Article: | Research of Jiles-Atherton Dynamic Model in Giant Magnetostrictive Actuator. |

Next Article: | Prediction of Collapse Scope of Deep-Buried Tunnels Using Pressure Arch Theory. |

Topics: |