1. Introduction
The reachable set estimation of dynamic systems is an important research topic in control theory since it has a large number of applications in control systems with actuator saturation [
1,
2,
3], peak-to-peak gain minimization [
4], and aircraft collision avoidance [
5]. The reachable set of a dynamic system with bounded peak input is defined as the set of system state vectors in the presence of all allowed input disturbances. Reachable set bounding was first considered in the late 1960s in the context of state estimation, and it later received a lot of attention in parameter estimation [
6]. Boyd et al. studied the problem of reachable set estimation of linear systems without time delay and obtained an LMI condition for an ellipsoid that bounds the reachable set [
7].
It is well known that time delays are extremely common in practice, such as in aircraft, chemical processes, long pipeline supply, belt transmission, extremely complex online analyzers in various industrial systems, and so on. Usually, the occurrence of time delay may lead to instability or performance degradation of dynamic systems [
5,
8,
9,
10,
11,
12]. Therefore, extensive research is devoted to the study of the reachable set estimation issue of dynamic systems with delay. During the past few decades, there have been some excellent results related to the reachable set estimation of time-delay systems [
11,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28].
In [
14], based on the Lyapunov–Razumikhin functional method, Fridman and Shaked first investigated the reachable set estimation of a linear system with time-varying delay and obtained an LMI criteria of an ellipsoid bounding the reachable states set. Kim obtained an improved ellipsoidal bound of a reachable set [
16] by using the Lyapunov–Krasovskii functional. Nam and Pathirana obtained a smaller reachable set bound [
18] by employing the delay decomposition technique. Zuo et al. obtained a non-ellipsoidal bound of a reachable set of linear time-delayed systems through the maximal Lyapunov functionals and the Razumikhin method [
26]. More recently, Zhang et al. investigated the reachable set estimation for uncertain nonlinear systems with time delay [
27]. For more references and recent advances in reachable set estimation, one can refer to [
29,
30,
31,
32]. The key point of the reachable set estimation is the choice of Lyapunov functional. Motivated by the above idea, we study the reachable set estimation of linear time-delayed control systems with disturbances.
Contributions of this paper are listed below:
We derived a sufficient condition that determines the admissible bounding ellipsoid for the reachable set related to the delay-dependent system; the condition is in the form of LMI;
We propose a state feedback controller design method to find the minimum ellipsoidal bound so that the reachable set of the resulting closed-loop system is bounded by an ellipsoid, and the admissible ellipsoid should be as small as possible;
We show that our conclusion is an extension of the available results in the paper [
16].
In this paper, we intend to design a state feedback controller so that the reachable set of the resulting closed-loop system is contained in an admissible ellipsoid, and the admissible ellipsoid should be as small as possible. The rest of this paper is organized as follows: In
Section 2, in order to obtain the main result, some useful lemmas and preliminary knowledge are given. In
Section 3, by constructing an appropriate Lyapunov–Krasovskii functional, we obtain a condition related to delay-dependent, which determines the admissible bounding ellipsoid for the reachable set of the system we considered. Then, a sufficient condition in the form of liner matrix inequalities is given to solve the problem of controller design with reachable set estimation. Finally, by minimizing the volume of the ellipsoid and solving the liner matrix inequality, we obtain the desired ellipsoid and controller gain.
Section 4 presents a comparative numerical example to show the effectiveness of the proposed methods.
Notation
Throughout this paper, the notations are standard. is the vector of real numbers, is the real matrix, I is the identity matrix, 0 is the zero matrix, and presents the transpose of A. For a matrix P, denotes P as a symmetric positive definite matrix; also, , and symbol in a matrix represents the symmetric part.
2. Problem Statement and Preliminaries
Consider the following linear time-delay control system with bounded disturbances:
where
is the state vector,
is the control vector,
, and
, and
E are constant matrices,
is the disturbance, satisfying
and
is a time-varying delay, satisfying
where
, and
u are constants.
In this paper, based on the modified Lyapunov–Krasovskii functional, which is used for exponential stability analysis in [
33,
34], we intend to design a state feedback controller
, that is
, such that the reachable set of the closed-loop system
is bounded by an ellipsoid
:
The reachable set of system (4) is denoted as follows:
The following three useful lemmas are given to derive the main results.
Lemma 1 ([
35]).
The following relation is known as the Leibniz rule
Lemma 2 ([
36]).
For any constant matrix , we have
Lemma 3 ([
7]).
Let Q be a symmetric positive definite matrix. For any matrices with appropriate dimensions, where , then
if and only if .
Lemma 4 ([
7]).
Let and , if , then we have .
3. Main Results
Theorem 1.
For given scalars , if there exist matrices with and a scalar such that they satisfy the following matrix inequalities:
where , then the reachable sets of the system (4) are bounded by an ellipsoid defined in (5). At this point, the state feedback gain is .
Proof. To prove this theorem, let us consider the following Lyapunov–Krasovskii function:
where
where
are symmetric matrices with appropriate dimensions. First, we prove that
in (8) is a good Lyapunov–Krasovskii functional candidate. For
and
, we can get
and
. In the light of the Lamma 2, we have
then
If
then we have
.
Hence, we have
which shows
in (8) is an L–K functional.
Next, from Lemma 1, we obtain the following time derivatives:
where we used the relation that
and the constraints (2) and (3) in the derivation of the inequality (13).
Through (9) and (11)–(13), we obtain:
where
and
.
If
, by virtue of Lamma 3, we get
where
, .
By defining
, pre- and post-multiplying the inequality (14) by
and
, and defining
, the following inequality is derived:
where
,
. Thus, if inequality (15) holds, we have
which means, by virtue of Lemma 4, that
. Since
, from inequality (9), we get
. Following a similar line, we need to convert condition (9) into
By defining
and pre- and post-multiplying the inequality (16) by
and
, the following inequality is derived:
which completes the proof. This implies that the reachable sets of the closed-loop system in (4) are bounded by the ellipsoid
defined in (5), and the desired state-feedback controller can be obtained as
. □
Remark 1. The L–K functional (8) is a function of the system state and control input, with certain positive definite and sub-positive definite conditions. With this function, the stability of time-delay systems can be determined, error bounds can be estimated, and control strategies can be designed to ensure system stability.
Remark 2.
In order to obtain the ‘smallest’ possible bound for the reachable set, we introduce the method in [14,16]. That is, maximize δ subject to , which can be transformed to the following optimization problem for a scalar :
Then, by defining , pre- and post-multiplying inequality (18) by and , and defining , the following optimization is derived:
Therefore, we can obtain the ‘smallest’ possible bound for the reachable set of the system (4) by solving the following optimization problem for a scalar :
Remark 3.
In [16], for given scalars , if there exist matrices with and a scalar , they satisfy the following matrix inequalities:
where .
To find the ‘smallest’ bound for the reachable set, one may propose a simple optimization problem. That is, maximize
subject to
, which can be transformed to the following optimization problem for a scalar
:
Remark 4. If , and in (6) and (7) of Theorem 1, the condition becomes the condition in [16], and (20) also becomes (23) in Remark 2; in this respect, the conclusion can be seen as an extension of [16].
4. Numerical Example
An example is presented to illustrate our proposed method. The simulation is performed on Matlab and by using the LMI toolbox, a package for specifying and solving linear matrix inequalities.
Consider the linear state-delayed control system (1) with the following parameters
By solving optimization problem (20), we get the sizes of the ellipsoidal bound of a reachable set for various
u when
and
. These results are summarized in
Table 1 and
Table 2; figures are also provided in
Figure 1 and
Figure 2. The results of our method and the method in [
16] are compared.
As can be seen in
Table 1, when
, our results greatly reduce the size of the ellipsoid. At this point, the state feedback gain is
.
It is obvious that the results of this paper are better than the autonomous systems in [
16], which shows the effectiveness of our method.
5. Conclusions
In this paper, we deal with the problem of reachable set estimation and state-feedback controller design for linear time-delay control systems with bounded disturbances. Firstly, by constructing an appropriate L–K functional, we obtained a delay-dependent condition, which determines the admissible bounding ellipsoid for the reachable set of the system we considered. Secondly, a sufficient condition in form of liner matrix inequalities is given to solve the problem of controller design with reachable set estimation. Finally, by minimizing the volume of the ellipsoid and solving the liner matrix inequality, we obtain the desired ellipsoid and controller gain. The numerical example shows that the results of the method in this paper are better than that in [
16] for the autonomous systems in [
16], which shows the effectiveness of the proposed method.
Author Contributions
Conceptualization, H.Y.; Methodology, I.G.I.; Investigation, Y.J. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Data Availability Statement
The data presented in this study are available on request from the corresponding author.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Hu, T.; Lin, Z. Control Systems with Actuator Saturation: Analysis and Design; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2001. [Google Scholar]
- Hu, T.; Teel, A.R.; Zaccarian, L. Stability and performance for saturated systems via quadratic and nonquadratic Lyapunov functions. IEEE Trans. Autom. Control 2006, 51, 1770–1786. [Google Scholar] [CrossRef]
- Kim, J.-H.; Jabbari, F. Scheduled controllers for buildings under seismic excitation with limited actuator capacity. J. Eng. Mech. 2004, 130, 800–808. [Google Scholar] [CrossRef]
- Abedor, J.; Nagpal, K.; Poola, K. A linear matrix inequality approach to peak-to-peak minimization. Int. J. Robust Nonlinear Control 1996, 6, 899–927. [Google Scholar] [CrossRef]
- Hwang, I.; Stipanovic, D.M.; Tomlin, C.J. Applications of polytopic approximations of reachable sets to linear dynamic games and a class of nonlinear systems. In Proceedings of the American Control Conference, Denver, CO, USA, 4–6 June 2003; pp. 4613–4619. [Google Scholar]
- Durieu, C.; Walter, E.; Polyak, B. Multi-input multi-output ellipsoidal state bounding. J. Optim. Theory Appl. 2001, 111, 273–303. [Google Scholar] [CrossRef]
- Boyd, S.; El Ghaoui, L.; Feron, E.; Balakrishnan, V. Linear Matrix Inequalities in Systems and Control Theory; SIAM: Philadelphia, PA, USA, 1994. [Google Scholar]
- Gao, H.; Chen, T. New results on stability of discrete-time systems with time-varying state delay. IEEE Trans. Autom. Control 2007, 52, 328–334. [Google Scholar] [CrossRef]
- Kwon, O.M.; Lee, S.M.; Park, J.H. Stability for neural networks with time-varying delays via some new approaches. IEEE Trans. Neural Netw. Learn. Syst 2013, 24, 181–193. [Google Scholar] [CrossRef] [PubMed]
- Shi, L.; Zhu, H.; Zhong, S.; Hou, L. Globally exponential stability for neural networks with time-varying delays. Appl. Math. Comput 2013, 219, 10487–10498. [Google Scholar] [CrossRef]
- Xu, S.; Lam, J. Improved delay-dependent stability criteria for time-delay systems. IEEE Trans. Autom. Control 2005, 50, 384–387. [Google Scholar]
- Xiao, N.; Jia, Y. New approaches on stability criteria for neural networks with two additive time-varying delay components. Neurocomputing 2013, 118, 150–156. [Google Scholar] [CrossRef]
- Chen, H.; Zhong, S. New results on reachable set bounding for linear time delay systems with polytopic uncertainties via novel inequalities. J. Inequalities Appl. 2017, 2017, 2346–2350. [Google Scholar] [CrossRef]
- Fridman, E.; Shaked, U. On reachable sets for linear systems with delay and bounded peak inputs. Automatica 2003, 39, 2005–2010. [Google Scholar] [CrossRef]
- Feng, Z.; Zheng, W.X. On reachable set estimation of delay Markovian jump systems with partially known transition probabilities. J. Frankl. Inst. 2016, 353, 3835–3856. [Google Scholar] [CrossRef]
- Kim, J.H. Improved ellipsoidal bound of reachable sets for time-delayed linear systems with disturbances. Automatica 2008, 44, 2940–2943. [Google Scholar] [CrossRef]
- Kwon, O.M.; Lee, S.M.; Park, J.H. On the reachable set bounding of uncertain dynamic systems with time-varying delays and disturbances. Inf. Sci. 2011, 181, 3735–3748. [Google Scholar] [CrossRef]
- Nam, P.T.; Pathirana, P.N. Further result on reachable set bounding for linear uncertain polytopic systems with interval time-varying delays. Automatica 2011, 47, 1838–1841. [Google Scholar] [CrossRef]
- Shen, C.; Zhong, S. The ellipsoidal bound of reachable sets for linear neutral systems with disturbances. J. Frankl. Inst. 2011, 348, 2570–2585. [Google Scholar] [CrossRef]
- Sheng, Y.; Shen, Y. Improved reachable set bounding for linear time-delay systems with disturbances. J. Frankl. Inst. 2016, 353, 2708–2721. [Google Scholar] [CrossRef]
- Wang, W.; Zhong, S.; Liu, F.; Cheng, J. Reachable set estimation for linear systems with time-varying delay and polytopic uncertainties. J. Frankl. Inst. 2019, 356, 7322–7346. [Google Scholar] [CrossRef]
- Zuo, Z.; Ho, D.W.C.; Wang, Y. Reachable set bounding for delayed systems with polytopic uncertainties: The maximal Lyapunov–Krasovskii functional approach. Automatica 2010, 46, 949–952. [Google Scholar] [CrossRef]
- Zuo, Z.; Ho, D.W.C.; Wang, Y. Reachable set estimation for linear systems in the presence of both discrete and distributed delays. IET Control Theory Appl. 2011, 5, 1808–1812. [Google Scholar] [CrossRef]
- Zuo, Z.; Wang, Y. Results on reachable set estimation for linear systems with both discrete and distributed delays. IET Control Theory Appl. 2012, 6, 2346–2350. [Google Scholar] [CrossRef]
- Zuo, Z.; Chen, Y.; Wang, Y.; Ho, D.W.C.; Chen, M.Z.Q.; Li, H. A note on reachable set bounding for delayed systems with polytopic uncertainties. J. Frankl. Inst. 2013, 350, 1827–1835. [Google Scholar] [CrossRef]
- Zuo, Z.; Wang, Z.; Chen, Y.; Wang, Y. A non-ellipsoidal reachable set estimation for uncertain neural networks with time-varying delay. Commun. Nonlinear Sci. Numer. Simulat. 2014, 19, 1097–1106. [Google Scholar] [CrossRef]
- Zhang, Z.; Wang, X.; Xie, W.; Shen, Y. Reachable set estimation for uncertain nonlinear systems with time delay. Optim. Control. Appl. Methods. 2020, 41, 1644–1656. [Google Scholar] [CrossRef]
- Zhang, L.; Feng, Z.; Jiang, Z.; Zhao, N.; Yang, Y. Improved results on reachable set estimation of singular systems. Appl. Math. Comput. 2020, 385, 125419. [Google Scholar] [CrossRef]
- He, Y.; Wang, Q.; Lin, C.; Wu, M. Delay-range-dependent stability for systems with time-varying delay. Automatica 2007, 43, 371–376. [Google Scholar] [CrossRef]
- Li, T.C.; Zheng, C.X.; Feng, Z.G.; Dinh, T.N.; Raïssi, T. TReal-time reachable set estimation for linear time-delay systems based on zonotopes. Int. J. Syst. Sci. 2023, 54, 1639–1647. [Google Scholar] [CrossRef]
- Ma, X.; Zhang, Y.Y.; Huang, J. Reachable set estimation and synthesis for semi-Markov jump systems. Inf. Sci. 2022, 609, 376–386. [Google Scholar] [CrossRef]
- Zhu, S.; Gao, Y.; Hou, Y.X.; Yang, C.Y. Reachable Set Estimation for Memristive Complex-Valued Neural Networks With Disturbances. IEEE Trans. Neural Netw. Learn. Syst. 2022, 34, 11029–11034. [Google Scholar] [CrossRef]
- Mondie, S.; Kharitonov, V.L. Exponential estimates for retarded time-delay systems: An LMI approach. IEEE Trans. Autom. Control 2005, 50, 268–273. [Google Scholar] [CrossRef]
- Sun, X.M.; Zhao, J.; Hill, D.J. Stability and L2-gain analysis for switched delay systems: A delay-dependent method. Automatica 2006, 42, 1769–1774. [Google Scholar] [CrossRef]
- Rugh, W.J. Linear System Theory, 2nd ed.; Prentice-Hall: Hoboken, NJ, USA, 1996. [Google Scholar]
- Gu, K. An integral inequality in the stability problem of time-delay systems. In Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), Sydney, NSW, Australia, 12–15 December 2000; pp. 2805–2809. [Google Scholar]
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).