Abstract
A robust fault-tolerant controller design problem for networked control system (NCS) with random packet dropout in both sensor-to-controller link and controller-to-actuator link is investigated. A novel stochastic NCS model with state-delay, model uncertainty, disturbance, probabilistic sensor failure, and actuator failure is proposed. The random packet dropout, sensor failures, and actuator failures are characterized by a binary random variable. The sufficient condition for asymptotical mean-square stability of NCS is derived and the closed-loop NCS satisfies performance constraints caused by the random packet dropout and disturbance. The fault-tolerant controller is designed by solving a linear matrix inequality. A numerical example is presented to illustrate the effectiveness of the proposed method.
1. Introduction
Networked control systems (NCSs) are one type of distributed control systems, in which the information of control system components (sensors, controllers, actuators, etc.) is exchanged via communication networks (see Figure 1). Compared with the conventional point-to-point control systems, NCSs have many advantages, such as low cost of installation and maintenance, ease of diagnosis, and flexible architectures. However, the network in the control systems also bring many problems, such as network-induced delay, packet dropout, multiple channel transmission (as in [1–4]). Recent researches have a deep look into the controller and filter design for NCSs without faults (see [5–10]) and the references therein.
Actually, NCSs are more vulnerable to faults than conventional control systems, due to the complexity introduced by the network. It is very significant to guarantee security and reliability of NCSs, because modern technological systems rely on sophisticated control systems to meet increased performance and safety requirement. Therefore, research on fault-tolerant control (FTC) for NCSs has attracted more and more attention from both industry and academia.
However, research on FTC for NCSs is quite different from the ones for conventional control systems in many aspects (see [11–15]). A suitable architecture for FTC of NCSs must take into consideration the dynamical behaviour of network. In most research on FTC for NCSs, the fault model is described in a static way (as in [16–20]). Actually, faults often happen in a random way, so it is suitable to be studied in a dynamic way (as in [21–25]). In [21], the probabilistic sensor reductions are modeled by using a random variable that obeys a specific distribution in a known interval. In [22], the entire sensor failures or missing measurements have been described as a Bernoulli distributed variable. The reliable control design is considered for NCSs against probabilistic actuator fault with different failure rates in [23]. But, only actuator failures or sensor failures are considered in [16–23].
As we know, many engineering control systems such as conventional oil-chemical industrial processes, nuclear reactors, long transmission lines in pneumatic, hydraulic, and rolling mill systems, NCSs contain some time-delay effects, model uncertainties (as in [26, 27]), and external disturbances. However, most of the aforementioned researches discuss FTC for NCSs without model uncertainty and disturbance(as in [16–20, 23, 24]).
Therefore, from the above description, considering random packet dropout, the robust FTC for state-delay uncertain NCSs with both probabilistic sensors failures and actuators failures is still a challenging problem.
In this paper, we study the robust FTC problem for NCSs with random packet dropout in both sensor-to-controller (S-C) link and controller-to-actuator (C-A) link. A new stochastic NCS model with fault is proposed, which includes the state-delay, model uncertainty, disturbance, random packet dropout, probabilistic sensors failures, and actuators failures. The random packet dropout, the sensor failure and the actuator failure are described as a binary random variable. The aim of this paper is to design a dynamic fault-tolerant controller for the NCS including packet dropouts, both sensor failures and actuator failures. The closed-loop NCS can be asymptotical mean-square stability and satisfies the performance constraint.
The rest of the paper is organized as follows. The problem is formulated in Section 2, a new stochastic NCS with probabilistic sensors failures and actuators failures is modelled. Section 3 presents the integral analysis of asymptotical mean-square stability for stochastic NCS with sensor and actuator faults. Section 4 designs a dynamic fault-tolerant controller. Section 5 gives a numerical example to demonstrate the effectiveness of the proposed method. Concluding remarks are made in Section 6.
2. Problem Formulation
Consider the following uncertain linear state-delay system: where denote the state, the sensor measurement, the control input, and the controlled output, respectively. is the disturbance input belonging to , are known real constant matrices with appropriate dimensions. is a known delay. denotes the model uncertainty, which satisfies represents an unknown real-valued time-varying matrix.
Figure 1 shows a typical feedback loop of NCS. Due to network congestion, traffic load balancing, or other unpredictable network behavior, the network-induced delay, data packet dropout, disorder may occur at the same time. In this paper, we focus on the data packet dropout phenomenon. Some assumptions in this paper are as follows.(1)The sensor is clock-driven, the controller and the actuator are event-driven.(2)Data packet dropouts occur in both S-C link and C-A link.(3)Data are single-packet transmission with timestamp.(4)Ignore the effects of quantization and asynchronous error in this paper.
Remark 1. A clock-driven sensor can send measurements to network periodically and is often used in real-time computing. The advantage of event-driven controller/actuator is that the controller/actuator will be updated as soon as the new data packet comes.
Remark 2. Taking the Internet as an illustration, the Transmission Control Protocol (TCP) is one of the core protocols of the Internet Protocol Suite. TCP is responsible for verifying the correct delivery of data from client to server. Data can be lost in the intermediate network. TCP adds support to detect errors or lost data and to trigger retransmission until the data is correctly and completely received. Thus, TCP is optimized for accurate delivery rather than timely delivery. Furthermore, for real-time feedback control, it is appropriate to discard the old data and transmit a new packet if it is available.
Therefore, we assume if the total network-induced delay is larger than a sampling period, the output terminal will actively discard this packet, which means the network-induced delay problem can be considered as a packet-dropout problem. And the receiver with a buffer can rearrange the packets by reading the information of timestamp; in this way, the data disorder problem will be solved. Hence, we only focus on the data packet dropout issue in this paper.
The binary random variable is an identically distributed (i.i.d.) process. means that there is no packet dropout, and the sensors and the actuators are reliable; means packet is lost, and the sensors and the actuators have failures. The probability distribution of is , where indicates the sensor/actuator failure rate and the packet dropout rate.
Considering the channel from the sensor to the controller, the sensor measurement will be updated to as follows:
Considering the channel from the controller to the actuator, the control output will be updated as follows:
Remark 3. From expressions (2) and (3), when at time , the sensor measurements and control information at time are missing. The last available measurement and controller output stored in a buffer are utilized to substitute the missing data, which means at least one packet can be transmitted successfully in a sampling period.
Since the random variable also represents sensor failures and actuator failures, the dynamic fault-tolerant controller is designed
Define , the stochastic NCS with probabilistic sensor failures and actuator failures where
The aim of this paper is to design a dynamic fault-tolerant controller for the NCS (5), such that for all the possible data packet dropout and failures, the system (5) satisfies the following requirements.
(Q1) The closed-loop NCS (5) is asymptotically mean-square stable.
(Q2) Under the zero-initial condition, the output satisfies for all nonzero , where are the scalars we will design.
3. The Stability Analysis of NCS
In this section, the stability analysis for the NCS (5) is discussed.
Lemma 4 (as in [28]). Let be matrices of appropriate dimensions, with satisfying , then holds, if and only if there exists a such that .
Definition 5. The NCS with faults given by (5) with , is asymptotically mean-square stable, if for any initial state, holds.
Theorem 6. Given , the system (5) is asymptotically mean-square stable, and the output satisfies (7), if there exist matrices , and satisfying
Proof. Let , for all nonzero , consider the Lyapunov function with
The difference of is
For , and denote , we have
where is implicitly defined by the fact that the matrix is symmetric.
When , (11) is rewritten as
From (8) and the Schur complement theorem, is arrived. Therefore, for all nonzero , we have , then the NCS (5) with sensor and actuator fault is asymptotically mean-square stable.
Next, For any nonzero , it follows from (5), (8), and (11) that
Then, we have
Now, summing (14) from 0 to with respect to yields
Since the system (5) is asymptotically mean-square stable, we can get that the following inequality:
holds under the zero initial condition. The proof is thus, complete.
4. Robust Controller Design
In this section, a theorem will be proposed to solve the controller design problem for stochastic state-delay NCS (5).
Theorem 7. Given a scalar , the system (5) is asymptotically mean-square stable, and the controlled output satisfies the constraints (7), if there exist real scalars , and matrices , and , and real matrices , and , such that the following inequality holds:
where , the rest of matrix entries are zero.
The fault-tolerant controller parameters are
Proof. The system (5) is a parameter-dependent system. By Lemma 4, (8) is rewritten asNext, partition and as
Define
Obviously, we have . Performing the congruence transformation to (19), we obtain the following:
where , the rest of matrix entries are zero.
Applying the congruence transformation to (22) again, then (17) is achieved. Therefore, by Theorem 6, the desired result follows immediately.
Next, we will design the scalars and by solving the optimization problem,
Using the robust control toolbox, we will get the optimal value of and , and the proof is thus, complete.
Remark 8. From Theorems 6 and 7, we know if (17) is feasible, , hence, the square and nonsingular matrices and can be always found (as in [29]). Then, the fault-tolerant controller parameters (18) are obtained.
5. Simulation Example
Consider the system (1) with parameters (as in [22]) as follows: Choose the same parameters as [22], packet loss rate is , delay constant is . With the method in [22], the optimal performance is 3.3339. Using the proposed method in this paper, the optimal performance is 1.3614, which means the smaller performance has been obtained.
Next, let the packet loss rate and fault probability , delay constant is , under the initial condition , and , the fault-tolerant controller parameters are designed by Theorem 7 as follows.
From Figure 2, it can be seen that state responses under the designed controller can stabilize the NCS with data packet loss, probabilistic actuator failures, and/or sensor failures, which can illustrate the effectiveness of the proposed method.
6. Conclusion
Motivated by robust FTC problem over networks, a new stochastic NCS model with fault is addressed, which includes the state-delay, model uncertainty, disturbance, random packet dropout, probabilistic sensors failures, and actuators failures. The random packet dropout in both S-C link and C-A link, the sensor failure and the actuator failure are described as a binary random variable. The sufficient condition for asymptotical mean-square stability of the NCS has been derived and the closed-loop NCS satisfies performance constraints. Finally, by solving a linear matrix inequality, the fault tolerant controller is designed.
Acknowledgments
The authors would like to acknowledge the National Natural Science Foundation of China under Grant (61174044), and the Shandong Province Natural Science Foundation under Grant (ZR2010FM016). The authors also wish to thank the reviewers for their valuable suggestions.