Advances in Observer Design and Observation of Nonlinear SystemsView this Special Issue
Adaptive Fault Estimation and Fault Tolerant Control for Polynomial Systems: Application to Electronic and Mechanical Systems
This paper presents a sum of squares (SOS) approach for active fault tolerant control (AFTC) of nonlinear polynomial systems. A polynomial adaptive fault estimation algorithm for polynomial systems is firstly proposed. Then, sufficient conditions for the existence of the fault estimator are given in terms of SOS which can be numerically (partially symbolically) solved via the recently developed SOSTOOLS. Based on the obtained online fault estimation information, a fault-tolerant control strategy is designed for both compensating the effect of actuator faults in real time and stabilizing the closed-loop system. Finally, tunnel diode circuit and mass-spring-damper systems are used to demonstrate the applicability of the proposed approach.
The growing complexity of modern industrial processes gives rise to increasing demands regarding fault estimation (FE) and fault-tolerant control (FTC). Various FE strategies have been proposed in the literature. For example, proportional integral sliding mode observer has been considered in Elleuch et al. ; learning algorithm has been proposed in Jia et al. . In Zhang et al.’s study , a fast adaptive actuator fault estimation technique is proposed for linear models. In Tayari et al.’s study , two adaptive sliding mode observers are adopted for a class of uncertain linear parameter varying systems.
Since the most practical systems are nonlinear, the adaptive observer approach has been extended to deal with nonlinear models. The well-known Takagi Sugeno (TS) fuzzy model has attracted much attention in the past two decades due to its powerful capability to approximate complex nonlinear systems. In Ichalal et al.’s study , the state and the actuator faults are well estimated by using the fast adaptive observer proposed in Zhang et al.  for TS fuzzy systems. An adaptive observer-based FTC has been designed for a class of TS fuzzy systems with both actuator and sensor faults in Kharrat et al. . Moreover, the performance is used in this work to attenuate the external disturbance effect.
Polynomial system is a class of nonlinear systems in the form of , where and are polynomial matrices. This class of systems can describe many engineering systems such as electronic circuits, mechanical systems, and communications systems. For instance, the electronic circuit with tunnel and the mass-spring-damper are described by polynomial models in Zhao et al.  and Li et al. , respectively. In Zhao et al.’s study , a functional observer is designed in order to estimate the system state and the unknown input, in which the observer design scheme has been applied to electronic circuit with tunnel described by the polynomial model. When this original model is considered, the LMI-based analysis approach cannot be applied directly. For this reason, the control of this electronic circuit is based on the transformation of the original polynomial model into TS fuzzy form. In this case, the controller is designed using LMI-based approach. Similarly, a mass-spring-damper system is used by Li et al.  to show the applicability of the proposed controller design.
The latest developments in sum of squares (SOS) programming techniques make it possible to deal directly with polynomial systems. So far, extensive results have been presented for investigating different classes of polynomial-based systems such as polynomial systems, positive polynomial systems, polynomial fuzzy systems, and polynomial fuzzy systems with time delay. Topics on delay-free case cover a wide range including stability analysis by Han et al. , stabilization by Zhao et al. , fuzzy observer design by Liu et al. , passive fault tolerant control by Ye et al. , and fault detection filter design by Chibani et al. . Recently, in the direction of investigating several classes of time delay polynomial systems, some results have been proposed in the literature, e.g., stabilization by Gassara et al. ; control under actuator saturation by Gassara et al. , and observer-based control for positive polynomial systems with time delay by Iben Ammar et al. . These various results are presented in terms of sum of squares (SOS), in which conditions are numerically (partially symbolically) solved via the recently developed SOSTOOLS by Prajna et al. . These results clearly demonstrate that the SOS approach can be used as an effective alternative technique to the LMI-based approaches for nonlinear systems with polynomial matrices. However, to our knowledge, there are no results for adaptive observer-based FTC for polynomial-based systems. Motivated by the aforementioned observation, in this work, the adaptive fault tolerant control problem for a class of polynomial model with actuator faults is investigated, in which polynomial terms depend only on the measurable variables.
The main contributions of this paper can be summarized as follows:(i)A novel polynomial adaptive observer is proposed. Despite, standard adaptive observer has been extensively studied in literature for fault estimation, polynomial adaptive observer is not yet investigated for the class of polynomial model. The main advantage of the proposed polynomial adaptive observer-based fault estimation compared with the standard one is that the observer gain is not constant but polynomial.(ii)Various practical engineering systems can be modeled by the proposed polynomial model. For design purpose, the dynamics of these systems are generally approximated in literature by TS fuzzy models. In this case, the polynomial model can reduce the computational load especially when the number of fuzzy rules is high.(iii)The proposed polynomial model can also increase the modelling accuracy. In fact, we can deal with the original model without using the sector nonlinearity concept to transform the original model into the TS fuzzy model. This allows to avoid setting the variation bounds of some system states.
It becomes increasingly apparent that the SOS approach can be extended to deal with large research topics, e.g., adaptive tracking control by Chen et al.  and Wang et al. ; event-triggered control by Xie et al. ; and finite-time adaptive fault-tolerant control by Wang et al. .
This paper is organized as follows. In Section 2, we present a description of a class of polynomial models with actuator faults. Sufficient conditions for the existence of the actuator fault estimator are given in Section 3. These conditions are given in terms of SOS. Meanwhile, based on the online fault estimation, the controller law is then designed to compensate the effect of actuator faults. In Section 4, a tunnel diode circuit and mass-spring-damper systems are presented to demonstrate the applicability of the proposed result. Finally, Section 5 concludes the paper.
2. Problem Formulation
Consider the following polynomial model with additive actuator faults:where is the state vector, is the input vector, is the additive actuator fault vector, is available, such as the partial system state variables and the system outputs as in Pang and Zhang’s study , is the measurement output vector, is constant real matrix, and and are polynomial matrices in .
The derivative of with respect to time is norm-bounded:
To estimate actuator faults, the following polynomial adaptive fault diagnosis observer is considered:where is the observer state vector, is the observer output vector, and is an estimate of actuator fault .
Denote the state and fault estimation errors as follows:
State estimation error is written as
The conventional adaptive fault estimation algorithm is given bywhere is the learning rate.
In Figure 1, the block diagram illustrates the proposed polynomial FTC strategy.
From now, to lighten the notation, we will drop the notation with respect to time . For instance, we will employ , , and instead of , , and , respectively.
3. Main Results
3.1. Fault Estimation Based on Polynomial Adaptive Algorithm
In this section, the stability of the error dynamics is guaranteed by the following theorem.
Theorem 1. If there exists positive definite matrix and polynomial matrices and such that the following SOS optimization problem is feasible.
Minimize subject towhere , , and denote vectors that are independent of , , and .in whichthen the state estimation error and the fault estimation error are bounded. Furthermore, if the bound of the first time derivative of is zero, these variables converge asymptotically to zero. In this case, the gain of the polynomial adaptive observer-based is given by .
Proof. Consider the following Lyapunov functionDifferentiating with respect to time and considering (3), (5), and (6), it leads toOne haswhereIf (8) holds, thenApplying Schur complement to (16) implies thatThe minimization of leads to the following equality:Hence,This inequality can been rewritten as follows:where , in whichIf (9) holds, then . Furthermore, if (9) holds with for , then . Therefore, there exists a scalar such thatIt follows that if , and according to Lyapunov stability theory converges to the following set:Thus, estimation errors of both the state and the fault are uniformly ultimately bounded.
Remark 1. Selection of the learning rate influences the accuracy of the system state and actuator faults estimation (see Kharrat et al. ). This parameter should be adjusted such that is minimised.
Remark 2. The nonnegative polynomials and for can be accommodated by SOS optimization as in Papachristodoulou and Prajna’s study. .
3.2. Fault Accommodation
After that, the fault information is obtained, and we will consider the fault-tolerant control design problem of system (1) to compensate the effect of actuator faults and to stabilize the resulting closed loop systems by considering the following FTC law:
can be considered as an external disturbance, and the boundedness of and can be guaranteed by Section 3.1. So, if the polynomial state feedback controllercan ensure that the following polynomial system is asymptotically stable:then state vector is uniformly ultimately bounded under observer-based fault tolerant controller (3) according to the input-to-state stability theory.
The polynomial state feedback controller (27) can be obtained by solving the SOS conditions presented in the following theorem.
Theorem 2. Control law (27) stabilizes polynomial system (28) if there exists a symmetric matrix and a polynomial matrix such that the following SOS conditions are satisfied:where and denote vectors that are independent of .In this case, a stabilizing feedback gain can be obtained from and as .
4. Simulation Examples
4.1. Example 1: Tunnel Diode Circuit
A tunnel diode circuit shown in Figure 2 is adopted from the study by Zhao et al.  and Iben Ammar et al. . This electronic circuit can be described as follows:where and are two resistors, is a capacitor, and is an inductor.
The tunnel diode circuit parameters are taken as
Based on the concept of nonlinearity sector, a T–S fuzzy model is proposed in Zhao et al.  to represent the dynamics of this system under . In this paper, we deal directly with polynomial model (31), without any assumption. Furthermore, is not restricted to be in .
In order to illustrate the use of result, we assume that we have an actuator fault. In this case, the polynomial model is as follows:where is an additive actuator fault defined by
We choose , , degrees of , , and are 0, 2, and 0, respectively. Solving the SOS conditions in Section 3.1, one can obtain that
The polynomial state feedback gain matrix is calculated by solving SOS conditions in Section 3.2. By choosing , the degrees of , are 0 and 2, respectively. We get
By taking learning rate and , we obtain . Simulation results are shown in Figures 3–5. Figure 3 shows the evolution of actuator fault and its estimated values. Figures 4 and 5 show the evolution of system states and , respectively, with nominal control and fault tolerant control law.
It is noted that when actuator failures occurs, the stability of the closed-loop polynomial model with the nominal controller is not even guaranteed, whereas the closed-loop system using the fault tolerant control still operates correctly and remains maintained.
4.2. Example 2: Mass-Spring-Damper System
In this example, we consider a mass-spring-damper system (Figure 6) described by the following polynomial model given in Li et al. :where is the mass, is the displacement of the mass, is the velocity of the mass, and u(t) is the input force.
Mass-spring-damper system parameters are , , , , and .
We notice that the mass-spring-damper system is modeled as a polynomial system, whereas in Li et al.’s study , it has been modeled as an uncertain system with polytopic uncertainties by restricting the state variables and such as and , , . However, in this paper, we do not need this restriction, we take the original model as it is.
By adding the actuator fault on the system, the polynomial model can be described bywhere is an additive actuator fault defined by
We choose , , of degree 2 in , and of degree 2 in . By solving SOS conditions in Section 3.1, we get
Now, we choose , of degree 2 in . By solving the SOS conditions in Section 3.2, the polynomial controller gain is obtained as:
By choosing , we obtain . Similar to example 1, we show the evolution of actuator fault and its estimated values in Figure 7. The evolution of system state with nominal control and fault tolerant control law is given in Figure 8 and the evolution of system state with nominal control and fault tolerant control law in Figure 9.
In this paper, we have developed an adaptive actuator FTC strategy for a class of polynomial models, and sufficient analysis and design conditions in terms of SOS are proposed. Based on the adaptive fault estimation, a fault tolerant control is designed to guarantee the stability of the closed loop systems despite fault presence. Two simulation examples are presented to demonstrate the applicability of the proposed polynomial active fault-tolerant controller using the adaptive fault estimation algorithm. As future work, we will investigate the problem of adaptive fault estimation and fault-tolerant control for polynomial fuzzy systems with time delay considering measurable and unmeasurable premise variables.
The data used to support the findings of this study are available upon request.
Conflicts of Interest
The authors declare that there are no conflicts of interest.
I. Elleuch, A. Khedher, and K. B. Othman, “State and faults estimation based on proportional integral sliding mode observer for uncertain takagi-sugeno fuzzy systems and its application to a turbo-reactor,” International Journal of Fuzzy Systems, vol. 19, no. 6, pp. 1768–1781, 2017.View at: Publisher Site | Google Scholar
Q. Jia, L. Wu, and H. Li, “Robust actuator fault reconstruction for takagi-sugeno fuzzy systems with time-varying delays via a synthesized learning and luenberger observer,” International Journal of Control, Automation and Systems, vol. 19, no. 2, pp. 799–809, 2021.View at: Publisher Site | Google Scholar
K. Zhang, B. Jiang, and V. Cocquempot, “Adaptive observer-based fast fault estimation,” International Journal of Control, Automation, and Systems, vol. 6, no. 3, pp. 320–326, 2008.View at: Google Scholar
D. Zhao, H. K. Lam, Y. Li, S. X. Ding, and S. Liu, “A novel approach to state and unknown input estimation for takagi-sugeno fuzzy models with applications to fault detection,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 67, no. 6, pp. 2053–2063, 2020.View at: Publisher Site | Google Scholar
M. Han, H. K. Lam, F. Liu, and Y. Tang, “More relaxed stability analysis and positivity analysis for positive polynomial fuzzy systems via membership functions dependent method,” Fuzzy Sets and Systems, 2021, in press.View at: Google Scholar
D. Ye, NN. Diao, and X. G. Zhao, “Fault-tolerant controller design for general polynomial-fuzzy-model-based systems,” IEEE Transactions on Fuzzy Systems, vol. 26, no. 2, pp. 1046–1051, 2017.View at: Google Scholar
S. Prajna, A. Papachristodoulou, and P. A. Parrilo, “Introducing SOSTOOLS: a general purpose sum of squares programming solver,” in Proceedings of 41st IEEE Conference on Decision Control, pp. 741–746, Las Vegas, NV, USA, December 2002.View at: Google Scholar
M. Chen, H. Wang, and X. Liu, “Adaptive fuzzy practical fixed-time tracking control of nonlinear systems,” IEEE Transactions on Fuzzy Systems, vol. 29, no. 3, pp. 664–673, 2019.View at: Google Scholar
A. Papachristodoulou and S. Prajna, “On the construction of Lyapunov functions using the sum of squares decomposition,” in Proceedings of IEEE Conference on Decision and Control 2002, Las Vegas, NV, USA, December 2002.View at: Google Scholar