Finite-Time Boundedness and Stabilization of Networked Control Systems with Time Delay

The finite-time control problem of a class of networked control systems NCSs with time delay is investigated. The main results provided in the paper are sufficient conditions for finite-time stability via state feedback. An augmentation approach is proposed to model NCSs with time delay as linear systems. Based on finite time stability theory, the sufficient conditions for finite-time boundedness and stabilization of the underlying systems are derived via linear matrix inequalities LMIs formulation. Finally, an illustrative example is given to demonstrate the effectiveness of the proposed results.


Introduction
Networked control systems NCSs are feedback control systems with control loops closed via digital communication channels.Compared with the traditional point-to-point wiring, the use of the communication channels can reduce the costs of cables and power, simplify the installation and maintenance of the whole system, and increase the reliability.NCSs have many industrial applications in automobiles, manufacturing plants, aircrafts, and HVAC systems 1 .However, the insertion of communication networks in feedback control loops makes the NCSs analysis and synthesis complex; see 2-8 and the references therein.
One issue inherent to NCSs, however, is the network-induced delay that occurs while exchanging date among devices connected to the shared medium.This delay, either constant or time varying, can degrade the performance of control systems designed without considering it and even destabilize the system.Thus the issues of stability analysis for NCSs have received considerable attention for decades 9-15 .In 9, 10 , NCSs with random delays are modelled as jump linear systems with two modes; the necessary and sufficient conditions on the existence of stabilizing controllers are given.By introducing indicator functions, meansquare asymptotic stability is derived for the closed-loop networked control system in 11 .Based on a discrete system model with time-varying input delays, stability analysis and control design are carried out in 12, 13 .In 14 , an observer-based stabilizing controller has been designed for networked systems involving both random measurement and actuation delays.In 15 , a novel state feedback H ∞ control with the compensator for the effects of network delays in both forward and feedback channels is proposed by introducing an augmented state variable.
On the other hand, finite-time boundedness and stability can be used in all those applications where large values of the state should not be attained, for instance, in the presence of saturations.However, most of the results in the literature are focused on Lyapunov stability.Some early results on finite-time stability FTS can be found in 16 , more recently the concept of FTS has been revisited in the light of recent results coming from linear matrix inequalities LMIs theory, which has made it possible to find less conservative conditions for guaranteeing FTS and finite time stabilization of discrete-time and continuoustime systems 17-26 .In 27, 28 , sufficient conditions for finite-time stability of networked control systems with packet dropout are provided; however, controller design methods are not given.
To the best of our knowledge, the finite-time stabilization problems for NCSs with delay have not been fully investigated to date.Especially for the case where the plant subjects to external interference, very few results related to NCSs are available in the existing literature, which motivates the study of this paper.The main contributions of this paper are definitions of finite-time boundedness and stabilization are extended to NCSs.Furthermore, sufficient conditions for finite-time boundedness and stabilization linear matrix inequalities formulation are given.
In this paper, the finite-time stabilization and boundedness problems of a class of NCSs with time delay are studied.The sufficient conditions for finite-time stabilization and boundedness of the underlying systems are derived via LMIs formulation.Lastly, an illustrative example is given to demonstrate the effectiveness of the proposed methods.
This paper is organized as follows.An augmentation approach is proposed to model NCSs with time delay as linear system in Section 2. The finite-time stabilization and boundedness conditions for NCSs with time delay are derived via LMIs in Section 3. Section 4 provides a numerical example to illustrate the effectiveness of our results.Finally, Section 5 gives some concluding remarks.

Problem Formulation and Preliminaries
In this paper, it is assumed that the plant is described by ẋ t Ax t Bu t Gw t 2.1 and time-invariant controller where x t ∈ R n is the state, u t ∈ R m is the control input, and w t ∈ R q is the exogenous input.A, B, and G are known real constant matrices with appropriate dimensions.The sampling period h is fixed and known.There are two sources of delays from the network: the sensor-to-controller delay τ sc and the controller-to-actuator delay τ ca .For the fixed control law, the sensor-to-controller delay and the controller-to-actuator delay can be lumped together as τ τ sc τ ca for analysis purpose.We make the following assumptions about NCSs.
Assumption 2.1.The sensors are clock-driven sensors, and controllers and actuators are eventdriven.
Assumption 2.2.The network-induced delay is constant and less than one sampling period.2.3 Then the system equation can be written as

2.4
Sampling the system with period h, we obtain where Γ 0 τ and Γ 1 τ are defined as follows: e As B ds.

2.7
Define the augmented state vector x k as follows: and the augmented exogenous input vector w k as Then we have the augmented closed-loop system where and K is defined as follows Remark 2.4.According to Assumption 2.3, we can derive that there exists a positive constant d, such that the condition is satisfied, for finite positive integer N.
Remark 2.5.When the delay is longer than one sampling period, that is to say, h < τ < lh, where l > 1, the augmented state vector x k is defined as and the corresponding augmented closed-loop system can be derived.
The main aim of this paper is to find some sufficient conditions which guarantee that the system given by 2.10 is bounded over a finite-time interval.The general idea of finite-time stability concerns the boundedness of the state of a system over a finite time interval for given initial conditions; this concept can be formalized through the following definitions.
Definition 2.6.System 2.10 with 2.13 is said to be finite-time bounded with respect to α, d, β, R, N , where R is a positive-definite matrix, 0 < α < β, if

2.15
Definition 2.7.System 2.10 with w k 0 is said to be finite-time stable with respect to α, β, R, N , where R is a positive-definite matrix, 0 < α < β, if

2.16
To this end, the following lemma will be essential for the proofs in the next section and its proof can be found in the cited references.

Main Results
In this section, we will find a state feedback control matrix K, such that system 2.10 is finitetime bounded with respect to α, d, β, R, N .In order to solve the problem, the following theorem will be essential.
Theorem 3.1.For given state feedback control matrix K, system 2.10 is finite-time bounded with respect to α, d, β, R, N , if there exist symmetric positive definite matrices P 1 and P 2 and a scalar γ ≥ 1, such that the following conditions hold: where

Mathematical Problems in Engineering
Proof.Choose the Lyapunov function as Then we have

3.5
It follows from 3.1 that Applying iteratively 3.6 , we obtain

3.7
Using the fact that γ ≥ 1, we have

3.8
On the other hand, From 3.8 and 3.19 , it can be seen that

3.11
This completes the proof.
Corollary 3.2.For given state feedback control matrix K, system 2.10 with the disturbance w k 0 is finite-time stable with respect to α, β, R, N , if there exist symmetric positive definite matrix P and a scalar γ ≥ 1, such that the following conditions hold:

3.13
Now we turn back to our original problem, that is, to find sufficient conditions which guarantee that the system 2.4 with the controller 2.2 is finite-time bounded with respect to α, d, β, R, N .The solution of this problem is given by the following theorem.
Theorem 3.3.System 2.10 is finite-time bounded with respect to α, d, β, R, N if there exist symmetric positive definite matrices Q 11 , Q 12 , and Q 2 , a matrix L, and a scalar γ ≥ 1, such that the following conditions hold: where Mathematical Problems in Engineering S and Q 1 are defined as follows 3.17 Then the controller K is given by the first p columns of K LSQ −1 1 , which is in the form 2.12 .
Proof.Let us consider Theorem 3.1 with Q 1 P −1 1 and Q 2 P 2 .Condition 3.2 can be rewritten as in 3.15 recalling that for a positive definite matrix Q

3.18
Denote A A B K. Then condition 3.1 can be rewritten as Pre-and postmultiplying 3.19 by the symmetric matrix the following equivalent condition is obtained By using Lemma 2.8, 3.21 is equivalent to the following: and postmultiply it by the transpose of 3.23 .In this way, we obtain the following equivalent condition:

3.24
Recalling that A A B K and letting KQ 1 LS, we obtain that condition 3.1 is equivalent to 3.14 .This completes the proof.
Remark 3.4.The chosen structures for matrices S and Q 1 guarantee that K is in the form 2.12 .
In fact Remark 3.5.Once we have fixed γ, the feasibility of the conditions stated in 3.14 can be turned into LMI feasibility problems.On the other hand, for θ 1 > 0, θ 2 > 0, it is easy to check that condition 3.15 can be guaranteed by

3.26
Corollary 3.6.System 2.10 with the disturbance w k 0 is finite-time stable with respect to α, β, R, N , if there exist symmetric positive definite matrices Q 1 , Q 2 , a matrix L, and a scalar γ ≥ 1, such that the following conditions hold:

3.28
Then the controller K is given by the first p columns of K LSQ −1 .

Conclusions
In this paper, we have considered the finite-time boundedness problems of a class of networked control systems NCSs subject to disturbances.Based on the augmentation approach, the NCSs with time delay as linear systems.The sufficient conditions for finitetime boundedness of the underlying systems are derived via linear matrix inequalities LMIs formulation.Lastly, an illustrative example is given to demonstrate the effectiveness of the proposed results.

Figure 1 :
Figure 1: Illustration of NCSs over communication network.

Assumption 2 . 3 .
During the finite time T , there exists a positive constant d, such that the exogenous input w t satisfies T 0 w T t w t dt ≤ d 2 .

It is assumed that α 1 ,
d 3, β 20, R I, N 10.Applying Theorem 3.3 with γ 1.5, it is found that 22, where W 11 ∈ R p×p , W 22 ∈ R q×q , and W 12 ∈ R p×q , the following three conditions are mutually equivalent: Lemma 2.8 Schur complement lemma, see 29 .For a given symmetric matrix W W 11 W 12 W T 12 W Choose the sampling h 0.3s.Suppose τ 0.1s.The corresponding matrices are given by