Skip to main content

An application of forward difference method in robust stability of discrete uncertainty system with delays

Abstract

This paper deals with the problems of robust stability for a class of uncertainty parameter systems with delays. By using a new Lyapunov–Krasovskii functional, quadratic inequality, and Schur complement technique, two conditions are developed to guarantee the robust stability of a class of discrete systems with uncertainty parameters in terms of the linear matrix inequality (LMI). By applying the forward difference method and via a quadratic cost function, the criteria of LMI are obtained by the input control \(u(k)=0\) and \(u(k)=Kx(k)\); meanwhile, the bounds of cost function are established. The feedback control gain is designed to ensure the robust stability of the closed-loop system. A numerical example and simulation figures are provided to illustrate the effectiveness and potential of the proposed techniques and results.

Introduction

It is very important for dynamical systems to be stable before system performance can be considered. The stability of various systems is worth investigating due to their wide range of applications, such as information science, pattern recognition, biological science, automatic control, image processing [1]. In the past decade, the stability analysis [2], such as asymptotic stability [3], robust stability and stabilization [4,5,6,7,8,9], global robust exponential stability [10], and optimal stabilizing compensator, and so on, have been extensively studied because of their potential applications. For example, the work in [9] studied the robust stability for uncertain recurrent neural networks with leakage delay based on delay-partitioning approach, while the global robust exponential stability problem for uncertain inertial-type BAM neural networks with discrete and distributed time varying was discussed in [10]. Cheng and Zhang [11] studied the robust stability and stabilization for descriptor systems with uncertainties in all matrices. On the other hand, Svetoslav, Yang et al. investigated the robust stability problem for a class of parameter-uncertainty nonlinear systems (see [12,13,14,15] and the references therein). In particular, Li et al. studied the stability of a class of nonlinear differential systems and received some wonderful results (see [16,17,18]).

Note that an applied system is usually disturbed by some uncertain noises of external environment. Therefore, an uncertainty parameter system is better than a defined parameter system to simulate a real system. A lot of significant results based on feedback control [19,20,21] for a class of uncertainty systems have aroused much interest in the past few years, because these models have come to play an important role in many real systems such as dynamic tracking system. For example, the work in [17] studied robust stability for nonlinear Markovian jump systems with mode-dependent time-varying delays and randomly occurring uncertainties. Dong and Zhang in [19] studied the design of observer-based feedback control for a class of discrete-time nonlinear systems with time delay. On the other hand, Manivannan et al. studied the stability, generalized dissipativity, and extended dissipativity for a class of neural networks by state estimation design method and obtained some valuable results (see [22,23,24,25]).

Comparing with the existing works on uncertainty parameter systems with delays, the guaranteed cost control is considered in this paper. Currently, some results have been obtained in guaranteed cost control, but have not been fully studied. For example, Fernando et al. [21] studied the output feedback guaranteed cost control of uncertain linear discrete systems with interval time-varying delays. As for the method used, we adopt the forward difference method based on Lyapunov functional in terms of linear matrix inequality, which can be computed conveniently in the numerical simulation. To the best of the authors’ knowledge, the robust stability of discrete uncertainty systems has not been fully studied, which motivates us for the current work.

The main contributions of this paper are as follows:

  1. (1)

    The problem of robust stability for a class of uncertainty parameter systems with delays is studied in this paper.

  2. (2)

    Based on the stochastic analysis theory, two conditions for robust stability of a class of discrete systems with uncertainty parameters in terms of LMI are obtained.

  3. (3)

    By the approach of forward difference and the input control \(u(k) = 0\) and \(u(k) = Kx(k)\), the bounds of cost function are established to guarantee the robust stability for our given system.

This paper is organized as follows. In Sect. 2, the problem description and preliminaries are stated. In Sect. 3, the main results and proofs are derived. In Sect. 4, an example is given to illustrate the results. Finally, some conclusions are drawn in Sect. 5.

System description and preliminaries

The notations are quite standard. Throughout this paper, \(R^{n}\) and \(R^{n\times n}\) denote the n-dimensional Euclidean space and the set of all \(n\times n\) real matrices, respectively. Denote by \(\lambda _{\min}(A)\) the smallest eigenvalues of matrix A. The superscript T denotes matrix transposition. \(x(k)\) denotes the n-dimensional column vector. \(\|\cdot\|\) stands for the Euclidean norm, and I denotes the identity matrix with the corresponding dimension. In particular, \(P>0\) represents that P is a real symmetric positive-definite matrix. ΔA, ΔB, and \(\Delta A_{d}\) denote uncertainty parameter matrices. \(\Delta f(x(k))=f(x(k+1))-f(x(k))\) denotes the forward difference function. The scalars \(\varepsilon_{1}\), \(\varepsilon_{2}\), and so on are some arbitrary constants greater than zero.

Consider the discrete uncertainty parameter system with delays as follows:

$$ \textstyle\begin{cases} x(k+1)=(A+\Delta A)x(k)+(A_{d}+\Delta A_{d})x(k-d)+(B+\Delta B)u(k), \\ x(k)=\varphi(k),\quad k\in[-d, 0], \end{cases} $$
(1)

where \(x(k)\in R^{n}\) is the state vector, \(u(k)\in R^{m}\) is the input vector, \(d>0\) is integer delay, A, \(A_{d}\), and B are known constant matrices. ΔA, \(\Delta A_{d}\), and ΔB are the uncertainty parameter matrices such that the following equalities hold:

[ Δ A Δ B ] = E 1 F 1 (k) [ H 1 H 3 ] K,Δ A d = E 2 F 2 (k) H 2 ,

where \(E_{i}\), \(H_{j}\) (\(j=1, 2, 3\)) are known constant matrices with appropriate dimension, and the uncertainty matrix \(F_{i}(k)\) subject to bounded condition \(F^{T}_{i}(k)F_{i}(k)\leq I\), \(i=1, 2\).

In order to analyze the robust stability for system (1) with uncertainty parameters, the assumption is needed as follows.

Assumption 2.1

There exists a constant \(L>0\) such that all uncertainty parameters are bounded to system (1), namely \(\|\Delta A\|< L\), \(\|\Delta A_{d}\|< L\), and \(\|\Delta B\|< L\).

For the readability of this paper, as usual, we also present some definitions.

Definition 2.2

Setting function \(f(x)\), the forward difference \(\Delta f(x(k))\) is defined as follows:

$$\Delta f\bigl(x(k)\bigr)=f\bigl(x(k+1)\bigr)-f\bigl(x(k)\bigr),\qquad x(k)=x_{0}+kh,\quad h\mbox{ is step and }k=0, 1, 2, \ldots, n. $$

Definition 2.3

System (1) is said to be robust stable if every object of group models can guarantee inner stability state in the feedback system for a concrete controller.

Definition 2.4

For system (1), we define a quadratic cost function as follows:

$$J=\sum^{\infty}_{k=0} \bigl[x^{T}(k)Qx(k)+u^{T}(k)Ru(k) \bigr], $$

where Q and R are given symmetric positive-definite matrices, and \(u(k)\) is system input.

Before giving the main results, we also need the following lemmas, which are viewed as a pretty significant contribution to the proof of the theorems.

Lemma 2.5

(Schur complement [26])

Given constant matrices \(\mho_{1}\), \(\mho_{2}\), \(\mho_{3}\), where \(\mho_{1}=\mho^{T}_{1}\) and \(0<\mho_{2}=\mho^{T}_{2}\), then

$$\mho_{1}+\mho^{T}_{3}\mho^{-1}_{2} \mho_{3}< 0 $$

if and only if

$$ \begin{bmatrix} \mho_{1}&\mho^{T}_{3}\\ \mho_{3}& -\mho_{2} \end{bmatrix} < 0. $$

Lemma 2.6

(Quadratic inequality [27])

Let \(x\in R^{n}\), \(y\in R^{n}\), and \(\forall\varepsilon>0\), then we have

$$x^{T}y+y^{T}x\leq\varepsilon x^{T}x+ \varepsilon^{-1} y^{T}y. $$

Main results and proofs

For system (1), we have the following theorem, which is one of the main results.

Theorem 3.1

System (1) with \(u(k)=0\) is said to robust stable with permission uncertainty and possesses the following cost function:

$$ J\leq J_{0}=x^{T}(0)P_{1}x(0)+\sum ^{-1}_{\theta=-d}x^{T}( \theta)S_{2}x(\theta )+\sum^{0}_{\theta=-d+1} \sum^{-1}_{s=-1+\theta}y^{T}(s)S_{1}y(s), $$
(2)

where \(y(s)=x(s+1)-x(s)\), if there exist symmetric positive-definite matrices \(P_{1}\), \(S_{1}\), \(S_{2}\), matrices \(P_{2}\), \(P_{3}\), \(W_{1}\), \(W_{2}\), \(W_{3}\), \(M_{1}\), \(M_{2}\), and \(E_{1}\), \(E_{2}\), \(H_{1}\), \(H_{2}\) are defined in system description, as well as scalars \(\varepsilon_{1}>0\), \(\varepsilon_{2}>0\) such that the following LMI

$$ \varOmega= \begin{bmatrix} \varOmega_{11} & \varOmega_{12} & P^{T}_{2}A_{d}-M_{1} & P^{T}_{2}E_{1} & P^{T}_{2}E_{2} \\ \varOmega^{T}_{12} & \varOmega_{22}& P^{T}_{3}A_{d}-M_{2} &P^{T}_{3}E_{1} &P^{T}_{3}E_{2}\\ A^{T}_{d}P_{2}-M^{T}_{1} & A^{T}_{d}P_{3}-M^{T}_{2} & -S_{2}+\varepsilon_{2}H_{2}H^{T}_{2} & 0 &0 \\ E^{T}_{1}P_{2} & E^{T}_{1}P_{3} & 0 & -\varepsilon_{1}I & 0 \\ E^{T}_{2}P_{2} & E^{T}_{2}P_{3} &0 & 0 & -\varepsilon_{2}I \end{bmatrix} < 0 $$
(3)

and

$$ \begin{bmatrix} W_{1} & W_{2} & M_{1} \\ W^{T}_{2} & W_{3}& M_{2}\\ M^{T}_{1} & M^{T}_{2} & S_{1} \end{bmatrix} \geq0 $$
(4)

hold, where

$$\begin{aligned}& \varOmega_{11}=P^{T}_{2}(A-I)+(A-I)^{T}P_{2}+dW_{1}+M_{1}+M^{T}_{1}+ \varepsilon_{1}H_{1}H^{T}_{1}+S_{2}+Q, \\& \varOmega_{12}=P_{1}-P^{T}_{2}+(A-I)^{T}P_{3}+dW_{2}+M^{T}_{2}, \\& \varOmega_{22}=-P_{3}-P^{T}_{3}+P_{1}+dW_{3}+dS_{1}. \end{aligned}$$

Proof

In order to express conveniently, we denote

$$ A(k)=A+\Delta A(k),\qquad A_{d}(k)=A_{d}+\Delta A_{d}(k). $$

Then

$$\begin{aligned} x(k+1)&=A(k)x(k)+ A_{d}(k)x(k-d) \\ &=\bigl[A(k)+ A_{d}(k)\bigr]x(k)-A_{d}(k)\sum ^{k}_{\theta=k-d}y(\theta). \end{aligned}$$
(5)

Correspondingly, (5) is equal to the following equation:

$$ \bigl[A(k)+ A_{d}(k)-I\bigr]x(k)-y(k)-A_{d}(k) \sum^{k}_{\theta=k-d}y(\theta)=0, $$
(6)

where \(y(k)=x(k+1)-x(k)\) and I is an identity matrix with proper dimension.

Define the Lyapunov function as follows:

$$ V\bigl(x(k)\bigr)=x^{T}(k)P_{1}x(k)+\sum ^{k-1}_{\theta=k-d}x^{T}( \theta)S_{2}x(\theta )+\sum^{0}_{\theta=-d+1} \sum^{k-1}_{s=k-1+\theta}y^{T}(s)S_{1}y(s). $$
(7)

Computing forward difference \(\Delta V(x(k))=V(x(k+1))-V(x(k))\) along the trajectory of the system, i.e., \(x(k+1)=A(k)x(k)+A_{d}(k)x(k-d)\), we obtain

$$\begin{aligned} \Delta V\bigl(x(k)\bigr) =&2x^{T}(k)P_{1}\bigl[x(k+1)-x(k) \bigr]+x^{T}(k)S_{2}x(k) \\ &{}+\bigl[x(k+1)-x(k)\bigr]^{T}(P_{1}+dS_{1}) \bigl[x(k+1)-x(k)\bigr] \\ &{}-x^{T}(k-d)S_{2}x(k-d)-\sum ^{k-1}_{\theta=k-d}y^{T}(\theta)S_{1}y( \theta) \\ =&2x^{T}(k)P_{1}y(k)+x^{T}(k)S_{2}x(k)+y^{T}(k) (P_{1}+dS_{1})y(k) \\ &{}-x^{T}(k-d)S_{2}x(k-d)-\sum ^{k-1}_{\theta=k-d}y^{T}(\theta)S_{1}y( \theta), \end{aligned}$$
(8)

where \(y(k)=x(k+1)-x(k)\).

Associating with (5), we have

$$\begin{aligned} 2x^{T}(k)P_{1}y(k) =&\eta^{T}(k)P^{T} \begin{bmatrix} y(k)\\ 0 \end{bmatrix} \\ =&\eta^{T}(k)P^{T} \left\{ \begin{bmatrix} y(k)\\ (A(k)+A_{d}(k)-I)x(k)-y(k) \end{bmatrix} -\sum^{k-1}_{\theta=k-d} \begin{bmatrix} 0\\ A_{d}(k) \end{bmatrix} y(\theta) \right \}, \end{aligned}$$
(9)

where

$$\eta(k)= \begin{bmatrix} x(k)\\ y(k) \end{bmatrix} , \qquad P= \begin{bmatrix} P_{1}&0\\ P_{2}&P_{3} \end{bmatrix} . $$

Using the quadratic inequality lemma, we obtain that

2 η T ( k ) P T θ = k d k 1 [ 0 A d ( k ) ] y ( θ ) θ = k d k 1 [ η ( k ) y ( θ ) ] T [ W M P T [ 0 A d ( k ) ] S 1 ] [ η ( k ) y ( θ ) ] = d η T ( k ) W η ( k ) + 2 η T ( k ) ( M P T [ 0 A d ( k ) ] ) [ x ( k ) x ( k d ) ] + θ = k d k 1 y T ( θ ) S 1 y ( θ ) ,
(10)

where W, M, \(S_{1}\) possess proper dimension and are such that

$$ \begin{bmatrix} W&M\\ M^{T}&S_{1} \end{bmatrix} \geq0. $$

Putting (8) and (9) into (7), we obtain

$$\begin{aligned} \Delta V\bigl(x(k)\bigr) \leq&\eta^{T}(k)\varPsi\eta(k)+2 \eta^{T}(k) \left(P^{T} \begin{bmatrix} 0\\ A_{d}(k) \end{bmatrix} -M \right)x(k-d) \\ &{}+x^{T}(k-d) \bigl(\varepsilon_{2}H^{T}_{2}H_{2}-S_{2} \bigr)x(k-d)-x^{T}(k)Qx(k), \end{aligned}$$
(11)

where

Ψ = P T [ 0 I A I I ] + [ 0 I A I I ] T P + d W + [ M 0 ] + [ M T 0 ] + [ ε 1 H 1 T H 1 + S 2 + Q 0 0 P 1 + d S 1 ] + i = 1 2 ε i 1 P T [ 0 E i ] [ 0 E i T ] P ,

\(\varepsilon_{1}>0\) and \(\varepsilon_{2}>0\) are arbitrary variables.

Denote

ξ(k)= [ x ( k ) y ( k ) x ( k d ) ] ,Σ= [ Ψ P T [ 0 A d ] M [ 0 A d T ] P M T S 2 + ε 2 H 2 T H 2 ] ,

then (10) can be rewritten as follows:

$$\Delta V\bigl(x(k)\bigr)\leq\xi^{T}(k)\varSigma\xi(k)-x^{T}(k)Qx(k). $$

Decompose W and M, respectively

$$W= \begin{bmatrix} W_{1}&W_{2}\\ W^{T}_{2}&W_{3} \end{bmatrix} ,\qquad M= \begin{bmatrix} M_{1}\\ M_{2} \end{bmatrix} . $$

Then, by the Schur complement lemma, (11) is equal to \(\varSigma<0\).

Therefore, we have

$$\Delta V\bigl(x(k)\bigr)\leq-\lambda_{\min}(Q) \bigl\Vert x(k) \bigr\Vert ^{2}, $$

so then

$$x^{T}(k)Qx(k)\leq-\Delta V\bigl(x(k)\bigr). $$

If we obtain the sum of above inequalities by two sides, then we obtain

$$\begin{aligned} \sum^{\infty}_{k=1}x^{T}(k)Qx(k) \leq&V(x_{0}) \\ =&x^{T}(0)P_{1}x(0)+\sum^{-1}_{\theta=-d}x^{T}( \theta)S_{2}x(\theta) \\ &{}+\sum^{0}_{\theta=-d+1}\sum ^{-1}_{s=-d+\theta}y^{T}(s)S_{1}y(s). \end{aligned}$$

This is the desirable assertion. Therefore the proof is completed. □

Theorem 3.2

Given scalar \(\epsilon>0\), if there exist symmetric positive-definite matrices \(\hat{P}_{1}\), \(\hat{S}_{1}\), \(\hat {S}_{2}\), and matrices \(\hat{W}_{1}\), \(\hat{W}_{2}\), \(\hat{W}_{3}\), \(\hat {P}_{2}\), \(\hat{P}_{3}\), Ŷ as well as scalars \(\varepsilon_{1}>0\), \(\varepsilon_{2}>0\) such that the following inequalities

$$ \begin{bmatrix} \hat{\varOmega}_{11} &\hat{\varOmega}_{12} &0&0& \hat{P}_{1} & \hat{\varOmega }_{16} & \hat{P}^{T}_{2}&d\hat{P}^{T}_{2}&\hat{P}_{1} &\hat{Y}^{T}\\ * &\hat{\varOmega}_{22} &(1-\epsilon)A_{d}\hat{S}_{2}&0& 0 &0 & \hat {P}^{T}_{3}&d\hat{P}^{T}_{3}&0 &0 \\ * &* &-\hat{S}_{2}&\hat{S}_{2}H^{T}_{2}& 0&0& 0&0&0&0\\ * &* &*&-\varepsilon_{2}I& 0&0& 0&0&0&0 \\ * &* &*&*& -\hat{S}_{2}&0& 0&0&0&0 \\ * &* &*&*& * &-\varepsilon_{1}I & 0&0&0&0 \\ * &* &*&*& * &* & -\hat{P}_{1}&0&0&0 \\ * &* &*&*& * &* & *&-d\hat{S}_{1}&0 &0 \\ * &* &*&*& * &* & *&*&-Q^{-1} &0 \\ * &* &*&*& * &* & *&*&* &-R^{-1} \end{bmatrix} < 0 $$

and

$$ \begin{bmatrix} \hat{W}_{1} & \hat{W}_{2} & 0 \\ \hat{W}^{T}_{2} & \hat{W}_{3}& \epsilon A_{d}\hat{S}_{1}\\ 0 & \epsilon\hat{S}_{1} A^{T}_{d}& \hat{S}_{1} \end{bmatrix} \geq0 $$

hold, where

$$\begin{aligned}& \hat{\varOmega}_{11}=\hat{P}_{2}+\hat{P}^{T}_{2}+d \hat{W}_{1}, \\& \hat{\varOmega}_{12}=\hat{P}_{1}\bigl(A^{T}+\epsilon A^{T}_{d}-I\bigr)+\hat{Y}^{T}B^{T}-\hat {P}^{T}_{2}+\hat{P}_{3}+d\hat{W}_{2}, \\& \hat{\varOmega}_{16}=\hat{P}_{1}H^{T}_{1}+ \hat{Y}^{T}H_{3}, \\& \hat{\varOmega}_{22}=-\hat{P}_{3}-\hat{P}^{T}_{3}+ \sum^{2}_{i=1}\varepsilon _{i}E_{i}E^{T}_{i}+d \hat{W}_{3}, \end{aligned}$$

then system (1) with feedback control \(u(k)=\hat{Y}\hat{P}^{-1}_{1}x(k)\) is robust stable and the cost function meets the following inequality:

$$\begin{aligned} J =&\sum^{\infty}_{k=1}x^{T}(k)Qx(k) \leq V(x_{0}) \\ =&x^{T}(0)P_{1}x(0)+\sum^{-1}_{\theta=-d}x^{T}( \theta)S_{2}x(\theta)+\sum^{0}_{\theta=-d+1} \sum^{-1}_{s=-1+\theta}y^{T}(s)S_{1}y(s), \end{aligned}$$

where \(y(s)=x(s+1)-x(s)\).

Proof

In order to ensure the robust stability of system (1), we design the control input \(u(k)=Kx(k)\) such that the criteria conditions (2) and (3) hold. Meanwhile, we replace A and \(H_{1}\) with \(A+BK\) and \(H_{1}+H_{3}K\), respectively. Set the parameters as follows:

$$M=\epsilon P^{T} \begin{bmatrix}0\\A_{d} \end{bmatrix} , \qquad P^{-1}= \begin{bmatrix}P^{-1}_{1}&0\\-P^{-1}_{3}P_{2}P^{-1}_{1}&P^{-1}_{3} \end{bmatrix} , $$

where ϵ is a known constant. Denote \(\hat{P}_{1}=\hat {P}^{-1}_{1}\), \(\hat{P}_{3}=\hat{P}^{-1}_{3}\), \(\hat{P}_{2}=-\hat{P}_{3}P_{2}\hat {P}_{1}\), \(\hat{Y}=K\hat{P}_{1}\), W= P T W P 1 = [ W ˆ 1 W ˆ 1 W ˆ 2 T W ˆ 3 ] , \(\hat{S}_{1}=S^{-1}_{1}\), \(\hat{S}_{2}=S^{-1}_{2}\). The rest of the proof is similar to that of Theorem 3.1, and we omit it for brevity. Therefore, this proof is completed. □

Remark 1

Note that the time delay d in system (1) is a constant integer delay. If the time delay d is changed into time-varying case \(d(k)\), system (1) is still robust stable under some proper criteria and such that the following condition

$$\underline{d}\leq d(k)\leq\overline{d} $$

holds, where \(\underline{d}\) and are bounded integer. The simulation result can be found in Sect. 4.

Numerical simulation

Example 4.1

For system (1), the parameters are given as follows:

$$\begin{aligned}& A= \begin{bmatrix} 1&0.01\\ 0.01&0.5 \end{bmatrix} ,\qquad A_{d}= \begin{bmatrix} 0.1&0\\ 0&0.1 \end{bmatrix} , \qquad B= \begin{bmatrix} 1\\ 0 \end{bmatrix} , \qquad E_{1}=E_{2}= \begin{bmatrix} 0.1&0\\ 0&0.1 \end{bmatrix} , \\& H_{1}= \begin{bmatrix} 0.1&0.05\\ -0.02&0.1 \end{bmatrix} , \qquad H_{2}=0,\qquad H_{3}= \begin{bmatrix} -0.2\\ 0.8 \end{bmatrix} ,\qquad d=1, \\& x(0)= \begin{bmatrix} 0.1\\ -0.1 \end{bmatrix} ,\qquad x(-1)= \begin{bmatrix} 0.1\\ 0 \end{bmatrix} ,\qquad Q= \begin{bmatrix} 1&0\\ 0&1 \end{bmatrix} ,\qquad R=1. \end{aligned}$$

Correspondingly, we compute the gain matrix \(K=[3.5\ 325.01]\), and set symmetric positive-definite matrices

$$\hat{P}_{1}= \begin{bmatrix} 100&0\\ 0&100 \end{bmatrix} , \qquad \hat{S}_{1}= \begin{bmatrix} 2&1\\ 1&2 \end{bmatrix} ,\qquad \hat{S}_{2}= \begin{bmatrix} 3&1\\ 1&3 \end{bmatrix} . $$

Then we obtain the supper bound of cost function as follows:

$$J_{0}=x^{T}(0)\hat{P}_{1}x(0)+\sum ^{-1}_{\theta=-d}x^{T}(\theta)\hat {S}_{2}x(\theta)+\sum^{0}_{\theta=-d+1} \sum^{-1}_{s=-1+\theta}y^{T}(s)\hat {S}_{1}y(s)=2.05, $$

and

$$J=\sum^{\infty}_{k=1}x^{T}(k)Qx(k)= \sum^{\infty}_{k=1}\frac{1}{k^{2}}= \frac {\pi^{2}}{6}\approx1.643. $$

Obviously, \(J=1.643< J_{0}=2.05\), which is our desired results. Meanwhile, some simulation figures are presented in Fig. 1, Fig. 2, and Fig. 3. The robust stability of system (1) with integer delays based on Theorem 3.1 is showed in Fig. 1. The robust stability of system (1) with bounded time-varying delays \(d(k)\) based on Theorem 3.1 is presented in Fig. 2. And the robust stability of system (1) with integer delays based on Theorem 3.2 is provided in Fig. 3. Therefore, system (1) with two states is robust stable.

Figure 1
figure1

Robust stability with integer delays based on Theorem 3.1

Figure 2
figure2

Robust stability with bounded time-varying delays \(d(k)\) based on Theorem 3.1

Figure 3
figure3

Robust stability with integer delays based on Theorem 3.2

Remark 2

We know that the uncertainty parameters are difficult to express in this numerical simulation system. In order to address the uncertainty, these uncertainty parameters are replaced with matrices randomly generated in Matlab. Therefore matrices ΔA, \(\Delta A_{d}\), ΔB can be objectively described with noise matrices by the stochastic quantitative method.

Conclusions

In this paper, we have investigated the robust stability for a class of uncertain parameter discrete systems with delays. The uncertainty parameter systems are more complex with time delays. By choosing a Lyapunov functional and utilizing some well-known inequalities, we provide two novel delay-dependent criteria which guarantee the robust stability of a class of uncertainty discrete-time systems. A method called the forward difference and an idea called the cost function have been developed to solve this problem of theorem proof. The sufficient conditions based on the feedback control for the robust stability have been obtained in terms of LMI. Meanwhile, the controller gain is designed for the cost control. The example has been given to demonstrate the effectiveness of the main results obtained. In addition, the adaptive synchronization analysis of this model with impulsive disturbance as well as fractional Brownian noise based on Markov switching parameters can be discussed in the near future.

References

  1. 1.

    Zhou, W., Zhou, X., Yang, J., Zhou, J., Tong, D.: Stability analysis and application for delayed neural networks driven by fractional Brownian noise. IEEE Trans. Neural Netw. Learn. Syst. 29(5), 1491–1502 (2018)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Zhou, X., Yang, J., Li, Z.: Stability analysis based on partition trajectory approach for switched neural networks with fractional Brown noise disturbance. Int. J. Control 90(10), 2165–2177 (2017)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Zhou, X., Zhou, W., Yang, J., Dai, A.: Asymptotical stability of stochastic neural networks with multiple time-varying delays. Int. J. Control 88(3), 613–621 (2015)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Mahmoud, M.S., Almutairi, N.B.: Robust stability and stabilization methods for a class of nonlinear discrete-time delay systems. Appl. Math. Comput. 215(12), 4280–4292 (2010)

    MathSciNet  MATH  Google Scholar 

  5. 5.

    Li, S.: Robust stability and stabilization of LTI fractional-order systems with poly-topic and two-norm bounded uncertainties. Adv. Differ. Equ. 2018, 88 (2018)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Xu, X., Liu, L.: Robust stability analysis for linear systems subjected to time-varying uncertainties within the framework of nest algebra. Science Asia 44(1), 46–53 (2018)

    Article  Google Scholar 

  7. 7.

    Zheng, S.: Robust stability of fractional order system with general interval uncertainties. Syst. Control Lett. 99, 1–8 (2017)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Song, Q., Yu, Q., Zhao, Z.: Boundedness and global robust stability analysis of delayed complex-valued neural networks with interval parameter uncertainties. Neural Netw. 103, 55–62 (2018)

    Article  Google Scholar 

  9. 9.

    Qiu, S., Liu, X., Wang, F.: Robust stability analysis for uncertain recurrent neural networks with leakage delay based on delay-partitioning approach. Neural Comput. Appl. 30(1), 211–222 (2018)

    Article  Google Scholar 

  10. 10.

    Maharajan, C., Raja, R., Cao, J.: Novel global robust exponential stability criterion for uncertain inertial-type BAM neural networks with discrete and distributed time-varying delays via Lagrange sense. J. Franklin Inst. Eng. Appl. Math. 355(11), 4727–4754 (2018)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Cheng, S., Zhang, Q.: Robust stability and stabilization for descriptor systems with uncertainties in all matrices. Int. J. Robust Nonlinear Control 28(3), 753–766 (2018)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Svetoslav, S., Ivan, P.: Robust stability of discrete-time system with polytopic uncertainty. C. R. Acad. Bulgare Sci. 70(6), 857–862 (2017)

    Google Scholar 

  13. 13.

    Yang, H., Jiang, B., Tao, G.: Robust stability of switched nonlinear systems with switching uncertainties. IEEE Trans. Autom. Control 61(9), 2531–2537 (2016)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Ramasamy, K., Balasubramaniam, P.: Robust stability results for nonlinear Markovian jump systems with mode-dependent time-varying delays and randomly occurring uncertainties. Complexity 21(6), 50–60 (2016)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Guo, Y., Wang, Y., Xie, L.: Robust stability of reset control systems with uncertain output matrix. Automatica 48(8), 1879–1884 (2012)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Li, X., Wu, J.: Stability of nonlinear differential systems with state-dependent delayed impulses. Automatica 64, 63–69 (2016)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Li, X., Song, S.: Stabilization of delay systems: delay-dependent impulsive control. IEEE Trans. Autom. Control 62(1), 406–411 (2017)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Li, X., Cao, J.: An impulsive delay inequality involving unbounded time-varying delay and applications. IEEE Trans. Autom. Control 62(7), 3618–3625 (2017)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Dong, Y., Zhang, Y., Zhang, X.: Design of observer-based feedback control for a class of discrete-time nonlinear systems with time-delay. Appl. Comput. Math. 13(1), 107–121 (2014)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Boukas, E.K.: State feedback stabilization of nonlinear discrete-time systems with time-varying time delay. Nonlinear Anal., Theory Methods Appl. 66(6), 1341–1350 (2007)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Fernando, T.L., Phat, V.N., Trinh, H.M.: Output feedback guaranteed cost control of uncertain linear discrete systems with interval time-varying delays. Appl. Math. Model. 37(3), 1580–1589 (2013)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Manivannan, R., Panda, S., Chong, K.T., Cao, J.: An Arcak-type state estimation design for time-delayed static neural networks with leakage term based on unified criteria. Neural Netw. 106, 110–126 (2018)

    Article  Google Scholar 

  23. 23.

    Manivannan, R., Samidurai, R., Cao, J.: Stability analysis of interval time-varying delayed neural networks including neutral time-delay and leakage delay. Chaos Solitons Fractals 114, 433–445 (2018)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Manivannan, R., Cao, Y.: Design of generalized dissipativity state estimator for static neural networks including state time delays and leakage delays. J. Franklin Inst. 355(9), 3990–4014 (2018)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Manivannan, R., Samidurai, R., Cao, J., Alsaedi, A., Alsaadi, F.E.: Design of extended dissipativity state estimation for generalized neural networks with mixed time-varying delay signals. Inf. Sci. 424, 175–203 (2018)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia (1994)

    Google Scholar 

  27. 27.

    Wang, Z., Fang, J., Liu, X.: Global stability of stochastic high-order neural networks with discrete and distributed delays. Chaos Solitons Fractals 36, 388–396 (2008)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

We thank the referees for their time and comments.

Funding

Supported by the Natural Science Foundation of China (Grant No. 11871118).

Author information

Affiliations

Authors

Contributions

XZ conceived the research idea and co-wrote the paper. ZY conducted the theorem analysis and numerical simulations. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xianghui Zhou.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access 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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhou, X., Yan, Z. An application of forward difference method in robust stability of discrete uncertainty system with delays. Adv Differ Equ 2019, 194 (2019). https://doi.org/10.1186/s13662-019-1991-x

Download citation

Keywords

  • Robust stability
  • Forward difference
  • Uncertainty system
  • Schur complement