Stability analysis of discrete-time systems with variable delays via some new summation inequalities
- Feng-Xian Wang^{1},
- Xin-Ge Liu^{1}Email author,
- Mei-Lan Tang^{1} and
- Yan-Jun Shu^{1}
https://doi.org/10.1186/s13662-016-0829-z
© Wang et al. 2016
Received: 26 November 2015
Accepted: 30 March 2016
Published: 5 April 2016
Abstract
This paper proposes an improved stability condition of discrete-time systems with variable delays. Based on some mathematical techniques, a series of new summation inequalities are obtained. These new inequalities are less conservative than the Jensen inequality. Based on these new summation inequalities and the reciprocally convex combination inequality, a novel sufficient criterion on asymptotical stability of discrete-time systems with variable delays is obtained by constructing a new Lyapunov-Krasovskii functional. The advantage of the proposed inequality in this paper is demonstrated by a classical example from the literature.
Keywords
1 Introduction
Time delay is usually encountered in many practical situations such as signal processing, image processing etc. There has been an increasing research activity on time-delay systems during the past years [1–16]. The problem of the delay-dependent stability analysis of time-delay systems has become a hot research topic in the control community [17, 18] due to the fact that stability criteria can provide a maximum admissible upper bound of time delay. The maximum admissible upper bound can be regarded as an important index for the conservatism of stability criteria [19–23]. To our knowledge, Jensen’s inequality has been mostly used as a powerful mathematical tool in the stability analysis of time-delay systems. However, Jensen’s inequality neglected some terms, which unavoidably introduced some conservatism. In order to investigate the stability of a linear discrete systems with constant delay, Zhang and Han [24] established the following Abel lemma-based finite-sum inequality, which improved the Jensen inequality to some extent.
Theorem A
[24]
Seuret et al. [25] also obtained a new stability criterion for the discrete-time systems with time-varying delay via the following novel summation inequality.
Theorem B
[25]
In fact, Theorem A is equivalent to Theorem B. These two summation inequalities encompass the Jensen inequality. It is worth mentioning that Theorem A and Theorem B can be regarded as a discrete time version of the Wirtinger-based integral inequality, which was proved in [26].
Recently, Park et al. [27] developed a novel class of integral inequalities for quadratic functions via some intermediate terms called auxiliary functions which improved the Wirtinger-based integral inequality. Based on the novel inequalities, some new stability criteria are presented for systems with time-varying delays by constructing some appropriate Lyapunov-Krasovskii functionals in [27].
The Lyapunov-Krasovskii functional method is the most commonly used method in the investigation of the stability of delayed systems. The conservativeness of this approach is mainly from the construction of the Lyapunov-Krasovskii functional and the estimation of its time derivative. In order to get less conservative results, Jensen’s integral inequality, Wirtinger’s integral inequality, and a free-matrix-based integral inequality are proposed to obtain a tighter upper bound of the integrals occurring in the time derivative of the Lyapunov-Krasovskii functional. Many papers have focused on integral inequalities and their applications in stability analysis of continuous-time-delayed systems. However, only a few papers have studied the summation inequalities and their application in stability analysis of discrete-time systems with variable delays. The summation inequalities in Theorem A and Theorem B are used to obtain a bound for \(\sum_{j=r_{1}}^{r_{2}-1}\eta^{T}(j)R\eta(j)\) or \(\sum_{i=-h+1}^{0}y^{T}(i)Ry(i)\).
Motivated by the above works, in order to provide a tighter bound for \(\sum_{j=r_{1}}^{r_{2}-1}\eta^{T}(j)R\eta(j)\) or \(\sum_{i=-h+1}^{0}y^{T}(i)Ry(i)\), this paper is aimed at establishing some novel summation inequalities as the discrete-time versions of the integral inequalities obtained in [27]. In this paper, we will extend the two summation inequalities given in [24, 25]. Some new summation inequalities are proposed to provide a sharper bound than the summation inequalities in [24, 25]. The inequalities in Theorem A and Theorem B are a special case of Corollary 6 in our paper. Moreover, a novel estimation to the double summation as \(\sum_{i=-h+1}^{0}\sum_{k=i}^{0}\Delta x(k)^{T}R \Delta x(k)\) is also given in this paper. Based on these new summation inequalities, the reciprocally convex combination inequality, and a new Lyapunov-Krasovskii functional, a less conservative sufficient criterion on asymptotical stability of discrete-time systems with variable delays is obtained.
Notations
Throughout this paper, \(R^{n}\) and \(R^{n\times m}\) denote, respectively, the n-dimensional Euclidean space and the set of all \(n\times m\) real matrices. For real symmetric matrices X and Y, the notation \(X\geq Y\) (or \(X>Y\)) means that the matrix \(X-Y\) is a positive semi-definite (or positive definite). The symbol ∗ within a matrix represents the symmetric term of the matrix.
2 Novel summation inequalities
Theorem 1
Proof
This completes the proof of Theorem 1. □
By choosing an appropriate sequence \(p(k)\), we get the following corollaries.
Corollary 1
Proof
Corollary 2
Corollary 3
Proof
Remark 1
Corollary 1 or Corollary 2 in this paper can be regard as a discrete version of Wirtinger-based integral inequality proved in [26]. Corollary 3 is a special case of Corollary 1 or Corollary 2. In fact, Corollary 3 is equivalent to Theorem A and Theorem B. So Corollary 1 or Corollary 2 in this paper implies Theorem A and Theorem B.
Generally, we have the following result which includes Corollary 3 as a special case.
Corollary 4
- (1)
\(\sum_{i=-h+1}^{0}p_{m}(i)=0\), \(m=1, 2\),
- (2)
\(\sum_{i=-h+1}^{0}p_{1}(i)p_{2}(i)=0\),
- (3)
\(\sum_{i=-h+1}^{0}p_{2}^{2}(i)=\frac {(h-2)(h-1)h(h+1)(h+2)}{180}\).
Theorem 2
Remark 2
Theorem 2 gives a new form of summation inequality and the idea which stimulates our interests in establishing a novel combinational summation inequality underlying quadrature rules. Based on Theorem 1 and Theorem 2, an improved summation inequality can be obtained as follows.
Theorem 3
Proof
Noting that \(\sum_{i=-h+1}^{0}p_{m}(i)=0\) (\(m=1, 2\)) and \(\sum_{i=-h+1}^{0}p_{1}(i)p_{2}(i)=0\), combining Theorem 3 with Corollary 2 and Theorem 2 gives the following result.
Corollary 5
Corollary 6
Proof
Remark 3
The right-hand side of summation inequality in Corollary 5 (or Corollary 6) contains a term \(\frac{5(h+1)(h+2)}{(h-2)(h-1)h}\Omega _{2}^{T}R\Omega_{2}\). However, the summation inequality in Theorem A or Theorem B neglects this term. If \(h>2\) and \(\Omega_{2}\neq0\), then \(\frac {5(h+1)(h+2)}{(h-2)(h-1)h}\Omega_{2}^{T}R\Omega_{2}>0\). Since a positive quantity is added in the right-hand side of the inequality, the summation inequality in Corollary 5 (or Corollary 6) can provide a sharper bound for \(\sum_{i=-h+1}^{0}y^{T}(i)Ry(i)\) than the summation inequalities in [24, 25].
As we have mentioned before, Jensen’s inequality has mostly been used as a powerful mathematical tool in dealing with the difference of Lyapunov-Krasovskii functionals, single or double. In the case of a double, just like \(\sum_{i=-h+1}^{0}\sum_{k=i}^{0} y(k)^{T}Ry(k)\), Jensen’s inequality may neglect some terms, which unavoidably introduces conservatism. Then we will give some improved double summation inequalities.
Theorem 4
Proof
Define the energy function as \(J(v)=\sum_{i=-h+1}^{0}\sum_{k=i}^{0}z(k)^{T}Rz(k)\) and \(z(i)=y(i)-\frac{2}{h(h+1)}E_{0}-p(i)v \). Similar to the proof of Theorem 1, we are now proceeding to find a vector v̂ to minimize the energy function \(J(v)\).
Corollary 7
Corollary 8
Proof
This completes the proof of Corollary 8. □
Remark 4
The double Jensen inequality is often used to estimate a upper bound of \(-\sum_{i=-h+1}^{0}\sum_{k=i}^{0} y(k)^{T}Ry(k)\) in the difference of Lyapunov-Krasovskii functionals. In this paper, we have extended the double Jensen inequality. Some improved double summation inequalities are presented in Corollary 7 (or Corollary 8). Since these improved double summation inequalities contain \(\frac {16(h+2)}{(h-1)h(h+1)}\Omega_{3}^{T}R\Omega_{3}\), they can provide a tighter bound for \(\sum_{i=-h+1}^{0}\sum_{k=i}^{0} y(k)^{T}Ry(k)\). Therefore, these improved double summation inequalities can be used to establish less conservative stability conditions for the discrete-time systems with variable delays.
3 Application in stability analysis
Based on the above summation inequalities, we will establish a new criterion on asymptotical stability for system (45).
Theorem 5
Proof
This completes the proof of Theorem 5. □
Remark 5
Theorem 5 gives a sufficient condition for asymptotical stability criterion for discrete-time system (45) with variable delay. The free-weighting matrix method was developed and was applied to the stability analysis of systems with time-varying delays [18]. However, the computational burden will increase because of the introduction of free-weighting matrices. Different from the free-weighting matrix method, some new sharper summation inequalities are developed via auxiliary functions. By employing these improved inequalities and the reciprocally convex combination inequality method, a less conservative result is derived. The conditions in Theorem 5 are described in terms of two matrix inequalities, which can be realized by using the linear matrix inequality algorithm proposed in [28].
4 Numerical example
In this section, to demonstrate the effectiveness of our proposed method, we consider the following example, which is widely used in the delay-dependent stability analysis of discrete-time systems with time delay.
Example 1
5 Conclusions
In this paper, by the construction of an appropriate auxiliary function, some new summation inequalities are established. As an application of the summation inequality, an asymptotic stability analysis of discrete linear systems with time delay is carried out. Finally, a numerical example is provided to illustrate the usefulness of the theoretical results.
Declarations
Acknowledgements
This work is partly supported by NSFC under grant nos. 61271355 and 61375063 and the ZNDXYJSJGXM under grant no. 2015JGB21.
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.
Authors’ Affiliations
References
- Song, CW, Gao, HJ, Zheng, WX: A new approach to stability analysis of discrete-time recurrent neural networks with time-varying delay. Neurocomputing 72, 2563-2568 (2009) View ArticleGoogle Scholar
- Wang, Q, Dai, BX: Almost periodic solution for n-species Lotka-Volterra competitive system with delay and feedback controls. Appl. Math. Comput. 200, 133-146 (2008) MathSciNetMATHGoogle Scholar
- Wang, Q, Dai, BX: Existence of positive periodic solutions for neutral population model with delays. Int. J. Biomath. 1, 107-120 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Liu, XG, Wu, M, Martin, R, Tang, ML: Stability analysis for neutral systems with mixed delays. J. Comput. Appl. Math. 202, 478-497 (2007) MathSciNetView ArticleMATHGoogle Scholar
- Liu, XG, Martin, R, Wu, M, Tang, ML: Global exponential stability of bidirectional associative memory neural network with time delays. IEEE Trans. Neural Netw. 19, 397-407 (2008) View ArticleGoogle Scholar
- Guo, S, Tan, XH, Huang, L: Stability and bifurcation in a discrete system of two neurons with delays. Nonlinear Anal., Real World Appl. 9, 1323-1335 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Chen, P, Tang, XH: Existence and multiplicity of solutions for second-order impulsive differential equations with Dirichlet problems. Appl. Math. Comput. 218, 11775-11789 (2012) MathSciNetMATHGoogle Scholar
- Zang, YC, Li, JP: Stability in distribution of neutral stochastic partial differential delay equations driven by a-stable process. Adv. Differ. Equ. 2014, 13 (2014) MathSciNetView ArticleGoogle Scholar
- Tang, ML, Liu, XG: Positive periodic solution of higher order functional difference equation. Adv. Differ. Equ. 2011, 56 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Qiu, SB, Liu, XG, Shu, YJ: New approach to state estimator for discrete-time BAM neural networks with time-varying delay. Adv. Differ. Equ. 2015, 189 (2015) MathSciNetView ArticleGoogle Scholar
- Zhang, XM, Han, QL: Global asymptotic stability for a class of generalized neural networks with interval time-varying delays. IEEE Trans. Neural Netw. 22, 1180-1192 (2011) View ArticleGoogle Scholar
- Shu, YJ, Liu, XG, Liu, YJ: Stability and passivity analysis for uncertain discrete-time neural networks with time-varying delay. Neurocomputing 173, 1706-1714 (2016) View ArticleGoogle Scholar
- Zeng, HB, Park, JH, Zhang, CF, Wang, W: Stability and dissipativity analysis of static neural networks with interval time-varying delay. J. Franklin Inst. 352, 1284-1295 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Ratchagit, K, Phat, VN: Stability criterion for discrete-time systems. J. Inequal. Appl. 2010, Article ID 201459 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Phat, VN, Ratchagit, K: Stability and stabilization of switched linear discrete-time systems with interval time-varying delay. Nonlinear Anal. Hybrid Syst. 5, 605-612 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Liu, XG, Tang, ML, Martin, RR, Liu, XB: Discrete-time BAM neural networks with variable delays. Phys. Lett. A 367, 322-330 (2007) View ArticleMATHGoogle Scholar
- Park, P, Ko, JW, Jeong, C: Reciprocally convex approach to stability of systems with time-varying delays. Automatica 47, 235-238 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Fridman, E, Shaked, U: Stability and guaranteed cost control of uncertain discrete delay systems. Int. J. Control 78, 235-246 (2005) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, B, Xu, S, Zou, Y: Improved stability criterion and its applications in delayed controller design for discrete-time systems. Automatica 44, 2963-2967 (2008) MathSciNetView ArticleMATHGoogle Scholar
- He, Y, Wu, M, Liu, GP, She, JH: Output feedback stabilization for a discrete-time system with a time-varying delay. IEEE Trans. Autom. Control 53, 2372-2377 (2008) MathSciNetView ArticleGoogle Scholar
- Shao, H, Han, QL: New stability criterion for linear discrete-time systems with interval-like time-varying delays. IEEE Trans. Autom. Control 56, 619-625 (2011) MathSciNetView ArticleGoogle Scholar
- Kao, CY: On stability of discrete-time LTI systems with varying time delays. IEEE Trans. Autom. Control 57, 1243-1248 (2012) MathSciNetView ArticleGoogle Scholar
- Kwon, OM, Park, MJ, Park, JH, Lee, SM, Cha, EJ: Stability and stabilization for discrete-time systems with time-varying delays via augmented Lyapunov-Krasovskii functional. J. Franklin Inst. 350, 521-540 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, XM, Han, QL: Abel lemma-based finite-sum inequality and its application to stability analysis for linear discrete time-delay systems. Automatica 57, 199-202 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Seuret, A, Gouaisbaut, F, Fridman, E: Stability of discrete-time systems with time-varying delay via a novel summation inequality. IEEE Trans. Autom. Control 6, 2740-2745 (2015) MathSciNetView ArticleGoogle Scholar
- Seuret, A, Gouaisbaut, F: Wirtinger-based integral inequality: application to time-delay systems. Automatica 49, 2860-2866 (2013) MathSciNetView ArticleGoogle Scholar
- Park, P, Lee, WI, Lee, SY: Auxiliary function-based integral inequalities for quadratic functions and their applications to time-delay systems. J. Franklin Inst. 352, 1378-1396 (2015) MathSciNetView ArticleGoogle Scholar
- Boyd, S, Ghaoui, LEI, Feron, E, Balakrishnan, V: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia (1994) View ArticleMATHGoogle Scholar