This work is concerned with stabilization control of a class of linear switching systems with time-delays in both the input and the communication channels. It is observed that the time-delay in communication channel leads to the mismatch between the plant and the controller. Such a phenomenon can be accounted for by reconstructing switching signal for the overall closed-loop system. Therefore, we derive some sufficient stability conditions by using multiple Lyapunov functions approach and, moreover, present a robust controller design methodology. A numerical example is presented to demonstrate the effectiveness of the proposed method.
1. Introduction
During the last decade, stability and stabilization problems of switching systems have received considerable attentions. Switching control provides flexibility and robustness. A switching system is generated by a switching signal that orchestrates several plants. Therefore, it can be used to describe practical systems that are subject to abrupt changes. For stability analysis, one of the fundamental problems is to establish the constraint conditions on switching frequency and specify certain classes of switching signal so as to guarantee the stability of the overall system (see, e.g., [1–5]). The associated stabilization problem then is to construct feedback control to make the closed-loop system stable under certain classes of switching signal. Within this context, it is an important assumption that the controller can access the plant’s switching signal instantly. However, from practical point of view, it needs certain amount of time to detect the change of subsystems and to respond to it. This phenomenon can be treated as the aftereffect (delay) in the communication channel.
On the other hand, time-delay systems have received renewed interest in recent years since they can be used to model many practical physical systems that are affected by the past information, for example, networked control systems, the Bazykin model [6], and the drugs therapy for HIV infection [7]. Time-delay can significantly influence the dynamic behaviors, especially, the stability behavior, of a practical system. Thus time-delay systems have been studied by many scholars in different aspects. For example, to compensate for the large input delay in a control system and to overcome the shortcoming of the traditional predictor feedback, a new approach referred to as truncated predictor feedback was initially established in [8] for a single input delay and was then extended to more general cases in [9–11]; a nested prediction approach was established in [12] to compensate for arbitrary large input delay for linear systems with both input and state delays; a sampled-date approach was developed in [13] for the stochastic synchronization of Markovian jump neural networks with time-varying delays; a Lyapunov-Krasovskii functional approach was built in [14] for the passivity analysis of discrete-time stochastic Markovian jump neural networks with mixed time-delays; robust stability criteria for uncertain neutral systems with mixed delays were derived in [15] by the Lyapunov-Krasovskii functional approach; and the stability of time-delay neural networks subject to stochastic perturbations was investigated in [16]. For more related work, see [17–29] and the references therein.
The time-delay in the communication channel leads to the fact that the change of controllers fails to be instant and then to keep synchronous with the change of plants. Therefore, in this paper, we are concerned with the feedback stabilization problem of switching linear systems in the presence of time-delays in both the communication and the input channels. For our purpose, the starting point is to investigate the joint effects of such aftereffects on the stability of the overall system.
The time-delay in the communication channel gives rise to a kind of uncertainty in the structure of the overall closed-loop system. In order to characterize the uncertainty, we classify each closed-loop subsystem according to whether the controller and the plant are pairwise matched. Basically, the mismatched subsystems play a negative role in the stability of the overall system (see, e.g., [30, 31]). Thus, we treat the mismatched subsystems as perturbed nominal closed-loop system, which is purely composed of the matched subsystems. Hence, in order to account for the involvement of the mismatched subsystems, we employ the technique of merging switching signals to reconstruct the switching signal for the closed-loop system. Therefore, by using multiple Lyapunov functions approach, it is observed that the effect of the time-delay in the communication channel on the stability can be captured by the ratio of its size to the average dwell-time of the switching signal. Accordingly, we apply the Halanay inequality to derive sufficient stability conditions. With the analysis results in hand, we pose the design strategy in such a way that we solve the controllers according to the matched subsystems and, furthermore, check their robustness with respect to the mismatched subsystems.
The remainder of the paper is organized as follows. In Section 2, we describe the problem and present some preliminary results. Section 3 is devoted to proving the sufficient stability conditions for the closed-loop system. In Section 4, the design methodology for the state-feedback robust control is presented. In Section 5, a numerical example is worked out to demonstrate the effectiveness of the method. Finally, the paper is briefly summarized in Section 6.
2. Problem Formulation and Preliminaries
Consider a switching linear control system as follows:
(1)x˙(t)=Aσ(t)x(t)+Bσ(t)u(t),t≥0,
where x(t)∈Rn and u(t)∈Rm are the state vector and the control input, respectively. The system is generated by the switching signal σ(t) that orchestrates the following controlled subsystems:
(2)x˙(t)=Aix(t)+Biu(t),i∈I:={1,…,N}.
According to the evolution of switching signal over time, it can be expanded into the following sequential form:
(3){limk→∞(t0=0,σ(t0)),(t1,σ(t1)),…,(tk,σ(tk)),jjjjjjj…:limk→∞tk=∞},
where the sequence {tk}k=0∞ monotonically diverging to infinity constitutes the switching points. It means that the σ(tk)th subsystem is activated during the interval (tk,tk+1]. Thus, one way to characterize the evolution of switching signal over time is to represent the density of the switching points distributed within the interval of unit length, which is referred to as average dwell-time.
Definition 1.
Given τ>0, a switching signal σ(t) is said to belong to Sτ if it has no more than (T2-T1)/τ switching points within any interval of time [T1,T2]. Here, τ is said to be the lower bound of the average dwell-time of the switching signals in Sτ.
By means of the average dwell-time, categorizing switching signals according to their varying strength and, moreover, defining a merging operation between two switching signals are allowed. To be precise, let the switching signals σ1(t) be in the same index set and, at the same time, let
(4)Π1={t0,t1,…,tk,…:limk→∞tk=∞},Π2={t0′,t1′,…,tk′,…:limk→∞tk′=∞}
be the collections of their switching points, respectively.
Definition 2.
We refer to σ1(t)⊕σ2(t) as the merging switching signal of σ1(t) and σ2(t) in the sense that the collection of its switching points corresponds to Π1∪Π2 and, at a switching point, it inherits the corresponding value from σ1(t) and σ2(t).
As illustrated in Figure 1, according to the evolution over time, the ordered switching points of σ1(t)⊕σ2(t) correspond to the increasing sequence
(5){t0′′,t1′′,…,tk′′,…:limk→∞tk′′=∞}.
An illustration for the construction of σ1(t)⊕σ2(t).
Lemma 3 (see [32]).
Given two switching signals σ1(t)∈Sτ1 and σ2(t)∈Sτ2 that are assumed in the same index set, one has σ1(t)⊕σ2(t)∈Sτ with τ=(1/τ1+1/τ2)-1=(τ1+τ2)/τ1τ2.
With respect to certain classes of switching signal, the stabilization problem of system (1) requires us to construct the following state-feedback controller:
(6)u(t)=Fix(t),i∈I,
in which Fi corresponds to the ith subsystem in (2), such that the overall closed-loop system is asymptotically stable. Ideally, by supposing that the controller can access the plant’s switching signal and can be activated instantly, the resulting closed-loop system
(7)x˙(t)=(Aσ(t)+Bσ(t)Fσ(t))x(t)
will keep synchronous with the controlled system in (1). Indeed, it implies that the controller and the plant must be pairwise matched. In practice, however, it needs certain amount of time to detect the change of plants and respond to it by triggering the corresponding controllers into activation. It is thus reasonable to take this aftereffect as well as the aftereffect in the input channel into account. Hence the state-feedback control for system (1) takes the form
(8)u(t)=Fσ(t-hs(t))x(t-hx(t)),
where 0≤hx(t)≤hx and 0≤hs(t)≤hs. With this, the task is then to design the controllers as in (8) so that the exponential stability of the closed-loop system is maintained in the presence of time-delays in both the input and the communication channels.
In what follows we will need the following facts.
Lemma 4 (see [20]).
There exists a matrix X such that
(9)[PQX⋆RV⋆⋆S]>0,
if and only if
(10)[PQ⋆R]>0,[RV⋆S]>0
are satisfied.
Lemma 5 (Halanay inequality, see [21]).
Let h, a, b be three given scalars such that 0≤h and 0≤b<a. If the positive-definite continuous function u(t) satisfies the following differential inequality:
(11)u˙(t)≤-au(t)+bsup-h≤θ≤0u(t+θ),∀t≥t0,
then one has
(12)u(t)≤[sup-h≤θ≤0u(t0+θ)]e-λ(t-t0),∀t≥t0,
where λ>0 is the unique root of the equation λ-a+behλ=0.
3. Stability Analysis
It is important to observe that the aftereffect in the communication channel gives rise to the mismatch between plants and controllers. One way to account for the mechanism is to multiply the index set by itself and, at the same time, present the closed-loop subsystems as
(13)x˙(t)=Aix(t)+BiFjx(t-hs(t))=A¯ijx(t)-D¯ij(x(t)-x(t-hs(t))),jjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj(i,j)∈I×I,
where A¯ij∶=Ai+BiFj, D¯ij∶=BiFj, and I×I:={(1,1),…,(1,N),…,(N,1),…,(N,N)}. Obviously, the closed-loop subsystem is matched if i=j; otherwise it is mismatched.
Correspondingly, the switching signals σ(t) and σc(t):=σ(t-hs(t)) are supposed to take values from I×I. In fact, σ(t) takes values of the form (i,i) to represent the switching among the matched subsystems, while σc(t) takes values of the form (i,j), i≠j, to indicate the activation of the mismatched subsystems. In this way, the overall closed-loop system can be rewritten as
(14)x˙(t)=A¯σ¯(t)x(t)-D¯σ¯(t)(x(t)-x(t-hx(t))),
where
(15)σ¯(t):=σ(t)⊕σc(t).
It is important to note that σc(t) belongs to Sτ as long as σ(t) belongs to Sτ. Hence, thanks to Lemma 3, we have that σ¯(t) belongs to Sτ/2.
We first present a technical lemma whose proof is given in the appendix.
Lemma 6.
For the merging switching signal σ¯(t)=σ(t)⊕σc(t), let the sequence {tk}k=0∞ be the collection of its switching points. Then, for any positive integers j≤k-1 and s∈(tj,tj+1] and t∈(tk,tk+1], one has
(16)exp(∑i=jk-1λσ¯(ti)(ti+1-ti)+λσ¯(tk)(t-tk)gggggggg+λσ¯(tj)(tj-s)+(k-j)lnχ∑i=jk-1)≤exp(-γ(t-s)),
where
(17)γ∶=α-(α+β)hsτ-2lnχτ.
We are now in the position to establish some stability conditions for the closed-loop system in (14).
Theorem 7.
The closed-loop switching system (14) is exponentially stable for the switching signals belonging to Sτ/2 if there exist some positive numbers η1, η2, α, β, μ and matrices Pij and Xij with (i,j)∈I×I satisfying the following inequalities:
(18)η1In≤Pij≤η2In,(19)[A¯ijTPij+PijA¯ij-λijPijPijD¯ij⋆-12hxPij]<0,(20)[PijPijD¯ijXij⋆μInAiTPij⋆⋆Pij]>0,(21)α-(α+β)hsτ-2μhxη1-2lnχτ>0,
where
(22)λij={-αi=jβi≠j,χ=η2η1,
and “⋆” indicates the matrix block indicated by the symmetry.
Proof.
From (19), we know
(23)A¯iiTPii+PiiA¯ii+2hxPiiD¯iiPii-1D¯iiTPii<-αPii,A¯ijTPij+PijA¯ij+2hxPijD¯ijPij-1D¯ijTPij<βPij,i≠j.
Moreover, applying Lemma 4 to (20) gives
(24)[PijPijD¯ij⋆μIn]>0,[μInAiTPij⋆Pij]>0.
We rewrite the closed-loop system in (14) as follows:
(25)x˙(t)=Aix(t)+D¯ijx(t-hx(t))=A¯ijx(t)-D¯ijAi∫t-hx(t)tx(s)ds-D¯ij2∫t-hx(t)-hx(t-hx(t))t-hx(t)x(s)ds.
For each subsystem, we construct a Lyapunov function as
(26)Vij(x)=xTPijx,(i,j)∈I×I.
By (23) and (24), we can deduce that
(27)V˙ij(x)=2[A¯ijx(t)-D¯ijAi∫t-hx(t)tx(s)dsgggggg-D¯ij2∫t-hx(t)-hx(t-hx(t))t-hx(t)x(s)ds]TPijx(t)=2xT(t)PijA¯ijx(t)-2xT(t)PijD¯ijAi∫t-hx(t)tx(s)ds-2xT(t)PijD¯ij2∫t-hx(t)tx(s)ds≤2xT(t)PijA¯ijx(t)+∫t-hx(t)txT(s)AiTPijAix(s)ds+hxxT(t)PijD¯ijPij-1D¯ijTPijx(t)+∫t-2hx(t)t-hx(t)xT(s)D¯ijTPijD¯ijx(s)ds+hxxT(t)PijD¯ijPij-1D¯ijTPijx(t)=xT(t)(A¯ijTPij+PijA¯ij+2hxPijD¯ijPij-1D¯ijTPij)x(t)+∫t-hx(t)txT(s)AiTPijAix(s)ds+∫t-2hx(t)t-hx(t)xT(s)D¯ijTPijD¯ijx(s)ds≤λijVij(x(t))+2μhxΓ(t),
where
(28)Γ(t):=sup-2hx≤s≤0|x(t+s)|2.
Let the sequence {tk}k=0+∞ be the switching points of σ¯(t). Therefore, for any t∈(tk,tk+1], we have
(29)Vσ¯(tk)(t)≤exp(λσ¯(tk)(t-tk))Vσ¯(tk)(tk)+2μhx∫tktexp(λσ¯(tk)(t-s))Γ(s)ds≤χexp(λσ¯(tk)(t-tk))Vσ¯(tk-1)(tk)+2μhx∫tktexp(λσ¯(tk)(t-s))Γ(s)ds≤χexp(λσ¯(tk)(t-tk))×[∫tk-1tkexp(λσ¯(tk-1)(tk-tk-1))Vσ¯(tk-1)(tk-1)ffggff+2μhx∫tk-1tkexp(λσ¯(tk-1)(tk-s))Γ(s)ds]+2μhx∫tktexp(λσ¯(tk)(t-s))Γ(s)ds.
At the same time, from (18) it is seen that
(30)Vσ¯(tl)(tl)≤χVσ¯(tl-1)(tl)≤χexp(λσ¯(tl-1)(tl-tl-1))Vσ¯(tl-1)(tl-1)+χ(2μhx∫tl-1tlexp(λσ¯(tl-1)(tl-s))Γ(s)ds),hhhhhhhhhhgggggggggggghhhhhhhhhhl≥1.
Repetitively using the relation in (30) gives
(31)Vσ¯(tk)(t)≤χkexp(∑i=0k-1λσ¯(ti)(ti+1-ti)ggggggggg+λσ¯(tk)(t-tk)∑i=0k-1)Vσ¯(t0)(t0)+2μhxχkexp(∑i=1k-1λσ¯(ti)(ti+1-ti)hhhhhhhhhhhhghh+λσ¯(tk)(t-tk)∑i=1k-1)×∫t0t1exp(λσ¯(t0)(t1-s))Γ(s)ds+2μhxχk-1exp(∑i=2k-1λσ¯(ti)(ti+1-ti)jjjjjjjjjjjjjjjjjjjjjjj+λσ¯(tk)(t-tk)∑i=2k-1)×∫t1t2exp(λσ¯(t1)(t2-s))Γ(s)dsggg⋮+2μhxχexp(λσ¯(tk)(t-tk))×∫tk-1tkexp(λσ¯(tk-1)(tk-s))Γ(s)ds+2μhx∫tktexp(λσ¯(tk)(t-s))Γ(s)ds=χkexp(∑i=0k-1λσ¯(ti)(ti+1-ti)hhhhhhhhh+λσ¯(tk)(t-tk)∑i=0k-1)Vσ¯(t0)(t0)+2μhx∑j=0k-1χk-jexp(∑i=j+1k-1λσ¯(ti)(ti+1-ti)hhhhhhhhhhhhhhhhhh+λσ¯(tk)(t-tk)∑i=j+1k-1)×∫tjtj+1exp(λσ¯(tj)(tj+1-s))Γ(s)ds+2μhx∫tktexp(λσ¯(tk)(t-s))Γ(s)ds=χkexp(∑i=0k-1λσ¯(ti)(ti+1-ti)hhhhhhhhhh+λσ¯(tk)(t-tk)∑i=0k-1)Vσ¯(t0)(t0)+2μhx∑j=0k-1χk-jexp(∑i=jk-1λσ¯(ti)(ti+1-ti)hhhhhhhhhhhhhhhhhhgh+λσ¯(tk)(t-tk)∑i=jk-1)×∫tjtj+1exp(λσ¯(tj)(tj-s))Γ(s)ds+2μhxexp(λσ¯(tk)(t-tk))×∫tktexp(λσ¯(tk)(tk-s))Γ(s)ds.
Since t is free to vary within the interval (tk,tk+1], without loss of generality, we replace tk+1 with t and then put the last inequality in (31) into the following condensed form:
(32)Vσ¯(tk)(tk+1)≤χkexp(∑i=0k-1λσ¯(ti)(ti+1-ti)jjjjjjjjjjjjj+λσ¯(tk)(tk+1-tk)∑i=0k-1)Vσ¯(t0)(t0)+2μhx∑j=0kχk-jexp(∑i=jk-1λσ¯(ti)(ti+1-ti)hhhhhhhhhhhhhhhhhhh+λσ¯(tk)(tk+1-tk)∑i=jk-1)×∫tjtj+1exp(λσ¯(tj)(tj-s))Γ(s)ds.
Therefore, we arrive at
(33)Vσ¯(tk)(tk+1)≤exp(∑i=0k-1λσ¯(ti)(ti+1-ti)+λσ¯(tk)(tk+1-tk)hhhhhhh+(k-j)lnχ∑i=0k-1)Vσ¯(t0)(t0)+2μhx∑j=0k∫tjtj+1exp(∑i=jk-1λσ¯(ti)(ti+1-ti)+λσ¯(tk)(tk+1-tk)gggggggggggggghggggg+λσ¯(tj)(tj-s)ggggggggggggggkggg+(k-j)lnχ∑i=jk-1)Γ(s)ds.
Now, in view of Lemma 6, from (33) it follows that
(34)Vσ¯(tk)(tk+1)≤exp(-γ(t-t0))Vσ¯(t0)(t0)+2μhx∑j=0k∫tjtj+1exp(-γ(tk+1-s))Γ(s)ds≤ηxp(-γ(t-t0))Vσ¯(t0)(t0)+2μhx∫t0tk+1exp(-γ(tk+1-s))Γ(s)ds.
Furthermore, by the arbitrariness of tk+1, we conclude that
(35)η1|x(t)|2≤η2exp(-γ(t-t0))|x(t0)|2+2μhx∫t0texp(-γ(t-s))Γ(s)ds=e-γ(t-t0)[η2|x(t0)|2+2μhxe-γt0∫t0teγsΓ(s)ds],hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhht≥t0.
Now, define the following continuous function:
(36)u(t)={η2|x(t)|2ggggggggggggggggggggggt0-2hx≤t≤t0e-γ(t-t0)[∫t0tη2|x(t0)|2ddddddd+2μhxe-γt0∫t0teγsΓ(s)ds]ddddddddjjjjjgjddddddddt≥t0.
As a result, it is easy to see that
(37)u(t0+s)=η2|x(t0+s)|2,t0-2hx≤s≤t0,u(t)≥η1|x(t)|2,t≥t0-2hx.
Recalling (28) and computing the time-derivative of u(t) yield
(38)u˙(t)=-γe-γ(t-t0)[η2|x(t0)|2+2μhxe-γt0∫t0teγsΓ(s)ds]+2μhxsup-2hx≤s≤0|x(t+s)|2≤-γu(t)+2μhxη1sup-2hx≤s≤0u(t+s),t≥t0.
Thus, by applying Lemma 5 to (38) and noting (37), we assert that
(39)|x(t)|2≤1η1e-λ(t-t0)sup-2hx≤s≤0u(t0+s)=χe-λ(t-t0)sup-2hx≤s≤0|x(t0+s)|2,hhhhhhhhhhhhhhhhhhht≥t0,
where λ>0 is the unique root of the following equation:
(40)λ-γ+2μhxη1e2λhx=0.
Comparing (17) and (40) with the hypothesis of Lemma 5, we know that it requires
(41)2μhxη1<α-(α+β)hsτ-2lnχτ,
to guarantee the exponential stability of system (38). It turns out to be the inequality in (21). The proof is thus completed.
Remark 8.
It is seen from (21) that the effect of the time-delay in the communication channel on stability can be captured by the ratio of its size to the average dwell-time of the switching signal, namely, hs/τ. If hs/τ≥1, then the inequality in (21) must fail. It means that it is necessary to require the time-delay in the communication channel to be less than the average dwell-time of the switching signal. Physically, this necessity makes sense because once it is violated there would be no matched subsystem involved.
Remark 9.
It is worthy of noting that when we neglect the aftereffects in both the input and the communication channels, namely, hx=hs=0, the constraint relation in (21) reduces to
(42)lnχα<τ2.
Formally, it coincides with the existing results such as that in [3], where one would have lnχ/α<τ. Indeed, merging switching signals doubles the switching frequency of the closed-loop system and the influence remains even when hs tends to 0. In nature, the existence of hs permanently changes the structure of the overall system no matter how small it is.
4. Stabilizing Controllers Design
For the robust design problem, we first solve the feedback controllers via the constraint conditions on the matched subsystems but leave the constraint conditions on mismatched subsystems to be checked. We now summarize it in the following procedure.
Step 1.
Specify a set of parameters α, β, μ, η1, η2 subjected to the inequality in (21).
Step 2.
Test the existence of the controllers by verifying the conditions in Theorem 7 for the matched subsystems.
Step 3.
Examine the robustness of the controllers by checking if the mismatched systems can satisfy the conditions in Theorem 7; if not then go back to Step 1.
To realize the above algorithm, we first need to specify a family of positive scalars α, β, η1, η2, and μ that satisfy (21). In the sequel, to design the controllers, it requires that there exist matrices Wi and Qii, Xii such that the following matrix inequalities
(43)1η2In≤Qii≤1η1In,(44)[QiiAiT+AiQii+BiWi+WiTBiT+αQiiBiWi⋆-12hxQii]<0,(45)[QiiBiWiXii⋆μη2QiiQiiAiT⋆⋆Qii]>0
hold true for each i∈I. Then, by letting
(46)Fi=WiQii-1,
one can recover the inequalities in (18), (19), and (20) for the matched subsystems. Further, to check the robustness of the controllers given in (46), it requires that there exist matrices Xij, Pij, i≠j (i.e., for the mismatched subsystems) such that the following inequalities can be satisfied:
(47)η1In≤Pij≤η2In,(48)[A¯ijTPij+PijA¯ij-βPijPijD¯ij⋆-12hxPij]<0,(49)[PijPijD¯ijXij⋆μInAiTPij⋆⋆Pij]>0.
Indeed, we have to repeatedly adjust the positive scalars involved in (21) and solve the inequalities in (43)–(49) until they are feasible.
5. An Illustrative Example
Consider the switched system composed of two linear control subsystems with the following parameters:
(50)A1=[-10.500.5],B1=[0.5-1],A2=[0.5-12-1],B2=[-0.50].
These subsystems are governed by the switching signal that belongs to Sτ with τ=2.0 s. The open-loop system is unstable. Besides, the feedback control is subject to the time-delays in both the input and the communication channels with hx=0.02 s and hs=0.2 s.
We first choose η1=0.45, η2=1.2, α=2.0, β=2.85, and μ=6.0 to meet the inequality in (21). Then, solving the inequalities in (43)–(45) gives the following state-feedback gains:
(51)F1=[0.99962.2637],F2=[3.81340.3945].
Hence, the mismatched closed-loop subsystems turn out to be
(52)x˙(t)=[-2.90670.302700.50]x(t)+[-1.9067-0.197300]x(t-hx(t)),x˙(t)=[0.99980.13191.0004-3.2637]x(t)+[0.49981.1319-0.9996-2.2637]x(t-hx(t)).
Both of these two mismatched subsystems are unstable. However, the inequalities in (47)–(49) are feasible. It means that the obtained controllers can make the closed-loop system exponentially stable in the presence of time-delays in both the input and the communication channels. The state-response of the overall closed-loop system generated by the periodic switching signal with τ=2.0 s is depicted in Figure 2.
State-response of the overall closed-loop system.
6. Conclusion
In this paper we have presented a robust stabilizing controller design methodology for linear switching systems in the presence of time-delays in both the input and the communication channels. We have used the technique of merging switching signals to account for the aftereffect in the communication channel and then reconstructed the switching signal for the overall closed-loop system. Therefore, we established the sufficient stability conditions by using multiple Lyapunov functions approach along with the Halanay inequality. Finally we proposed a strategy to solve the desired robust controllers and worked out an example in detail to illustrate the theoretical results. A possible future research topic along this paper is the robustness issue by considering uncertainties in the system parameters.
AppendixProof of Lemma 6
For the sake of generality, let the switching signals σ(t) and σc(t) belong to Sτ1 and Sτ2, respectively. For the merging switching signal σ¯(t)=σ(t)⊕σc(t) and t0≤s<t, we know that
(A.1)Nσ(s,t)Nσ¯(s,t)=(t-s)/τ1(t-s)/(τ1τ2/(τ1+τ2))=τ2τ1+τ2,Nσc(s,t)Nσ¯(s,t)=(t-s)/τ2(t-s)/(τ1τ2/(τ1+τ2))=τ1τ1+τ2,
where Nσ(s,t) denotes the number of the switching points of σ(t) distributed within the interval [s,t].
Let the increasing sequence {tk}k=0∞ denote the switching points of σ¯(t). For positive integers j≤k-1 and s∈(tj,tj+1] and t∈(tk,tk+1] we have
(A.2)Nσ¯(s,t)=k-j≤τ1+τ2τ1τ2(t-s).
Consequently, we obtain
(A.3)exp(∑i=jk-1λσ¯(ti)(ti+1-ti)+λσ¯(tk)(t-tk)hhhhhh+λσ¯(tj)(tj-s)+(k-j)lnχ∑i=jk-1)≤exp(τ1+τ2τ1τ2(t-s)lnχ)×exp(-α(t-s-Nσc(s,t)hs)+βNσc(s,t)hs)≤exp(τ1+τ2τ1τ2(t-s)lnχ)×exp(-α(t-s-τ1Nσ¯(s,t)hsτ1+τ2)jjjjjgggjjjj+βτ1Nσ¯(s,t)hsτ1+τ2)=exp(τ1+τ2τ1τ2(t-s)lnχ)×exp(-α(t-s))exp((α+β)hsτ1τ1+τ2Nσ¯(s,t))≤exp(τ1+τ2τ1τ2(t-s)lnχ)×exp(-α(t-s))exp(τ1τ1+τ2(α+β)hsggggggggggggggggggggg×τ1τ1+τ2τ1+τ2τ1τ2(t-s))≤exp(τ1+τ2τ1τ2(t-s)lnχ)×exp(-α(t-s))exp((α+β)hsτ2(t-s))=exp(-(α-(α+β)hsτ2-τ1+τ2τ1τ2lnχ)(t-s)).
Therefore, by noting τ1=τ2=τ, we complete the proof.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The work of Lili Jia was supported by the Scientific Research Fund Project of the Education Department of Yunnan Province under Grant no. 2012Y162.
ChesiG.ColaneriP.GeromelJ. C.MiddletonR.ShortenR.Computing upper-bounds of the minimum dwell time of linear switched systems via homogeneous polynomial Lyapunov functionsProceedings of the 2010 American Control ConferenceJune-July 2010Baltimore, Md, USA248724922-s2.0-77957788603ChenW.ZhengW. X.Delay-independent minimum dwell time for exponential stability of uncertain switched delay systems201055102406241310.1109/TAC.2010.2054845MR27422372-s2.0-77957711217CongS.YinL.Exponential stability conditions for switched linear stochastic systems with time-varying delay20126152453245910.1049/iet-cta.2011.0337MR30578052-s2.0-84878415195GeromelJ. C.ColaneriP.Stability and stabilization of continuous-time switched linear systems20064551915193010.1137/050646366MR2272172ZBL1130.340302-s2.0-34648827202GeromelJ. C.ColaneriP.H∞ and dwell time specifications of continuous-time switched linear systems201055120721210.1109/TAC.2009.2033861MR25993572-s2.0-75449100305ZhangJ.ZhangL.KhaliqueC. M.Stability and Hopf bifurcation analysis on a Bazykin model with delay20142014753968410.1155/2014/539684MR3191051ZhouX.ShiX.Modelling the drugs therapy for HIV infection with discrete-time delay201420141429405210.1155/2014/294052MR3166592ZhouB.LinZ.DuanG.Truncated predictor feedback for linear systems with long time-varying input delays201248102387239910.1016/j.automatica.2012.06.032MR29611372-s2.0-84865519099ZhouB.LiZ.LinZ.Observer based output feedback control of linear systems with input and output delays20134972039205210.1016/j.automatica.2013.03.031MR30630592-s2.0-84878855042ZhouB.LinZ.Consensus of high-order multi-agent systems with large input and communication delays201450245246410.1016/j.automatica.2013.12.006MR3163792ZhouB.2014Heidelberg, GermanySpringerZhouB.Input delay compensation of linear systems with both state and input delays by nested prediction20145051434144310.1016/j.automatica.2014.03.010MR3198782WuZ.ShiP.SuH.ChuJ.Stochastic synchronization of Markovian jump neural networks with time-varying delay using sampled-data201343617961806WuZ.ShiP.SuH.ChuJ.Passivity analysis for discrete-time stochastic markovian jump neural networks with mixed time delays201122101566157510.1109/TNN.2011.21632032-s2.0-80053655097LuR.WuH.BaiJ.New delay-dependent robust stability criteria for uncertain neutral systems with mixed delays201435131386139910.1016/j.jfranklin.2013.11.001MR3165201ChenY.ZhengW. X.Stability analysis of time-delay neural networks subject to stochastic perturbations201343621222134AhmedF. N.AhmadR. R.DinU. K. S.NooraniM. S. M.Some further results on oscillations for neutral delay differential equations with variable coefficients20142014757902310.1155/2014/579023MR3212433de la SenM.On nonnegative solutions of fractional q-linear time-varying dynamic systems with delayed dynamics201420141924737510.1155/2014/247375MR3208523DiblíkJ.MorávkováB.Representation of the solutions of linear discrete systems with constant coefficients and two delays201420141932047610.1155/2014/320476MR3198178GuK.KharitonovV. L.ChenJ.2003Boston, Mass, USABirkhäuserControl Engineering10.1007/978-1-4612-0039-0MR3075002KolmanovskiiV. B.NosovV. R.1986London, UKAcademic PressMR860947ZhouB.GaoH.LinZ.DuanG.-R.Stabilization of linear systems with distributed input delay and input saturation201248571272410.1016/j.automatica.2012.02.007MR29127942-s2.0-84859777128ZhouB.LinZ.Truncated predictor feedback stabilization of polynomially unstable linear systems with multiple time-varying input delays20145982157216310.1109/TAC.2013.2297188ZhouB.LinZ.DuanG.Global and semi-global stabilization of linear systems with multiple delays and saturations in the input20104885294533210.1137/090771673MR2735527ZBL1218.340932-s2.0-79251496431ZhouB.LinZ.DuanG.Properties of the parametric Lyapunov equation-based low-gain design with applications in stabilization of time-delay systems20095471698170410.1109/TAC.2009.2020644MR25357732-s2.0-67949092698ZhouB.LiZ.ZhengW. X.DuanG.Stabilization of some linear systems with both state and input delays2012611098999810.1016/j.sysconle.2012.07.006ZBL1270.930942-s2.0-84865702429LuR.LiH.ZhuY.Quantized H∞ filtering for singular time-varying delay systems with unreliable communication channel201231252153810.1007/s00034-011-9333-6MR28934302-s2.0-84860646482ChenY.ZhengW. X.XueA.A new result on stability analysis for stochastic neutral systems201046122100210410.1016/j.automatica.2010.08.007MR28782372-s2.0-78249262576ShuZ.LamJ.XuS.Robust stabilization of Markovian delay systems with delay-dependent exponential estimates200642112001200810.1016/j.automatica.2006.06.016MR22591442-s2.0-33748924329XieG.WangL.Stabilization of switched linear systems with time-delay in detection of switching signal2005305127729010.1016/j.jmaa.2004.11.043MR2128127ZBL1140.934632-s2.0-14844286213ZhaiG.HuB.YasudaK.MichelA. N.Stability analysis of switched systems with stable and unstable subsystems: an average dwell time approach20013281055106110.1080/00207720010015690MR19587642-s2.0-0035437203VuL.MorgansenK. A.Stability of time-delay feedback switched linear systems201055102385239010.1109/TAC.2010.2053750MR27422332-s2.0-77957715222