Abstract
This paper is concerned with the distributed fault estimation for a class of nonlinear networked systems, where the T-S fuzzy model is utilized to approximate the nonlinear plant and the whole fault estimation task is operated by a wireless sensor network. Due to the limited power in sensors, signal is quantized before transmission. Based on the Lyapunov stability theory and the robust control approach, a sufficient condition is obtained such that the estimation error system is asymptotic stable with a prescribed performance level. Finally, a case study on the actuator fault estimation of robotic manipulator is given to show the effectiveness of the proposed design.
1. Introduction
Fault detection and isolation (FDI) and fault tolerant control (FTC) have received considerable attention in the past two decades due to the increasing demand for higher performance, higher safety, and reliability standards in engineering. Till now, many effective FDI methods have been proposed including the model-based fault detection approach [1], parity relations approach [2], the Kalman filter-based approach [3], and so on. Based on the FDI information, the controller is reconstructed to compensate the fault, which can guarantee the stability of systems and also some certain performance [4, 5]. For example, the authors in [6] proposed a methodology for detection and accommodation of actuator faults for a class of multi-input-multi-output (MIMO) stochastic systems. Firstly, a new real-time fault estimation module that estimates the actuator effectiveness was developed. Then, the output of the nominal controller is reconfigured to compensate for the loss of actuator effectiveness in the system. Simulation results of a helicopter in vertical plane were finally presented to demonstrate the performance of the proposed fault-tolerant control scheme. In [7], the authors studied the problem of robust fault estimation (FE) observer design for discrete-time Takagi-Sugeno (T-S) fuzzy systems via piecewise Lyapunov functions. Both the full-order FE observer (FFEO) and the reduced-order FE observer (RFEO) were presented. They showed that the optimal fault estimator can be determined by solving a set of linear matrix inequalities. It should be noted that all the above fault estimators are designed in a centralized way, and such a framework may have low reliability; for example, the estimation task may fail once the estimator has unrecoverable fault.
With the development of wireless sensor networks (WSNs), distributed estimation has received much attention in the last decade. Compared with the centralized filtering systems, the distributed filtering one has more redundancies, and thus it has higher reliability. Once some sensors have unrecoverable fault, other sensors can also provide the estimation signal. For example, a distributed Kalman filtering algorithm has been introduced in [8] that allows the nodes of a sensor network to track the average of sensor measurements using an average consensus based distributed filter. In the scenario that the priori information on the external noises is not precisely known, the authors in [9] proposed an average performance and the distributed observer design has been presented such that the prescribed estimation performance is guaranteed in the sense. Recently, the distributed filtering for a class of sensor networks with switching topology is investigated in our earlier work [10]. Based on the switched system approach, we showed that the sensor working mode can be regulated to save energy. Recent advancement on the distributed filtering in sensor networks is referred to [8–10].
It is worth pointing out that the above distributed filtering results only focused on the state estimation problem. However, certain faults may occur in practical systems as we have mentioned above. In particular, in today’s industrial systems, actuator fault may occur due to the increasing complexity of systems. Then, a natural problem is how to estimate the fault in a distributed way? To the best of the author’s knowledge, such a challenging work has not been investigated yet. In this paper, we are concerned with the distributed fault estimation for a class of nonlinear systems. Two fundamental difficulties are identified as follows: in the sensor-network-based distributed fault estimation systems, the first difficulty is how to prolong the lifetime of the networks as the sensor power is usually limited and it is impossible to be replaced when deployed in a large geometric area. For a sensor network, each filter is designed based on the local information and the information from its neighboring ones, so the second difficulty is how to handle the complicated couplings between one sensor and its neighboring sensors in the presence of multiple quantization errors.
To handle the above challenges, attention of this paper is focused on designing a set of distributed fault estimators such that the estimation error system is asymptotically stable and achieves a prescribed performance. Firstly, the Kronecker product is introduced to help solve the complex coupling of sensors in network. Then, signal quantization technique is utilized to reduce the transmitted packet size and thus save the transmission power. Based on the robust control technique and the Lyapunov stability theory, a new sufficient condition is obtained for the solvability of the considered estimation problem. Finally, a case study of robotic manipulator is given to show the effectiveness of the proposed design.
Notation. Some definitions for the notation used throughout the paper are given as follows. A superscript T stands for matrix transposition and superscript stands for the inverse of a matrix; denotes the -dimensional Euclidean space and denotes the Euclidean norm; denotes the space of square-integrable vector functions over and the symbol denotes the Kronecker product; and represent the identity matrix and zero matrix with appropriate dimensions; represents an -dimensional column vector with all the entries being identity.
2. Problem Formulation
The sensor network is deployed to monitor the plant, where there is no centralized fusion center in the network, and every sensor in the network acts also as an estimator.
Standard definitions for the sensor networks are now given as follows. Let the topology of a given sensor network be represented by a direct graph of order with the set of sensors , set of edges , and a weighted adjacency matrix with nonnegative adjacency elements . An edge of is denoted by . The adjacency elements associated with the edges of the graph are , , if sensor receives information from sensor , whereas , if sensor can not receive information from sensor . Moreover, we assume for all . The set of neighbors of node plus the node itself are denoted by . is a square matrix representing the topology of the sensor network.
In this paper, the nonlinear plant is described by the following T-S model.
Plant Rule . IF is and is and and is , THEN where is the premise variable vector, is the fuzzy set, and is the number of IF-THEN rules. is the state variable, is the input, is the unknown disturbance belonging to , is the fault vector, is the output measured by the th fault estimator, and , , , , are all known real matrices with appropriate dimensions.
Remark 1. It should be pointed out that the T-S fuzzy model (1) can only approximate the smooth nonlinear control systems, but not all the nonlinear control systems. Our attention in this paper is to design the fault estimator for such a class of nonlinear systems described by the T-S fuzzy model. We will show in the simulation part that such a T-S fuzzy system can be used to model the nonlinear robotic manipulator.
By using a center-average defuzzifier, product fuzzy inference, and a singleton fuzzifier, the overall fuzzy system is inferred as
where and , with representing the grade of membership of in . Usually, it is assumed that and for all .
For system (2), the following distributed fault estimator form is constructed.
Plant Rule . IF is and is and and is , THEN where is the estimator state vector, is the estimator output, and is an estimate of ; and are the estimator gain matrices to be designed. represents the quantizer in th estimator with the quantization density and the set of quantization levels are described as
Its quantization is described by Here, is the input vector; the quantized output is given by the following piecewise function where is the maximum error coefficient of quantizer . In this paper, the quantization error is defined as
Let , and let the tracking errors of and be Then, based on (1) and (3), the error dynamics can be derived as where , and , .
Let
By defining , , combining (9) and (10), the following augmented estimation error system is obtained: where
The objective of this paper is to design the robust distributed fault estimator in the form of (3) such that the estimation error system (12) is asymptotic stable and achieves an performance. To be more specific, the estimation requirements are expressed as follows.(1)The augmented estimation error system in (12) with is asymptotically stable.(2)For any nonzero external disturbance , its effect on the estimation error is attenuated below a desired level . More specifically, it is required that
The estimation error system (12) is said to be asymptotically stable with an average performance if the aforementioned requirements are met.
Remark 2. In this paper, our attention is focused on estimating the fault signal in the presence of unknown disturbance. Hence, we choose . It is interesting to see that when we choose as an identity matrix, both state and fault signals can be estimated such that the estimation error system is asymptotic stable and achieves a prescribed performance level.
The following lemmas are introduced before further proceeding.
Lemma 3 (see [11]). For given matrices of appropriate dimensions , , and with satisfying , then holds for all if and only if there exists a scalar such that
Lemma 4 (see [12]). For matrices , , and the following matrix inequality holds if and only if there exists a matrix of appropriate dimensions such that
3. Main Results
In this section, we aim to solve the distributed fault estimation problem. Some theorems are derived that the estimation error system (12) is asymptotic stable and achieves an performance. Theorem 5 guarantees that the estimation error system (12) is asymptotic stable with an performance , and the specific design method for distributed fault estimator is proposed in Theorem 7.
Theorem 5. For a given system (3) and a scalar , the estimation error system (12) is asymptotic stable with an performance if there exist symmetric positive matrices and a scalar , the following inequalities hold for all , where
Proof. We first consider the asymptotic stability of the augmented estimation error system (12) with . Construct the following Lyapunov function:
then the dynamics of is given by
where and , . It can be obtained that , where .
Notice that ; by using Lemma 3 and Schur complement, it can be seen that is equivalent to
It is noted that (23) holds if (19) holds; hence we have , indicating that the estimation error system (12) is asymptotic stable.
We then consider the performance of the estimation error system (12). Define
Denote ; then it can be obtained under the zero initial conditions that
where with
Based on Lemma 3 and Schur complement, it can be derived from (19) that . Thus and the estimation error system (12) is asymptotic stable with an performance . The proof is completed.
Remark 6. In Theorem 5, it is difficult to determine the estimator gains due to the nonlinear term in (19). Toward this end, based on Theorem 5, Theorem 7 is proposed to determine the estimator gains.
Theorem 7. For a given system (3) and a scalar , the estimation error system (12) is asymptotic stable with an average performance if there exist symmetric positive matrices , a matrix , and a scalar ; the following inequalities hold for all . Meanwhile, the estimator gains can be determined as
Proof. Based on Lemma 4 and Schur complement, it is easy to derive from (27) that (29) holds. Denote ; premultiplying (28) by and postmultiplying (29) by simultaneously, (18) is obtained, which ends the proof. Consider
Remark 8. Optimal solutions for the problem of distributed fault estimation can be obtained by solving the following optimization problem: The estimator gains can be determined through (28).
4. Illustrative Example
In this section, a simulation example is presented to illustrate the effectiveness of the proposed design methods. Consider a single-link rigid robot that is connected through a revolute joint to the basement and whose plane of motion is vertical. The motion equation of this mechanical system is given by [13, 14] where denotes the joint rotation angle in radians, is the mass of the load, is the mass of the rigid link, is the gravity constant, is the length of the robot link, is the moment of inertia, and is the control torque applied at the joint in Nm. denotes the lowest vertical equilibrium position.
By applying the approach in [13], a T-S fuzzy model is constructed for system (31) as follows: where , , and .
The fuzzy membership functions are set as and . By using the controller gain , , with a sampling time , the discrete-time model for system (32) is obtained as where
In this example, we consider the actuator fault problem, and we aim to estimate the fault in a distributed framework. Hence, and is estimated by two distributed estimators, with , , , , and . In order to achieve a better estimation performance, these two estimators share their measurements to each other. This is reasonable as two sensors may be enough to monitor the robotic manipulator and the sensors are usually deployed in the working area of this manipulator such that they can communicate with each other. By choosing , , solving the optimization problem (30), the minimized value for performance is obtained as and the corresponding filter parameter matrices are given as follows:
For simulation, the disturbance is randomly varying in and is chosen as
Simulation results are depicted as follows. The state trajectories of as well as its estimates and are shown in Figures 1 and 2, respectively. It follows from Figures 1 and 2 that the two sensors have the same estimation performance due the the consensus based estimation technique. Hence, once one sensor has temporary failure such that it cannot provide the estimation signal, we can also have the fault estimation signal from the other sensor. The relation between the quantization density and the estimation performance is given in Table 1. It is seen that the estimation performance becomes worse when the quantization density is small; however more energy may be saved as less information is transmitted.
5. Conclusions
We have investigated the distributed fault estimation for a class of nonlinear systems, where the nonlinear plant is approximated by a T-S fuzzy model. Due to the limited power in sensors, signal quantization technique has been utilized to save sensor power. Based on the Lyapunov stability theory and the robust control approach, a sufficient condition is obtained such that the estimation error system is asymptotic stable with a prescribed performance level. Finally, a case study on the fault estimation of actuator fault in the robotic manipulator is given to show the effectiveness of the proposed design. Some other future works, for example, the distributed fault estimation, with various networked issues will be considered [15–18]. In addition, in order to reduce the energy consumption of network, stochastic transmission protocol may be employed [19]. In this scenario, how to design the distributed fault estimator deserves further study.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
This work was supported by the Zhejiang Provincial Natural Science Foundation of China (no. LQ14F030002) and also by the National Key Technology R&D Program (no. 2012BAH38F01-02).