- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 548712, 8 pages
Exponential Stability of Impulsive Stochastic Functional Differential Systems with Delayed Impulses
1School of Electrical Engineering & Information, Anhui University of Technology, Ma'anshan, Anhui 243000, China
2The Institute of System Engineering, South China University of Technology, Guangzhou, Guangdong 510640, China
3School of Mathematical Science, Anhui University, Hefei, Anhui 230039, China
Received 6 December 2012; Revised 24 February 2013; Accepted 11 March 2013
Academic Editor: Cristina Pignotti
Copyright © 2013 Fengqi Yao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
A class of generalized impulsive stochastic functional differential systems with delayed impulses is considered. By employing piecewise continuous Lyapunov functions and the Razumikhin techniques, several criteria on the exponential stability and uniform stability in terms of two measures for the mentioned systems are obtained, which show that unstable stochastic functional differential systems may be stabilized by appropriate delayed impulses. Based on the stability results, delayed impulsive controllers which mean square exponentially stabilize linear stochastic delay systems are proposed. Finally, numerical examples are given to verify the effectiveness and advantages of our results.
In recent years, the theory of impulsive functional differential systems (IFDSs) has attracted an increasing interest due to the wide existence of impulse effects and time delays in real-world systems. An area of particular interest has been the impulsive control of delay systems, with consequent emphasis on stability analysis of IFDSs; see [1–8] and reference therein. However, in the current literature on IFDSs, most authors have assumed that the impulses are only related to the present states. But in most cases, it is more realistic that the impulses depend not only on the present but, also the past states, and such impulses are called delayed impulses. Recently, several studies have attempted to investigate IFDSs with delayed impulses (IFDSs-DI); see [9–12]. By employing Lyapunov functions coupled with Razumikhin techniques,  investigated the asymptotic stability and practical stability for a class of generalized IFDSs-DI, while [10, 11] further established several criteria for the exponential stability of the systems. In , sufficient conditions for the stability of impulsive differential systems with linear delayed impulses were derived and then applied to impulsively synchronize two coupled chaotic systems by using delayed impulses.
In addition to impulse effects and time delays, as is well known, environment noise exists inevitably in real systems and may greatly affect the performance of systems. Recently, [13, 14] took environment noise into account and generalized delayed impulses to stochastic systems. In particular, applying the Lyapunov-Razumikhin techniques,  investigated both moment and almost sure exponential stability of impulsive stochastic functional differential systems with delayed impulses (ISFDSs-DI). In , the authors started the study of robust stability and state-feedback stabilization of uncertain impulsive stochastic delayed differential systems with linear delayed impulses.
On the other hand, impulsive control has become an active research area and found successful applications in a wide variety of areas, such as control and synchronization of chaotic systems [15–17], ecosystems management , secure communication , and orbital transfer of satellite [19, 20]. In the past few years, the impulsive control theory has been generalized from deterministic systems to stochastic systems; see [13, 21, 22]. But in many cases, some well-designed impulsive control schemes cannot work as expected. One reason is that the schemes designed are usually free of delays, but time delays do exist due to time spent in computation and transfer. As is well known, the presence of time delays of controllers may be the cause of serious deterioration of performance or even instability of the resulting controlled system if it is not considered in controller design . One way to overcome this problem is to use delayed impulsive control laws.
Motivated by the above discussion, the present paper will employ the Razumikhin techniques to investigate the problems of stability analysis and impulsive stabilization of ISFDSs-DI. Obviously, it is more difficult to motivate ISFDSs-DI than the common ISFDSs with nondelayed impulses (ISFDSs-nDI), and the key difficulties and challenges lie in finding proper way to deal with the delayed impulses. Different from , we will exploit the notion of supremum to deal with the delayed impulses, which will relaxe the restriction imposed on impulses. The proof of the paper is enlightened by the idea from [6, 10]. Our results extend and generalize some results existing in the literature and show that appropriate delayed impulsive perturbations may make unstable stochastic functional differential systems stable. The rest of the paper is organized as follows. In Section 2, we introduce some notations and definitions. In Section 3, several criteria on the exponential stability and uniform stability in terms of two measures for ISFDSs-DI are established. Then, Section 4 is devoted to the discussion of two special types of ISFDSs-DI, which is followed by the stabilization of linear stochastic delay systems by using delay impulses in Section 5. Finally, illustrative examples and concluding remarks are given in Section 6 and Section 7, respectively.
Throughout this paper, unless otherwise specified, we will employ the following notations. Let be a complete probability space with a filtration satisfying the usual conditions (i.e., it is right continuous, and contains all -null sets), and let be the expectation operator with respect to the probability measure. Let be an -dimensional Brownian motion defined on the probability space. , , , and denotes the -dimensional real space equipped with the Euclidean norm . Moreover, is continuous with .
Let , and is continuous for all but at most a finite number of points at which , exist, and with the norm , where and denote the right-hand and left-hand limits of at , respectively. Let be the family of all -measurable and bounded -valued random variables .
If is a vector or matrix, its transpose is denoted by . If is a square matrix, then means that is a symmetric positive (negative) definite matrix, while is a symmetric positive (negative) semidefinite matrix. and represent the minimum and maximum eigenvalues of the corresponding matrix, respectively, and stands for the identity matrix. Unless explicitly stated, all matrices are assumed to have real entries and compatible dimensions.
Let us consider the following ISFDSs-DI as follows: with initial value , where ; is regarded as a -valued random variables. Moreover, and are Borel measurable; represents the impulsive perturbation of at time . The fixed moments of time satisfy .
As a standing hypothesis, we assume that for any , there exists a unique solution to system (1) denoted by , which is continuous except at , at which it is right continuous and left limitable. For the purpose of stability analysis, we further assume that for all , then system (1) admits a trivial solution .
Definition 1 (see ). A function is said to belong to the class , if is continuous on each of the sets , exists, and , , and are continuous for , where
For each and , one defines the Kolmogorov operator associated with system (1) by
Definition 2 (see ). Let , . One defines
Definition 3. Let . Then, system (1) is said to be (S1)-uniformly stable, if for any given and , there exists a such that (S2)-globally exponentially stable, if there exist constants and such that, for all and ,
Remark 4. The -stability notions are considered here in the spirit of the work by Lakshmikantham and Liu  to unify different stability concepts found in the literature such as the stability of the trivial solution, the partial stability, the conditional stability, and the stability of invariant sets, which would otherwise be treated separately. For example, it is easy to see that (S2) in Definition 3 gives (1)the th-moment exponential stability of the trivial solution , if . When , it is usually called mean square exponential stability; (2)the th-moment exponentially partial stability of the trivial solution, if and ;(3)the global exponential stability of the prescribed motion , if ; (4)the global exponential stability of the invariant set , if , where is the distance of from the set ; (5)the global exponential orbital stability of a periodic solution, if , where is the closed orbit in the phase space.
3. Stability Results
In this section, we will develop Lyapunov-Razumikhin methods and establish some criteria which provide sufficient conditions for the -exponential stability and -uniform stability of ISFDSs-DI. Our results illustrate that the impulses play a positive role in making the continuous flow stable.
Theorem 5. Assume that there exist functions , and constants , , such that (i) for any ; (ii) for all and those satisfying where are continuous; (iii), where and ; (iv), where , and . Then, system (1) is -exponentially stable for any time delay , and the convergence rate is not greater than .
Proof. Fix any initial data , and write simply. Let be an arbitrary constant, and define . We claim that
Obviously, is nondecreasing and
For convenience, we write and . Then, (8) can be written as
We first prove that If (12) is not true, there would be some such that . Let . Due to the continuity of on and we get Noticing , , we further define , then Hence, Consequently, since for any and , it follows from (13), (14), and (16) that which, by condition (ii), implies that By the Itô formula and applying the Gronwall inequality, we can derive that That is, which leads to This contradicts the definition of . Hence, (12) holds.
Now, we assume that Then, the following inequality holds by condition, (iii), (13), and (22) as follows: Next, we proceed to prove that On the contrary, we suppose that (24) is not true. Then, there exist some such that . Setting , it follows from (23) and the continuity of on that In view of and , we further define , then Thus, Consequently, since for all and , we get from (13), (22), (25), and (27) that By similar argument, we will be led to contradiction (21) once again, which verifies the validity of (24).
By mathematical induction, we conclude that (11) or equivalently, (8), is true. Then, it follows from condition (i) that where . Thus, system (1) is -exponentially stable with convergence rate . Furthermore, in view of the fact that is arbitrary, we must have . The proof is therefore complete.
Remark 6. It is noted that Theorem 5 allows for significant increases in between impulses as long as the decrease of at impulse times balance it properly. We can see that the impulses do contribute to the stability behavior of the system. Moreover, compared with the th-moment exponential stability theorem in  which assumed that
where , our result has a wider adaptive range.
Especially, the convergence rate if in Theorem 5, which implies that system (1) is -uniformly stable. Therefore, letting tend to in Theorem 5 will immediately yield the following corollary.
4. Special Cases
In this section, we will apply the general Razumikhin-type theorems established in previous section to deal with the stability of two special types of system (1).
Case 1 (ISFDSs-nDI). An important special case of system (1) is the following ISFDSs-nDI, in which the state variables on impulses are not related to the time delay
Theorem 8. Assume that all conditions of Theorem 5 hold with the following change: (iii*), where and . Then, system (31) is -exponentially stable for any time delay , and the convergence rate is not greater than .
Case 2 (IFDSs-DI). Deterministic systems may be regarded as a special class of stochastic systems. The following deterministic IFDSs-DI, which have been investigated in [10, 11], are exactly system (1) with : Based on Theorem 5, one can easily get the following exponential stability result for system (33). For the notation of function family and the upper right-hand derivative appeared in the following theorem, we refer to .
Theorem 10. Assume that there exist functions , and constants , , such that (i) for any ; (ii) for all and those satisfying (iii), where and ; (iv), where , and . Then, system (33) is -exponentially stable for any time delay , and the convergence rate is not greater than .
Remark 11. Obviously, Theorem 10 includes Theorem 3.1 in  as a special case. While in , the exponential stability theorem was obtained under the following condition: which is simpler but stronger. Therefore, our results are more general and considerably less conservative.
5. Impulsive Stabilization
This section is devoted to designing a delayed impulsive controller which mean square exponentially stabilize a linear stochastic delay system.
Suppose that we are given an -dimensional linear stochastic system with time-varying delay where is the state vector; time delay of the system is a Borel-measurable function on with , where is a positive constant; and is a standard one-dimensional Brownian motion. We are required to stabilize system (36) by delayed impulses of the form
In other words, we need to find appropriate impulsive gain matrices , and impulse time sequence such that the corresponding linear impulsive stochastic delay system Will be mean square exponentially stable.
Theorem 12. System (36) can be mean square exponentially stabilized by impulses in the form of (37) if there exist matrices , and positive scalars such that the following matrix inequalities hold where entries denoted by can be readily inferred from the symmetry of a matrix.
Proof. The conclusion follows from Theorem 5 by considering and .
Although (39)-(40) are linear with respect to for fixed , it is not linear with the combined variables , and, therefore, it is not LMIs. This makes the computation difficult but flexible. Two different impulsive controller designing steps are given as follows.
Step 1. Choose matrix .
Step 2. Get and by solving LMI (39), (40), and Step 3. Choose such that , where is an arbitrary number satisfying .
Step 1. Give appropriate positive scalars and such that LMI (39) is feasible and get matrix .
Step 2. Get and by solving LMI (40) and
Step 3. Choose such that , where is an arbitrary number satisfying .
Remark 13. Obviously, the stabilizing impulses (37) are not unique. For example, and with the first impulse interval being finite will be a simple one. In the above two methods, we impose conditions or to get impulsive controllers with .
6. Illustrative Examples
In this section, examples are given to verify the effectiveness and advantages of our results. For simplicity, we consider the case of constant delay in the following examples. It should be pointed out that our results can be applied to systems with time-varying delay.
Example 14. Let us consider a two-dimensional impulsive stochastic delay system
where constants , , and . If
for any satisfying , then system (45) is mean square exponentially stable with respect to . If
then system (45) is mean square uniformly stable with respect to .
We first note that the -stability properties reduce to the mean square stability properties with respect to if . Choose , then whenever , .
Taking , , , and , it is easy to check that all the conditions of Theorem 5 are satisfied under condition (46), which means that system (45) is mean square exponentially stable with respect to . As well, under condition (47), one can derive the mean square uniform stability with respect to according to Corollary 7.
It is noted that where is the initial data of . Thus, which demonstrates that the state is mean square exponentially unstable. Hence, the existing stability theorems for the trivial solution fail to work. This shows that the notion of stability in terms of two measures is more general, and our results have a wider adaptive range.
Example 15. Consider the following stochastic delay system
where , , , and .
It is noted that system (51) is not stable, and that its simulations with , initial data , and are shown in Figures 1 and 2. In the following, we will design a delayed impulsive control law according to Theorem 12 to exponentially stabilize system (51). Adopting Method I, we choose , , then is a group of feasible solution to linear matrix inequalities (39)–(41), and the maximum impulse interval can be chosen as The simulations of system (51) under impulsive control are displayed in Figures 3 and 4, where , initial data , and impulse interval . It is clearly demonstrated that the impulses we designed successfully stabilize an unstable stochastic delay system.
This paper has investigated the exponential stability in terms of two measures for ISFDSs-DI based on Razumikhin-type arguments. The results obtained improve and complement some recent works. Moreover, the stability criteria obtained are applied to stabilize linear stochastic delay systems, and delayed impulsive controllers that exponentially stabilize the systems are proposed.
This work was supported by the National Natural Science Foundation of China under Grants 660874114, 61273126, and 11226247 and the Anhui Provincial Nature Science Foundation 1308085QA15.
- Z. Luo and J. Shen, “Impulsive stabilization of functional differential equations with infinite delays,” Applied Mathematics Letters, vol. 16, no. 5, pp. 695–701, 2003.
- X. Liu, “Stability of impulsive control systems with time delay,” Mathematical and Computer Modelling, vol. 39, no. 4-5, pp. 511–519, 2004.
- X. Liu and Q. Wang, “The method of Lyapunov functionals and exponential stability of impulsive systems with time delay,” Nonlinear Analysis: Theory, Methods & Applications, vol. 66, no. 7, pp. 1465–1484, 2007.
- X. Liu and Q. Wang, “On stability in terms of two measures for impulsive systems of functional differential equations,” Journal of Mathematical Analysis and Applications, vol. 326, no. 1, pp. 252–265, 2007.
- Q. Wang and X. Liu, “Impulsive stabilization of delay differential systems via the Lyapunov-Razumikhin method,” Applied Mathematics Letters, vol. 20, no. 8, pp. 839–845, 2007.
- X. Li, “New results on global exponential stabilization of impulsive functional differential equations with infinite delays or finite delays,” Nonlinear Analysis: Real World Applications, vol. 11, no. 5, pp. 4194–4201, 2010.
- X. Fu and X. Li, “Razumikhin-type theorems on exponential stability of impulsive infinite delay differential systems,” Journal of Computational and Applied Mathematics, vol. 224, no. 1, pp. 1–10, 2009.
- W.-H. Chen and W. X. Zheng, “Robust stability and -control of uncertain impulsive systems with time-delay,” Automatica, vol. 45, no. 1, pp. 109–117, 2009.
- Y. Zhang and J. Sun, “Stability of impulsive functional differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 12, pp. 3665–3678, 2008.
- D. Lin, X. Li, and D. O'Regan, “Stability analysis of generalized impulsive functional differential equations,” Mathematical and Computer Modelling, vol. 55, no. 5-6, pp. 1682–1690, 2012.
- Q. Wu, J. Zhou, and L. Xiang, “Global exponential stability of impulsive differential equations with any time delays,” Applied Mathematics Letters, vol. 23, no. 2, pp. 143–147, 2010.
- A. Khadra, X. Z. Liu, and X. Shen, “Analyzing the robustness of impulsive synchronization coupled by linear delayed impulses,” Institute of Electrical and Electronics Engineers, vol. 54, no. 4, pp. 923–928, 2009.
- J. Liu, X. Liu, and W.-C. Xie, “Impulsive stabilization of stochastic functional differential equations,” Applied Mathematics Letters, vol. 24, no. 3, pp. 264–269, 2011.
- P. Cheng, F. Deng, and Y. Peng, “Robust exponential stability and delayed-state-feedback stabilization of uncertain impulsive stochastic systems with time-varying delay,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 12, pp. 4740–4752, 2012.
- T. Yang and L. O. Chua, “Impulsive stabilization for control and synchronization of chaotic systems: theory and application to secure communication,” IEEE Transactions on Circuits and Systems. I, vol. 44, no. 10, pp. 976–988, 1997.
- X. Liu, “Impulsive stabilization and control of chaotic system,” Nonlinear Analysis: Theory, Methods & Applications, vol. 47, pp. 1081–1092, 2001.
- C. Li, X. Liao, X. Yang, and T. Huang, “Impulsive stabilization and synchronization of a class of chaotic delay systems,” Chaos, vol. 15, no. 4, Article ID 043103, 9 pages, 2005.
- X. Liu and K. Rohlf, “Impulsive control of a Lotka-Volterra system,” IMA Journal of Mathematical Control and Information, vol. 15, no. 3, pp. 269–284, 1998.
- X. Liu and A. R. Willms, “Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft,” Mathematical Problems in Engineering, pp. 277–299, 1996.
- T. E. Carter, “Optimal impulsive space trajectories based on linear equations,” Journal of Optimization Theory and Applications, vol. 70, no. 2, pp. 277–297, 1991.
- N. Yu-Jun, X. Wei, and L. Hong-Wu, “Asymptotical p-moment stability of stochastic impulsive differential equations and its application in impulsive control,” Communications in Theoretical Physics, vol. 53, no. 1, pp. 110–114, 2010.
- C. Li, L. Chen, and K. Aihara, “Impulsive control of stochastic systems with applications in chaos control, chaos synchronization, and neural networks,” Chaos, vol. 18, no. 2, Article ID 023132, 11 pages, 2008.
- L. Huang and X. Mao, “Robust delayed-state-feedback stabilization of uncertain stochastic systems,” Automatica, vol. 45, no. 5, pp. 1332–1339, 2009.
- M. S. Alwan, X. Liu, and W.-C. Xie, “Existence, continuation, and uniqueness problems of stochastic impulsive systems with time delay,” Journal of the Franklin Institute, vol. 347, no. 7, pp. 1317–1333, 2010.
- S. Peng and Y. Zhang, “Razumikhin-type theorems on th moment exponential stability of impulsive stochastic delay differential equations,” Institute of Electrical and Electronics Engineers, vol. 55, no. 8, pp. 1917–1922, 2010.
- V. Lakshmikantham and X. Z. Liu, Stability Analysis in Terms of Two Measures, World Scientific, River Edge, NJ, USA, 1993.