Further results on robust stability for uncertain neutral systems with distributed delay

This paper studies the problem of robust stability for uncertain neutral systems with distributed delay. By utilizing the incorporation of a new integral inequality technique and a novel Lyapunov–Krasovskii functional, some reduced conservative delay-dependent stability conditions for asymptotic stability are established. Then some special cases of neutral systems are discussed. Based on these delay-dependent stability conditions, the condition for robustness is obtained for uncertain linear delayed systems. All these stability conditions are given in terms of linear matrix inequalities (LMIs), which can easily be computed by the LMI toolbox of Matlab. Finally, several examples are discussed in detail to display the usefulness and superiority of the obtained results.

On the other hand, DDS conditions are often obtained by the Lyapunov functionals theorem accompanied by some important techniques. Many important methods include the bounding inequalities for the cross term [24], a descriptor model transformation [25], the free-weighting matrix technique [26], integral inequality (II) methods (see [27,28,42]), delay decomposition [29], and discretized LKFs [30]. Generally speaking, the II method has always played a very important role in acquiring a DDS condition.
Up to now, many outstanding efforts have been made focused on the investigation of integral inequalities to decrease the conservatism of stability criteria. As an option of the Jensen inequality [25], the Wirtinger-based inequality was presented [43], in which the single integral information of the state is considered. Recently, the free-matrix based II was proposed in [44] by introducing some free matrices, which may be considered as an improved version of the Wirtinger-based inequality. More recently, the double integral information and triple integral information of the states was considered and a proposal was made [45] which could lead to more relaxed stability criteria for the systems. Specially, it is noted that in order to further reduce the conservatism, some triple integral functions have been added into the LKFs [45]. Very recently, [46] presented a series of single/multiple IIs which proved to be less conservative than the existing ones. With the results in [46], further less conservative results would be obtained based on some novel Lyapunov functionals. Hence, the IIs in [46] should not be ignored, because they maybe play a significant role in getting a delay-dependent stability condition for neutral systems with discrete and distributed delays. Motivated by the above discussion, the uncertain LNSS with discrete and distributed delays will be considered in this article. By choosing some suitable IIs, a novel LKF is constructed. Based on the Lyapunov stability theory, some DDS conditions are got in terms of LMIs. Moreover, some examples are given to display the superiority and low conservatism of our results. Some significant symbols used throughout this paper are considerably standard. The symbols '-1' and 'T' represent the inverse and transpose of a matrix, respectively; R n stands for n-dimensional Euclidean space; R m×n is the set of all m × n real matrices; P > 0 means that the matrix P is symmetric and positive definite; sym{X} = X + X T ; I is the identity matrix; 0 is a zero matrix; and · refers to the induced matrix 2-norm. If the dimensions of a matrix are not explicitly stated, the matrix is assumed to have compatible dimensions.

Problem statement
Consider the uncertain LNSS with time-delay where x(t) ∈ R n is the state vector, τ , h and r represent the neutral, discrete and distributed delay, respectively. ρ = max{τ , h, r}, φ(t) is the initial condition function. B = B + B, A, A 1 , A 2 and B denote the time-varying uncertainties, and the uncertainties are supposed to be norm-bounded and satisfy where D, N a , N b , N c and N d are known constant matrices, and F(t) is an unknown continuous time-varying matrix function and satisfies F T (t)F(t) ≤ I. Furthermore, for system (1), in order to guarantee system (1) has asymptotic stability, we need to assume B + B ≤ 1.
The major object of this paper is to establish some less conservative stability and robust stability conditions (RSCSs) for system (1). Before giving the primary results of this article, some important lemmas are firstly introduced as follows.

Lemma 2.2 ([46]
) For a given R > 0 and any differentiable function x : [a, b] → R n , and M k ∈ R 6n×n (k = 1, 2, 3, 4, 5), the following inequality holds: where In the following, we will use Lemmas 2.1 and 2.2 to obtain some main results.

Main results
In this section, for the uncertain LNSS (1), we give some sufficient conditions to ensure its robust stability. Then, for the sake of convenient calculation, we rewrite system (1) as where p(t) ∈ R n , q(t) ∈ R n . Now, the DDS conditions are presented by taking advantage of the new inequality technique and the novel constructed Lyapunov functionals. (1) is robustly asymptotically stable, if there exist positive definite matrices P ∈ R 5n×5n , and H, Q i , R i ∈ R n×n (i ∈ 1, 2, 3), Q 4 ∈ R 2n×2n and any matrices N k , M k , F k ∈ R 5n×n (k ∈ 1, 2, 3, 4) satisfying the following inequalities:
From (10) to (16), one can obtaiṅ By using the Schur complement, according to the condition (7), it is easy to see that the inequality Ψ < 0. Hence, by Theorem 1.3 in [19], system (1) is robustly asymptotically stable. This completes our proof.
Remark 3.2 It is worthy to note that the construction on Lyapunov functionals in (8) is very creative. Firstly, the functional contains three single integrals and four double integrals based on the property of the neutral distributed delay systems. Secondly, functionals consider the cross influence between the state information x(tτ ), and its derivatives and the system. Thirdly, the constructed functionals introduce additional state information because of the utilization of the inequalities in the above lemmas, such as 1 t u x T (s) ds du dθ and so on. Since the information of the state can be fully utilized, the resulting stability criteria may be less conservative.
Remark 3.3 In many practical systems, finding the MAUB on r or h for different h or r to analyze the stability of the distributed delay systems is also meaningful.
By utilizing a method like in Theorem 3.1, one obtains the less conservative DDS criterion for the following system with h = r: (17) is asymptotically stable, if there exist positive definite matrices P ∈ R 3n×3n , Q i ∈ R n×n (i ∈ 1, 2, 3), and R 1 , R 2 ∈ R n×n , and any matrices N k , M k ∈ R 3n×n (k ∈ 1, 2) satisfying the following inequalities:

Corollary 3.4 For given scalars h and r, system
where , Proof Choose LKF as follows: Combining (3) with (5), and following a similar line to Theorem 3.1, it is not hard to obtain the DDS criterion (18). The proof is completed.
Remark 3.6 Unlike the previous conditions, the quadruple integral information of the state has been fully utilized in Theorem 3.5. In order to coordinate the application of the inequality in Lemma 2.2, both the quadratic vector η 3 (t) and the intermediate vector ξ 2 (t) are expanded by adding the quadruple integral term v 4 (t). What is more important is the fact that adding the quadruple integral term can make the result less conservative in Theorem 3.5. As a matter of fact, the novel constructed Lyapunov-Krasovskii functionals are as important to get less conservative delay-dependent stability conditions as skillfully using more accurate integral inequalities.
For system (19), if there exist uncertain matrices A, A 1 , A 2 and B, we may also obtain the sufficient condition to ensure the robustly asymptotically stability. Hence, we will consider the uncertain neutral delayed system as follows: From (24), by using similar techniques to Theorem 3.1 to handle the uncertainties, a robust asymptotic stability condition can be given as follows.
Corollary 3.7 For given scalars τ and h, the uncertain system (24) with A 1 + A 1 = 0 is robustly asymptotically stable, if there exist matrices P ∈ R 5n×5n , Q 1 , Q 2 , R, K ∈ R n×n , and any matrices M k ∈ R 6n×n (k ∈ 1, 2, 3, 4, 5) satisfying the following inequalities: where Φ is defined in (20) and where Similar to the proof of Theorem 3.1, Corollary 3.7 can be proved, so it is omitted here.
Remark 3.8 This paper just discusses the delay-dependent stability criteria, in which some useful approach can be effectively used to analyze the stabilization for linear neutral systems with time-delay. Moreover, the employed results and methods may be extended to many interesting dynamical models such as uncertain neutral systems with Markovian jumping parameters and uncertain neutral systems with nonlinear perturbations or timevarying delays.
Remark 3.9 Although the asymptotic stability of system (1) is discussed in this paper, the exponential stability of system (1) can easily be obtained by using a similar proof in [53]. In fact, for a linear neutral system with time-delay, the asymptotic stability implies exponential stability.

Numerical examples
In this section, several examples are provided to illustrate the usefulness of the above results.
Example 4.1 Consider system (1) with the following parameters [32]: For this example, suppose τ = 0.1, by applying Theorem 3.1, one can obtain the MAUB on r and h for different h and r, which is enumerated in Table 1 and Table 2, respectively. For this example, in the case h = 1, the allowable delay bounds on r in [41] is computed as 11.05, but by Corollary 3.4, we can get a larger delay bound, 11.21. Besides, in the case r = 1, the allowable delay bounds on h in [36,37] and [41] are computed as 1.8302, 2.8011 and 3.5823, respectively. However, by Corollary 3.4, one can obtain a larger delay bound 3.9235, which are 114.375%, 40.070%, 9.524% more than that of [36,37] and [41], respectively. In addition, this example shows that our method in this paper is better than that in [36,37] and [41]. , Both the conservatism and the computation burden are carefully compared among different stability conditions. The MAUB is listed in Table 3. It is easy to see that the maximum admissible upper bounds obtained by Theorem 3.5 is the largest. It is worth to mention that, by Theorem 3.5, the obtained MAUB is the analytical value. This clearly shows the effectiveness of the DDS criteria in Theorem 3.5.  [19] 6.165 [47] 6.1107 [43] 6.059 (N = 6) [48] 6 . 1 2 [49] 6.1664 [46] 6.1719 Theorem 3. 5 6.1725 The analytical bounds 6.1725 Since Re(eig(A + A 1 )) = 0.05 > 0, the system is unstable when h = 0. Few linear matrix inequalities can test the stability condition of this system. This is so because the delay is distributed in some interval to guarantee the stability for the systems. Table 4 lists the results obtained from Theorem 3.5 and other conditions reported in the literature. From Table 4, we can see that our maximum admissible upper bounds are the analytical bounds.
Example 4.5 When the parameters of system (19) in this example is described as follows (B = 0): The corresponding delay bounds can also be given by computing the linear matrix inequality in Theorem 3.5. From Table 5, in order to gain the MAUB to guarantee the system stability, various kinds of methods are proposed to calculate the MAUB. It is easily seen that our presented approach is best due to the fact that the obtained MAUB concerns the analytical bounds.
Example 4.6 To show the comparison in more detail, the parameters of the system (19) in this example are given by [43] when B = 0:   [50] 0.126 [51] 0.577 [52] 0.675 Theorem 3.5 0.749 By using Theorem 3.5, a larger delay bound 0.7495 is got. In order to show more clearly, Table 6 lists the computed upper bounds by unlike methods. It is easily observed that our method produces better result than the existing results. By Corollary 1 in [37], the system (19) is asymptotically stable for all delays h ∈ [0, 1.8536]. Applying Theorem 3.5 to this example, system (19) becomes asymptotically stable for all delays h ∈ [0, 3.6574]. In the first place, we take N d = 0. By Corollary 1 in [37], the system (24) is robustly asymptotically stable for all delays h ∈ [0, 1.7174]. However, using Corollary 3.7 in this example, the interval of delay h such that the system (24) is robustly asymptotically stable is [0, 3.2314]. Then let N d = 0.1I, by Corollary 2 in [37], the system (24) is robustly asymptotically stable for h ∈ [0, 1.4986]. However, by applying Corollary 3.7, we can obtain the interval of delay h ∈ [0, 3.0175] which ensures the robust stability of system (24).
Example 4.9 To show the comparison in more detail, the parameters of the system (19) in this example is given by [18] A = -3 -2 1 0 , where α is a real parameter. In this example, we assume τ = h = 1. By Theorems 2.5 and 2.6 in [18], it can be found that this system (19) is not only asymptotic but exponential for all |α| ≤ 0.6213. However, by Theorem 3.5, it is computed that the maximum allowed value |α| ≤ 1. Therefore, Theorem 3.5 is less conservative than the results in [18].

Conclusion
Based on some new LKF and IIs, several new stability and RSCSs have been proposed for uncertain linear neutral system with time-delay. The obtained DDS conditions in this paper are of low conservatism owing to the constructed novel LKF, which combines with the new II technique. Besides, the problem of robust stability for uncertain systems without neutral or distributed term are commendably addressed. Moreover, some interesting examples have been presented to display the low conservatism of the derived DDS conditions by comparison with the existing results.