Abstract

This paper deals with the discrete event-triggered robust fault-tolerant control problem for uncertain nonlinear networked control systems (NNCSs) with α-safety degree. A discrete event-triggered communication scheme (DETCS) is initially proposed, and a closed-loop fault model is subsequently established for NNCSs with actuator saturation under the DETCS. Based on an appropriately constructed delay-dependent Lyapunov–Krasovskii function, sufficient conditions are derived to guarantee the asymptotic stability of NNCSs under two different event-triggered conditions and are established as the contractively invariant sets of fault tolerance with α-safety degree. Furthermore, codesign methods between the robust fault-tolerant controller and event-triggered weight matrix are also proposed in terms of linear matrix inequality. The simulation shows that the resultant closed-loop fault NNCSs possesses a high safety margin, and an improved dynamic performance, as well as a reduced communication load. A comparative analysis of the two event-triggered conditions is discussed in the experiment section.

1. Introduction

With the increasing scale and complexity of networked control systems (NCSs), high safety and reliability have ceased to be extravagant demands for NCSs. These features have become intrinsic properties of the modern NCSs. As an important technology for improving system safety and reliability, fault-tolerant control for NCSs has thus attracted increasing attention [14] and has made outstanding progress [58]. As is well known, the controlled plant more or less contains several nonlinear characteristics; that is, the vast majority of controlled plants are nonlinear plants. Given the unique attributes derived from the nonlinear system, which is inherently complex, and the network as system transmission medium, the fault-tolerant design for nonlinear networked control systems (NNCSs) become increasingly difficult and challenging and, as such, has become the focus of academic research [913]. Considering sensor failures, an augmented closed-loop system model based on a state observer was established in [11], and a sufficient condition was derived to maintain asymptotic stability in the NNCSs. In consideration of actuator failures, the irrelevant augmented matrix was introduced into the Lyapunov function in [13], and the reliability control problem was studied for NNCSs with random time delay. In addition, with the goal of ensuring stable operation for NNCSs with failures, researchers have also carried out work on fault-tolerant control with other performance constraints [1418], such as the pole assignment, -stability [19], disturbance rejection, and generalized performance index. In consideration of actuator faults, a time delay dependent condition with the robust stability was derived for NNCSs in [17], where the design method for the robust fault-tolerant controller was also given under the terms of a cone complementarity linearization algorithm. Several performance indexes, such as -stability, performance index, and performance index, were introduced into the fault-tolerant design field for NNCSs [18], and some robust satisfactory fault-tolerant control problems were also systematically studied therein for uncertain NNCSs.

In the area of network communications, many of the achieved results are based on a periodic time-triggered communication scheme (PTTCS), where system data are transmitted within an equal period of time determined by a physical clock. The PTTCS possesses several outstanding advantages of simplicity and convenience in system analysis and design, but it also leads to many redundant data transmissions. Meanwhile, under this scheme, the controller design passively relies on the existing quality of service (QoS) for networks, and the codesign of control and network communication cannot be implemented by taking two things into consideration which are quality of control (QoC) for systems and QoS for networks. As a result, some scholars have recently presented a series of event-triggered communication schemes [2025] to solve the existing problems in PTTCS. The discrete event-triggered communication scheme (DETCS) was first presented in [20], wherein system state information need only be detected in the discrete time point. A novel DETCS was proposed in [25], where the filtering problem was studied for NNCSs with networked induced time delay. Recently, a few scholars introduced the DETCS into fault-tolerant control for NCSs, which soon after proved to be highly interesting and valuable [26, 27]. A reliable control design for linear NCSs was studied under DETCS in [26], where a criterion for exponential stability was also obtained for NCSs with probabilistic sensor and actuator faults. In [27], a robust integrity design problem was studied for NCSs with actuator failures and time-varying delay under DETCS, and the codesign method between the robust fault-tolerant control and network communication was also presented.

From the aforementioned results, the following conclusions naturally follow. On the one hand, the methods in [1418] cause the NNCSs to possess not only fault-tolerant abilities against certain failures but also some performance indexes. However, these methods do not consider network communication resource saving. On the other hand, although the methods in [26, 27] studied the codesign of fault-tolerant control for NCSs and network communication, results therein are also limited to the stability of NCSs with failures and do not cover other performances. To date, no study has been involved in such research work for NNCSs as that in [26, 27]. In addition, none of the aforementioned references considered the actuator saturation problem, despite being an unavoidable problem in practice [28, 29], which leads to system performance degradation and instability of the closed-loop system. Especially in cases when the redundant actuator shares the responsibility for fault actuator, the actuator easily enters into the saturation region. Motivated by these problems and in consideration of actuator saturation constraints and actuator failures, we thus investigate the codesign problem between the robust fault-tolerant control for NNCSs and network communication under the DETCS architecture.

This study has three main contributions:(1)The DETCS is introduced into fault-tolerant control for NNCSs. The DETCS can transform the conventional delay-dependent state-feedback control law into a delay/event codependent state/state-error control law and serves as the basis of a closed-loop fault system model that we carefully established for NNCSs with actuator saturation.(2)Three new definitions are proposed by introducing the concepts of -stability, domain of attraction, and contractively invariant set into the field of fault-tolerant control research. The introduction of the -safety degree, in particular, can improve performance satisfaction in systems with failures.(3)Sufficient conditions and codesign methods are derived for the closed-loop fault NNCSs with actuator saturation under two different event-triggered conditions. The derived conditions and methods can make NNCSs with actuator failures possess -safety degree and low occupancy rate of network communication resource. The simulation indicates that the codesign methods can provide a certain trade-off in balancing the required communication and the desired performance.

Notations. represents the -dimensional real vector space; is the set of all -dimensional real matrices; (≥0) indicates that the matrix is positive (nonnegative) definite; refers to the block-diagonal matrix; is the identity matrix of appropriate dimension; and is the transpose of matrix . In symmetric block matrices, “” is used as an ellipsis for terms induced by symmetry, and matrices, if not explicitly stated, are assumed to have appropriate dimensions.

2. Problem Statement

2.1. Uncertain Closed-Loop Fault NNCSs under DETCS

The controlled plant with actuator saturation can be described according to the following if-then rule.

If is and is , thenwhere and is the number of if-then rules; is the fuzzy set; denotes the premise variables; and denote the state vector and the control input, respectively; function denotes the standard multivariable saturation function defined as and ; and and are the system matrix and the input matrix, respectively. In addition, , , which are assumed to be norm bounded, denote the uncertainty of system parameters. They are time varying and satisfywhere , , and are real constant matrices with appropriate dimensions; is an unknown time-varying continuous matrix function with real values, the elements of which are Lebesgue measurable; and satisfies .

The following fuzzy system state equation is obtained using center-average defuzzifier, product inference, and singleton fuzzifier:where, and is the degree of the membership of variable in fuzzy set .

The communication scheme must be built with some constraints that can determine whether or not to send the state signal through the network to reduce the network resource waste and network congestion in PTTCS. Based on [20, 25], a new DETCS is built, as shown in Figure 1.

In contrast to traditional NCSs, the sample data need to pass the event generator before being transmitted by the network, as depicted in Figure 1. The function of the event generator is to determine whether or not to transmit the latest sample signal to the controller. The event-triggered condition is presented as follows:where and are symmetric positive definite matrices that are the weight matrices of the DETCS to be designed; is the sampling period that drives the sensor clock; and denote the current sampled data and the latest transmission data, respectively, where , , and ; is the release instant set of data transmission and is the subset of the period sampling instant set ; denotes the release period given in terms of condition (5) at time . When and satisfy event-triggered condition (5), the event generator is not triggered, and data is not transmitted.

To perform the following research work conveniently, another event-triggered condition, as in [23], is listed as follows:where is the symmetric positive definite matrix that is the weight matrix of the DETCS to be designed and is the bounded positive scalar that is the event-triggered parameter.

Regardless of which condition we select from event-triggered conditions (5) and (6), we make the following assumption and description. First, we suppose that the system state is completely measured and that the system adopts the static state-feedback controller. Considering the effect of network transmission time delay and calculation time delay, we set the comprehensive time delay as at time , where and denote the transmission time delays from the sensor to the controller and from the controller to the actuator, respectively, and denotes the calculation time delay. Meanwhile, considering the role of zero-order holder, when , we can express the control input aswhere is the state-feedback control gain matrix.

On the basis of the aforementioned description, when has reached the actuator but has not, we define the keep interval as

The keep interval is divided into several subintervals, such that where , , and , . To guarantee the effectiveness of the interval division, we suppose that is the virtual network transmission delay at sample instant .

When , the function is defined as

According to (9) and (10), the upper and lower bounds of time delay function are described aswhere , , and is the upper bound of .

When , the state error is defined as

When , based on the combinations of (5), (10), and (12) and the combinations of (6), (10), and (12), we, respectively, obtain

Based on the combination of (7), (10), and (12), is also written as

In consideration of general actuator failures [13], the model of control input with actuator failure is described asMatrix denotes the mode set of system actuator failures and describes the fault extent, where , , ; indicates that the th system actuator is invalid; implies that the th system actuator is at fault to some extent; and denotes that the th system actuator operates properly.

Through the combination of (1), (15), and (16), the nonlinear networked closed-loop fault systems (NNCFSs) model with actuator saturation constraints can be obtained based on the DETCS as follows:where and the initial state is denoted by , where . Meanwhile, set as , where is a continuous function in the interval .

Remark 1. The NNCSs model integrates many factors into a unified framework. These factors include the communication constraint condition, network time delay, actuator saturation, actuator failures, and the control law. The model lays a solid foundation for the following codesign of communication parameters and fault-tolerant controller for NNCSs.

2.2. Related Definition and Lemma

Before commencing the proof of the theorem, we present several related definitions and lemmas.

Definition 2. If the of -stability is defined as the system stability margin for a system without failure, then the of -stability can be extended as the system safety margin for a system with any possible actuator failures in mode set ; the system safety margin can also be abbreviated as -safety degree. The definition indicates that all the closed-loop poles of system satisfy and for the system with any possible actuator failures in mode set .

Definition 3. In the process of state transformation, if the following conditions are satisfied for the system with any possible actuator failures in mode set ,(1)the system possesses -safety degree,(2)the state trajectory whose initial state is from any point of set will converge to the equilibrium point; namelythen is defined as fault-tolerant domain of attraction with -safety degree, where is the corresponding state trajectory.

Definition 4. In the process of state transformation, if the following conditions are satisfied for system with any possible actuator failures in mode set ,(1)the system possesses -safety degree,(2)the state trajectory, the initial state of which is from any point of set , remains inside the set ,(3)the state trajectory, the initial state of which is from any point of set , converges to the equilibrium point, then is the contractively invariant set of fault tolerance with -safety degree, where is the corresponding state trajectory.

The contractively invariant set of fault tolerance with -safety degree is within the fault-tolerant domain of attraction with -safety degree. In general, obtaining the corresponding fault-tolerant domain of attraction is difficult; thus, the fault-tolerant domain of attraction with -safety degree can be estimated in terms of the corresponding contractively invariant set of fault tolerance.

If , where matrix and denotes the th row of matrix , then is defined as the region where the feedback control is linear for , as indicated in [30].

Based on an ellipsoid estimation of the domain of attraction, is a positive definite matrix. For , the ellipsoid is defined as , where denotes .

Lemma 5 (see [31]). Given two feedback matrices and , if , thenwhere denotes the convex hull of the linear feedback control group , , ; denotes the set of diagonal matrices whose diagonal elements are either 1 or 0; and elements exist in . If we suppose that each element of is labeled as , for , then . Define ; clearly, if  , is also an element of  .

Lemma 6 (see [32]). For any constant matrices , , scalar , and vector function , such that the integrations in the following are well defined:

Lemma 7 (see [33]). For any constant matrix , , scalars , and vector function , such that the following integration is well defined: where , ,

Lemma 8 (see [33]). For given matrices , , , , , and , scalars ; ifthenwhere and are defined in Lemma 7. If , then ; if , then .

Lemma 9 (see [34]). Given matrices , , and with appropriate dimensions and , thenholds if and only if, for some scalar ,

3. Main Results

3.1. Goal of Codesign between Network Communication and the Robust Fault-Tolerant Control for Uncertain NNCSs

Based on event-triggered condition (5) or (6) under the DETCS, when we consider the actuator saturation constraints and actuator failures, the goal of codesign between network communication and the robust fault-tolerant control for uncertain NNCSs with -safety degree is to seek the state-feedback controller gain and discrete event-triggered weight matrices, and , or , which can ensure that the NNCFSs (17) satisfies the following conditions.(1)With regard to the allowable uncertainty of parameters, NNCFSs (17) possesses -safety degree.(2)Based on the premise of satisfying the preceding condition, the occupancy rate of network communication resource is ensured to be as low as possible.

3.2. Condition of Invariant Set

We initially use event-triggered condition (5) to expand the work in related research.

Theorem 10. We consider the following parameters: under the event-triggered condition (5) in the DETCS, in consideration of system (17), for the given constants , , , , and and the given matrices , , and , exist some matrices, , , , , , and . If these parameters satisfy the following matrix inequalities and for any possible actuator failures in mode set and any acceptable uncertainty of system parameters,then NNCFSs (17) with actuator saturation keeps asymptotically stable in the domain of attraction and possesses -safety degree. That is, (15) denotes the robust fault-tolerant control law which can make NNCFSs (17) possess -safety degree and low occupancy rate of network resource, where

Proof. To ensure that system (17) possesses -safety degree, the state transformation must be introduced into the proof. Based on Lemma 5, when , thenwhere , , and .
According to Definition 2, if system (31) is asymptotically stable, then system (17) possesses -safety degree.
Construct the following Lyapunov−Krasovskii function of system (31) for where , , , , , and .
Taking the difference of along the trajectory of (31), we obtainAccording to Lemma 5, we obtainAccording to Lemma 6, we obtainAccording to Lemma 7, we haveWhen , according to (13) and , we haveCombining (34) with (37), we havewhere where , , and are the same as the corresponding element of Theorem 10.
If the following inequality is satisfied,then system (31) is asymptotically stable, in accordance with the Lyapunov stable theory; that is, uncertain NNCFSs (17) possesses -safety degree.
According to Lemma 8, inequality (40) is equivalent to that is,where .
We then obtain (29) by applying the Schur complement. Therefore, if (29) and are satisfied, then NNCFSs (17) possesses -safety degree; moreover, the ellipsoid is the invariant set for system (17). That is, feedback control law (15) can make NNCFSs (17) with actuator saturation remain inside the domain of attraction and possess -safety degree based on the DETCS. Furthermore, the system possesses as little occupancy of network resource as possible.
The proof is hereby completed.

Remark 11. The information in the inequalities of Theorem 10 is of four classes. The first class is the two event-triggered weight matrices and in the DETCS, which can limit the quantity of network communication resource. The second class is the upper and lower bounds of networked time delays and , which can denote the property of the network. The third class is the system safety degree , which can reflect system performance. The fourth class is the fault-tolerant controller gain , which can make the system possess -safety degree. The inner relation for codesign between the robust fault-tolerant controller and event-triggered matrices for NNCSs is thus established.

3.3. Codesign Method

If we know the related parameters of system (1), the upper and lower bounds of the networked time delay, and the given -safety degree, then the robust fault-tolerant controller gain matrix and the event-triggered weight matrices, and , may be obtained according to Theorem 12 in terms of linear matrix inequality. As is well known, linear matrix inequality is an effective and convenient way to solve controller [35].

Theorem 12. One considers the following parameters: under the event-triggered condition (5) in the DETCS, in consideration of system (17), for the given constants , , , , and , exist some matrices, , , , , , , , , and , and a positive real scalar . If these parameters satisfy the following linear matrix inequalities () for any possible actuator failures in mode set and any acceptable uncertainty of system parametersthen there is a feedback control law which can make the state trajectories of NNCFSs (17) with actuator saturation remain inside the ellipsoid and can make the system possess -safety degree. Furthermore, we can possibly obtain the robust fault-tolerant controller gain and the event-triggered weight matrices and through , , and , where

Proof. Substituting , , and (2) into (29), according to Lemma 9, we haveThe related expressions of , , and are omitted due to the limited space.
According to the Schur complement, we obtainwhere the related expressions of , , , , , and are also omitted. To solve matrix inequality (47) conveniently, transforming matrix inequality (47) into the corresponding linear matrix inequality through congruent transformation is necessary. Before and after multiplying (47) with , we havewhere the related expressions of , , , , , and are also omitted.
We define , , , , , , , , , and .
For the matrix with appropriate dimension, if for , then . Therefore, we obtainAccording to (49), we obtain linear matrix inequality (43).
Performing transformation for the linear domain condition of the feedback control system with actuator saturation, we obtainwhere is the th row of matrix for . ConsiderFurthermore, applying the Schur complement, we haveAs previously defined, and , (52) is equivalent to (44). When the system parameters satisfy (43) and (44), control law (15) can make the state trajectories of NNCFSs (17) with actuator saturation remain inside the ellipsoid and possess -safety degree. Meanwhile, obtaining the robust fault-tolerant controller gain matrix and the event-triggered weight matrices is practicable through , , and .
The proof is hereby completed.

Remark 13. If we select a different value for the system safety degree , codesign between the robust fault-tolerant controller and event-triggered weight matrix can be obtained under a different -safety degree according to Theorems 10 and 12. When , Theorems 10 and 12 will degenerate to the robust integrity design criterion for NNCFSs (17) with actuator saturation under the DETCS.

Remark 14. When , Theorems 10 and 12 will degenerate to the robust fault-tolerant control problem in the PTTCS. If we cease to consider the actuator saturation constraints and set as , the similar results in [18] can be obtained in terms of Theorems 10 and 12. We have demonstrated that the result in [18] is only a special case of the proposed codesign method.
Similarly, based on event-triggered condition (6), if we study the analogous robust fault-tolerant design problem for NNCFSs (17) with actuator saturation, then Theorems 15 and 16 are presented as follows.

Theorem 15. One considers the following parameters: under event-triggered condition (6) in the DETCS, in consideration of system (17), for the given constants, , , , , , and , and the given matrices, and , exist some matrices, , , , , and . If these parameters satisfy the following matrix inequalities () and for any possible actuator failures in mode set and any acceptable uncertainty of system parametersthen NNCFSs (17) with actuator saturation keeps asymptotically stable in the domain of attraction and possesses -safety degree. That is, (15) is the robust fault-tolerant control law which can make NNCFSs (17) possess -safety degree and low occupancy rate of network resource, where, , and the remaining elements are the same as the corresponding element of Theorem 10.

Theorem 16. One considers the following parameters: under event-triggered condition (6) in the DETCS, in consideration of system (17), for the given constants, , and , exist some matrices, , , , , , , and , and positive real scalar . If these parameters satisfy the following linear matrix inequalities () for any possible actuator failures in mode set and any acceptable uncertainty of system parametersthen there is feedback control law which can make the state trajectories of NNCFSs (17) with actuator saturation remain inside the ellipsoid and can make the system possess -safety degree. Furthermore, we may possibly obtain the robust fault-tolerant controller gain and the event-triggered weight matrix through , , where, , and the remaining elements are the same as the corresponding element of Theorem 12.

We omit the special proof detail for Theorems 15 and 16 due to the limited space.

Remark 17. When , Theorems 15 and 16 will degenerate to the robust fault-tolerant control problem in the PTTCS. If we cease to consider actuator saturation constraints and set as , similar results in [18] can be obtained in terms of Theorems 15 and 16.

4. Simulation Experiment and Result Analysis

4.1. Simulation Experiment

Given the uncertain NNCSs model in [16], if we select the fuzzy membership function as and , the system model is expressed as the following T-S fuzzy system of two rules.Rule (i) is as follows: if is , then where

Matrices and () satisfy (2). Additionally, we setAs obtained through simple calculation, the eigenvalues of system matrices and are −3.4142, −0.5858, −2.4142, and 0.4142; therefore, the system is unstable without control. For actuator normal or failures, matrix is defined as follows: ; ; ; and . Setting , , , , , , , and the lower and upper bounds of actuator saturation to , we perform the following simulation of two cases according to Theorems 12 and 16.

Case 1. On the basis of event-triggered condition (5) in the DETCS, we can obtain the state-feedback controller gains, and , and the event-triggered weight matrices, and , by solving the linear matrix inequalities (43) and (44) in Theorem 12:Under the aforementioned actuator failures in mode set and when we adopt the controllers, and , and the event-triggered weight matrices, and , as above, the control input and state response curves for NNCFSs (17) are as shown in Figures 2 and 3.

Case 2. On the basis of event-triggered condition (6) in the DETCS and setting , we can obtain the state-feedback controller gains, and , and the event-triggered weight matrix by solving the linear matrix inequalities (55) in Theorem 16:Under the aforementioned actuator failures in mode set and when we adopt the controllers, and , and the event-triggered weight matrix as above, the control input and state response curves for NNCFSs (17) are as shown in Figures 4 and 5.
Similarly, on the basis of event-triggered condition (6) in the DETCS and setting , we can obtain the state-feedback controller gains, and , and the event-triggered weight matrix by solving the linear matrix inequalities (55) in Theorem 16:Under the aforementioned actuator failures in mode set and when we adopt the controllers, and , and the event-triggered weight matrix as above, the control input and state response curves for NNCFSs (17) are as shown in Figures 6 and 7.
Under event-triggered condition (5) or (6) in the DETCS and with simulation time , the release instant and release interval of data transmission are as shown in Figure 8.

4.2. Analysis of Simulation Results

From Figures 2 to 8, we derive the following analysis:(1)Even though the control input has entered into the region of actuator saturation constraint, we can still adopt the codesign methods to achieve the design goal for NNCFSs (17). As shown in Figures 2 to 7, regardless of the condition we select from event-triggered conditions (5) and (6), NNCFSs (17) can keep asymptotic stability and satisfactory dynamic performance. For practical applications, system safety degree and dynamic performance can be improved by appropriately increasing the safety degree .(2)Observing Figure 8, we can conclude that, for the given , whether we use event-triggered condition (5) or (6) in the DETCS, the quantity of data transmission significantly decreases. The DETCS driven by control demand is indicated to occupy less network resources than the PTTCS driven by a physical clock. Furthermore, event-triggered condition (5) can save more network communication resources than condition (6).(3)As detailed in Table 1 and as indicated by the simulation experiment, data transmission circumstances naturally follow under different communication schemes and different event-triggered conditions in the DETCS.

Some conclusions can be summarized as follows. On the one hand, the data transmission cases shown in Figure 8, under event-triggered condition (6), represent only some special circumstances as listed under Table 1; and, in these cases, parameter is defined as a certain value for event-triggered condition (6). Meanwhile, with the increasing event-triggered parameter , data transmission quantity and data transmission ratio become increasingly small, and average release period and maximum release period become increasingly large. However, if we excessively increase to save more network communication resources, system dynamic performance will deteriorate, as shown in Figures 5 and 7. Therefore, when selecting the value for , attention should be focused on the compromise between system performance and the occupancy ratio of network communication.

On the other hand, in contrast to event-triggered condition (6), event-triggered condition (5), wherein we need not preset the event-triggered parameter , can save more network communication resources. In the simulation example, even though we set the event-triggered parameter to 0.85, condition (5) can save 2% more of network communication resources than condition (6). This result is due to the fact that and have more decision variables than and , which can provide a wide degree of freedom for codesign. Therefore, the results of condition (5) will be more optimal than those of other conditions and can thus save much network communication resources.

5. Conclusions

Considering the uncertain NNCSs with time-varying delay, we study the discrete event-triggered robust fault-tolerant control problem for NNCSs with -safety degree and actuator saturation. Based on the Lyapunov stable theory and linear matrix inequality technology, some sufficient conditions, which can maintain asymptotic stability and -safety degree for the system, are derived under two event-triggered conditions for NNCSs. In our theorem proofs, we adopt the improved Jesson inequality and do not introduce any free weighting matrix, which can effectively reduce calculation complexity. Furthermore, the codesign methods between the robust fault-tolerant controller and event-triggered weight matrix are also presented in terms of linear matrix inequality. The simulation verifies that the codesign methods can make the closed-loop fault NNCSs possess good dynamic performance and save network communication resources effectively; that is, the results achieve the goal by taking two things into consideration—the system QoC and the network QoS. In addition, the performance of two event-triggered conditions is also discussed, where condition (5) is found to save more communication resources than condition (6). In consideration of the time-varying data transmission period, next efforts will be directed at the codesign problem between satisfactory fault-tolerant control for NNCSs and network communication. These future efforts will simultaneously integrate -stability, performance, generalized performance, and network communication resource saving into a unified framework. Furthermore, the simulation experiment will be based on a real network background under professional environment [36].

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported and funded by the National Natural Science of China (Grants nos. 61364011 and 61463030) and the Provincial Natural Science Foundation of Gansu in China (Grant no. 1308RJZA148).