Abstract

We investigate the problem of robust exponential stability analysis for uncertain impulsive switched linear systems with time-varying delays and nonlinear perturbations. The time delays are continuous functions belonging to the given interval delays, which mean that the lower and upper bounds for the time-varying delays are available, but the delay functions are not necessary to be differentiable. The uncertainties under consideration are nonlinear time-varying parameter uncertainties and norm-bounded uncertainties, respectively. Based on the combination of mixed model transformation, Halanay inequality, utilization of zero equations, decomposition technique of coefficient matrices, and a common Lyapunov functional, new delay-range-dependent robust exponential stability criteria are established for the systems in terms of linear matrix inequalities (LMIs). A numerical example is presented to illustrate the effectiveness of the proposed method.

1. Introduction

The problem of stability analysis for dynamical systems with time delays and uncertainties has been intensively studied since these systems often occur in many industrial systems such as chemical processes, biological systems, population dynamics, neural networks, large-scale systems, and network control systems. The occurrence of the time delays and uncertainties may cause frequently the source of instability or poor performances in various systems. Thus, there has been growing interest in stability analysis and controller design for time-delay systems. However, authors investigated the robust synchronization of coupled fuzzy cellular neural networks with differentiable time-varying delay in [1, 2]. Stability criteria for time-delay systems are generally divided into two classes: delay-independent one and delay-dependent one. Delay-independent stability criteria tend to be more conservative, especially for small size delay; such criteria do not give any information on the size of the delay. On the other hand, delay-dependent stability criteria are concerned with the size of the delay and usually provide a maximal delay size. Most of the existing delay-dependent stability criteria are presented by using Lyapunov-Krasovskii approach or Lyapunov-Razumikhin approach. In recent years, much attention has been paid to stability analysis of the uncertain linear systems with interval time-varying delay [36]. In [5], the authors studied the delay-dependent stability problem for uncertain linear systems with interval time-varying delay. The restriction on the derivative of the interval time-varying delay was removed. Moreover, robust stability analysis of uncertain linear systems with time-varying delays and nonlinear perturbations has received the attention of a lot of theoreticians and engineers in this field over the last few decades [714]. Furthermore, authors studied the delay-dependent robust stability criteria for linear systems with discrete interval time-varying delay, discrete constant delay, and nonlinear perturbations in [15]. However, a descriptor model transformation and a corresponding Lyapunov-Krasovskii functional have been introduced for stability analysis of systems with delays in [16]. In [17], the authors studied the problem of stability for linear switching system with time-varying delays.

Over the past decades, the problem of stability analysis for dynamic systems with impulsive effects and switching has arisen in a wide range of disciplines, such as physics, chemical engineering, and biology [1828]. These systems are usually called impulsive switched systems. In [24], the authors studied the asymptotic stability problem for a class of impulsive switched systems with time-invariant delays based on LMI approach. Stability criteria of uncertain impulsive switched systems with time-invariant delays are introduced in [25]. Most of the existing delay-dependent stability criteria for time-delay systems are obtained as the upper bounds on the derivative time-varying delays by using Lyapunov-Krasovskii functional. However, it appears that few results are available for stability analysis for impulsive switched systems with time-varying delays. In consequence, it is important and interesting to study the problem of robust stability analysis for uncertain impulsive switched systems with interval nondifferentiable time-varying delays and nonlinear perturbations by using a common Lyapunov functional and Halanay lemma.

In this paper, we present the delay-range-dependent robust exponential stability criteria for uncertain impulsive switched linear systems with mixed interval nondifferentiable time-varying delays and nonlinear perturbations. Based on Halanay inequality, mixed model transformation, utilization of zero equations, decomposition technique of coefficient matrices, and a common Lyapunov functional, some new delay-range-dependent robust exponential stability criteria are derived in terms of LMIs for the systems. In order to reduce the complexity of stability criteria for calculation and finding solutions, mixed model transformation [13, 16] and Halanay inequality [2931] are used. Finally, an illustrative example is given to show the effectiveness and advantages of the developed method.

2. Problem Formulation and Preliminaries

The following notations will be used in this paper: denotes the set of all natural numbers; denotes the set of all real nonnegative numbers; denotes the -dimensional Euclidean space equipped with the Euclidean norm ; denotes the space of all matrices of -dimensions; denotes the transpose of the matrix ; is symmetric if ; denotes the identity matrix; denotes the set of all eigenvalues of ; ; ; matrix is called semipositive definite () if , for all ; is positive definite () if for all ; matrix is called seminegative definite () if , for all ; is negative definite () if for all ; means ; means ; ; , .

Consider the following uncertain impulsive switched linear system with time delays: where denotes the state variable and , . , , , and are given constant matrices of appropriate dimensions. The delays and are interval time-varying bounded continuous functions satisfying where , , , and are given positive real constants. The uncertainties , , and represent the nonlinear parameter perturbations with respect to the current state , the delayed state , and , respectively. They satisfy that , , , and where , , and are given positive real constants. The uncertain matrices , , and are norm bounded and can be described as where , , , and are given constant matrices of appropriate dimensions. The class of parametric uncertainties , which satisfies is said to be admissible where is a known matrix satisfying and is uncertain matrix satisfying Hence, , , and . is the initial function with the norm . We assume that the solution of the impulsive switched system (1) is right continuous; that is, . is an impulsive switching time point and as , and we introduce the quantity This is called the dwell time of system (1). Under the switching law of system (1), at the time , the system switches to the subsystem from the subsystem.

Definition 1. Given , system (1) is robustly exponentially stable, if there exist switching function and positive real constant such that any solution of the system satisfies

Lemma 2 (see [29] (Halanay lemma)). Let be a positive scalar function and assume that the following condition holds: where , Then, there exists such that, for all ,Here, and satisfies

Lemma 3 (see [32] (Schur complement lemma)). Given constant symmetric matrices where , then if and only if

Lemma 4 (see [33]). For given matrices of appropriate dimension, then for all satisfies , if and only if there exists a positive number , such that

Lemma 5 (see [34]). Suppose that is given by (5)–(7). Let , , and be real matrices of appropriate dimensions with . Then, the inequality holds if and only if, for any scalar ,

Lemma 6. Let be given matrices as in (1). Let be symmetric positive definite matrix. Then, if and only if for are positive real constants, .

Proof. Consider inequality (17); we have Equivalently, By using Lemma 3 (Schur complement lemma) in the above inequality, we get Premultiplying (21) by and postmultiplying by , we obtain the result. The proof of the lemma is complete.

Remark 7. Conditions (6) and (7) guarantee that is invertible. It is easy to show that when , the parametric uncertainty of linear fractional form reduces to a norm-bounded one.

The objectives of this paper are (i) to establish new delay-range-dependent sufficient conditions for exponential stability of nominal system (1) and (ii) to establish new delay-range-dependent sufficient conditions for robust exponential stability of system (1).

3. Main Results

In this section, we first present the exponential stability criteria with delays dependence for nominal system (1) via LMI approach. Rewrite the nominal system (1) in the following descriptor system: Let us decompose the constant matrices and as where , , , and are given real constant matrices with appropriate dimensions. By Leibniz-Newton formula, we have By utilizing the following zero equations, we get where and are real constant matrices with appropriate dimensions which will be chosen to guarantee the exponential stability of the nominal system (1). By (23)–(25), system (22) can be represented by the form We now introduce the following notations for later use: where , ,

Theorem 8. The nominal system (1) is exponentially stable if there exist symmetric positive definite matrix , any appropriate dimensional matrices , , and , , and positive real constants , , , , , , , , , , and with and for all such that the following LMIs hold: where , , and is the unique positive root of the equation

Proof. Consider a common Lyapunov functional for and a symmetric positive definite matrix . It is easy to see that where and The Dini derivative of along the trajectories of system (26) is given by for any appropriate dimensional matrices Since for positive real constants , , and , we obtain where From (29) and (37), we obtainBy (39) and Lemma 2 with for , we obtain that there exists such that, for all , ,where Consider the case when In this case, we have By (30) and (34) and Lemma 6, we get where For , with , we will show that where We can prove inequality (43) by mathematical induction. Indeed, when , we haveSince , we have From (40) and (45), we obtain Therefore, (43) holds for .
Next, we assume that (43) holds for , . Then, we need to show that (43) holds when . By the above induction assumption, (32), (40), and (43), we have Hence, it follows from (40) and (47) that Therefore, (43) holds for all . By (31), we get that , which implies for . We get Finally, we conclude that where , This means that the nominal system (1) is exponentially stable. The proof of the theorem is complete.

Next, we now present the new delay-range-dependent robust exponential stability criteria for system (1). We introduce the following notations for later use:

Theorem 9. System (1) is robustly exponentially stable if there exist symmetric positive definite matrix , any appropriate dimensional matrices , , and , , and positive real constants , , , , , , , , , , , and with and for all such that the following LMIs hold: where , , and is the unique positive root of the equation

Proof. Replacing , , and in (29) with , , and , respectively, we find that By Lemma 5, we can find that (53) is equivalent to (57) where is positive real constant. The proof of the theorem is complete.

4. Numerical Example

Example 1. Consider the following uncertain impulsive switched linear system with mixed interval time-varying delays and nonlinear perturbations (1) under a given switching law. That is, the switching status alternates as We consider robust exponential stability performance of system (1) by using Theorem 9. System (1) is specified as follows: Decompose the matrices , , , and , where It is easy to see that , , , , , , and . By using LMI Toolbox in MATLAB, we use (29)–(32) in Theorem 9. This example shows that the solutions of LMIs are given as follows: , , , , , and The numerical solutions and of system (1) with , , are plotted in Figure 1. This shows that those solutions converge to zero.

5. Conclusions

We have presented the problem of robust exponential stability criteria for uncertain impulsive switched linear systems with mixed interval nondifferentiable time-varying delays and nonlinear perturbations. By using a common Lyapunov functional, mixed model transformation, Halanay inequality, utilization of zero equations, and LMI approach, new delay-range-dependent robust exponential stability criteria for the systems are established in terms of LMIs. Finally, the theoretical result is illustrated well with a simulation example.

Conflict of Interests

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

Acknowledgments

This work was supported by DPST Research (Grant no. 001/2557), Thailand Research Fund (TRF), Khon Kaen University (Grant no. TRG5780069), and Khon Kaen University under Incubation Researcher Project and the authors would like to thank the anonymous referees for their valuable comments.