Abstract

This paper is concerned with the problem of reachable set estimation and controller design for a class of linear systems with mixed delays and bounded disturbance inputs. By constructing a newly augmented Lyapunov-Krasovskii functional, combining with triple integral technique and reciprocally convex approach, some new reachable set estimation conditions are derived in terms of linear matrix inequalities. Based on these conditions, a state-feedback controller has been designed to ensure the reachable set of the closed-loop system bounded by a given ellipsoid. Finally, two numerical examples are given to illustrate the effectiveness of the proposed analysis and designed method.

1. Introduction

For a dynamic system, the reachable set is defined as the set of all the states starting from the origin by inputs with peak values. The problem of reachable set bounding was first considered in the late 1960s in the context of state estimation. Owing to its extensive applications in peak-to-peak gain minimization, parameter estimation, and control systems with actuator saturation [14], a large number of previous works have been devoted to the study of reachable set estimation and its related areas [517]. It is well known that time delays are frequently encountered in various practical systems such as biological and engineering systems. Their existence may lead to poor performance, oscillation, or even instability. Therefore, the problem of stability analysis and control synthesis for systems with time delays have attracted remarkable attention of researchers; lots of related results have been achieved in the literature [1830].

Recently, the reachable set of systems with time-varying delay have been investigated by many researchers. In [3], Fridam and Shaked derived delay-dependent conditions for an ellipsoid that contains the reachable set for a linear system with time-varying delay and bound peak input via Lyapunov-Razumikhin approach. In [6], Nam and Pathirana proposed an improved condition by using an enhanced Lyapunov-Krasovskii functional method and the delay decomposition technique. In [7], Zuo et al. proposed the maximal Lyapunov-Krasovskii functional approach to construct a pointwise maximum of a family of Lyapunov functionals to obtain reachable set conditions for polytopic systems with time-varying delay. In [11], the authors studied the problem of state bounding for discrete-time systems with time-varying delay and bounded disturbance inputs; delay-dependent conditions are obtained in terms of matrix inequalities by using delay decomposition technique and reciprocally convex approach. New explicit delay-independent conditions in terms of the Metzler matrix have been derived in [12] by using a novel way which does not involve the Lyapunov-Krasovskii functional method. In [13], Feng and Lam firstly studied the problem of reachable set estimation of singular systems. Moreover, the authors focused on reachable set bounding for linear systems with discrete and distributed delays in [15, 16]. On the other hand, the reachable set synthesis problem is an important issue because the state of a system should be restricted within a safety area to make the system operation safe. More recently, in [17], Feng and Lam investigated the problem of reachable set estimation and synthesis of time-delay system by introducing the nonuniform delay-partitioning method and the triple integral technique. To the best of the authors’ knowledge, the reachable set synthesis problem for linear systems with both discrete and distributed delays has not been considered so far.

In this paper, we study the problem of reachable set estimation and controller design for a class of linear systems with mixed time delays and bounded disturbance inputs. Firstly, by choosing an improved Lyapunov-Krasovskii functional, based on triple integral technique and reciprocally convex approach, new reachable set estimation conditions are derived in terms of linear matrix inequality. Then, a sufficient condition for the existence of a state-feedback controller is designed to render the reachable set of the closed-loop system to be bounded. Finally, some numerical examples are given to illustrate the effectiveness and less conservatism of the proposed method.

Notations. Throughout this paper, the superscripts stand for the transpose of the matrix ; , , and means that the matrix is symmetric positive definite (positive-semidefinite, negative definite, and negative-semidefinite); refers to the Euclidean vector norm; is the set of real matrices; denotes the symmetric block in symmetric matrix; and denote, respectively, the maximal and minimal eigenvalue of matrix .

2. Problem Statement and Preliminaries

Consider the following linear systems with discrete and distributed delays: where is state vector of the system, is the control input, , , , , and are constant matrices with appropriate dimensions, and and are, respectively, time-varying discrete delay and time invariant distributed delay with represents a disturbance which satisfies

The reachable set of system (1) is denoted as follows: An ellipsoid used to bound the reachable set of the system in (1) is given in the form of One of the aims in this paper is to derive an ellipsoid to bound the reachable set of system (1) with and the other is to design a state-feedback controller ; that is, , such that the reachable set of closed-loop system is bounded by a given ellipsoid .

In addition, we give some lemmas which will be used in deriving our results.

Lemma 1 (see [18]). Let have positive values in an open subset and ; then, the reciprocally convex combination of over satisfies

Lemma 2 (see [17]). For any constant matrix , scalars , and vector function , then

Lemma 3 (see [14]). Let be a Lyapunov function for linear system (1) with and . If then one has .

3. Main Results

In this section, the reachable set estimation and synthesis of linear systems with both discrete and distributed delays are addressed by employing some novel approaches. Firstly, the reachable set estimation problem can be resolved in terms of matrix inequalities as follows.

Theorem 4. If there exist a scalar , positive definite matrices , , , , , , and , and any matrices , , , and with appropriate dimensions, such that the following inequalities hold where then the ellipsoid is an estimation of the reachable set of system (1) with .

Proof. Consider the following Lyapunov-Krasovskii functional: where Now, calculating the derivative of , it yields that By using Lemma 2, one can obtainwhere , , , , and .
From Lemma 1, there exists matrix satisfying , and then it holds that When or , inequality (20) still holds.
Using two free-weighing matrices and , we have Considering (15)–(21), we obtain where By Lemma 3, we have , which implies that . The proof is completed.

Remark 5. Different from the method in [15, 16], we choose a new Lyapunov-Krasovskii functional containing three triple integral terms in the proof of Theorem 4; the metrics and effectiveness of the triple integral terms have been proved in terms of reducing the conservatism, which will be demonstrated by the following numerical examples.

Remark 6. To deal with the - and -dependent terms in (18) and (19), in [24], the authors have introduced an approximation as and , which contains considerable conservatism. However, by using the relations and , it can also be regarded as one of the reciprocally convex combinations, which can be treated by the simple variation of Lemma 1. The proposed method is effective in reducing the conservatism, which will be verified by numerical examples.

Remark 7. It should be noted that the inequality can be obtained from the conditions in Theorem 4; when , we can get , for nonzero due to the positive definiteness of which guarantees the stability of system (1).

Remark 8. In order to obtain the smallest possible ellipsoid with the shortest major axis, the matrix is considered as a decision variable and satisfied which is equivalent to where ; then the smallest possible ellipsoid can be obtained when is minimum.

Next, based on Theorem 4, the synthesis result by using state-feedback control is given in the following theorem.

Theorem 9. Given scalars and , if there exist a scalar , positive definite matrices , , , , , and , and any matrices , , and with appropriate dimensions, such that the following inequalities hold where then the reachable set of the closed-loop system (6) is bounded by the prescribed ellipsoid in and the desired state-feedback controller can be obtained as .

Proof. Denote , and ; pre- and postmultiplying by and , we have .
Then by employing congruence transformation for (25) with , we will get the following inequalities: We obtain that there exist matrices , , , , , , , , and satisfying the conditions in Theorem 4. Therefore the reachable set of closed-loop system in (6) is bounded by the ellipsoid . The proof is completed.

Remark 10. In order to guarantee negative definite, is required to be less than  1 in [4]. However, the value of is not necessarily less than 1 in Theorems 4 and 9 since the terms , can be negative definite when . Obviously, the results in this paper are more general than the ones in [4].

Remark 11. To get the reachable set of closed-loop system to be bounded by a given ellipsoid , we need the inequality which is equivalent to

Remark 12. It should be pointed out that the matrix inequalities (11) and (26) contain a nonconvex scalar ; when is fixed, these inequations will become LMIs, and MATLAB’s toolbox is employed to solve the matrix inequalities in Theorems 4 and 9.

4. Numerical Examples

In this section, two numerical examples are proposed to show the effectiveness of the results obtained in this paper.

Example 1. Consider system (1) with the following parameters: In order to compare with previous results, the resulting for different values of with and are listed in Table 1. It can be seen that much tighter bounds are obtained than the ones in [15, 16] by the proposed method in this paper. This is mainly because we consider the additional useful term and introduce the reciprocally convex combination approach to deal with single integral term and double integral terms when estimating the upper bound of the derivative of Lyapunov-Krasovskii functional. Tables 2 and 3 are some comparisons for different values of and , respectively, which also implies that our method is less conservative than the ones in [15, 16].

Example 2. Consider system (1) with the following parameters: For this example, when , the computed for different values of with is listed in Table 4. By using Theorem 4, it is clear to see that the bounds obtained in this paper are better than the ones of literatures [4, 6, 16]. When , , , and , by solving the conditions in Theorem 9, the controller can be obtained, and , and the obtained ellipsoid can bound the reachable set of the closed-loop system.

5. Conclusions

In this paper, the problem of reachable set estimation and controller design for linear systems with discrete and distributed delays has been studied. Based on the reciprocally convex approach and triple integral technique, improved delay-dependent conditions for the considered system have been presented in terms of linear matrix inequalities. It should be pointed out that triple integral terms are firstly introduced to research the problem of reachable set estimation and synthesis for addressed system. In addition, a state-feedback controller is designed to guarantee the reachable set of closed-loop system to be bounded by a given ellipsoid. Finally, two numerical examples are given to show the usefulness and effectiveness of the proposed criteria.

Further, it should be worth mentioning that the proposed method in this paper can be extensively applicable in many other areas, such as nonlinear systems, singular systems, Markov jump systems, and switch systems, which deserve further investigation.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the National Natural Science Foundation of China (61273015), the Natural Science Research Project of Fuyang Normal College (2013FSKJ09), and the Nature Science Research Project of Anhui Province (2014KJ011).