Abstract

A novel prediction-based controller design is proposed for networked control systems (NCSs) with stochastic packet dropouts and time-delay in their control channel. The sequence of packet dropouts, which are modelled as a Bernoulli process, is compensated by a zero-order holder (ZOH)-based module, whereas a state predictor is utilized for obtaining the predicted states at the time delayed. In view of dropout compensator and state predictor, a novel modified model predictive controller (MPC) is designed and proposed in the following procedures. Compared to cost function of a general model predictive controller, variables of states are substituted by the predicted ones as obtained from state predictor preliminarily. Then, a logical programming approach is applied to include all the possible circumstances in the prediction horizon. Consequently, the cost function is reformed as simultaneous minimax linear matrix inequalities (LMI) with constraints. As a result, toolbox YALMIP is employed in order to solve such minimax programming problem eventually. Simulation results are presented to show the feasibility and performance of proposed method.

1. Introduction

In the last few decades, there has been a strong interest in the study of networked control systems (NCSs) [1] due to their broad application in unmanned aerial vehicles, intelligent transportation systems, mobile sensor networks, cloud computing, real-time systems, etc. [24]. NCSs are known to achieve various attractive advantages, for example, low cost, easy installation and maintenance, and high data exchangeability. However, unreliable communication networks and limited bandwidth lead to inevitable problems such as time-delay and packet loss. There is no doubt that these factors can significantly degrade the performance of NCSs, even worse, severe instability may be incurred. For example, time-delay may occur when data are exchanged between devices shared by the network. Such delays will lead to performance degradation and system instability if the designer does not take this into account. In addition, packet loss may occur when packets are transmitted from the controller to the actuator through unreliable communication channels. Thus, it is necessary and important to study networked control systems with both time-delay and packet loss.

Research on networked control systems is generally divided into two areas:(1)Control of network: researching and improving the intrinsic characteristics of networks, e.g., proposing new network communication protocols, network scheduling algorithms, etc.(2)Control over network: treating existing network structures, protocols, etc., as established conditions on the basis of which reasonable control structures and control algorithms can be designed to compensate for or reduce the adverse effects on the control system due to problems such as delay and packet loss [5]. The study in this thesis is based on the latter starting point.

According to Wu and Chen research, they designed NCSs with packet loss [6]. Tan’s research team demonstrated the stability of the network control system under the induced network delay [7]. In [8], it was mentioned that the optimal LQ control problem for systems with both multiplicative noise and input delay was solved by solving the forward and backward differentiation/difference methods. The problem of stability analysis of a Takagi-Sugeno fuzzy system with time-varying delays was mentioned in the study of [9]. According to Wu’s research [10], a standard model predictive controller is proposed in the study, which is shown to have a fast response within 40 steps, but the robustness of this controller is not discussed in the paper. Nesic and Teel found that perturbation theory could be used to demonstrate the stability of the NCSs [11], and the stability of the transmission on the path from the sensor to the controller was demonstrated by this study. In Yang’s work [12], the H-∞ controller is obtained by solving linear matrix inequalities, which has the advantage of greatly reducing the cost and the disadvantage of making the overall control system riskier. The reason is that only the most ideal state is considered and the worst case is not analysed. The wireless tracking control system for packet loss is embodied in a modified preview control proposed in paper [13]. This approach requires deterministic future information, but in real life, the future information of NCSs is random.

As shown in Figure 1, a classical control system normally includes a controller and a plant. The controller transmits the signal to the plant via a transmission channel. If unreliable communication channels are encountered, time-delay and packet loss may occur. The purpose of this thesis is to design a reasonable control strategy to reduce or compensate for the adverse effects on the control system due to time-delay and packet loss.

Then, as shown in Figure 2, the control object and the network are integrated into a new control object. In the middle of the model building process, the information of time-delay is handled by state prediction control. The sequence of packet dropouts, which are modelled as a Bernoulli process, is compensated by a zero-order holder (ZOH)-based module. Then, a logical programming approach is applied to include all the possible circumstances in the prediction horizon. Consequently, the cost function is reformed as simultaneous minimax linear matrix inequalities (LMI) with constraints. As a result, toolbox YALMIP is employed in order to solve such minimax programming problem eventually.

Model predictive control has been extensively applied in theory and practice [14]. Inspired by this, the focus of this paper is on the handling of random packet loss and time-delay in the control channel of the networked control system. Specifically, packet dropouts are compensated by a zero-order holder (ZOH)-based module. The predicted state of the time-delay is obtained by a state predictor. Given the past studies and the existing documentation, our study focused on the following areas:(1)A novel prediction-based controller design is proposed for networked control systems (NCSs) with stochastic packet dropouts and time-delay in their control channel(2)In view of dropout compensator and state predictor, a novel modified model predictive controller (MPC) is designed(3)By employing the toolbox YALMIP, which incorporates all possible scenarios into the prediction horizon, the cost function is transformed into a simultaneous minimal linear matrix inequality with constraints to finally solve this minimal programming problem(4)The validity of the presented research results is confirmed by simulation instances

1.1. Problem Formulation

Regardless of the architecture and sophistication of the NCSs, the study of the NCSs consisting of a number of sensors, actuators, and controllers started with each single-loop NCSs shown in Figure 1. Unlike traditional un-networked control systems, NCSs typically face two problems: packet loss and/or time-delay. Such abnormal conditions may lead to instability of the control system. In my work, we will develop separate control strategies for packet loss and time-delay faced in networked control systems. For convenience, the networked control systems (NCSs) in this study refer to the single-loop NCSs shown in Figure 1.

From Figure 2, it can be seen that the order of time-delay and packet loss can be interchanged due to the existence of the exchange law of multiplication in mathematics. Thus, the time-delay and packet loss are negligible location influencing factors. The time-delay equations arewhere is the time of delay in NCSs. Unlike packet loss, the time-delay is usually assumed to be a constant known to us in many previous studies on NCSs [15]. is a variable, which is the control input after the packet is lost. Therefore, the control input after packet loss is being modelled aswhere is the probabilities of transmission that occurs in the controller-actuator channels, while is the control input from the controller. In this study, represents the successful transmission of packets from the controller to the actuator; otherwise, we model . Packets can be lost for a variety of reasons. In this thesis, it is reasonable and correct for us to equate the packet loss process in NCSs to a Bernoulli process. Because the characteristics of the two are very similar to each other, for both Bernoulli and packet loss processes, they have only two states, 1 and 0, representing successful transmission from the controller to the actuator or packet loss, respectively.

Although the networked control system in Figure 2 is different from a conventional control system consisting of only controller and plant, we can derive a new target plant with the help of equations (1)–(3), and the state space of this new target plant can be derived as

Thus, the problem of networked control systems is transformed into a problem of nonlinear systems with delay. In this study, the control objective of our research is to model the new target plant in order to obtain better performance in nonlinear systems.

2. Methods

When modelling the entire networked control system, it is not only important to model the predictive model of the model predictive controller but also a prerequisite for using the YALMIP toolbox. Before designing the controller, attention should be paid to the sampling and discretization process. When studying the new target plant (4), it can be noted that the new plant (4) is actually a hybrid continuous and discrete system. In a typical networked control system, the data are transmitted in packets in the transmission channel, hence it is correct and appropriate to discretize the networked control systems (NCSs) during transmission towards the networked control system in Figure 1 under a sample time scale of . Since the parameters and B in (4) are known to us all along, the discrete transition functions of the time-delay of the original target plan and the control inputs at the sampling rate are considered to bewhere and are corresponding discrete parameters, mark .

Since predictive control involves online optimization, a considerable computational delay may be involved, and this should be taken account of. Figure 3 shows the assumptions we shall make about the timing of measurements made on the plant being controlled and the resulting control signals being applied.

The measurement interval and control update interval are assumed to be the same, with length .The plant output vector is measured at time , and this measurement is labelled . If there is a measured disturbance, this is assumed to be measured at the same time, and this is labelled . There is then a delay of , which is the time taken by the predictive controller to complete its computations, after which a new control vector is produced and applied as the plant input signal. This input signal is labelled . The input signal is assumed to be held constant until it is recomputed, , time units later. This sequence is repeated at time and regularly thereafter.

Remark 1. In practice, process plants may have hundreds of measurements which may be taken, and/or made available, at various times during the measurement interval. If accurate modelling is required, this may have to be taken into account. Also, the computation delay may vary in practice, in which case the decision must be taken whether to apply the new control signal to the plant as soon as it becomes available, which probably improves the control but complicates the modelling and analysis, or whether the result should be held up until a standard interval has elapsed before applying it to the plant. It would be impossible to deal with all such eventualities here, so we will assume that all the measurements are taken synchronously, as shown in Figure 3, and that the computational delay is the same at each step [16].

Lemma 1 (see [16]). In the interval of , the following equation can be obtained:where

Remark 2. At the control input, a zero-order holder (ZOH) compensator is proposed so that when a packet is lost, the transmitted control input data do not drop to zero, but remain the same as last time, i.e.,Finally, according to equations (6) and (9), we can obtain the matrix function (10) after augmentation asFor convenience, we specify equation (10) aswhere

Definition 1 (see [17]). The closed-loop system (11) is described as being stable with the presence of constants and that makeFor all

Lemma 2 (Schur complement [18]). For a given symmetric matrixwhere , the following three conditions are equivalent:

Lemma 3. The controller (4) is given. The closed-loop system (11) is exponentially mean-square stable if there exists a positive definite matrix satisfying

Proof. Define a Lyapunov functionalwhere P is a positive definite matrix. From equation (15), we can obtainwhereBy Schur complement, (15) means that , we can obtain from (17) thatwhereFrom (19), we havei.e.,Consequently, based on the definition, we can follow from [19] and conclude that the closed-loop system (11) is exponentially mean-square stable. The proof is completed.

Lemma 4. Given a scalar quantity . The plant (11) is multiplying mean-square stable, suppose there exists a positive definite matrix satisfying

Theorem 1. Given a scalar quantity . The plant (11) is incrementally mean-square stable, suppose there exist real matrices and , positive definite matrices , and such that

Proof. We divide and aswhere the segmentation of and is suitable for that of defined in (4), i.e., , . DefineThis means and . By application of the congruence transformations to (23), we getwhere . We continue to use the congruence transformations to (27) and such thatwhere .
The changes to define the controller parameters are now as follows:then, let , (28) becomesthat is (24).
In addition, assume that the matrix inequality is workable, then we have , i.e., . Derive directly from . Thus, we can always find a square and nonsingular and [20]. The proof is completed.
Because the augmentation function (11) is multiparametric and time-varying, the ordinary model prediction controller is not applicable to such models, so we design and propose a novel modified model prediction controller. In contrast to the cost function of the general model predictive controller, the state variables are replaced by the predictor variables initially obtained from the state predictor. Then, a logic programming approach is used to incorporate all possible scenarios into the prediction range. Thus, the cost function is transformed into a simultaneous minimum linear matrix inequality (LMI) with constraints. Therefore, the toolbox YALMIP [21] as well as the multiparametric programming solver MPT3 (Multi-Parameter Toolbox) [22] were used to finally solve this minimax programming problem. To begin with, the control target can be written assubject towhere , is the reference signal for the kth time step; and are positive semidefinite and positive definite weighting matrices, respectively; and and are the lower and upper bounds of and , respectively. It is important to note that is the prediction horizon of the model prediction controller.
It is worth pointing out that since the result of optimization (31) cannot be easily implemented, we use an efficient method from [23], which is to rewrite it as min ,where is a representational variable. Thus, in this thesis, we transform the optimization problem (31) into an LMI, as illustrated in equation (34). A wide range of research has been published in academia on how to deal with the LMI problem. The Riccati equation is typically used to deal with unconstrained problems [24], while constrained problems are usually handled with Schur complement expansions to higher order LMIs, which are then solved by the MATLAB toolbox [25].
However, in this study, the prediction model (32) under the networked control system has uncertainty and stochasticity, so dealing with optimization problems cannot be handled in the usual way. From the point of view of robustness, this study includes all possible states of the prediction model (32) in the future. Hence, [26, 27]In addition, the uncertain variables and are introduced asTherefore, in order to make equation (12) supported by YALMIP, we transform equation (11) using the format of linear parameter variation (LPV) [28].Special attention should be paid to the fact that the influence of the prediction range and LPV format may allow the order of the linear matrix inequality to grow rapidly, making the solution computationally costly and infeasible. In this study, we use a dynamic planning of discrete systems method with the aim of reducing the computational cost and increasing the speed of the solution. The dynamic programming method for discrete systems is used by decomposing the planning problem into subproblems and then deriving the solution of the original problem from the solution of the subproblems [29].
Programming problems for dynamic with cost function,where is the final cost and is the running cost. The partial cost function is defined asTherefore, the value function can be reduced aswhen is the ultimate goal of programming problem. It should be noted that the value function (38) can be treated as the Bellman equation [30]. Thus,In summary, in this research, the running cost is and the final cost is . To solve the MPC programming problem, the method of solving the partial value function is utilized in this thesis. This method is solved by solving recursively from to . is the end result of the control input, which is gotten by solving the final goal .
Now, we use the YALMIP toolbox to solve this minimal programming problem. Algorithm 1 can be summarized as follows.
The structural block diagram of the closed-loop control system proposed in this article is shown in Figure 4.

Step1: define decision variables;
Step2: define the objective function;
Step3: defining constraints;
Step4: set relevant parameters such as solver;
Step5: start solving;

3. Results and Discussion

To verify the performance of the approach, a simulation example is given. This example is based on a fixed-wing aircraft model. In this simulation experiment, the slope response and sinusoidal response of the attitude are investigated to exhibit the feasibility and robustness of the method. Compared with our previous study [26, 27], the treatment of time-delay in this study has better predictability and robustness.

3.1. Example

Consider a MIMO fixed-wing aircraft system as a target plant for networked control systems (NCSs) with a state space of [27]

The fixed-wing aircraft model is shown in Figure 5. The control inputs to the system are the elevator and flaperon, which have an angular range of ±25° and ±75°, respectively, and the output of the system is the altitude. In this study, the sampling period, also referred to as the transmission interval, is 1 second.

The slope response results of the NCSs with the target plant (42) in Figure 2 are shown in Figure 6, which is adjusted by a traditional model predictive controller. The time-delay of the control input networks is 1.5 s and the dropout rates are 0.1.

As shown in Figure 6, the delays and randomness in the NCS lead to severe instability in the studied flight system. To substantiate the advantages of the proposed method, Figure 6 illustrates the simulation results using a proposition under more demanding conditions, where the delay time is 2.5 s and the dropout rate is 0.25.

Figure 7(a) shows the ramp response of the system (42) with the mentioned method for different delay times. The results are shown in the simulation graph. When the delay time of the networked control system increases from 1.5 s to 2.5 s, the entire networked control system remains stable, thus reflecting the stability and robustness of the proposed method. At the same time, the results in Figure 7(b) show the slope response of NCSs at different packet loss rates.

Similarly, Figure 7(b) also demonstrates that the networked control system is well compensated by the ZOH for the control inputs after packet loss occurs, thus enabling the control system to ensure good stability. The results show that the whole control system remains approximately stable when the dropout rate increases from 0.1 to 0.25. Figures 7(c) and 7(d) show the packet loss timing diagrams for packet loss rate of 0.1 and 0.25, respectively, when packets are lost, vice versa.

Figure 8 demonstrates the sine response curves with different delay times for the same packet dropout rate by the proposed method. The results in Figure 8 show that when the packet dropout rate rises to 0.25, the overall control system remains stable while the performance decreases slightly.

Finally, to illustrate the superiority of the method in this paper, the method based on Pade approximation in the literature [27] is compared with the prediction-based control method proposed in this paper, as well as with the traditional model prediction control method. In addition, all three control methods are compared under the condition of dropout rate which is 1 and delayed time is 1 s.

The simulation results are shown in Figure 9. As can be seen from Figure 9, after comparing with other methods, the proposed method in this paper makes the response speed and tracking accuracy of the networked control systems significantly improved.

4. Conclusions

A novel prediction-based controller design is proposed for the case of random packet dropouts and time-delay in the control channel of a networked control system. The sequence of packet dropouts is modelled as a Bernoulli process, which is compensated by a zero-order holder (ZOH)-based module, and a state predictor is used to obtain the predicted state of the delay time. Considering the dropout compensator and the state predictor, we design and propose a novel modified model prediction controller. In contrast to the cost function of the general model prediction controller, the state variables are replaced by the predictor variables obtained initially from the state predictor. Then, a logic programming approach is used to incorporate all possible scenarios into the prediction range. Thus, the cost function is transformed into a simultaneous minimum linear matrix inequality with constraints. Therefore, the toolbox YALMIP is employed in order to finally solve this minimal programming problem. Simulation results show the feasibility and performance of the proposed approach. The propositions in this study exhibit outstanding stability and are advantageous in reducing the solution time and enhancing the robustness of network control systems with delay and dropout. For future research, we plan to further increase the speed of the controller.

Data Availability

No data were used to be support this study.

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 (no. 52077189).