Abstract

This paper investigates the relationship between the maximum allowable dropout bound and the quantization density. Networked Control System (NCS) is described as a time-delay switched system with constrained switching signals. A switched dynamic output feedback controller with prescribed disturbance attenuation level is designed via a cone complement linearization approach. A novel stability criterion is obtained by switched system theory. Furthermore, finding an appropriate quantization density used when packet dropout occurs is converted to an optimization problem.

1. Introduction

Networked Control System (NCS) has been widely used in industrial production such as aerospace engineering, robotic engineering, and power system. The control information is exchanged via communication networks in NCS. It has many attractive advantages, such as less wiring, low costs, ease of system diagnosis and maintenance, and increased flexibility. On the contrary, it may induce some problems such as quantization error and packet dropouts which deteriorate the performance of system or even cause instability [1].

Quantization effect cannot be avoided in the digital control process, and the stabilization problem by quantized feedback has been extensively studied in the last few years [25]. In [6], a sufficient condition is presented for filtering error system to be mean square exponentially stable with prescribed performance by employing the multiple Lyapunov function method. The obtained condition depends on packet dropout rate of NCS. In [7], coarsest memoryless quantizer which can stabilize a single-input system with packet loss is proposed in the sense of stochastic quadratic stability. All of the aforementioned works use time-invariant signal quantization strategy and ignore network load condition. Actually, it is less conservative to switch quantization level according to network load condition. To achieve this, [8] proposes an adaptive quantization density method to reduce network congestion. The quantization density is designed to be a function of the networked load modeled by a Markov process. However, no specific parameters reflecting network load has been introduced. The Markov chain may not be obtained easily and might vary under some unknown disturbance. Packet loss is an important indicator for load condition and it can be measured easily by adding a counter at controller node. Therefore, packet loss number is treated as switching signal of load condition in our paper. A large packet loss number means that the network load condition is worse. A coarser quantization density which implies transmitting less information can decrease the incidence rates of packet drop. So the quantization density should be increased as much as possible in order to exchange for better network performance when successive packet dropouts occur. Nevertheless, the quantization density cannot be increased indefinitely for a specified number of packet loss because this may cause oscillation in system [912]. Hence, it is essential to investigate the relationship between packet loss number and quantization level.

Many researchers have studied packet loss in NCS and lots of stability analysis results have been obtained [1316]. For most of the aforementioned papers about packet loss problem, stochastic system approach is usually adopted to investigate the stability criterion of NCS. Generally, packet dropout process is modeled as an independent and identical distributed Bernoulli process [1720]. It is easy to study the relationship between packet loss rate and quantization density by this method. However, this makes it difficult to add successive packet dropout number to the NCS model. The transition probability matrix or packet loss probability must be known beforehand by experimentation. The controller designed via stochastic system approach is constrained by packet loss probability. Once the probability changes, the controller should be redesigned, which reduces the flexibility. The quantitative relationship between packet dropouts number and quantization density has not been studied by switched system approach yet. Switched system approach is more flexible and independent of packet loss probability. This inspires us to try modeling the NCS as a switched linear discrete-time system.

In this paper, the switched quantization strategy is set as follows: if the successive packet drop number increases, coarser quantization densities will be used at the next sampling time to relieve network congestion; a fine quantization density is selected when the data is transmitted successfully. An algorithm of a dynamic output feedback controller synthesis is proposed. A stability criterion dependent on quantization density and successive packet dropout number is given. The relationship between number of packet dropouts and quantization density is established through switched system theory. The structure of NCS proposed in this paper is depicted in Figure 1.

The advantage of the method presented in this paper is that the probability of packet loss need not be prior informed. Less experiments about network load mean that the costs of test and lots of time can be saved. The load condition of network can be dynamically optimized by transmitting less information when packet dropout happens. Fewer inequalities need to be solved since the constrained switching signal approach [21] is used to model the packet dropout. This greatly reduces the computation.

Two assumptions are needed for designing the controller and quantization density as follows: the network locates between the sensor and controller node; if packet loss occurs, the actuator will use the last successful transmitted data.

This paper is organized as follows. Section 2 gives the system description, the form of dynamic output feedback controller, and quantization error model. Main results for controller synthesis and stability analysis are presented in Section 3. The validity of the approach is illustrated by a simulation example in Section 4. In Section 5, a summary for this paper is proposed.

2. System Modeling and Problem Formulation

Consider a discrete-time linear system model where are the state vector, input, controlled output, and measured output. is the disturbance which belongs to . are known matrices with appropriate dimensions.

When the number of packet dropouts increases, the quantization density should be switched to reduce the network congestion. The logarithmic quantizer is proposed as follows: where is the signal to be quantized and is the quantized signal. The introduction of variable aims to represent the switching signal of quantization density. is related to by The associated quantized set is given as The quantization error is proposed as follows: where is the maximum number of packet loss. According to the definition of , it can be treated as norm-bounded time-varying uncertain parameter in NCS [22]. This means that where A switched dynamic output feedback (DOF) controller is used to compensate the packet dropouts as follows:

Remark 1. The variable has two different meanings in the system. It stands for: (a) the switching signal of controller; (b) the successive dropout number of networked control system at instant . The switching signal of quantizer is a map, .

Remark 2. In this paper, the switching signal is not arbitrary, but satisfies the following constraints. If the successive packet dropout number is   () at the present time, the number of consecutive packet loss is equal to or 0 at the next instant; if the packet drop number is at this instant, the data must be transmitted successfully at next sampling time.

Now define a new state vector . From (1), (5), and (8), the closed-loop system is given as follows: where , , , , .

The problem under investigation is formulated as follows.(i)For a prescribed and quantization densities , design a switched DOF controller of the form (8) such that:(1)the system (9) is asymptotically stable with ;(2)under the zero-initial condition, the controlled output satisfies for all nonzero .(ii)For an controller obtained by the method above, select a maximum in order to ease network congestion.

The following lemmas will play a key role in designing the DOF controller for NCS.

Lemma 3 (see [23]). Define two new vectors: , ; then for any matrices , , and satisfying the following inequality holds where .

Lemma 4 (see [24]). Assume that , , are real matrices with appropriate dimensions and . The inequality holds if there exists a scalar   satisfying

3. Controller Synthesis and Stability Analysis

The following theorem provides a methodology of designing a switched output feedback controller.

Theorem 5. For a given scalar and quantization densities , if there exist positive symmetric matrices , , , , matrices , , , , , , , , , , , , , , , , , scalar   satisfying the following inequalities for all : where
then the closed-loop system is stable with the prescribed performance.

Proof. Construct a switched Lyapunov function for the closed-loop system as
Case 1. Assume that at times and , the numbers of packet loss are and (); then the forward difference of is given as follows: Using Lemma 3, the following inequality can be obtained: where Partition matrices and as , .
Applying Schur complement (see [25]) on (21), is equivalent to the following matrix inequality: where
From (6), we know that Rewriting inequality (23), we can note that where Applying Lemma 4 and Schur complement on the inequality above, (15) is easy to be obtained according to . This guarantees inequality (23). Adding from to , the following result can be derived owing to the zero-initial condition : This yields When , it is obvious that .
Case 2. At time , the packet dropout number is or . At time , the packet is transmitted successfully. In this case, the second term of the Lyapunov functional becomes zero. Eliminate in . Replacing in (21) with and , the proof is almost the same with that of Case 1. We can see that inequalities (16) and (17) guarantee the stabilization of NCS with prescribed performance.

A switched controller can be obtained by solving the Bilinear Matrix Inequalities in Theorem 5. A cone complement approach shown as follows can be used to solve the problem [26]:

For given controller matrices of system (9), a method of stability analysis is also needed in the sense of time-variant quantization density. Therefore, a novel stability criterion for system (9) with switched quantization level is proposed as follows. This method can also be used in choosing a suitable quantization density.

Theorem 6. For a prescribed scalar   , , controller matrices , , , , , , and quantization densities , if there exist sets of symmetric positive-definite matrices , , matrices , , , , , , , , , , scalar   satisfy the following inequalities: where the closed-loop system is asymptotically stable with the disturbance attenuation level .

Proof. Consider Case 1 in the proof of Theorem 5. Multiply (15) to the right by the matrix and the left by its transpose. By Schur complement, if the inequalities (31) and (32) hold, then the inequality (23) holds [27]. Thus the closed-loop system is asymptotically stable with the disturbance attenuation level .
Case 2: Pre- and postmultiply (16) and (17) by diag; then if (33) and (34) hold, the closed-loop system is asymptotically stable with the disturbance attenuation level . The proof is similar to that of Case 1.

After designing a switched controller, a that is large enough should be selected to reduce the packet dropouts. This can be converted to a convex optimization problem as follows:

Remark 7. The quantization density for the worst packet loss case can be increased until the LMIs are infeasible. The maximum can be used to quantize the data transmitted to the controller when the load condition takes a turn for the worse. By the approach proposed in this paper, we not only design a less conservative controller by changing quantization level when network load is heavy but also search for an optimized quantization density.

4. Numerical Examples

In this section, the numerical simulation is given to illustrate the main results in this paper.

Consider the following example of a discrete-time LTI system (1), where

The maximum number of packet loss is assumed to be 3. For the simplicity of presentation, the switched output feedback controller is designed to have two modes . represents that there is no packet dropout at this time, whereas means that packet loss happens. Set the initial value of quantization density as , . is chosen for the design of controller. Using the approach given in Theorem 5, the controller matrices are obtained as follows:

After designing a switched output feedback controller, a suitable should be selected according to the method given above. Solving inequalities (31), (32), (33), and (34) in Theorem 6, we can find that the LMIs are still feasible when and which is smaller than the prescribed . This means that the quantization density can be switched to when network load is heavy. The network congestion can be reduced. The states evolution of system is shown in Figures 2, 3, 4, and 5.

To compare with the case of fixed quantization density, which corresponds to heavy load is adopted for quantizing data. In this case, network load condition is ignored for design of the controller. A fixed quantization density implies that the load condition cannot be dynamically optimized and the control law can only be computed for the worst load condition. Using Theorem 5, no feasible solution can be found with this density. This indicates that the proposed approach is less conservative.

5. Conclusions

The quantitative relationship between quantization density and packet loss number has been studied by switched system approach in this paper. A robust feedback control law has been derived in terms of bilinear matrix inequalities which can be solved by a cone complement algorithm. A new method for stability analysis of NCS with quantization error and packet drop has been given in the form of Linear Matrix inequalities. An approach to choose suitable quantization density has been presented. The result is less conservative but more flexible since a switched controller and quantization level are used. The effectiveness of the method is illustrated by a simulation example.

Conflict of Interests

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

Acknowledgments

This work is supported by Beijing Municipal Natural Science Foundation (4122075), the National Natural Science Foundation of China under Grants (no. 61004031, no. 61174096, and no. 61104141), and the Fundamental Research Funds for the Central Universities.