Abstract

The fault tolerant control problem for a DC motor system is investigated in a cloud environment. Packet dropout phenomenon introduced by the limited-capacity communication channel is considered. Actuator faults are taken into consideration and fault diagnosis and fault tolerant control methods towards actuator faults are proposed to enhance the reliability of the whole cloud-based DC motor system. The fault diagnosis unit is then established with purpose of obtaining fault information. When the actuator fault is detected by comparing the residual signal with a predefined threshold, a residual matching approach is utilized to locate the fault. The fault can be further estimated by a least-squares filter. Based on the fault estimation, a fault tolerant controller is designed to guarantee the stability as well as the control performance of the DC motor system. Simulation result on a DC motor system shows the efficiency of the fault tolerant control method proposed in this paper.

1. Introduction

DC motors have been widely used in various fields for more than one century and they have been playing more and more important roles in modern manufacturing. In traditional DC motor control technique, control signals are transmitted from the controller node to the motor by point-to-point wiring and a specialized controller is designed to control the DC motor with prescribed performance. In the past decades, network technology has developed dramatically and various types of network have been utilized to control systems, stimulating the wide investigation of Networked Control Systems (NCSs) [13]. Figure 1 shows a typical structure of NCSs where the system, controller, sensor, and actuator are connected through a network and information is exchanged using a limited-capacity communication channel. The use of a communication network offers advantages in terms of reliability, enhanced resource utilization, reduced wiring, and reconfigurability.

Very recently, the idea of cloud-based control systems has been proposed and it is now being formulated along with the developments of the Internet of Things (IoT) and Cyber-Physical Systems (CPSs) [4, 5]. In the cloud-based control framework, the hardware of the controller can be removed and the controller can be customized from the cloud. As is shown in Figure 2, this type of control strategy combines the network resources and computational resources and will greatly reduce the costs of different control tasks. In the cloud-based control systems, there is not a specialized controller for a specific controlled system, and the controller is realized randomly by computational nodes shared in the cloud. Each node in the cloud can be accessed by the controlled system using network and one node will contribute computational resource to perform control/filter tasks once it is chosen according to a certain rule. The cloud-based control system inherits the advantages of the NCSs, such as easy installation, low cost of maintenance, and flexible architecture. Furthermore, cloud-based control system implements the control algorithm by using the computational node in shared cloud. This control structure can further reduce the cost of specialized computational resources and benefits from the flexibility of remote monitoring and adjustment of system states and parameters over the communication channel. Although cloud-based control systems have more attractive advantages than NCSs, they are less reliable when being applied in real engineering practice due to their uncertain control/filter resource suppliers and uncertain communication links. In cloud-based control systems, data can be transmitted and exchanged through a shared network and the introduction of the communication network may induce more unexpected phenomena, such as time delays, quantization, and packet dropouts. These phenomena inevitably degrade the reliability of the system [612]. To collect and process the data efficiently, the mass data in control system will make the network burden and computational burden heavy.

In order to improve the safety of the control system, fault detection and isolation (FDI) and fault tolerant control (FTC) techniques have been proved as effective techniques [13]. FDI technique can detect the occurrence of a fault and determine the location of the fault, as well as estimating its amplitude. As a key step of active FTC, an FDI unit provides exact fault information and helps the fault accommodation unit to compensate the occurred fault by adjusting the controller parameter or controller structure. Active FTC has superiority over passive FTC framework in the control performance in the faulty case and the ability to handle unknown faults [1421]. Active FTC problem has been investigated and many applications have been reported towards industrial or commercial processes in the past three decades [2227]. In [28], the data-driven output-feedback fault tolerant control (FTC) problem has been studied for unknown dynamic systems with faults changing system dynamics. In this paper, an output-feedback approximate dynamic programming method is developed to solve the optimal control problem under the condition of the unknown linear time-invariant discrete-time plant. In [29], the FTC problem has been studied for a class of Networked Control Systems with random time delays and actuator failures. Reference [30] has dealt with the problem of the FTC design of continuous-time linear systems by the dynamic output controllers in the active fault tolerant structure with virtual actuators. Comparing the fruitful results on the frontiers of FTC theory and application, little work has been done towards the active FTC problem in a cloud-based environment, which motivates our present study.

We consider a DC motor as the controlled system and the active FTC problem for a DC motor system is investigated in a cloud environment. The system structure is shown in Figure 3. The packet dropouts of the measurement signal are considered. Actuator faults are taken into consideration and fault diagnosis and fault tolerant control methods towards actuator faults are proposed to enhance the reliability of the whole cloud-based DC motor system. A redundancy filter design technique is proposed, where each filter is implemented by a certain computational node in the cloud and is designed to estimate the augmented signal composed of the system state and a specific fault signal. A residual matching approach is put forward that can be used for the fault detection and fault isolation. We consider the filter with least residual as the one corresponding to the right fault, and the fault can be estimated by resorting to the output of the filter with the least residual. Then the fault compensator controller can accommodate the fault and reconfigure the control law to maintain the control performance of the DC motor. The main difference between the work in this paper and the existing work in the literature is that we do not fix a controller to perform the FTC and the computational resources in the cloud compete for being the real fault tolerant controller. The fault diagnosis unit is established with purpose of obtaining fault information. When the actuator fault is determined, a fault tolerant controller is designed to guarantee the stability as well as the control performance of the DC motor system. Simulation results on the cloud-based DC motor system are employed to illustrate the efficiency of the proposed method in this paper.

The main contributions can be summarized as follows: (1) a novel system structure and formulation is proposed for the active FTC problem in a cloud environment, where the fault diagnosis is implemented by the computational resources in the cloud; (2) a residual matching approach is carried out to implement the fault isolation and the fault estimation can be accomplished by least-squares filter recursively; (3) the problem is solved with packet dropout and actuator fault for the cloud-based DC motor system and simulation result shows the effectiveness of the proposed technique.

Notations. The notations used throughout the paper are fairly standard except where otherwise stated. is the dimensional Euclidean space; is the set of all real matrices. means that is real symmetric and positive definite. denotes the transpose of a matrix . stands for the expectation of a random variable .

2. System Description and Problem Formulation

2.1. System Model

In order to investigate the active FTC problem for the DC motor system in a cloud environment, a DC motor is considered. The electromechanical dynamics of the DC motor system can be obtained as follows [10]: where is the armature winding current; is the rotor angular speed; is the armature winding resistance; is the armature winding inductance; is the back electromotive force constant; is the armature winding input voltage; is the torque constant; is the system moment of inertia; and is the system damping coefficient.

By introducing a new vector as the state variable, the DC motor can be rewritten aswhere the measurement output vector contains the current and rotor angular, and control input signal is the input voltage of the system. Furthermore, we have With a sampling period , the continuous-time model of DC motor can be discretized aswith and .

2.2. Problem Transformation

From the DC motor model, we have the following discrete-time linear system:where is the system state; is the control input vector; is the fault signal; represents the measurement output vector, and are uncorrelated zero-mean white external disturbances with and , and is controlled output. The matrices , , , , , , and are real matrices of appropriate dimensions. is a Bernoulli stationary stochastic process with known distribution law at time instant satisfyingwhere can be understood as the packet arriving rate, and stands for the packet dropout rate.

Remark 1. Compared with the traditional NCSs, the cloud-based control systems are more difficult to handle [31, 32]. This is because the cloud service provider often serves multiple clients simultaneously in the diagnosed cloud process, how to guarantee the exact calculation of residual signal and estimation signal is not easy, and how to guarantee the stability of the whole DC system in a based environment is also hard. In the present paper, the DC system is studied with data missing and actuator fault in a cloud environment.

Before ending this section, we recall the following three assumptions.

Assumption 2. There is at most one faulty actuator at a certain time instant.

Assumption 3. Only additive fault with constant amplitude is considered.

Assumption 4. There are enough computational resource nodes that can be shared in the cloud.

3. Main Results

3.1. Redundancy Filter Design

In this section, we propose a redundancy filter design technique that can be used for the fault detection and isolation as well as estimation simultaneously [33].

It follows from Assumption 3 that ; we can defineFor each, , we have the overall fault estimation dynamics governed by the following system:where

According to (7), a series of matrices () are employed, and each fault can be described by using corresponding to one actuator fault, where

We formally denote and the augmented system reflects the evolution rules of augmented states including system state and all possible faults to verify convenient.

For the system (8), consider a series of full-order filter in the following form:where stands for the th fault and . For any , and are parameters to be determined.

Theorem 5. The filter parameters (11) leading to both the unbiased and least-squares estimations of system (8) are described bywhere

Proof. Denote . From (8) and (11), one obtains If follows from (12) and thattherefore, the unbiased estimation can be guaranteed.
Denoting , it remains to verify that the in (13) minimizes . Substituting (12) into (19), it is easy to show that Furthermore, we denote and .
From the equation in (8), and can be recursively updated as (16) and (17) show. Then it follows from (14), (15), and (21) that Noting that , can be expressed asIt is obvious that when as in (13), is minimized, and the proof of this theorem is now completed.

From Theorem 5, we can obtain a solution for fault estimation for the DC motor system in a cloud-based control system with packet dropout and actuator fault. If the filter design result can be obtained accurately, the fault detection and fault isolation problems will be obtained.

3.2. Fault Detection, Isolation, and Estimation

Theorem 5 offers a solution of the fault detection and isolation as well as estimation in a unified way. A series of filters is designed to estimate the augmented signal composed of the system state and a specific fault signal, where each filter is implemented by a certain computational node in the cloud. It can be inferred from Theorem 5 that each filter is proposed in a recursive way so the whole technique is easy to be carried out. The main idea for the fault detection, isolation, and estimation is that the filter with the least residual signal is regarded as corresponding to the right fault signal, and its estimation is chosen as the occurred fault.

For system (5), the main idea for fulfilling the fault detection and isolation task from Theorem 5 is to design a series of filters in the cloud with residual signals . We employ for the fault detection and the rest of the signals can be used for fault isolation by a certain computational node in the cloud.

By choosing a proper threshold , the fault detection can be carried out from the following logic:where the threshold can be determined by the literature [34, 35].

The redundant filtering strategy is proposed for the fault isolation problem. Among all of the filters we consider the filter with the least filtering error as the one corresponding to the fault correctly, and therefore the fault isolation can be achieved from the following logic:

Apparently, when the fault isolation is achieved, a part of the output of the normal filter can be regarded to be the fault estimation from the augmented system state.

Remark 6. The fault estimation signal of the fault estimation filters with least filtering error generates the real fault. The fault isolation strategy is based on the correct fault estimation, which is referred to as residual matching. Based on a series of fault estimation filters, we can obtain the right fault signal; therefore, the fault can be further located. Furthermore, the estimation of the fault can also be determined.

Once the fault detection, isolation, and estimation are achieved, we can further consider the fault tolerant control in the next subsection.

3.3. Fault Accommodation

The normal controller is given aswhere is the control gain.

Assumption 7. .

Remark 8. According to Assumption 4, it can be easily seen that the vector space spanned by the columns of is a subset of the space spanned by the column vectors of , such as , which is equivalent to the existence of such that .

Once a fault occurs, based on the accurate and rapid estimation of the fault, the following fault tolerant controller is activated to compensate for the fault: where is the estimation of actuator bias fault. Further we have the following closed-loop system of (5) and (27):where , , and .

We consider a controller that can minimize the attenuation level from the disturbance to . Once the actuator failure is determined, the control law is switched to (27). We aim to guarantee the closed-loop system (5) asymptotically mean square stability when the actuator failure happens and the following performance is satisfied:

Theorem 9. Consider system (5) with stochastic packet dropout and the actuator fault. There exists a control law (27) such that the closed-loop system described by (5) and (27) is asymptotically mean square stable and the prescribed disturbance attenuation level (30) is fulfilled if there exist matrices , , and a scalar such that the following LMI holds:If (31) holds, the desired control law can be given by the following equation: where is the left inverse matrix of .

Proof. Consider the following Lyapunov function and an attenuation level. For any initial condition and initial distribution, , we can obtainThe right side of equation (33) is equivalent to (34) by the Schur complement. Let ; we premultiply and postmultiply (34) by and its transpose, and after some proper elementary transformation, we can getConsidering and from Theorem 9, we can infer (35) holds, which indicates in (33). We further ensure that system (28) is mean square stable and satisfies the constraint (30). If (31) has solutions and , are nonsingular, the control gain can be obtained by (32). This concludes the proof.

Based on the previous discussions, the whole FTC problem for the discrete-time linear system in a cloud environment with packet dropout and actuator fault can be dealt with by using the following algorithm.

Algorithm 10.

Step  1. Determine the parameters of a fault estimator (11) by using Theorem 5.

Step  2. Design a series of least-square fault detection filters . The filter generates a fault estimation signal, which can be used to indicate the fault.

Step  3. Choose the filter with the smallest filtering error signal by comparing with the filter and determine the fault location by a certain computational node in the cloud. Take the output of the filter as the fault estimation result.

Step  4. For the fault-free case and the faulty case with fault estimation information, utilize Theorem 9 to calculate the control gain .

Step  5. Utilize the estimated fault information to adjust the control law designed in Step .

4. Simulation Results

To illustrate the effectiveness of the proposed FTC method, experimental simulations are conducted based on the DC motor system reported in [10]. In this paper, two additive faults each of which affects a specific state are considered. The problem in the present study is to design the fault diagnosis unit and carry out an active fault tolerant control in the presence of packet dropout and actuator fault in the DC motor system in a cloud environment. From Assumption 3, when the fault happens, the fault system is constructed aswhere is the column of matrix . The parameters of the DC motor used in this paper are given in Table 1. The sampling period of the DC motor system is specified to 0.1 s. We set the receiving rate and choose the system noise and measurement noise with second moments , in the simulation.

After linearization process, we can get the following parameters of the discrete-time model (5):

Further, we have the following vectors in (36):

By using Theorem 9, we can obtain the control gain Consider time instant . The two-dimensional actuator fault signal is set to be

That is, the second actuator suffers an additive bias fault from the time instant . By using Theorem 5, we design three recursive filters , , and . Based on the filter bank, we shall conduct simulation results on the fault detection and fault isolation, as well as fault estimation, for the actuator fault of the DC motor system. In the simulation, Figure 4 is the incremental residual signal of and the threshold is obtained as after 200 Monte Carlo simulations. The filters , are used to isolate the fault. In Figure 5, the residual of filter is the least one, and we can confirm actuator 2 is faulty. The fault estimation is shown in Figure 6.

Figure 7 indicates the controlled outputs in two cases. The blue line shows that the DC motor system uses control law and there is neither fault diagnosis unit nor fault tolerant strategy. The red line shows that the system uses the fault tolerant control technique proposed in the paper. It can be observed from the simulation results that the system using the fault tolerant control can achieve a better performance than the control target after the occurrence of the fault in actuator 2 without fault accommodation ability.

5. Conclusion

In this paper, a fault diagnosis unit and FTC strategy have been designed for a DC motor in a cloud environment. A residual signal from the residual generator has been established for the fault detection and isolation in the presence of packet dropout and actuator fault. A fault estimator has been proposed to provide the joint estimation of system state and the fault signal. Once the actuator fault is confirmed, its estimation information can be obtained from the corresponding filter in least-squares sense, and this information can further be adopted to realize a reconfigurable control law. From the simulation results, we can observe that the FTC strategy shows better performance for the DC motor system with the existence of packet dropout and actuator fault in the cloud environment. In future work, we will consider some promising topics including (1) fault estimation and accommodation for nonlinear systems in the cloud environment; (2) enhancing the robustness and reliability of the fault diagnosis and fault tolerant control technologies in the cloud environment; and (3) theoretical analysis of the relationship between determined thresholds and the fault detection and the fault isolation performance.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the National Natural Science Foundation of China under Grants 61473163 and 61522309 and open funding from Guangdong Provincial Key Laboratory of Petrochemical Equipment and Fault Diagnosis under Grant GDUPTKLAB201503. The work was also supported by Science and Technology Development Program of Jilin Province under Grant 20150203017G X and Provincial Economic Structure Strategic Adjustment Guidance Fund of Jilin Province under Grant 2015Y063. The work of Yang Liu was supported by China Postdoctoral Science Foundation under Grant 2016M600546 and Qingdao Postdoctoral Applied Research Projects under Grant 2016112.