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.
1. 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, mean-square 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 continuous-time 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.
2. Problem Formulation and Preliminaries
Consider NCS depicted in Figure 1 consists of three components: a plant to be controlled, a network such as the Internet, and a controller.
Illustration of NCSs over communication network.
In this paper, it is assumed that the plant is described by
(2.1)x˙(t)=Ax(t)+Bu(t)+Gw(t)
and time-invariant controller
(2.2)u(kh)=-Kx(Kh),k=0,1,2,…,
where x(t)∈ℝn is the state, u(t)∈ℝm is the control input, and w(t)∈ℝ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 event-driven.
Assumption 2.2.
The network-induced delay is constant and less than one sampling period.
Assumption 2.3.
During the finite time T, there exists a positive constant d, such that the exogenous input w(t) satisfies
(2.3)∫0TwT(t)w(t)dt≤d2.
Then the system equation can be written as
(2.4)x˙(t)=Ax(t)+Bu(t)+Gw(t),t∈[kh+τ,(k+1)h+τ),y(t)=Cx(t),u(t+)=-Kx(t-τ),t∈{kh+τ,k=1,2,…}.
Sampling the system with period h, we obtain
(2.5)x(k+1)=Φx(k)+Γ0(τ)u(k)+Γ1(τ)u(k-1)+Ψw(k),y(t)=Cx(t),
where
(2.6)Φ=eAh,Ψ=∫0heAsGds.Γ0(τ) and Γ1(τ) are defined as follows:
(2.7)Γ0(τ)=∫0h-τeAsBds,Γ1(τ)=∫h-τheAsBds.
Define the augmented state vector x~(k) as follows:
(2.8)x~(k)=[x(k),u(k-1)]T
and the augmented exogenous input vector w~(k) as
(2.9)w~(k)=[w(k),0]T.
Then we have the augmented closed-loop system
(2.10)x~(k+1)=(A~+B~K~)x~(k)+G~w~(k),
where
(2.11)A~=[ΦΓ1(τ)00],B~=[-Γ0(τ)-I],G~=[Ψ000]
and K~ is defined as follows
(2.12)K~=[K0].
Remark 2.4.
According to Assumption 2.3, we can derive that there exists a positive constant d, such that the condition
(2.13)∑k=1Nw~T(k)w~(k)≤d2
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
(2.14)x~(k)=[x(k),u(k-l),…,u(k-1)]T
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)xT(0)Rx(0)≤α2⟹xT(k)Rx(k)≤β2,k∈{1,…,N}.
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)xT(0)Rx(0)≤α2⟹xT(k)Rx(k)≤β2,k∈{1,…,N}.
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.
Lemma 2.8 (Schur complement lemma, see [29]).
For a given symmetric matrix W=[W11W12W12TW22], where W11∈ℝp×p,W22∈ℝq×q, and W12∈ℝp×q, the following three conditions are mutually equivalent:
W<0,
W11<0, W22-W12TW11-1W12<0,
W22<0, W11-W12W22-1W12T<0.
3. Main Results
In this section, we will find a state feedback control matrix K, such that system (2.10) is finite-time 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 P1 and P2 and a scalar γ≥1, such that the following conditions hold:
(3.1)[(A~+B~K~)TP1(A~+B~K~)-γP1(A~+B~K~)TP1G~G~TP1(A~+B~K~)G~TP1G~-γP2]<0,(3.2)λ2λ1γNα2+λ3λ1γNd2<β2,
where
(3.3)λ1=λmin(P~1),λ2=λmax(P~1),λ3=λmax(P2),P~1=R-1/2P1R1/2.
Proof.
Choose the Lyapunov function as
(3.4)V(x~(k))=x~T(k)P1x~(k).
Then we have
(3.5)V(x~(k+1))=x~T(k+1)P1x~(k+1)=((A~+B~K~)x~(k)+G~w(k))TP1((A~+B~K~)x~(k)+G~w(k))=[x~(k)w(k)]T[(A~+B~K~)TP1(A~+B~K~)(A~+B~K~)TP1G~G~TP1(A~+B~K~)G~TP1G~][x~(k)w(k)].
It follows from (3.1) that
(3.6)V(x~(k+1))≤γV(x~(k))+γwT(k)P2w(k).
Applying iteratively (3.6), we obtain
(3.7)V(x~(k))≤γkV(x~(0))+∑j=1kγjwT(k-j)P2w(k-j)=γk(V(x~(0))+∑j=1kγj-kwT(k-j)P2w(k-j)∑j=1k)≤γk(V(x~(0))+λ3∑j=1kγj-kwT(k-j)w(k-j)∑j=1k).
Using the fact that γ≥1, we have
(3.8)V(x~(k))≤γk(V(x~(0))+λ3∑j=1kwT(k-j)w(k-j)∑j=1k)≤γN(λ2α2+λ3d2).
On the other hand,
(3.9)V(x~(k))=x~T(k)P1x~(k)≥λ1x~T(k)Rx~(k).
From (3.8) and (3.19), it can be seen that
(3.10)x~T(k)Rx~(k)≤λ2λ1γNα2+λ3λ1γNd2<β2
which means that
(3.11)x~T(k)Rx~(k)≤β2,k=1,…,N.
This completes the proof.
Corollary 3.2 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.12)(A~+B~K~)TP(A~+B~K~)-γP<0,
cond
(P~)<1γNβ2α2,
where
(3.13)P~=R-1/2PR1/2,
cond
(P~)=λmax(P~)λmin(P~).
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 Q11, Q12, and Q2, a matrix L, and a scalar γ≥1, such that the following conditions hold:
(3.14)[-γQ10(A~Q1+B~LS)T0-γQ2G~TA~Q1+B~LSG~-Q1]<0,(3.15)λ5λ4γNα2+λ5λ6γNd2<β2,
where
(3.16)λ4=λmin(Q~1),λ5=λmax(Q~1),λ6=λmax(Q2),Q~1=R-1/2Q1R1/2S and Q1 are defined as follows
(3.17)S=[I000],Q1=[Q1100Q12].
Then the controller K is given by the first p columns of K~=LSQ1-1, which is in the form (2.12).
Proof.
Let us consider Theorem 3.1 with Q1=P1-1 and Q2=P2. Condition (3.2) can be rewritten as in (3.15) recalling that for a positive definite matrix Q(3.18)λmax(Q)=1λmin(Q-1).
Denote A^=A~+B~K~. Then condition (3.1) can be rewritten as
(3.19)[A^TQ1-1A^-γQ1-1A^TQ1-1G~G~TQ1-1A^G~TQ1-1G~-γQ2]<0.
Pre- and postmultiplying (3.19) by the symmetric matrix
(3.20)[Q100I],
the following equivalent condition is obtained
(3.21)[Q1A^TQ1-1A^Q1-γQ1Q1A^TQ1-1G~G~TQ1-1A^Q1G~TQ1-1G~-γQ2]<0.
By using Lemma 2.8, (3.21) is equivalent to the following:
(3.22)[Q1A^TQ1-1A^Q1-γQ1Q1A^TQ1-1G~0G~TQ1-1A^Q1-γQ2G~T0G~-Q1]<0.
Premultiply (3.22) by
(3.23)[I0-Q1A^TQ1-10I000I]
and postmultiply it by the transpose of (3.23). In this way, we obtain the following equivalent condition:
(3.24)[-γQ10Q1A^T0-γQ2G~TA^Q1G~-Q1]<0.
Recalling that A^=A~+B~K~ and letting K~Q1=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 Q1 guarantee that K~ is in the form (2.12). In fact
(3.25)K~=LSQ1-1=L[I000][Q1100Q12]=L[Q11-1000]=[K0].
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)θ1R-1<Q1<R-1,0<Q2<θ2I,[β2-θ2d2γNαγNαγNθ1]>0.
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 Q1, Q2, a matrix L, and a scalar γ≥1, such that the following conditions hold:
(3.27)[-γQ(A~Q+B~LS)TA~Q+B~LS-Q]<0,R-1<Q<1γNβ2α2R-1,
where
(3.28)S=[I000],Q=[Q100Q2].
Then the controller K is given by the first p columns of K~=LSQ-1.
4. Numerical Example
Consider the following system:
(4.1)x˙(t)=[010-0.1]x(t)+[00.1]u(t)+[1001]w(t),y(t)=[0.10.5]x(t).
Choose the sampling h=0.3s. Suppose τ=0.1s. The corresponding matrices are given by
(4.2)Φ=[1.00000.295500.9704],Ψ=[0.30000.044600.2955],(4.3)Γ0(τ)=[0.00200.0198],Γ1(τ)=[0.00250.0098]
which yields
(4.4)A~=[1.00000.29550.002500.97040.0098000],B~=[-0.0020-0.0198-1],G~=[0.30000.0446000.29550000].
It is assumed that α=1, d=3, β=20, R=I, N=10. Applying Theorem 3.3 with γ=1.5, it is found that
(4.5)Q1=[0.94720.031800.03180.79470000.8616],L=[0.00300.01870].
Therefore, the desired controller gain is given by
(4.6)K~=LSQ1-1=[K0]=[0.00240.02350].
5. 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 finite-time 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.
Acknowledgment
This work was partly supported by the program of science and technology of Huainan no. 2011A08005.
HespanhaJ. P.NaghshtabriziP.XuY.A survey of recent results in networked control systems20079511381722-s2.0-6414912475810.1109/JPROC.2006.887288WuJ.ChenT.Design of networked control systems with packet dropouts200752713141319233275810.1109/TAC.2007.900839YueD.TianE.WangZ.LamJ.Stabilization of systems with probabilistic interval input delays and its applications to networked control systems20093949399452-s2.0-6765064939810.1109/TSMCA.2009.2019875TianE.YueD.PengC.Reliable control for networked control systems with probabilistic sensors and actuators faults201048147814882-s2.0-7795581698310.1049/iet-cta.2009.0441WangZ.ShenB.ShuH.WeiG.Quantized H∞ control for nonlinear stochastic time-delay systems with missing measurements201257614311444ShenB.WangZ.ShuH.WeiG.H∞ filtering for uncertain time-varying systems with multiple randomly occurred nonlinearities and successive packet dropouts2011211416931709283569610.1002/rnc.1662ZBL1227.93115ShenB.WangZ.ShuH.WeiG.Robust H∞
finite-horizon filtering with randomly occurred nonlinearities and quantization effects201046111743175110.1016/j.automatica.2010.06.0412878188ZBL1218.93103WangZ.ShenB.LiuX.H∞ filtering with randomly occurring sensor saturations and missing measurements2012483556562ZhangL.ShiY.ChenT.HuangB.A new method for stabilization of networked control systems with random delays200550811771181215604510.1109/TAC.2005.852550ShiY.YuB.Output feedback stabilization of networked control systems with random delays modeled by Markov chains200954716681674253576810.1109/TAC.2009.2020638GaoH. J.MengX. Y.ChenT. W.Stabilization of networked control systems with a new delay characterization200853921422148245958710.1109/TAC.2008.930190CloostermanM. B. G.van de WouwN.HeemelsW. P. M. H.NijmeijerH.Stability of networked control systems with uncertain time-varying delays200954715751580253575210.1109/TAC.2009.2015543CloostermanM. B. G.HetelL.van de WouwN.HeemelsW. P. M. H.DaafouzJ.NijmeijerH.Controller synthesis for networked control systems201046101584159410.1016/j.automatica.2010.06.0172877314ZBL1204.93044LuanX. L.ShiP.Stabilization of networked control systems with random delays201158943234330TianE. G.YueD.A new state feedback H∞ control of networked control systems with time-varying network conditions2012349891914WeissL.InfanteE. F.Finite time stability under perturbing forces and on product spaces19671254590209589ZBL0168.33903AmatoF.AriolaM.DoratoP.Finite-time control of linear systems subject to parametric uncertainties and disturbances2001379145914632-s2.0-003545245610.1016/S0005-1098(01)00087-5AmatoF.AriolaM.Finite-time control of discrete-time linear systems2005505724729214158210.1109/TAC.2005.847042AmatoF.AriolaM.CosentinoC.Finite-time stabilization via dynamic output feedback200642233734210.1016/j.automatica.2005.09.0072195173ZBL1099.93042AmatoF.AmbrosinoR.AriolaM.CosentinoC.Finite-time stability of linear time-varying systems with jumps20094551354135810.1016/j.automatica.2008.12.0162531617ZBL1162.93375AmatoF.CosentinoC.MerolaA.Sufficient conditions for finite-time stability and stabilization of nonlinear quadratic systems2010552430434260441910.1109/TAC.2009.2036312AmatoF.AriolaM.CosentinoC.Finite-time stability of linear time-varying systems: analysis and controller design201055410031008265444510.1109/TAC.2010.2041680AmatoF.AriolaM.CosentinoC.Finite-time control of discrete-time linear systems: analysis and design conditions201046591992410.1016/j.automatica.2010.02.0082877166ZBL1191.93099GarciaG.TarbouriechS.BernussouJ.Finite-time stabilization of linear time-varying continuous systems2009542364369249196610.1109/TAC.2008.2008325LiuL.SunJ.Finite-time stabilization of linear systems via impulsive control2008816905909241941310.1080/00207170701519060ZBL1149.93338ZhaoS.SunJ.LiuL.Finite-time stability of linear time-varying singular systems with impulsive effects2008811118241829246257710.1080/00207170801898893ZBL1148.93345MastelloneS.AbdallahC. T.DoratoP.Stability and finite-time stability analysis of discrete-time nonlinear networked control systemsProceedings of the American Control Conference (ACC '05)June 2005123912442-s2.0-23944520408MastelloneS.AbdallahC. T.DoratoP.Model-based networked control for finite-time stability of nonlinear systems: the deterministic caseProceedings of the Mediterranean Conference on Control and AutomationJune 2005109110962-s2.0-3374520241110.1109/.2005.1467167SunY.QinS.Stability analysis and controller design for networked control systems with random time delay201142335936710.1080/002077209035133682747611ZBL1209.93159