Abstract

This paper addresses the sliding mode control problem for a class of networked control systems with long time delay and consecutive packet dropout. A new modeling method is proposed, through which time delay and packet dropout are modeled in a unified model described by one Markov chain. To avoid the chattering problem of classic reaching law, a new chattering-free reaching law is proposed. Then with a focus on the problem that controller-actuator channel network condition cannot be foreseen by the controller, a new compensation strategy is proposed, which can effectively compensate for the effect of time delay and packet dropout in controller-actuator channel. Finally, a simulation example is presented to demonstrate the effectiveness of the proposed approach.

1. Introduction

In recent years, a lot of interest and concern have been focused on networked control systems (NCSs) where communication channels interconnect sensors with controllers and/or controllers with actuators [1]. Compared with conventional point-to-point interconnected feedback control systems, NCSs have advantages in many aspects: higher system operability, more efficient resource utilization and sharing, lower cost, and reduced weight, as well as simplicity for system installation and maintenance [24]. Despite these distinctive features provided by NCSs, the insertion of communication network in the feedback control loops also brings about new challenges such as bandwidth-limited channel, network-induced delay, packet dropout, and packet disordering [5].

Time delay and packet dropout serve as two of the most common and crucial problems of NCSs that can directly degrade the performance of the closed-loop system or even lead to instability [6]. More specifically, long time delay refers to the time delay larger than the sampling period which, compared with short time delay or “one step” time delay, can cause more serious problems like packet disordering. Therefore, for discrete-time systems, it is more valuable to carry out research on long time delay systems. Numerous effective methods have been reported in the literature aiming to tackle the time delay and packet dropout problems arising in NCSs (see, for example, [710]). It can be concluded that the solution of the problem consists of two main parts, one of which is to establish an appropriate model to describe time delay and packet dropout and the other is to design a controller that can guarantee system stability despite the existence of time delay and packet dropout. This paper is also organized based on this structure.

Firstly, since time delay and packet dropout usually exist simultaneously in the real network, it is important to establish a model to handle them in a common framework. Various modeling methods have been proposed including time delay system model [11], switched system model [1214], asynchronous dynamical system model [15, 16], and stochastic system model [6, 8, 9, 1725]. Among them, stochastic system model becomes popular in recent years and one of the most used ways is to adopt a Markov discrete-time linear system to describe random time delay or packet dropouts [9, 2022, 24, 25]. It is found that the transition from one time delay/packet dropout state to another usually occurs with a certain probability and thus a Markov chain can be used to describe such relation with a transition probability matrix. Therefore, long time delay and consecutive packet dropout can be modeled as a Markov chain. In [24], both sensor-to-controller and controller-to-actuator delays are considered and described by Markov chains and the resulting closed-loop systems are written as jump linear systems with two modes. Similarly, in [25], the characteristics of network communication delays and packet dropouts in both sensor-to-controller and controller-to-actuator channels are modeled and their history behavior is described by three Markov chains. However, it is discovered that most of the existing Markov chain based modeling methods have a common problem that the time delay and packet dropout are usually considered on the controller side, which means they do not reflect the condition of the packets actually received by the actuator. This could lead to the problem of the use of outdated signals and packet disordering. To avoid this problem, buffer or zero-order-holder (ZOH) are introduced [26], but pitifully, the model used has not changed in [26]. Similarly, ZOH is also used in [27] and a corresponding modeling method is proposed, but [27] considers only the problem of packet dropout. Motivated by the above discussions, this paper focuses on proposing a new model that considers both long time delay and consecutive packet dropout in a unified model, and the situation of actual received control signals on the actuator side will be considered to avoid problems like packet disordering and the use of obsolete data.

When modeling method is determined, the next key problem is to design an appropriate controller that can guarantee system stability and performance of the NCSs despite the existence of time delay and packet dropout. Among various methods, sliding mode control (SMC) method stands out for its unique feature that system states can be driven onto a specially designed sliding surface and then become totally insensitive to uncertainties [2830]. However, the well-known chattering problem limits it wide application especially in discrete systems. With a focus on this problem, this paper proposes a chattering-free sliding mode reaching law for a type of multiple-input NCSs, and it needs to be pointed out that, to the best of the author’s knowledge, the use of such chattering-free reaching law in multiple-input systems has rarely been reported.

Moreover, another critical problem usually ignored is that the network condition of the controller-actuator channel cannot be foreseen by the controller when calculating the control signal, which makes the calculated control signal not suitable for the systems when there exists time delay or packet dropout. Some researchers have noticed this problem but they tried to solve the problem only by using the time delay and packet dropout information of the former sampling period as compensation [31]. Therefore, another novelty of this paper is that it proposes a new compensation strategy, where all possible time delay and packet dropout states in the controller-actuator channel are considered and a multiple-model based controller is designed which can output a sequence of control signals, and then a compensator on the actuator side will decide which signal of the control signal sequence to use according to the time stamp information. In this way, the time delay and packet dropout can be properly compensated for even when the network condition of controller-actuation channel cannot be foreseen.

The main contributions of this paper can be concluded as follows: (i) a new modeling method is proposed for NCSs with long time delay and consecutive packet dropout; (ii) a chattering-free sliding mode reaching law is proposed and first used for multiple-input NCSs; (iii) a multiple-model based sliding mode controller is designed together with a new compensation strategy which can compensate for time delay and packet dropout without the advanced knowledge of controller-actuator channel network condition.

The remainder of this paper is organized as follows. Section 2 introduces the newly proposed NCSs modeling method. The design of chattering-free sliding mode controller as well as the new compensation strategy is presented in Section 3. Numerical simulation results are shown in Section 4. Section 5 presents some conclusions.

2. A New Modeling Method for NCSs with Time Delay and Packet Dropout

2.1. Modeling of Time Delay and Packet Dropout

Consider the discrete NCSs with time delay and packet dropout, which is described by the following state space model:where is system state variable; is control input; is external disturbance; and , , and are matrices with appropriate dimensions.

To make it easier for analysis, the following assumptions are made for system (1).

Assumption 1. System (1) is controllable and all system state variables are observable.

Assumption 2. Time delay and packet dropout exist in the controller-actuator channel only and each data packet is sent with a time stamp.

Assumption 3. The long time delay is bounded and the upper bound is known, which is denoted as ; consecutive packet dropout is also bounded and the largest number of consecutive packet dropouts is known, which is denoted as .

Assumption 4. External disturbance is unknown but bounded and satisfies sliding mode matching condition, i.e.,Now we are going to consider long time delay and consecutive packet dropout for system (1). We will first establish a time delay model based on Markov chain, then we will take packet dropout as a special type of time delay, and the obtained transition probability matrix will be extended. Such modeling method considers the connection between time delay and packet dropout on the actuator side, which makes the model established better reflect the real condition in practical use.

Inspired by [27], a ZOH is adopted for the NCS. Therefore, due to the existence of ZOH, only the newest received control signal will be used. Here we assume that time delay takes values in the set . It is noticed from the value space of that time delay can be zero in our model because, for a normal NCS, it is not possible that there is no on-time arriving signal. Therefore, it is more reasonable to add zero to the value space of time delay. First, let us think about an example, in which . It means controller output signal arrives at time , so the actuator input . Then, due to the existence of ZOH, there are only two possible conditions for . If also arrives on time, we have and . If   does not arrive on time, then will still be used as an actuator input and we have and . In the same way, if we assume the time delay of time instant is , there could be only possible conditions for the next time instant; i.e., if the control signal of arrives on time, then ; if the control signal of does not arrive but the signal sent out at time arrives, then we have ; if control signal of or does not arrive but that of time arrives, then we have ; the same way can explain the conditions all the way to ; however, if there is no newly arriving signal at , then, due to the existence of ZOH, the control signal of time is still used, so the value of time delay becomes . In particular, when , which is the upper bound of time delay, there could only be conditions. The existence of ZOH guarantees the use of newest signal, which means, for example, if control signal arrives at time instance , then all signals sent before time instant will never be used afterwards. The time delay state transition can be described aswhere , and define as system time delay transition possibility matrix, which is given as follows:Then let us take consecutive packet dropout into consideration. As mentioned above, if there is only bounded time delay, then when , there could be only possible conditions. However, if packet dropout is also considered, the time delay condition of time is different but can also be included and described in a similar way.

Firstly, an example with and is shown in Figure 1 as follows to illustrate the situation when consecutive packet dropout is included.

It is shown that is transmitted to the actuator at time instant without time delay, thus giving . Then at next time instant , as illustrated above, could only be . If , then at time instant , we have , or 1, or 2. If , since time delay is bounded, then, at time instant , the late arriving signal could only be or , and if there is still no newly arrived signal, it is certain that packet and the signals sent before , if still not received, are already lost. On this occasion, ZOH outputs control signal as actuator input and the equivalent time delay is . If , since it is sure that is already lost, then, at time instant , the late arriving signal could only be or and if there is still no newly arrived signal, will still be used by the actuator; thus the equivalent time delay is . If , since consecutive packet dropout is also bounded, could only take values in the set . Extend the above discussion to and define the value space of equivalent time delay as ; then the following equivalent time delay transition is given:where , and define as system equivalent time delay transition possibility matrix, which is given as follows:As a result, the NCSs with long time delay and consecutive packet dropout can be expressed aswhere is equivalent time delay.

Remark 5. The proposed new modeling method stands out from other traditional stochastic system modeling methods in the following three aspects:
(i) It innovatively models long time delay and consecutive packet dropout in a unified model described by only one Markov chain.
(ii) The time scale adopted in our Markov chain is linear with the physical time; i.e., the state transition in our Markov chain always happens over one physical time instant.
(iii) Compared with traditional models, the transition probability matrix of our model is not a full matrix and thus it requires less work in obtaining the transition probability matrix.

2.2. Elimination of Time Delay Term in the Form

First, according to Assumption 4, system (7) can be rewritten asThe following linear transformation can be adopted to obtain a new expression of system (8) which does not have time delay term in the form. When , by definingsystem (8) can be transformed asAccording to Assumption 1, system (10) is also controllable.

Proof. The term can be decomposed as follows:Substituting (11) into (8), we havePremultiplying both sides of (12) by , we have Finally let ; system (10) can obtained. In particular, when , it is defined that .

3. Design of Chattering-Free Sliding Mode Controller

3.1. Design of Linear Sliding Surface

Since disturbance satisfies the matching condition, then when designing the sliding surface, the system can be transformed to a sliding mode regular form so that the sliding mode dynamic is totally free from the disturbance. To obtain the sliding mode regular form of (10), we can define a nonsingular matrix , which makeswhere is nonsingular. Choose , where , are two subblocks of a unitary matrix resulting from the singular value decomposition of , i.e.,where is a diagonal positive-definite matrix and is a unitary matrix.

Then through linear transformation , system (10) can be decomposed into two subsystems:where , ; .

It has been proved that (16a) is the sliding mode dynamics of system (10).

Choose the following classic linear sliding surface:In the sliding mode, we haveSubstituting (18) into (16a), we have which is a classic sliding surface design problem, and the sliding surface parameter can be obtained through pole placement.

3.2. Design of Chattering-Free SMC

To suppress chattering, a new chattering-free sliding mode reaching law is proposed, inspired by [32]. However, the reaching law proposed in this paper is for multiple-input systems, which means sliding surface is not a scalar but a vector, and the reaching law should be newly defined. The vector form reaching law is given bellow:where , , and,Therefore, the sliding mode controller can be designed by comparing (16a), (16b), and (20):It can be seen that the unknown disturbance term is included in the expression of , so cannot be used directly as a control signal. To tackle this problem we introduce the following disturbance estimation strategy:Substituting (23) into (22) yields the final SMC law:With the SMC law (24), the new sliding mode reaching law considering disturbance isSince is a vector with sliding mode functions, then we write (25) into the following componentwise form and we will prove that each sliding mode state satisfies the reaching condition. The componentwise form of (25) iswhere is the row of , i.e.,

Assumption 6. The change rate of disturbance is limited, and there exists a constant such that .

Theorem 7. With the constant matrix and the linear sliding surface given by (17), the trajectory of system sliding mode state can be driven by controller (25) into the sliding surface neighborhood region within at most steps, where

Proof. The proof of the theory consists of two problems:
(i) we need to prove that system sliding mode state will enter the region within steps.
(ii) we will prove that if , then .
Proof of Problem (i). Define a Lyapunov function ; then it is obtained thatThen the following two conditions are discussed.
① If , there isSince , there is no doubt that . Thus, we haveDefine , and then since , , it is sure that is a positive constant.
Similarly, since , there is no doubt that . Thus, we haveTherefore,By further calculation, we haveThen it can be obtained thatConsequently, there is② If , by a similar proof procedure, it can be shown that the relation still holds. Therefore, when , .
Moreover, it can be obtained from (36) thatIt means that ifthen .
However, the solution of (38) may not be an integer, so we denote as the real number solution of (38). Then we can say that after at most steps, the sliding mode state will enter the sliding surface neighborhood region .
Proposition 8. Denote , and then there is .
Lemma 9. For functions in the form:where , there exists , and for any parameter , the following relation holds [33]:Proof of Problem (ii). When , it means . We can define a new parameter such that . The following two cases are discussed.
① When , according to (26), we haveFirst, we will prove that .
According to Proposition 8 and Assumption 6, there isIf , we haveIf , we haveSecond, we will prove that .
According to Proposition 8, we haveIf , since , we haveIf , we have② When , according to (26), we haveFirstly, we will prove that .
According to Proposition 8, we haveIf , since , we haveIf , according to Lemma 9, we haveSecond, we will prove that .
According to Proposition 8, we haveIf , we haveIf , we haveTo this end, we can conclude that when , we have , which means .

Remark 10. For discrete-time systems, the accurate arrival of sliding mode state on the sliding surface is hard to realize, so to totally eliminate chattering is actually not possible in the discrete-time systems. This paper uses to replace the sign function to avoid the sharp switching of control input to suppress chattering. The closer the sliding mode state to the sliding surface, the lower the chattering that will be obtained. It needs to be pointed out that the saying “chattering-free” here is just a conventional way to describe such chattering suppression methods [32, 34, 35].

3.3. Design of Multiple-Model Based Compensator

Traditionally, if time delay information cannot be foreseen by the controller, there can only be two control input compensation strategies, i.e., zero-input or hold-input. For zero-input strategy, it means if the controller output does not arrive on time, then we let control input . However, when time delay happens frequently, this compensation strategy will result in very poor dynamic performance. And for hold-input strategy, it means control signal will remain unchanged unless new control signal arrives, but this may cause serious overshoot when long time delay exists. With a focus on the above problems, a new compensation strategy is proposed, which also comes from the idea of hold-input strategy but, compared with traditional hold-input strategy, it uses different system models to calculate control input signal for different equivalent time delay conditions. And to overcome the problem that controller cannot foresee the controller-actuator equivalent time delay, all possible models relating to different equivalent time delay are established in the controller. Then, at each controlling period, instead of outputting one control signal, the controller will calculate and output a sequence of different control signals based on different models and the controller output will be put in one data packet with a time stamp. Also at each controlling period, the ZOH will output a signal sequence packet based on the time stamp information, which means for , or for , etc. Finally, the compensator will decide which control signal of to use according to the time stamp information; i.e., if , it will use the first signal of , and if , it will use the second signal of , etc.

In this way, even though there is no newly received control signal by the ZOH, the actuator can still get an updated control signal from the compensator and, unlike the traditional hold-input strategy, the updated control input signal has already taken into account the state changes of the former sampling period.

Based on the above discussion, the algorithm of the compensator can be described aswhere the compensation signal choosing function is defined asTo show the relationship between actuator input and controller output more clearly, the following illustrations are given:In conclusion, the steps of designing this chattering-fee sliding mode controller are given below.

Step 1. Obtain the system’s time delay and packet dropout characteristics through experiments and then get the transition probability matrix (6) based on the proposed modeling method.

Step 2. Obtain the system sliding mode regular form (16a) and (16b) through linear transformation , where the definition of nonsingular matrix is given by (14) and (15).

Step 3. Design the classic linear sliding surface (17), whose parameter can be determined by pole placement method.

Step 4. Design the chattering-free reaching law (20) and choose appropriate reaching law parameters , , and that satisfy , , .

Step 5. Design the sliding mode controller (22) according to reaching law (20).

Step 6. Design the multiple-model based compensator (57) based on the upper bound of long time delay and consecutive packet dropout.

4. Simulation Example

In this section, a simulation example is given to illustrate the effectiveness of the proposed method. Consider the following NCS in the form of (1), which comes from a type of aeroengine control system [36]. System parameters are initialed as follows:where is low pressure rotor speed; is high pressure rotor speed; is compressor exit total pressure; is fuel flow; and is critical section area of nozzle.

System sampling period is set as . The initial system state is . The disturbance is chosen aswhere and .

The sliding function parameter can be designed based on pole placement method, and by choosing the pole location of closed-loop system (16a) as , it can be obtained that , and thus .

Then choose the reaching law parameters as , , and .

For long time delay and packet dropout, it is defined that and , and the probability transition matrix is given below:Based on matrix , a Markov chain typed equivalent time delay distribution is shown in Figure 2, which simulates the actual time delay and packet dropout condition of a networked control system during 100 sampling periods.

It can be seen from Figure 2 that occurs four times, and does not occur. Accordingly, we can see that, due to the use of ZOH and the application of the proposed new modeling method, consecutive packet dropout does not really affect the system in this case even though it does exist. However, the effect of consecutive packet dropout may become noticeable if the upper bound of consecutive packet dropout is larger than two, but there is still no doubt that the proposed method greatly suppresses the effect of it.

Simulation results obtained by using the proposed chattering-free SMC are shown in Figures 35. To show the superiority of the proposed controller in chattering suppression, another controller is applied which is the classic reaching law based SMC proposed by Gao [37]. The same compensation strategy is also used in this controller. The results obtained are shown in Figures 68. The comparison of Figure 3 with Figure 6 reveals that the system states converge in less time with lower chattering in the case of the proposed controller as compared to the classic reaching law based SMC. The comparison of Figure 4 with Figure 7, and Figure 5 with Figure 8 gives the same conclusion in control input and sliding function.

Moreover, to testify the effectiveness of the proposed multiple-model based compensator, another controller has been constructed which has the same chattering-free reaching law with the proposed controller but without compensator. Instead, the traditional hold-input compensation strategy is used. First, the condition of and is considered and the response of system state with two controllers is shown in Figure 9, where controller 1 is the proposed controller and controller 2 is the proposed controller without compensator. It can be seen that there is no essential difference between the response curves of with two controllers because the upper bound of time delay and packet dropout is small and the hold-input strategy is sufficient for compensation. Then Figures 10 and 11 depict the response curves of on conditions , and , , respectively. It is obvious that the performance of controller 2 (proposed controller without compensator) deteriorates sharply when the upper bound of time delay and packet dropout grows, while the proposed controller suffers little from the changes.

5. Conclusion

This paper proposes a chattering-free sliding mode controller with multiple-model based delay compensator for NCSs with long time delay and consecutive packet dropout. By proposing a new modeling method, long time delay and consecutive packet dropout can be modeled in a unified model described by one Markov chain, which not only simplifies the system model but also makes the controller designed more suitable for practical use. To the best of the authors’ knowledge, this modeling method for time delay and packet dropout has not been reported by any existing literature and it is the use of this model that makes the proposed compensator function well. A chattering-free sliding mode reaching law is then proposed and it is also the first time that such chattering-free reaching law is used for multiple-input discrete-time systems. To overcome the problem that controller-actuator channel network condition cannot be foreseen by controller, a new compensation strategy is proposed and a multiple-model based compensator is constructed. Finally, a simulation example is given and it shows that the proposed method can effectively overcome the effect of time delay and packet dropout as well as disturbance and can make the system states converge to the origin quickly without noticeable chattering. Therefore, the proposed method serves as a suitable choice for uncertain NCSs with long time delay and consecutive packet dropout. In our future research, we will work on testing the proposed method in a practical system so that the theory proposed can be more completed.

Data Availability

The data used to support the findings of this study are already included within the article, which have been given clearly at the beginning of the section “Simulation Example”.

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 (51506221, 51476187, and 51606219).