- Research
- Open access
- Published:
New results on reachable set bounding for linear time delay systems with polytopic uncertainties via novel inequalities
Journal of Inequalities and Applications volume 2017, Article number: 277 (2017)
Abstract
This work is further focused on analyzing a bound for a reachable set of linear uncertain systems with polytopic parameters. By means of L-K functional theory and novel inequalities, some new conditions which are expressed in the form of LMIs are derived. It should be noted that novel inequalities can improve upper bounds of Jensen inequalities, which yields less conservatism of systems. Consequently, some numerical examples demonstrate that the authors’ results are somewhat more effective and advantageous compared with the previous results.
1 Introduction
It is well known that reachable set estimation was first researched in the late 1960s for state estimations. The reachable set is a hot issue since the time due to its important and wide application in the design of controller and aircraft collision avoidance and peak-to-peak gain minimization problems. The reachable set of dynamic differential systems with delay and disturbance is a set that contains all the reachable trajectories from origin by outside peak input values [1–4]. In the real world, as for dynamic systems, there are two phenomena that cannot be avoided: time delays and uncertainties [5–15]. In fact, delays and the coefficients of differential equations in modeling progresses are obtained only approximately [16–18]. There are already some relevant outstanding results about reachable set estimation of dynamic systems. However, we think it is necessary to obtain a more tighter bound for a reachable set.
As pointed out in [16–20], an equation of one class can be transformed to an equation belonging to the external form of the other class. Thus, it is natural to classify the equations according to the properties of operators generated by the equations. In this paper, uncertain polytopic delayed linear systems with disturbances will be studied.
All the results about reachable set bounding are in the term of linear matrix inequalities (LMIs). The authors give an ellipsoid condition of the reachable set for linear systems without any delay [5]. The authors Fridman and Shaked improved the model [21]. They studied the linear systems with varying delays with peak inputs and got LMIs conditions of an ellipsoid by using the Razumikhin theory. After that, Kim got a more exact condition by constructing the modified Lyapunov-Razumikhin functionals [22]. Combining the decomposition technique, Nam derived a modified reachable set bound [23]. Actually, the reachable set is not an ellipsoid and it is only a closed set. Zuo et al. gave a non-ellipsoidal bound of a reachable set for linear time-delayed systems by the means of the maximal Lyapunov functionals and the Razumikhin method [24].
It should be noted that discrete delay is varying \(0\leq\tau(t) \leq\tau\) in most previous literature. That is, the lower bound of discrete delay is 0. In fact, \(\tau(t)\) varying \(\tau_{m}\leq\tau(t) \leq\tau_{M}\) may describe the delay more exactly. In order to control the behavior of the system better, we hope to propose tighter reachable set estimation. Park, Lee and Lee proposed some novel inequalities which can be used to estimate integrations [25]. Therefore, those inequalities can be employed to estimate some integration terms of Lyapunov functionals for dynamic systems. Motivated by the above mentioned discussions, we consider the linear time-varying delay systems with polytopic uncertainties. Using novel inequalities, we derive a modified reachable set bound for the linear system with discrete delay \(\tau_{m}\leq\tau(t)\leq\tau_{M}\). Moreover, four examples are given to demonstrate the effectiveness and advantage of our results.
In this paper, the used notations are listed as follows. Real matrix \(P>0\) (≥0) denotes that P is a symmetric positive definite matrix (positive semi-definite). Superscript ‘T’ is transposition of a vector and a matrix; ∗ means the elements below the main diagonal in a symmetric block matrix; I is an identity matrix; ‘−’ in tables means that there is no feasible solution for linear matrix inequalities.
2 Preliminaries
Consider uncertain polytopic delayed linear systems with disturbances in the form
where \(z(t)\in R^{n}\) is a state vector; \(w(t)\in R^{m}\) is outside disturbance. \(A, \Delta A\in R^{n\times n}\), \(D, \Delta D\in R^{n \times n}\), \(B, \Delta B\in R^{n\times m}\). A, D, B are known matrices. ΔA, ΔD, ΔB are uncertain matrices. \(\tau(t)\) is time delay.
Discrete delay \(\tau(t)\) and disturbance \(w(t)\) are assumed to be as follows:
where μ, \(w_{m}\) are constant.
The uncertainty parameter matrices are expressed by a linear convex-hull of matrices \(A_{i}\), \(B_{i}\) and \(D_{i}\)
with \(\theta_{i}(t)\in[0,1]\) and \(\sum_{i=1}^{N}\theta_{i}(t)=1\), \(\forall t>0\). \(A_{i}\), \(B_{i}\) and \(D_{i}\) are known matrices.
In order to obtain reachable set bounds for a linear dynamic system, we state some useful lemmas and some novel inequalities firstly.
Lemma 1
([26])
As for the well-defined integral \(\int_{a(t)}^{b(t)}f(t,s)\,ds\), the following relation known as the Leibniz rule holds:
Lemma 2
([25])
For a positive definite matrix \(R>0\) and a differentiable function \(\{z(u)| u\in[a,b]\}\), the following inequalities hold:
where
Lemma 3
([5])
Let V be a Lyapunov function for system (1) with \(w^{T}(t)w(t)\leq w_{m}^{2}\). If
then \(V\leq1\).
3 Main results
In this section, we will firstly consider a reachable set for uncertain parameter matrices \(\Delta A=0\), \(\Delta D=0\), \(\Delta B=0\) in system (1), namely,
After that, we will consider a reachable set for uncertain system (1).
If \(\tau_{m}\leq\tau(t)\leq\tau_{M}\), \(\dot{\tau}(t)\leq\mu<1\), we get the reachable set bounding for dynamic system (2) in Theorem 1.
Theorem 1
If there exist appropriate dimension matrices \(P>0\), \(R_{1}>0\), \(R_{2}>0\), \(Q _{1}>0\), \(Q_{2}>0\), \(M_{1}>0\), \(M_{2}>0\), \(M_{3}>0\), appropriate dimensions matrices \(N_{1}\), \(N_{2}\), and a scalar \(\alpha>0\) such that the following inequality holds:
where
Then the reachable sets of system (2) are bounded in a ball \(B(0,r)=\{z\in R^{n}|\Vert z\Vert \leq r\}\) with
Proof
Construct the Lyapunov-Krasovskii functional
where
Computing the derivative of \(V(z_{t})\) of model (3), we have
By using Lemma 3,
where \(\zeta_{1}^{T}=(z^{T}(t),z^{T}(t-\tau_{m}),\frac{1}{\tau_{m}} \int_{t-\tau_{m}}^{t}z^{T}(s)\,ds, \frac{1}{\tau_{m}^{2}}\int_{t-\tau _{m}}^{t}\int_{\theta}^{t}z^{T}(s)\,ds\,d\theta)\),
By using Lemma 3,
where
In the light of Lemma 3,
where
Certainly, the following equations hold:
where \(N_{1}\), \(N_{2}\) are matrices with appropriate dimensions.
Through (5)-(7) and (9)(11)(13)(14), one gets
That is,
Then one has
where
For (2) holding, we get \(\dot{V}+\alpha V-\frac{\alpha}{w_{m}^{2}}w ^{T}(t)w(t)\leq0\).
Thus, according to Lemma 3, one has \(V(z_{t})\leq1\).
It is easy to see
Furthermore, by using the spectral property for symmetric positive definite matrix P, we get
Therefore, \(\Vert z(t)\Vert \leq r=\frac{1}{\sqrt{\lambda _{\min}(P)}}\) due to (16). □
Next, let us consider the polytopic uncertain linear system (1). Reachable set bounding of system (1) is got and stated in Theorem 2.
Theorem 2
If there exist appropriate dimension matrices \(P>0\), \(R_{1}>0\), \(R_{2}>0\), \(Q _{1}>0\), \(Q_{2}>0\), \(M_{1}>0\), \(M_{2}>0\), \(M_{3}>0\), appropriate dimensions matrices \(N_{1}\), \(N_{2}\), and a scalar \(\alpha>0\), such that the following inequalities hold (\(i=1,2,\ldots,N\)):
where
Then the reachable sets of system (1) are bounded in a ball \(B(0,r)=\{z\in R^{n}|\Vert z\Vert \leq r\}\) with
Proof
In progress in Theorem 1, replacing matrix A by \(\sum_{i=1}^{N}\theta_{i}(t)(A+A_{i})\), matrix B by \(\sum_{i=1}^{N} \theta_{i}(t)(B+B_{i})\), matrix D by \(\sum_{i=1}^{N}\theta_{i}(t)(D+D _{i})\), one can easily get the conclusion. □
Remark 1
In this paper, the discrete delay \(\tau_{m}\leq \tau(t)\leq\tau_{M}\) is of a more general scope than \(0\leq\tau(t) \leq\tau\) considered in [1, 27, 28].
Remark 2
The novel inequalities in Lemma 2 lead to tighter bounds than the Jensen inequality. By means of novel inequalities in Lemma 2, to estimate integral terms in Lyapunov functionals, better bounds for a reachable set are proposed in this paper.
Remark 3
To compute the smallest bound of a reachable set for linear dynamic systems (1), we solve the optimization problem for a positive scalar \(\delta>0\):
Remark 4
The novel inequalities in Lemma 2 may be used to study the reachable set problem for a linear neutral system, even for a non-linear neutral system.
Remark 5
In references [2, 21, 22], they used conventional Jensen inequalities \(-(h_{2}-h_{1})\int_{t-h_{2}}^{t-h _{1}}z^{T}(s)P z(s)\,ds\leq-(\int_{t-h_{2}}^{t-h_{1}}z(s)\,ds)^{T} P(\int_{t-h_{2}}^{t-h_{1}}z(s)\,ds)\) and \(-\frac{1}{2}(h_{2}-h_{1})^{2} \int_{-h_{2}}^{-h_{1}}\int_{t+\theta}^{t-h_{1}}z^{T}(s) Rz(s)\,ds \,d \theta\leq-(\int_{-h_{2}}^{-h_{1}}\int_{t+\theta}^{t-h_{1}}z^{T}(s)\, ds \,d \theta) R (\int_{-h_{2}}^{-h_{1}}\int_{t+\theta}^{t-h_{1}}z(s)\,ds \,d \theta)\) to estimate a single integral and a double integral, respectively. However, in this paper, we use inequalities in Lemma 2.2 to estimate the bound of a single integral and a double integral. Obviously, the bound in this study is more accurate than those in references. Therefore, the conservatism in our work is less than the existing ones.
Remark 6
It should be noted that if there are more accurate inequalities to estimate the bound of \(\int_{a}^{b}z^{T}(s)Rz (s)\,ds\), \(\int_{a}^{b}\dot{z}^{T}(s)R\dot{z}(s)\,ds \,d\theta\), \(\int_{a}^{b} \int_{\theta}^{b}\dot{z}^{T}(s)R\dot{z}(s)\,ds \,d\theta\), there is still room for further improvement of the proposed results to reduce the conservatism of systems.
Remark 7
Some literature works researched the stability of second order delay differential equations; see, for example, references [29–33]. In the future, reachable set bounding for second order delay differential equations may be a hot issue, and methods similar to those in this paper may be used to estimate reachable set bounding for second order delay differential equations.
4 Examples
In order to compare the obtained results with those in the literature, we provide several numerical examples in the following.
Example 1
Consider the uncertain time-varying delayed system in [22, 27]:
We consider two cases for discrete delay \(\tau(t)\): \(0\leq\tau(t) \leq0.7\), \(\dot{\tau}(t)\leq\mu<1\) and \(0\leq\tau(t)\leq0.75\), \(\dot{\tau}(t)\leq\mu<1\). Let μ be different values, we compute δ̄’s by using optimization problem (19). The computed δ̄’s are listed in Table 1 for the forward case and in Table 2 for the backward case. From Tables 1 and 2, we know that the proposed result in Theorem 2 is tighter than the ones in references [22, 27].
Example 2
Consider the following uncertain model in [2, 21, 22] with parameters:
When μ are different values, we solve inequalities (19) to get \(\bar{\delta}'s\) for \(\tau_{m}\leq\tau(t)\leq\tau_{M}\), \(\dot{\tau}(t)\leq\mu\) with \(\tau_{m}=0\), \(\tau_{M}=0.1\). To compare with the results in [2, 21, 22], we list computed results by using Theorem 2 in Table 3. One can see that there are no feasible solutions by employing the methods in [21, 22], and one can see easily that the proposed method has more application area.
Example 3
Consider the following delayed system (3) with parameters:
and \(w^{T}(t)w(t)\leq1\).
By using the method in Theorem 1, we list computed r’s for different values of \(\tau(t)\) with \(\mu=0\) in Table 4. We can see that bounds computed in this paper are tighter than those of references [2–4, 8, 10, 22]. Of course, it decreases the conservatism of systems.
Example 4
Consider the following uncertain delayed system:
and time delay \(0.1\leq\tau(t)\leq0.7\), \(\mu=0.7\). The reachable set of system (23) is plotted in Figure 1 with \(P=\left [ {\scriptsize\begin{matrix}{} 1.2692 & -0.4984 \cr -0.4984 & 0.7255 \end{matrix}} \right ] \).
Remark 8
In the reference [29], Domoshnitsky discussed the stability of more complicated linear neutral systems with uncertain coefficients and uncertain delays. In further work, we will study reachable set bounding for this type of linear neutral systems.
5 Conclusions
Firstly, we study uncertain linear systems with polytopic parameters. By using L-K functional and novel inequalities to estimate integral terms in L-K functional, some novel sufficient conditions for a bounded reachable set of uncertain systems are obtained. Then, we use some examples to show that our methods in Theorems 1 and 2 are effective and have less conservatism compared with reported conditions. Furthermore, the method in this work may be extended to compute a reachable set of linear neutral systems, and it may even be used to deal with stability of linear systems and non-linear systems in the future.
References
Zuo, ZQ, Chen, YP, Wang, YJ, Ho, DWC, Chen, MZQ, Li, HC: A note on reachable set bounding for delayed systems with polytopic uncertainties. J. Franklin Inst. 350, 1827-1835 (2013)
That, ND, Nam, PT, Ha, QP: Reachable set bounding for linear discrete-time systems with delays and bounded disturbances. J. Optim. Theory Appl. 157, 96-107 (2013)
Hien, LV, Trinh, HM: A new approach to state bounding for linear time-varying systems with delays and bounded disturbances. Automatica 50, 1735-1738 (2014)
Zuo, ZQ, Chen, YP, Wang, YJ: New criteria of reachable set estimation for time delay systems subject to polytopic uncertainties. In: The 7th IFAC Symposium on Robust Control Design, Denmark, June 2012, pp. 231-235 (2012)
Boyd, S, El Ghaoui, L, Feron, E, Balakrishnan, V: Linear Matrix Inequalities in Systems and Control Theory. SIAM, Philadelphia (1994)
Tian, JK, Zhong, SM, Wang, Y: Improved exponential stability criteria for neural networks with time-varying delays. Neurocomputing 97, 164-173 (2012)
Lee, WI, Lee, SY, Par, P: Improved criteria on robust stability and \(h_{\infty}\) performance for linear systems with interval time-varying delays via new triple integral functionals. Appl. Math. Comput. 243, 570-577 (2014)
Cheng, J, Zhong, S, Zhong, Q, Zhu, H, Du, Y: Finite-time boundedness of state estimation for neural networks with time-varying delays. Neurocomputing 129, 257-264 (2014)
Gu, KQ: An integral inequality in the stability problem of time-delay systems. In: Proceedings of the 39th IEEE Conference on Decision and Control, Sydney, December 2000, pp. 2805-2810 (2000)
Sun, J, Liu, GP, Chen, J: Improved delay-range-dependent stability criteria for linear systems with time-varying delays. Automatica 46, 466-470 (2010)
Wu, ZG, Dong, SL, Shi, P: Fuzzy-model-based nonfragile guaranteed cost control of nonlinear Markov jump systems. IEEE Trans. Syst. Man Cybern. Syst. (2017). doi:10.1109/TSMC.2017.2675943
Wu, ZG, Shi, P, Su, HY, Jian, C: Sampled-data fuzzy control of chaotic systems based on t-s fuzzy model. IEEE Trans. Fuzzy Syst. 22, 153-163 (2014)
Wu, ZG, Shi, P, Su, HY, Jian, C: Sampled-data synchronization of chaotic Lur’e systems with time delays. IEEE Trans. Neural Netw. Learn. Syst. 24, 410-421 (2013)
Wu, ZG, Shi, P, Su, HY, Jian, C: Dissipativity analysis for discrete-time stochastic neural networks with time-varying delays. IEEE Trans. Neural Netw. Learn. Syst. 24, 345-355 (2013)
Wu, ZG, Shi, P, Su, HY, Jian, C: Reliable \(h-\infty\) control for discrete-time fuzzy systems with infinite-distributed delay. IEEE Trans. Fuzzy Syst. 20, 22-31 (2012)
Azbelev, NV, Maksimov, VP, Rakhmatullina, LF: Introduction to Theory of Linear Functional Differential Equations. Advances Series in Mathematical Science and Engineering. World Federation Publishers Company, Atlanta (1995)
Azbelev, NV, Maksimov, VP, Rakhmatullina, LF: Introduction to Theory of Linear Functional Differential Equations: Methods and Applications. Hindawi Publishing Corporation, New York (2007)
Azbelev, NV, Simonov, PM: Stability of Differential Equations with Aftereffects: Stability Control Theory Methods and Applications. Taylor & Francis, London (2003)
Simonov, PM: To a question on the stability of linear hybrid functional differential systems with aftereffect. Differ. Equ. Qual. 2015, 136 (2015)
Chudinov, KM: Functional differential inequalities and estimation of the Cauchy function of an equation with aftereffect. Russ. Math. 58, 44-51 (2014)
Fridman, E, Shaked, J: On reachable sets for linear systems with delay and bounded peak inputs. Automatica 39, 2005-2010 (2003)
Kim, JH: Improved ellipsoidal bound of reachable sets for time-delayed linear systems with disturbances. Automatica 44, 2940-2943 (2008)
Nam, PH, Pathirana, PN: Further result on reachable set bounding for linear uncertain polytopic systems with interval time-varying delays. Automatica 47, 1838-1841 (2011)
Zuo, ZQ, Wang, ZQ, Chen, YP, Wang, YJ: A non-ellipsoidal reachable set estimation for uncertain neural networks with time-varying delay. Commun. Nonlinear Sci. Numer. Simul. 19, 1097-1106 (2014)
Park, PG, 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)
Rugh, WJ: Linear System Theory. Prentice Hall, Upper Saddle River (1996)
Zuo, ZQ, Ho, DWC, Wang, YJ: Reachable set bounding for delayed systems with polytopic uncertainties: the maximal Lyapunov-Krasovskii functional approach. Automatica 46, 949-952 (2010)
Kwon, OM, Lee, SM, Park, JH: On reachable set bounding of uncertain dynamic systems with time-varying delays and disturbances. Inf. Sci. 181, 3735-3748 (2011)
Domoshnitsky, A, Gitman, M, Shklyar, R: Stability and estimate of solution to uncertain neutral delay systems. Bound. Value Probl. 2014, 55 (2014)
Agarwal, RP, Domoshnitsky, A, Maghakyan, A: On exponential stability of second order delay differential equations. Czechoslov. Math. J. 65, 1047-1068 (2015)
Domoshnitsky, A, Maghakyan, A, Berezansky, L: W-transform for exponential stability of second order delay differential equations without damping terms. J. Inequal. Appl. 2017, 20 (2017)
Domoshnitsky, A, Volinsky, I: About positivity of Green’s functions for nonlocal boundary value problems with impulsive delay equations. Sci. World J. 2014, 1-13 (2014)
Domoshnitsky, A: Positivity of Green’s matrix of nonlocal boundary value problems. Math. Bohem. 139, 621-638 (2014)
Acknowledgements
This work was supported by the Natural Science Foundation of the Anhui Higher Education Institutions of China (Nos. KJ2016A625, KJ2016A555), the National Natural Science Foundation of China (Nos. 61603272, 11526149), the Youth Fund Project of Tianjin Natural Science Foundation (No. 16JCQNJC03900).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript, read and approved the final manuscript.
Corresponding author
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.
About this article
Cite this article
Chen, H., Zhong, S. New results on reachable set bounding for linear time delay systems with polytopic uncertainties via novel inequalities. J Inequal Appl 2017, 277 (2017). https://doi.org/10.1186/s13660-017-1552-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1552-3