Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199 DOI 10.1186/s13662-017-1255-6
RESEARCH
Open Access
Novel delay-dependent exponential stabilization criteria of a nonlinear system with mixed time-varying delays via hybrid intermittent feedback control Patarawadee Prasertsang1 and Thongchai Botmart2* *
Correspondence:
[email protected] Department of Mathematics, Khon kaen University, Mittraphap Road, Khon kaen, 40002, Thailand Full list of author information is available at the end of the article 2
Abstract In this paper, we investigate the problem of exponential stabilization criteria for a nonlinear system with mixed time-varying delays, including discrete interval and distributed time-varying delays. The time-varying delays are not necessarily differentiable. The exponential stabilization criteria of the nonlinear system are proposed via hybrid intermittent feedback control. Based on the improved Lyapunov-Krasovskii functionals with Leibniz-Newton’s formula, Jensen’s inequality and the reciprocal convex combination technique, the novel delay-dependent sufficient condition is derived in terms of linear matrix inequalities (LMIs). The obtained LMIs can be efficiently solved by standard convex optimization algorithms. A numerical example is given to demonstrate the effectiveness of the obtained result. Moreover, the results in this article generalize and improve the corresponding results of the recent works. Keywords: exponential stabilization; nonlinear system; mixed time-varying delays; hybrid intermittent feedback control
1 Introduction Nonlinear systems, as an appealing topic, have been thoroughly studied during the past decades. Due to the fact that most systems are inherently nonlinear in nature, these systems are one of the most interesting areas for researchers, including engineers, physicists, mathematicians and other scientists. The exponential stability of nonlinear systems has been widely received and deeply investigated [–], and the asymptotical stability of nonlinear systems has been investigated [–] as well. Time delay naturally appears in most of the real world systems. It is well known that the existence of time delay in a system may cause instability, poor performances and oscillations in, for instance, chemical engineering systems, biological modeling, electrical networks, physical networks and many natural sciences. Due to these results, the nonlinear system with time-varying delay has become an interesting topic in recent years; the authors have investigated interval time-varying delay [, , –, –], discrete time-varying delay [, , , ], mixed time-varying delays [–] and so on. © The Author(s) 2017. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 2 of 21
In practical control designs, due to failure modes, system uncertainty, or systems with various modes of operation, the simultaneous stabilization problem often has to be taken into account. The problem is concerned with designing control which can simultaneously stabilize a set of systems. Among the usual approaches, there are many studies on the stabilization problem of a nonlinear system being reported in the literature [–, , , , ]. In [], the sufficient conditions for global asymptotic stabilization of nonlinear systems were given, and the corresponding feedback control laws were designed. Different controller design schemes have been proposed to construct feedback controllers, which make the closed-loop system dynamics converge to a fixed point or a periodic orbit. Recently, non-continuous control techniques, such as impulsive control [–] and intermittent control [, , , , , –], have attracted much attention. Some engineering researchers have widely focused their attention on intermittent control. Intermittent control is a feedback control method which not only shows some human control systems but also has applications in control engineering. In a periodically intermittent control, every control period consists of two parts: ‘work time’ for operative control and ‘rest time’ for inoperative control, which provides a spectrum of possibilities between the extremes of continuous-time and discrete-time control. Hence, intermittent control strategies are more economic and can simulate the real world situations better. Several nonlinear systems with intermittent control have been presented [, , , , , , ]. In [], the synchronization of chaotic systems was studied by the intermittent feedback method. By using periodically intermittent control and free-matrix-based integral inequality, the exponential stabilization of neural network switch time-varying delay was investigated in []. In [], the exponential stabilization problem for a class of uncertain nonlinear systems with state delay was solved by periodically intermittent control. The problem of delayindependently periodically intermittent stabilization for a class of time delay systems was introduced in []. In [], the problem of exponential stabilization of systems with timevarying delay via periodically intermittent memory state-feedback control was studied by constructing a new Lyapunov-Krasovskii functional and employing the free-matrix-based integral inequality. In [], the problems of stabilization and synchronization for a class of chaotic systems were discussed via intermittent control with non-fixed both control period and control width. Unfortunately, there have been few papers so far related to the topic of the exponential stabilization criteria of a nonlinear system with hybrid intermittent feedback control. This exponential stabilization of a nonlinear system remains an open problem and it has to be investigated more. In order to solve the problem of exponential stabilization criteria for a nonlinear system with time-varying delay, most of researchers utilize the improved Lyapunov-Krasovskii functional combined with Newton-Leibniz formula [–, , –, , –, , , –]; Jensen’s inequality [, –, , , , ], the inequality technique[, , , , ], Wirtinger’s integral inequality [, ], Razumikhin’s technique [, ], GronwallBellman’s lemma [], and reciprocally convex combination [, –, , , , ]. In [], H∞ control for a nonlinear system with interval time-varying delay was studied. The delay function is not necessary to be differentiable. Based on constructing new LyapunovKrasovskii functionals and using a new tighter bounding technique, the delay-dependent condition for this system has been established in terms of LMIs by using standard computational algorithms []. Thus, in this study, we focus on the reciprocally convex combination in order to solve the problem of exponential stabilization criteria for a nonlin-
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 3 of 21
ear system with mixed time-varying delays, composed of discrete interval and distributed time-varying delay. Inspired by the aforementioned discussion, this is the first time that the exponential stabilization criteria for a nonlinear system with mixed time-varying delay via hybrid intermittent feedback control have been studied. The main contributions of this paper lie in the following aspects. Firstly, the time-varying delays are mixture of discrete and distributed time-varying delays in a nonlinear system and hybrid intermittent feedback control. The constraint on the derivative of the time-varying delays is not required. So, this allows the time delay to be a fast time-varying function, which is different from the time delays in [, , , , ]. Secondly, for the control method, the exponential stabilization criteria for nonlinear system are studied via hybrid intermittent feedback control, containing state term, interval time-varying delay term and distributed time-varying delay term. It is different from the control method in [, , , , , , ]. From the above discussions, this work is one of the first reports of such investigation to further develop the exponential stabilization criteria for a nonlinear system with mixed time-varying delays via hybrid intermittent feedback control. By constructing the set of improved Lyapunov-Krasovskii functionals with Leibniz-Newton’s formula, Jensen’s inequality, and the reciprocal convex combination technique, a new delay-dependent sufficient condition of exponential stabilization criteria is established in terms of linear matrix inequalities (LMIs). The obtained LMIs are efficiently solved by standard convex optimization algorithms. A numerical example is included to show the effectiveness of the proposed hybrid intermittent feedback control scheme. The rest of the paper is organized as follows. Section provides some nonlinear system and mathematical preliminaries. Section presents exponential stabilization criteria for a nonlinear system with mixed time-varying delays via hybrid intermittent feedback control. A numerical example is given in Section . Finally, the conclusion is provided in Section .
2 Problem formulation and mathematic preliminaries Let us consider the nonlinear system with mixed time-varying delays as follows:
x˙ (t) = Ax(t) + Bx t – h(t) + C
t
x(s) ds
+ f t, x(t), x t – h(t) ,
t–k (t)
x(s) ds, u(t) + U(t),
t
t ≥ ,
()
t–k (t)
x(t) = φ(t),
t ∈ [–τmax ],
τmax = max{h , d, k , k },
where x(t) = (x (t), x (t), x (t), . . . , xn (t))T ∈ Rn is the state vector; A, B and C are known real constant matrices; U(t) ∈ Rm is the control input. Let xh := x(t – h(t)) and Intx := t + n n n m n t–k (t) x(s) ds, the nonlinear function f (t, x, xh , Intx , u) : R × R × R × R × R → R satisfies the following condition: ∃a , b , c , d > such that f (t, x, xh , Intx , u) ≤ a x + b xh + c Intx + d u.
()
The time-varying delay functions h(t), d(t), k (t) and k (t) satisfy the conditions ≤ h ≤ h(t) ≤ h ,
≤ d(t) ≤ d,
≤ k (t) ≤ k ,
≤ k (t) ≤ k .
()
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 4 of 21
The initial condition function φ(t) denotes a continuous vector-valued initial function of t ∈ [–τmax , ]. In order to stabilize the origin of nonlinear system (), we use the state feedback controller U(t) satisfying ⎧ ⎨D u(t) + D u(t – d(t)) + D t t–k (t) u(s) ds, nω ≤ t ≤ nω + δ, U(t) = ⎩, nω + δ < t ≤ (n + )ω,
()
where Di , i = , , are given matrices of appropriate dimensions, u(t) = Kx(t) and K is a constant matrix control gain, ω > is the control period and δ > is the control width (control duration) and n is a non-negative integer. Then, substituting it into nonlinear system (), it is easy to get the following:
x˙ (t) = Ax(t) + Bx t – h(t) + C
t
x(s) ds t–k (t)
+ f t, x(t), x t – h(t) ,
x(s) ds, u(t)
t–k (t)
+ D u(t) + D u t – d(t) + D
t
nω ≤ t ≤ nω + δ,
u(s) ds,
()
t–k (t)
x˙ (t) = Ax(t) + Bx t – h(t) + C
t
t
x(s) ds
+ f t, x(t), x t – h(t) ,
t–k (t) t
x(s) ds, u(t) ,
nω + δ < t ≤ (n + )ω.
t–k (t)
It is clear that if the zero solution of nonlinear system () is globally exponentially stable, the exponential stabilization of the controlled nonlinear system () is achieved. The following lemmas and theorem are used in the proof of the main result. Lemma ([]) For any constant symmetric matrix M ∈ Rn×n , M = MT > , ≤ h ≤ h(t) ≤ h , t ≥ , and any differentiable vector function x(t) ∈ Rn , we have
t
(a)
T x˙ (s) ds
t–h
t–h
(b)
t–h
t–h
M
t–h(t)
x˙ (s) ds ≤ h
M
T
x˙ (s) ds
t
t
x˙ T (s)M˙x(s) ds,
t–h
x˙ (s) ds ≤ h(t) – h
t–h(t)
≤ (h – h )
t–h
x˙ T (s)M˙x(s) ds
t–h(t) t–h
x˙ T (s)M˙x(s) ds.
t–h(t)
Lemma (Cauchy inequality, []) For any symmetric positive definite matrix N ∈ Mn×n and x, y ∈ Rn , we have ±xT y ≤ xT Nx + yT N – y.
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 5 of 21
Lemma (Schur complement, []) Given constant symmetric matrices X, Y , Z where X = X T and < Y = Y T , then X + ZT Y – Z < if and only if
X ZT < , Z –Y
or
–Y ZT
Z < . X
Theorem (Lower bounds theorem, []) Let f , f , . . . , fN : Rm → R have positive values in an open subset D of Rm . Then the reciprocally convex combination of fi over D satisfies fi (t) = fi (t) + max gi,j (t) gi,j (t) i ρi = i ρi i i =j
min
ρi |ρi >,
subject to
gi,j (t) . fj (t)
fi (t) gi,j (t) : R → R, gj,i (t) = gi,j (t), gi,j (t) m
3 Exponential stabilization of a delayed nonlinear system via hybrid intermittent feedback control In this section, we present delay-dependent exponential stabilization analysis conditions for the nonlinear system with interval discrete and distributed time-varying delays via hybrid intermittent feedback control. Let us denote φ(t) = x(),
ϕ(t) =
sup
x(s),
–τmax ≤s≤
K = –LP– ,
yh = y t – h(t) ,
– e–αh M = λmax P– + h λmax P– RP– + h λmax P– UP– α – e–αd + dλmax P– LT T – LP– α – e–αh h – , + λmax P– ZP– α α – e–αh M = λmax P– QP– + h λmax P– RP– + h λmax P– UP– α –αk –e + k λmax P– SP– α – T – – – e–αd – T – – – e–αk + k λmax P L W LP + dλmax P L T LP α α – e–αh + λmax P– ZP– h – , α α M = M φ(t) + M ϕ(t) . Theorem For some given scalar < α < ε, nonlinear system () with time-varying delay satisfying () and under the intermittent controller () is exponentially stabilizable if there exist positive constant and symmetric positive definite matrices P > , Q > , R > , S > , U > , T > , W > and matrices L, S appropriately dimensioned so that the following
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 6 of 21
symmetric linear matrix inequalities hold: ⎡
⎢ ⎢ ∗ ⎢ ⎢ ∗ =⎢ ⎢ ∗ ⎢ ⎢ ⎣ ∗ ∗ ⎡
⎢ ⎢ ∗ ⎢ ⎢ ∗ =⎢ ⎢ ∗ ⎢ ⎢ ⎣ ∗ ∗
∗ ∗ ∗ ∗
∗ ∗ ∗
∗ ∗
∗
⎤ ⎥ ⎥ ⎥ ⎥ ⎥ < , ⎥ ⎥ ⎥ ⎦
()
∗ ∗ ∗ ∗
∗ ∗ ∗
∗ ∗
∗
⎤ ⎥ ⎥ ⎥ ⎥ ⎥ < , ⎥ ⎥ ⎥ ⎦
()
⎡ ⎢ ⎢ ∗ ⎢ ⎢ ∗ ⎢ ⎢ = ⎢ ∗ ⎢ ⎢ ∗ ⎢ ⎢ ∗ ⎣ ∗
k CP –k e–αk S ∗ ∗ ∗ ∗ ∗
⎡
–.P ⎢ ⎢ ∗ ⎢ ⎢ ∗ = ⎢ ⎢ ∗ ⎢ ⎢ ⎣ ∗ ∗ ⎡ ⎢ ⎢ ∗ ⎢ = ⎢ ⎢ ∗ ⎢ ⎣ ∗ ∗
k CP –k e–αk S ∗ ∗ ∗ ∗ k CP –k e–αk S ∗ ∗ ∗
⎡ –.P ⎢ ⎢ ∗ ⎢ = ⎢ ⎢ ∗ ⎢ ⎣ ∗ ∗
U ST
S ≥ , U
k CP –k e–αk S ∗ ∗ ∗
k LT –k W ∗ ∗ ∗ ∗
LT –eαd T ∗ ∗ ∗
d LT –d T ∗ ∗ ∗ d L –d ∗ ∗ d L –d ∗ ∗
d L –d ∗ ∗
P –I ∗ P –I ∗
P –I ∗
d L –d ∗ ∗
P –I ∗
⎤ k c P ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ < , () ⎥ ⎥ ⎥ ⎥ ⎦ –k c e–αk S
⎤ k c P ⎥ ⎥ ⎥ ⎥ ⎥ < , ⎥ ⎥ ⎥ ⎦ –k c e–αk S
⎤ k c P ⎥ ⎥ ⎥ ⎥ < , ⎥ ⎥ ⎦ –k c e–αk S ⎤ k c P ⎥ ⎥ ⎥ ⎥ < , ⎥ ⎥ ⎦ –k c e–αk S
()
()
()
()
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 7 of 21
and –αδ + (ε – α)(ω – δ) < ,
()
where = –. e–αh + e–αh R, = PT (A + αI) + (A + αI)T P + (a + d )I – D L – LT DT + eαd D TDT (h – h ) –αh + k eαk D WDT + Q + k S – . e–αh + e–αh R – e Z, h – h = PT (A + αI) + (A + αI)T P + (a + d )I + Q + k S (h – h ) –αh e Z – εP, – . e–αh + e–αh R – h – h = AP – D L, = AP, = e–αh R, = BP, = e–αh R, e–αh Z, h + h = h + h R + (h – h ) U + (h – h )Z – .P + eαd D TDT
=
+ k eαk D WDT , = h + h R + (h – h ) U + (h – h )Z – .P, = BP, = –e–αh Q – e–αh R – e–αh U, = e–αh U – e–αh ST , = e–αh ST , = b I – e–αh U + e–αh S + e–αh ST , = e–αh U – e–αh ST , = –e–αh Q – e–αh R – e–αh U, = –
e–αh Z. h + h
Moreover, the intermittent feedback control is ⎧ ⎨–LP– x(t), nω ≤ t ≤ nω + δ, u(t) = ⎩, nω + δ < t ≤ (n + )ω,
()
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 8 of 21
and the solution x(t, φ) satisfies
x(t, φ) ≤
(–αδ+(ε–α)(ω–δ))t M ω e , – λmin (P )
∀t ≥ .
Proof Case I: For nω ≤ t ≤ nω + δ, let Y = P– and y(t) = Yx(t). Using the feedback control (), let us consider the following Lyapunov-Krasovskii functional: Vi (t), V x(t) =
()
i=
where V (t) = xT (t)Yx(t), t V (t) = eα(s–t) xT (s)YQYx(s) ds, t–h
t
eα(s–t) xT (s)YQYx(s) ds,
V (t) = t–h
t
eα(τ –t) x˙ T (τ )YRY x˙ (τ ) dτ ds,
V (t) = h –h
t+s
t
eα(τ –t) x˙ T (τ )YRY x˙ (τ ) dτ ds,
V (t) = h –h
t+s
–h
t
V (t) = (h – h )
–h
eα(τ –t) x˙ T (τ )YUY x˙ (τ ) dτ ds,
t+s
t
eα(τ –t) xT (τ )YSYx(τ ) dτ ds,
V (t) = –k
t+s
t
eα(τ –t) x˙ T (τ )K T T – K x˙ (τ ) dτ ds,
V (t) = d
–d
t+s t
eα(τ –t) xT (τ )K T W – Kx(τ ) dτ ds,
V (t) = –k
t+s
–h
t
V (t) = –h
θ
eα(τ +s–t) x˙ T (τ )YZY x˙ (τ ) dτ ds dθ .
t+s
It is easy to check that λmin P– x(t) ≤ V x(t) .
()
By taking the derivatives of V (t) along the trajectories of system (), we have V˙ (t) = yT (t) PA + AT P y(t) + yT (t)BPy t – h(t) + yT (t)CP + yT (t)f t, x(t), x t – h(t) ,
t
y(s) ds t–k (t)
t
x(s) ds, u(t)
t–k (t)
– yT (t)D Ly(t) + yT (t)D u t – d(t) + yT (t)D
t
u(s) ds. t–k (t)
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 9 of 21
By applying Lemma and Lemma , we get yT (t)D u t – d(t) ≤ eαd yT (t)D TDT y(t) + e–αd uT t – d(t) T – u t – d(t) ,
t
T
y (t)D t–k (t)
u(s) ds ≤ k eαk yT (t)D WDT y(t) + e–αk
t
T
y (t)CP
t
uT (s)W – u(s) ds, t–k (t)
y(s) ds ≤ k eαk yT (t)CPS– PC T y(t)
t–k (t)
+ e–αk
t
yT (s)Sy(s) ds. t–k (t)
Let = a + b . By utilizing condition () and Lemma , we obtain yT (t)f (t, x, xh , Intx , u) ≤ y(t) a x + b xh + c Intx + d u ≤ a Py(t) + a y(t) + b Py(t) + b yh + k c eαk yT (t)PS– Py(t) t + e–αk yT (s)Sy(s) ds t–k (t) + d yT (t)LLT y(t) + d yT (t)y(t) = a yT (t)y(t) + b yTh yh + k c eαk yT (t)PS– Py(t) t + e–αk yT (s)Sy(s) ds + d yT (t)LLT y(t) t–k (t) + d yT (t)y(t) + P yT (t)y(t),
therefore, V˙ (t) + αV (t) ≤ yT (t) PA + AT P y(t) + yT (t)αPy(t) + a yT (t)y(t) – yT (t)D Ly(t) + d yT (t)LLT y(t) + d yT (t)y(t) + P yT (t)y(t) + k eαk yT (t)CPS– PC T y(t) –αk t yT (s)Sy(s) ds + yT (t)BPyh + b yTh yh + e t–k (t) + eαd yT (t)D TDT y(t) + e–αd uT t – d(t) T – u t – d(t) + k eαk yT (t)D WDT y(t) + k c eαk yT (t)PS– Py(t) t + e–αk uT (s)W – u(s) ds. t–k (t)
()
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 10 of 21
Next, by taking the derivative of Vi , i = , , . . . , , , along the trajectories of system (), we have the following: V˙ (t) = –αV (t) + yT (t)Qy(t) – e–αh yT (t – h )Qy(t – h ), V˙ (t) = –αV (t) + yT (t)Qy(t) – e–αh yT (t – h )Qy(t – h ), t y˙ T (s)R˙y(s) ds, V˙ (t) ≤ –αV (t) + h y˙ T (t)R˙y(t) – h e–αh t–h
V˙ (t) ≤ –αV (t) + h y˙ T (t)R˙y(t) – h e–αh
t
y˙ T (s)R˙y(s) ds,
t–h
V˙ (t) ≤ –αV (t) + (h – h ) y˙ T (t)U y˙ (t) – (h – h )e–αh V˙ (t) ≤ –αV (t) + k yT (t)Sy(t) – e–αk
t–h
y˙ T (s)U y˙ (s) ds,
t–h
()
t
yT (s)Sy(s) ds, t–k (t)
V˙ (t) ≤ –αV (t) + d y˙ T (t)LT T – L˙y(t) – de–αd V˙ (t) ≤ –αV (t) + k yT (t)LT W – Ly(t) – e–αk
t
˙ ds, u˙ T (s)T – u(s)
t–d(t) t
uT (s)W – u(s) ds, t–k (t)
V˙ (t) ≤ –αV (t) + (h – h )˙yT (t)Z˙y(t) – e–αh
–h
–h
t
y˙ T (s)Z˙y(s) ds dθ .
t+θ
Applying Lemma and the Leibniz-Newton formula, we get
t
–αh
–h e
y˙ T (s)R˙y(s) ds ≤ –e–αh yT (t)Ry(t) + e–αh yT (t)Ry(t – h )
t–h
– e–αh yT (t – h )Ry(t – h ),
()
and
t
–h e–αh
y˙ T (s)R˙y(s) ds ≤ –e–αh yT (t)Ry(t) + e–αh yT (t)Ry(t – h )
t–h
– e–αh yT (t – h )Ry(t – h ).
()
Similarly, –αh
t–h
–(h – h )e
y˙ T (s)U y˙ (s) ds
t–h
t–h(t)
–αh
y˙ (s)U y˙ (s) ds + T
= –(h – h )e
t–h
t–h
y˙ (s)U y˙ (s) ds T
t–h(t)
T h – h –αh yh – y(t – h ) U yh – y(t – h ) e h – h(t) T h – h –αh y(t – h ) – yh U y(t – h ) – yh . e – h(t) – h
≤–
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
h –h(t) h –h
Let ρ =
U ST
and ρ =
h(t)–h , h –h
Page 11 of 21
apply Theorem , which is
S ≥ , U
we have the following inequality: ⎡
⎤T
ρ [yh – y(t – h )] ⎣ ρ ⎦ ρ – ρ [y(t – h ) – yh ]
⎡ ρ
⎤ [y – y(t – h )] h S ⎣ ρ ⎦ ≥ . U – ρρ [y(t – h ) – yh ]
U ST
It follows that –
T T ρ ρ yh – y(t – h ) U yh – y(t – h ) – y(t – h ) – yh U y(t – h ) – yh ρ ρ T T ≤ – yh – y(t – h ) S y(t – h ) – yh – y(t – h ) – yh ST yh – y(t – h ) ,
as a result, we have – (h – h )e–αh
t–h
y˙ T (s)U y˙ (s) ds
t–h
T –αh yh – y(t – h ) U yh – y(t – h ) e ρ T – e–αh y(t – h ) – yh U y(t – h ) – yh ρ T ≤ –e–αh yh – y(t – h ) U yh – y(t – h ) T – e–αh y(t – h ) – yh U y(t – h ) – yh T – e–αh yh – y(t – h ) S y(t – h ) – yh T – e–αh y(t – h ) – yh ST yh – y(t – h ) . ≤–
()
From V˙ (t) and V˙ (t), applying Lemma and the Leibniz-Newton formula, we get
t
˙ ds u˙ T (s)T – u(s)
– de–αd t–d(t)
u (t)T – u(t) + e–αd uT (t)T – u t – d(t) – e–αd uT t – d(t) T – u t – d(t)
≤ –e
–αd T
= e–αd yT (t)LT T – Ly(t) –
e–αd T u t – d(t) T – u t – d(t)
()
and – e–αh
–h
–h
≤–
t
y˙ T (s)Z˙y(s) ds dθ
t+θ
e–αh h – h
–h
–h
t
t+θ
y˙ (s) ds dθ
T Z
–h
–h
t
t+θ
y˙ (s) ds dθ
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 12 of 21
e–αh (h – h ) yT (t)Zy(t) h – h t–h –αh T e y (t)Z y(θ ) dθ + h + h t–h T t–h t–h –αh e y(θ ) dθ Z y(θ ) dθ . – h – h t–h t–h
=–
()
By using the following identity relation: –˙x(t) + Ax(t) + Bx t – h(t) + C + f t, x(t), x t – h(t) ,
x(s) ds + D u(t) + D u t – d(t)
t t–k (t)
t
t
x(s) ds, u(t) + D
t–k (t)
u(s) ds = , t–k (t)
multiplying by ˙yT (t), we get –˙yT (t)P˙y(t) + ˙yT (t)APy(t) + ˙yT (t)BPy t – h(t) – ˙yT (t)D Ly(t) t t y(s) ds + ˙yT (t)D u t – d(t) + ˙yT (t)D u(s) ds + ˙yT (t)CP t–k (t)
+ ˙yT (t)f t, x(t), x t – h(t) ,
t
t–k (t)
x(s) ds, u(t) = .
()
t–k (t)
Applying Lemma and Lemma , we obtain
t
y(s) ds ≤ k eαk y˙ T (t)CPS– PC T y˙ (t) + e–αk t–k (t) T αd T T ˙y (t)D u t – d(t) ≤ e y˙ (t)D TD y˙ (t)
t
˙yT (t)CP
yT (s)Sy(s) ds, t–k (t)
+ e–αd uT t – d(t) T – u t – d(t) , t
˙yT (t)D t–k (t)
()
u(s) ds ≤ k eαk y˙ T (t)D WDT y˙ (t) + e–αk
t
uT (s)W – u(s) ds. t–k (t)
By utilizing condition () and Lemma , we have ˙yT (t)f (t, x, xh , Intx , u) ≤ y˙ (t) a x + b xh + c Intx + d u = a y˙ (t)Py(t) + b y˙ (t)Pyh + c y˙ (t)P Inty + d y˙ (t)u ≤ a yT (t)y(t) + b yTh yh + k c eαk y˙ T (t)PS– P˙y(t) t + e–αk yT (s)Sy(s) ds + d y˙ T (t)LLT y˙ (t) t–k (t) + d yT (t)y(t) + P y˙ T (t)˙y(t).
()
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 13 of 21
Hence, according to ()-() and adding the zero items of ()-(), it follows that V˙ x(t) + αV x(t) ≤ ξ T (t) ξ (t) + yT (t)N y(t) + y˙ T (t)N y˙ (t),
()
where is defined as in () and T T T T T ξ (t) = y (t)˙y (t)y (t – h )yh y (t – h )
t–h
T
y(θ ) dθ ,
t–h
N = –. e–αh + e–αh R + k eαk CPS– PC T + k LT W – L + e–αd LT T – L + d LLT + P + k c eαk PS– P, N = –.P + k eαk CPS– PC T + d LT T – L + d LLT + P + k c eαk PS– P. Applying Lemma , the inequalities N < and N < are equivalent to < and < , respectively. Therefore, it follows from (), ()-() and () that V˙ x(t) + αV x(t) ≤ ,
nω ≤ t ≤ nω + δ.
()
Thus, equation () can be reduced to the following form: V x(t) ≤ V x(nω) e–α(t–nω) ,
nω ≤ t ≤ nω + δ.
()
Case II: For nω + δ < t ≤ (n + )ω, we choose the Lyapunov-Krasovskii functional having the following form: V x(t) = V (t) + V (t) + V (t) + V (t) + V (t) + V (t) + V (t) + V (t), where Vi (t), i = , , . . . , and are defined similarly as in (). Using a method similar to that of Case I, we get V˙ x(t) + αV x(t) ξ (t) + yT (t)N y(t) + y˙ T (t)N y˙ (t) ≤ ξ T (t) ξ (t) + yT (t)N y(t) ≤ ξ T (t) + y˙ T (t)N y˙ (t) + εV x(t) – εV x(t) ξ (t) + yT (t)N y(t) = ξ T (t) + y˙ T (t)N y˙ (t) + εV x(t) – εyT (t)Py(t), V˙ x(t) – (ε – α)V x(t)
()
ξ (t) + yT (t)(N – εP)y(t) + y˙ T (t)N y˙ (t), ≤ ξ T (t) is defined as in () and where N = –. e–αh + e–αh R + k eαk CPS– PC T + d LLT + P + k c eαk PS– P, N = –.P + k eαk CPS– PC T + d LLT + P + k c eαk PS– P.
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 14 of 21
Applying Lemma , the inequalities (N – εP) < and N < are equivalent to < and < , respectively. Therefore, it follows from (), ()-() and () that V˙ x(t) – (ε – α)V x(t) ≤ ,
nω + δ < t ≤ (n + )ω.
()
From the above differential inequality (), we have V x(t) ≤ V x(nω + δ) e(ε–α)(t–nω–δ) ,
nω + δ < t ≤ (n + )ω.
()
From () and (), it follows that V x(n + )ω ≤ V x(nω + δ) e(ε–α)(ω–δ) ≤ V x(nω) e–αδ e(ε–α)(ω–δ) = V x(nω) e–αδ+(ε–α)(ω–δ) ≤ V x (n – )ω e(–αδ+(ε–α)(ω–δ)) .. . ≤ V x ()ω e(–αδ+(ε–α)(ω–δ))(n+) . For any t > , there is n ≥ such that n ω + δ < t ≤ (n + )ω. Case . For n ω ≤ t ≤ n ω + δ, using condition (), we have V x(t) ≤ V x(n ω) e–α(t–(n ω+δ)) ≤ V x ()ω e(–αδ+(ε–α)(ω–δ))n e–α(t–(n ω+δ)) ≤ V x ()ω e(–αδ+(ε–α)(ω–δ))n = V x ()ω e–(–αδ+(ε–α)(ω–δ))n e(–αδ+(ε–α)(ω–δ))(n +) = V x ()ω e–(–αδ+(ε–α)(ω–δ)) e(–αδ+(ε–α)(ω–δ))(n +) (–αδ+(ε–α)(ω–δ))(n +)ω ω = V x ()ω e–(–αδ+(ε–α)(ω–δ)) e (–αδ+(ε–α)(ω–δ))t ω ≤ V x ()ω e–(–αδ+(ε–α)(ω–δ)) e .
()
Case . For n ω + δ < t ≤ (n + )ω, using condition (), we get V x(t) ≤ V x(n ω + δ) e(ε–α)(t–(n ω+δ)) ≤ V x(n ω) e–αδ e(ε–α)(t–(n ω+δ)) ≤ V x() e(–αδ+(ε–α)(ω–δ))n e–αδ+(ε–α)(t–(n ω+δ)) ≤ V x() e(–αδ+(ε–α)(ω–δ))n e–αδ+(ε–α)((n +)ω–(n ω+δ)) = V x() e(–αδ+(ε–α)(ω–δ))(n +) (–αδ+(ε–α)(ω–δ))(n +)ω ω = V x() e (–αδ+(ε–α)(ω–δ))t ω ≤ V x() e .
()
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Let ξ = e–(–αδ+(ε–α)(ω–δ)) , from () and () it follows that (–αδ+(ε–α)(ω–δ))t ω V x(t) ≤ ξ V x() e . Estimating V (x()), we get V x() ≤ λmax P– φ(t) , – – – e–αh ϕ(t) , V x() ≤ λmax P QP α – – – e–αh ϕ(t) , V x() ≤ λmax P QP α V x() = h eατ x˙ T (τ )YRY x˙ (τ ) dτ ds –h
s
– e–αh φ(t) ≤ h λmax P– RP– α – e–αh ϕ(t) , + h λmax P– RP– α –αh –e φ(t) V x() ≤ h λmax P– RP– α – – – e–αh ϕ(t) , + h λmax P RP α – – – e–αh φ(t) V x() ≤ h λmax P UP α – – – e–αh ϕ(t) , + h λmax P UP α – e–αk ϕ(t) , V x() ≤ k λmax P– SP– α – e–αd φ(t) V x() ≤ dλmax P– LT T – LP– α – e–αd ϕ(t) , + dλmax P– LT T – LP– α – eαk ϕ(t) , V x() ≤ k λmax P– LT W – LP– α – – – e–αh φ(t) V x() ≤ λmax P ZP h – α α – – – e–αh ϕ(t) . h – + λmax P ZP α α We have obtained the following: x(t, φ) ≤
(–αδ+(ε–α)(ω–δ))t M ω e , λmin (P– )
∀t ≥ ,
Page 15 of 21
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 16 of 21
which implies that nonlinear system () is exponentially stable under controller (). This completes the proof. Remark In our main results, the exponential stabilization problems are considered for a class of nonlinear systems with non-differentiable time-varying delays, including interval time-varying delay and distributed time-varying delay. We construct the improved Lyapunov-Krasovskii functionals V (x(t)) as shown in (). The exponential stabilizability conditions are independent of the derivatives of the time-varying delays and then the methods used in [, , , , ] are not applicable to this system.
4 A numerical example In this section, we present an example to show the effectiveness of the result in Theorem . Example . In this example, the nonlinear systems with mixed time-varying delays proposed by [] can be described by
x˙ (t) = A x(t) + B f x(t) + C f x t – h(t) + D
f x(s) ds + U(t),
t
()
t–k (t)
where
–. –. –. A = , B = , . – –. . –. –. , D = , C = . – –. –. T f x(t) = tanh x (t) , tanh x (t) . Model () turns into the following model () with parameters:
–. A= . ⎡
–. , –
B=
,
C=
,
–. tanh(x (t)) – . tanh(x (t – h(t))) + . tanh(x (t – h(t))) t t –. t–k (t) tanh(x (s)) ds – . t–k (t) tanh(x (s)) ds
⎤
⎢ ⎥ ⎢ ⎥ ⎢ ⎥ f (·) = ⎢ ⎥ ⎢ ⎥ ⎣tanh(x (t)) + tanh(x (t)) + . tanh(x (t – h(t))) – tanh(x (t – h(t)))⎦ t t –. t–k (t) tanh(x (s)) ds – . t–k (t) tanh(x (s)) ds, and we give
D =
,
D =
,
D =
.
Solution: From conditions ()-() of Theorem with parameters a = ., b = ., c = ., d = h = , h = ., d = ., k = ., k = ., α = ., ε = ., ω = ,
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 17 of 21
δ = .. By using the LMI Toolbox in MATLAB, we obtain
. –. . . P= , T= , –. . . . . . . –. W= , U= , . . –. . . . . . Q= , R= , . . . . . . . . S= , Z= , . . . . –. . . –. , L= , S = . –. . . –. . , = ., K= –. –. with a stabilizing controller –.. x (t) U(t) = –. – . x (t) –.. x (t – d(t)) + –. – . x (t – d(t)) t x (s) ds –.. t–k (t) t , × –. – . t–k (t) x (s) ds
U(t) = ,
n + . < t ≤ (n + ),
() n ≤ t ≤ n + .,
n = , , , . . . .
For the purpose of comparison, we also tested the method proposed in []. Table compares the feedback controller gains obtained from those two methods. The numerical simulation of nonlinear system () with time-varying delays h(t) = . + .| cos t|, k (t) = .| sin t|, the initial condition φ(t) = [ cos(s), – cos(s)], ∀s ∈ [–., ] and without hybrid intermittent feedback control is represented in Figure , which shows that system () is stable. Figure shows the trajectories of x (t) and x (t) of nonlinear system () with time-varying delays d(t) = . + .| cos t|, k (t) = .| sin t| and hybrid intermittent feedback control (). Furthermore, because of the lower bounds h = of the delay function, the method proposed in [] is not applicable in this case.
Remark In Example ., we see that every state variable of nonlinear system () is stable without control. After applying controller (), all the state variables of nonlinear system () converge to . That shows the effectiveness of the controller.
5 Conclusion In this paper, the exponential stabilization criterion of a nonlinear system with mixed time-varying delays via hybrid intermittent feedback control was investigated. The time-
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 18 of 21
Table 1 Comparison of the feedback controller gain matrix Delay
h1 = 0, h2 = 0.9
Method
Method of [10] Proposed method
h1 = 0.3, h2 = 1
Method of [10] Proposed method
Controller gain matrix K1 –1.9212 –2.0908 –0.0468 –0.0020
1.7480 –49.3170
0.0016 –0.0362
K2 –0.0034 0.0055 –0.0468 –0.0020
Infeasible –0.0411 0.0003
–0.0004 –0.0515
Infeasible –0.0411 0.0003
0.0023 –0.00640
0.0016 –0.0362
–0.0004 –0.0515
K3 –0.0927 0.1343 –0.0468 –0.0020
0.0493 –1.4377
0.0016 –0.0362
Infeasible –0.0411 0.0003
–0.0004 –0.0515
Figure 1 The trajectories of x1 (t) and x2 (t) of nonlinear system (35) with mixed time-varying delay and hybrid intermittent feedback control deactivated.
varying delay functions are not necessary to be differentiable, which allows time delay functions to be fast time-varying functions. Moreover, hybrid intermittent feedback control, including state term, interval time-varying delay term and distributed time-varying delay term, was considered for the exponential stabilization of the nonlinear system. Based on constructing an improved Lyapunov-Krasovskii functional, Leibniz-Newton’s formula, Jensen’s inequality, reciprocal convex and novel delay-dependent sufficient condition for the exponential stabilization of the system are first achieved in terms of LMIs. Finally, a numerical example is included to show the effectiveness of the proposed hybrid intermittent feedback control scheme. The results in this paper generalize and improve the corresponding results of the recent works.
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 19 of 21
Figure 2 The trajectories of x1 (t) and x2 (t) of nonlinear system (35) with mixed time-varying delay and intermittent hybrid feedback control (36) activated.
Acknowledgements The authors would like to thank the editor and the reviewers for their helpful advice. The first author was supported by National Research Council of Thailand (NRCT), Kasetsart University Research and Department of Institute (KURDI), Faculty of Science and Engineering and Research and Academic Service Division, Kasetsart University, Chalermprakiat Sakon Nakhon Province Campus. The second author was financially supported by the Thailand Research Fund (TRF), the Office of the Higher Education Commission (OHEC) and Khon Kaen University (grant number: TRG5880009). Competing interests The authors declare that they have no competing interests. Authors’ contributions All authors contributed equally to the writing of this paper. Moreover, all authors also read and carefully approved the final manuscript. Author details 1 Department of General Science, Kasetsart University, Chalermprakiat Sakon Nakhon Province Campus, Sakon Nakhon Nakhon Phanom Road, Sakon Nakhon, 47000, Thailand. 2 Department of Mathematics, Khon kaen University, Mittraphap Road, Khon kaen, 40002, Thailand.
Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 31 January 2017 Accepted: 26 June 2017 References 1. Thanh, NT, Phat, VN: H∞ control for nonlinear systems with interval non-differentiable time-varying delay. Eur. J. Control 19, 190-198 (2013) 2. Phat, VN, Ha, QP: H∞ control and exponential stability of nonlinear nonautonomous systems with time-varying delay. J. Optim. Theory Appl. 142, 603-618 (2009) 3. Phat, VN: Memoryless H∞ controller design for switched nonlinear systems with mixed time-varying delays. Int. J. Control 82(10), 1889-1898 (2009) 4. Phat, VN: Switched controller design for stabilization of nonlinear hybrid systems with time-varying delays in state and control. J. Franklin Inst. 347, 195-207 (2010) 5. Phat, VN, Botmart, T, Niamsup, P: Switching design for exponential stability of a class of nonlinear hybrid time-delay systems. Nonlinear Anal. Hybrid Syst. 3, 1-10 (2009)
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
Page 20 of 21
6. Botmart, T, Niamsup, P, Liu, X: Synchronization of non-autonomous chaotic systems with time-varying delay via delayed feedback control. Commun. Nonlinear Sci. Numer. Simul. 17, 1894-1907 (2012) 7. Zamani, I, Shafiee, M, Ibeas, A: Exponential stability of hybrid switched nonlinear singular systems with time-varying delay. J. Franklin Inst. 350, 171-193 (2013) 8. Zhai, S, Yang, X-S: Exponential stability of time-delay feedback switched systems in the presence of asynchronous switching. J. Franklin Inst. 350, 34-49 (2013) 9. Dong, Y, Liu, J: Exponential stabilization of uncertain nonlinear time-delay systems. Adv. Differ. Equ. 2012, 180 (2012) 10. Song, Q, Huang, T: Stabilization and synchronization of chaotic systems with mixed time-varying delays via intermittent control with non-fixed both control period and control width. Neurocomputing 154, 61-69 (2015) 11. Xu, Z, Liu, W, Li, Y, Hu, J: Robustness analysis of global exponential stability of nonlinear stochastic systems with respect to neutral terms and time-varying delays. Adv. Differ. Equ. 2015, 105 (2015) 12. Tian, Y, Cai, Y, Sun, Y, Li, T: Exponential stabilization of a class of time-varying delay systems with nonlinear perturbations. Math. Probl. Eng. 2015, 1-11 (2015) 13. Chen, WH, Zhong, J, Zheng, WX: Delay-independent stabilization of a class of time-delay systems via periodically intermittent control. Automatica 71, 89-97 (2016) 14. Srinivasan, V, Sukavanam, N: Asymptotic stability and stabilizability of nonlinear systems with delay. ISA Trans. 65, 19-26 (2016) 15. Dong, Y, Mei, S, Wang, X: Novel stability criteria of nonlinear uncertain systems with time-varying delay. Abstr. Appl. Anal. 2011, 1 (2011) 16. Li, X, Shen, J, Akca, H, Rakkiyappan, R: LMI-based stability for singularly perturbed nonlinear impulsive differential systems with delays of small parameter. Appl. Math. Comput. 250, 798-804 (2015) 17. Zhao, Y, Ma, Y: Stability of neutral-type descriptor systems with multiple time-varying delays. Adv. Differ. Equ. 2012, 15 (2012) 18. Lee, WI, Lee, SY, Park, PG: A combined first- and second-order reciprocal convexity approach for stability analysis of systems with interval time-varying delays. J. Franklin Inst. 353, 2104-2116 (2016) 19. Lee, WI, Lee, SY, Park, PG: A combined reciprocal convexity approach for stability analysis of static neural networks with interval time-varying delays. Neurocomputing 221, 168-177 (2017) 20. Vembarasan, V, Balasubramaniam, P, Joob, EM: H∞ state-feedback control of time-delay systems using reciprocally convex approach. J. Process Control 24, 892-904 (2014) 21. Fernando, TL, Phat, VN, Trinh, HM: Output feedback guaranteed cost control of uncertain linear discrete systems with interval time-varying delays. Appl. Math. Model. 37, 1580-1589 (2013) 22. Liu, P-L: State feedback stabilization of time-varying delay uncertain systems: a delay decomposition approach. Linear Algebra Appl. 438, 2188-2209 (2013) 23. Hien, LV, Trinh, H: Exponential stability of time-delay systems via new weighted integral inequalities. Appl. Math. Comput. 275, 335-344 (2016) 24. Sathananthan, S, Knap, MJ, Strong, A, Keel, LH: Robust stability and stabilization of a class of nonlinear discrete time stochastic systems: an LMI approach. Appl. Math. Comput. 219, 1988-1997 (2012) 25. Kang, W, Zhong, S, Cheng, J: H∞ state estimation for discrete-time neural networks with time-varying and distributed delays. Adv. Differ. Equ. 2015, 263 (2015) 26. Han, L, Qiu, C, Xiao, J: Finite-time H∞ control synthesis for nonlinear switched systems using T-S fuzzy model. Neurocomputing 171, 156-170 (2016) 27. Park, JH: Stability criterion for neutral differential systems with mixed multiple time-varying delay arguments. Math. Comput. Simul. 59, 401-412 (2002) 28. He, Y, Wua, M, She, J-H, Liu, G-P: Delay-dependent robust stability criteria for uncertain neutral systems with mixed delays. Syst. Control Lett. 51, 57-65 (2004) 29. Botmart, T, Niamsup, P: Exponential synchronization of complex dynamical network with mixed time-varying and hybrid coupling delays via intermittent control. Adv. Differ. Equ. 2014, 116 (2014) 30. Zhang, H, Dong, M, Wang, Y, Sun, N: Stochastic stability analysis of neutral-type impulsive neural networks with mixed time-varying delays and Markovian jumping. Neurocomputing 73, 2689-2695 (2010) 31. Botmart, T, Weera, W: Guaranteed cost control for exponential synchronization of cellular neural networks with mixed time-varying delays via hybrid feedback control. Abstr. Appl. Anal. 2013, Article ID 175796 (2013) 32. Chen, H, Cheng, J, Zhong, S, Yang, J, Kang, W: Improved results on reachable set bounding for linear systems with discrete and distributed delays. Adv. Differ. Equ. 2015, 145 (2015) 33. Dong, Y, Mei, S: Global asymptotic stabilization of non-linear systems. Int. J. Control 82, 279-286 (2009) 34. He, W, Chen, G, Han, Q-L, Qian, F: Network-based leader-following consensus of nonlinear multi-agent systems via distributed impulsive control. Inf. Sci. 380, 145-158 (2017) 35. Wang, Z-P, Wu, H-N: Fuzzy impulsive control for uncertain nonlinear systems with guaranteed cost. Fuzzy Sets Syst. 302, 143-162 (2016) 36. Ma, T, Zhang, L, Gu, Z: Further studies on impulsive consensus of multi-agent nonlinear systems with control gain error. Neurocomputing 190, 140-146 (2016) 37. Huang, T, Li, C: Chaotic synchronization by the intermittent feedback method. J. Comput. Appl. Math. 234, 1097-1104 (2010) 38. Zhang, Z-M, He, Y, Zhang, C-K, Wu, M: Exponential stabilization of neural networks with time-varying delay by periodically intermittent control. Neurocomputing 207, 469-475 (2016) 39. Zochowski, M: Intermittent dynamical control. Physica D 145, 181-190 (2000) 40. Zhiming, Z, Yong, HE, Min, MU, Liming, D: Exponential stabilization of systems with time-varying delay by periodically intermittent control. In: 35th Chinese Control Conference (CCC 2016), Chengdu, China, pp. 1523-1528. IEEE Press, New York (2016) 41. Cao, Y-Y, Frank, PM: Stability analysis and synthesis of nonlinear time-delay systems via linear Takagi-Sugeno fuzzy models. Fuzzy Sets Syst. 124, 213-229 (2001) 42. Park, PG, Ko, JW, Jeong, C: Reciprocally convex approach to stability of systems with time-varying delays. Automatica 47, 235-238 (2011)
Prasertsang and Botmart Advances in Difference Equations (2017) 2017:199
43. Wang, B, Zeng, Y, Cheng, J: Further improvement in delay-dependent stability criteria for continuous-time systems with time-varying delays. Neurocomputing 147, 324-329 (2015) 44. Gahinet, P, Nemirovskii, A, Laub, AJ, Chiali, M: LMI Control Toolbox: for Use with MATLAB. The Mathworks, Natick (1995) 45. Gu, K, Kharitonov, VL, Chen, J: Stability of Time-Delay System. Birkhäuser, Basel (2003) 46. Boyd, S, Ghaoui, EL, Feron, E, Balakrishnan, V: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadephia (1994)
Page 21 of 21