Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 401538, 9 pages
http://dx.doi.org/10.1155/2013/401538
Research Article

-Moment Stability of Stochastic Differential Delay Systems with Impulsive Jump and Markovian Switching

Department of Electrical Engineering and Automation, Qufu Normal University, Rizhao 276826, China

Received 2 February 2013; Revised 26 April 2013; Accepted 3 May 2013

Academic Editor: Yang Yi

Copyright © 2013 Lijun Gao. 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.

Abstract

This paper investigates -moment stability of the stochastic differential delay systems with impulsive jump and Markovian switching. Some stability criteria are obtained based on Lyapunov functional method and stochastic theory. It is shown that, even if all the subsystems governing the continuous dynamics without impulse are not stable, as impulsive and switching signal satisfies a dwell-time upper bound condition, impulses can stabilize the systems in the -moment stability sense. The opposite situation is also developed for which all the subsystems governing the continuous dynamics are -moment stable. The results can be easily applied to stochastic systems with arbitrarily large delays. The efficiency of the proposed results is illustrated by two numerical examples.

1. Introduction

Stochastic differential systems which include stochastic delay differential systems have attracted much attention, owing to stochastic modeling having played an important role in many ways such as science and engineering and forecast of the growth of population [1, 2]. Stability analysis of different stochastic systems has been a subject of intense activities in the literature [39]. Switched systems are an important class of hybrid dynamical systems which are composed of a family of continuous time or discrete-time dynamical systems and a rule that orchestrates the switching among them [10]. A particular class of switched systems is named as markovian switched systems, whose system mode is governed by a Markov process. During the past few decades, many issues on Markovian switched systems such as stability and stabilization [1114], control and filtering [15], and adaptive control problem [16, 17] have been well investigated.

Beside stochastic effects and markovian switching, impulsive effect likewise exists in many evolution processed in which systems states change abruptly at certain moments of time, involving such fields as biology, engineering, and information science [18]. Therefore, the stability investigation of stochastic differential systems with impulsive jump is interesting to many investigators. The -moment stability of stochastic differential systems is studied in [19] for the systems with impulsive jump, nonswitched, and no time delay. Thus, the results in [19] cannot be easily applied to the class of impulsive systems with markovian switching and time-varying delay. Liu and Peng [20] discussed the -moment stability of stochastic differential delay systems with impulsive jump and markovian switching. It is shown that when the delayed continuous dynamics are -moment stable, the stability properties is not destroyed by impulse at discrete instants irrespective of the length of delay. It is also noticed that the conclusions received in [20] are restricted to the case that are all the subsystems that govern the continuous dynamics are stable in -moment sense. There is no attention has been paid to the class of hybrid systems in which all the subsystems that govern the continuous dynamics is not stable. Thus, how to establish a sufficient condition of -moment stability for the class of stochastic delays hybrid systems is the key problem to be solved in future research.

Based on the above analysis, in this work, the -moment stability of stochastic differential delay systems with impulsive jump and markovian switching is investigated. Motivated by the work of [20], we first relax the global Lipschitz condition of impulsive control law . Then, we will propose some conditions of the -moment stability for two classes of stochastic hybrid delay systems, that is, all the subsystems that govern the continuous dynamics are stable and not. Compared with [20], the criteria for the stable case in this paper are more general. Further, the results are applied to linear stochastic delay systems with arbitrarily large delays.

2. Preliminaries

Throughout this paper, unless otherwise specified, we let be a complete probability space with a filtration satisfying the usual conditions, that is, it is right continuous and contains all -null sets. is an -dimensional Brownian motion defined on . Let define the set of nonnegative real numbers and the -dimensional real Euclidean space. denotes the Euclidean norm for vectors or the spectral norm for matrices. For , let denote the class of functions from to satisfying the following: (i) it has at most a finite number of jump discontinuities on ; (ii) it is continuous from the right at all points in . For simplicity, is used for for the rest of this paper. For function , a norm is defined as . Given and for each , define by for and for , respectively. Denote by the family of all -measurable -valued random variables , satisfying , where stands for the mathematical expectation. Let .

The Markov process represents the switching between the different modes taking values in a finite state space with generator given by where is the transition rate from mode to and satisfies the following relations: and is such that . We assume that the Markov chain is independent of the Brownian motion . It is known that almost every sample path of is a right-continuous step function with a finite number of simple jumps in any finite subinterval of .

Consider the following stochastic nonlinear delay system with impulsive jump and markovian switching where is the initial data, is the systems state, and denote the limit from the right and the left at point , respectively, and a strictly increasing sequence. We assume that for each , given functional , satisfying . with is the change of state variable at instant . In this paper, we always assume that there exists a unique stochastic process satisfying systems (3), and all solutions of systems (3) are continuous on the right-hand side and on the left-hand side. Moreover, by and , it is easily obtained that system (3) admits a trivial solution.

Definition 1 (see [20]). The trivial solution of system (3) is (1)-moment stable if for any initial data and any , there exists a such that whenever ;(2) uniformly -moment stable if the in (1) is independent of .

Definition 2. Let denote the family of all nonnegative functions that are continuously twice differentiable in and once differentiable with respect to . For each , define an operator from to as follows: where Before giving the results, we need a lemma.

Lemma 3 (see [20]). If   , then for any stopping times , as long as the integration involved exist and finite.

3. Main Results

In this section, Lyapunov-based sufficient conditions for -moment stability of system (3) are developed. The first result is concerned with -moment stability of system (3), in the case when all the subsystems governing the continuous dynamics of (3) are stable. Intuitively, the conditions in the following theorem consist of three aspects: (i) the Lyapunov-Krasovskii functionals satisfy certain positive definite and decrescent conditions; (ii) there exist some negative estimates of the upper right-hand derivatives of the functionals with respect to each stable mode of system (3); (iii) the jumps induced by the impulses and the estimates on the decay rate of continuous dynamics satisfy certain conditions.

Theorem 4. Assume that there exist function and some positive constants , , , , the nonnegative and continuous functions and , such that(i); (ii), , ;(iii); (iv), where ;(v); then the trivial solution of system (3) is uniformly -moment stable.

Proof. For any , there exists a such that independent of . For any and , let be the solution of (3).
In the following, we will show that It will be firstly proved that For any initial data , it follows from assumption (i) that Suppose that (9) is not true, then there exists some such that Set . Observe that is continuous on , then and In view of (10), define . Then and Consequently, in view of (10)–(15), for all and , one has Now, combining (16) and condition (ii), we have Applying Lemma 3, integrating (17) on , one obtains that By condition (v) and (14) and the Gronwall inequality, one has Since (19) contradicts with (12), inequality (9) holds and (8) is true for .
Now, assume that for all , where . We proceed to show that Suppose that (21) is not true, set . From condition (i), (iv), and (21), we know that Owing to is continuous on , then and Define , then and Fix any , when for all , then from (22)–(26), one has When for some , without loss of generality, we assume that for some , , then from (20) and (25), we obtain that Therefore, from condition (ii), (27), and (28), one gets Similar to the argument on , an application of Ito’s formula on will lead to , which would contradict with (23). So the inequality (21) is true. Therefore, by mathematical induction, one can obtain that (8) holds for all . Then from condition (i) and the definition of , we have
According to Definition 1, it is concluded that the trivial solution of system (3) is uniformly -moment stable. The proof is complete.

Corollary 5. Assume that there exist function and some positive constants , , , , , and such that(i); (ii), , ;(iii); (iv), where ;(v), ; then the trivial solution of system (3) is uniformly -moment stable.

Proof. Replacing and in Theorem 4 with and , respectively, we find that it is a direct conclusion of Theorem 4.

Remark 6. From condition (ii) in Theorem 4, it is seen that each of the continuous dynamics is stable. On the other hand, from condition (iv), we see that each of the discrete dynamics is also stabilizing ( implies ). It implies that the stability properties of a time-delay impulsive markovian switched system with stable continuous dynamics can be preserved under stabilizing impulsive perturbations irrespective of the times of impulses and switching. Hence, the bound of dwell-time is not necessary.

Remark 7. If condition (iii) is omitted in Corollary 5, the result is consistent with that of Theorem 1 in [20]. Thus, the results in this work are an extension of that in [20].
We proceed to consider in next the -moment stability of systems (3). It is supposed that all the subsystems governing the continuous dynamics of (3) can be unstable while the impulses are stabilizing. Intuitively, the conditions in the following theorem consist of four aspects: (i) the Lyapunov functionals satisfy certain positive definite and decrescent conditions; (ii) there exist some positive estimates of the upper right-hand derivatives of the functionals with respect to each unstable mode of system (3); (iii) the dwell time of each mode of system (3) satisfies some supper bounds; (iv) the jumps induced by the stabilizing impulses satisfy certain diminishing conditions.

Theorem 8. Assume that there exist function and some positive scalars , , , , , , and such that(i); (ii); (iii), where ;(iv) there exist nonnegative and piecewise continuous functions satisfying for all , such that whenever and are such that ;(v), ;then the trivial solution of system (3) is uniformly -moment stable.

Proof. For any , there exists a such that independent of . For any and , let be the solution of (3).
By generalized Ito’s formula (Lemma 3), when , we get Given small enough such that , one has In view of condition (iv), (32), and (33), it follows that From (34), one gets where is the Dini-derivative defined as in which is continuous function.
In the following, we will show that For this purpose, we first prove that From condition (i) and , it follows that If (38) is not true, there must exist some such that Let . From (39), one has and Owing to and for , then there exists a such that Consequently, by (41) and (42), for , we have So, for , it has Integrating (44) from to Meanwhile, by condition (v), one has which is contradictory with (45), so (38) is true.
By condition (i) and (38), we have Now, we assume that (37) holds for , that is, We will prove that, for , Suppose that (49) does not hold, by the same procedure as in , we can get a contradiction and (49) follows. Finally, we get From Definition 1, it is concluded that the trivial solution of system (3) is uniformly -moment stable. The proof is complete.

Corollary 9. Assume that there exist positive scalars , , , , , , , and such that conditions (iv) in Theorem 8 are replaced by the following: there exists positive number such that whenever and are such that ; and all other conditions remain the same, then the trivial solution of system (3) is uniformly -moment stable.

Proof. Similar to the procedure of Theorem 8, correspondingly, the item in the proof is replaced by .

Remark 10. It is clear that Theorem 8 implies that each of the continuous dynamics can be unstable, since the item in condition (iv), which characterizes the changing rate of Lyapunov function at , is assumed to be nonnegative. Theorem 8 shows that an unstable stochastic delay system can be successfully stabilized by impulse.

Remark 11. Constant in condition (ii) characterizes certain perturbations in the overall impulsive stabilization process, that is, it is not strictly required by Theorem 8 that each impulse contributes to stabilize the system, as long as the overall contribution of the impulses is stabilizing. When , it is easily obtained that each impulse must be stabilizing (), which is more restrictive.
Now consider the linear stochastic system with impulses and markovian switching where , , , , and are all matrices and is a one-dimensional standard wiener process. is a Markov chain taking values in in which the transition rate is .

Theorem 12. When , define , , , . (i) If there exist constants , , , , and such that then system (52) is uniformly -moment stable.(ii) If there exist constants , , and such that then system (52) is uniformly -moment stable.

Proof. It is a direct consequence of Corollaries 5 and 9 with .

4. Numerical Examples

The applicability of the results derived in the preceding section is illustrated by the following two examples.

Example 1. Consider the following linear impulsive switching delay system: where Set , . It is easy to see that , , , , , , , , and . Taking , , , we can verify that all the conditions (ii) of Theorem 12 are satisfied: So, system (55) is -moment stable. Numerical simulations for this example are shown in Figures 1 and 2. It is clearly demonstrated that impulses can successfully stabilize an otherwise unstable stochastic delay system.

401538.fig.001
Figure 1: State response of system (55) under impulsive perturbations.
fig2
Figure 2: State response of system (55) without impulsive perturbations.

Example 2. Consider the following linear impulsive switching delay system: where Choosing . It is easy to see that , , , , , , , , . Taking , , , , we can verify that all the conditions (i) of Theorem 12 are satisfied: Theorem 12 guarantees that the trivial solution of system (58) is -moment stable. Numerical simulations are shown in Figure 3. It is clearly demonstrated that the -moment stability properties can be preserved irrespective of the length of the delay.

401538.fig.003
Figure 3: State response of system (58) under impulsive perturbations

5. Conclusions

In this paper, a method of multiple Lyapunov functionals has been applied to deal with the effects of impulses on -moment stability of stochastic differential delay systems with impulsive jump and markovian switching. Some stability criteria are obtained based on Lyapunov functional method and stochastic theory. It is shown that, even if all the subsystems governing the continuous dynamics without impulse are not stable, as impulsive and switching signal satisfies a dwell-time upper bound condition, impulses can stabilize the systems in the -moment stability sense. The opposite situation is also developed for which all the subsystems governing the continuous dynamics without impulse are -moment stable. Applying the derived results to a class of stochastic systems with arbitrarily large delays, the deduced new stability criteria can relax some restrictions on impulses imposed by the existing results. Two illustrative examples have been provided to demonstrate the main theoretical analysis.

Acknowledgments

This work was supported by National Natural Science Foundation of China (61273091, 61104007), Natural Science Foundation of Shandong Province (ZR2011FM033), the Young and Middle-Aged Scientists Research Foundation of Shandong Province (BS2011DX013, BS2012SF008), and Taishan Scholar Project of Shandong Province of China.

References

  1. X. Mao, Stochastic Differential Equations and Applications, Horwood, Chichester, UK, 1997.
  2. B. Øksendal, Stochastic Differential Equations, Springer, New York, NY, USA, 1995. View at MathSciNet
  3. X. Mao, “Razumikhin-type theorems on exponential stability of stochastic functional-differential equations,” Stochastic Processes and Their Applications, vol. 65, no. 2, pp. 233–250, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. X. Mao, “Stability of stochastic differential equations with Markovian switching,” Stochastic Processes and Their Applications, vol. 79, no. 1, pp. 45–67, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. L. Huang, X. Mao, and F. Deng, “Stability of hybrid stochastic retarded systems,” IEEE Transactions on Circuits and Systems I, vol. 55, no. 11, pp. 3413–3420, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  6. L. Huang and F. Deng, “Razumikhin-type theorems on stability of neutral stochastic functional differential equations,” IEEE Transactions on Automatic Control, vol. 53, no. 7, pp. 1718–1723, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  7. L. Huang and X. Mao, “On input-to-state stability of stochastic retarded systems with Markovian switching,” IEEE Transactions on Automatic Control, vol. 54, no. 8, pp. 1898–1902, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  8. S. Janković, J. Randjelović, and M. Jovanović, “Razumikhin-type exponential stability criteria of neutral stochastic functional differential equations,” Journal of Mathematical Analysis and Applications, vol. 355, no. 2, pp. 811–820, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. J. Luo, “Exponential stability for stochastic neutral partial functional differential equations,” Journal of Mathematical Analysis and Applications, vol. 355, no. 1, pp. 414–425, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. G. Zong, L. Hou, and H. Yang, “Further results concerning delay-dependent H control for uncertain discrete-time systems with time-varying delay,” Mathematical Problems in Engineering, vol. 2009, Article ID 732181, 24 pages, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. M. Mariton, Jump Linear Systems in Automatica Control, Marcel Dekker, New York, NY, USA, 1990.
  12. H. Gao, Z. Fei, J. Lam, and B. Du, “Further results on exponential estimates of Markovian jump systems with mode-dependent time-varying delays,” IEEE Transactions on Automatic Control, vol. 56, no. 1, pp. 223–229, 2011. View at Publisher · View at Google Scholar · View at MathSciNet
  13. G. K. Basak, A. Bisi, and M. K. Ghosh, “Stability of a random diffusion with linear drift,” Journal of Mathematical Analysis and Applications, vol. 202, no. 2, pp. 604–622, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. X. Mao, “Robustness of stability of stochastic differential delay equations with Markovian switching,” Stability and Control, vol. 3, no. 1, pp. 48–61, 2000. View at Google Scholar · View at MathSciNet
  15. L. Zhang and J. Lam, “Necessary and sufficient conditions for analysis and synthesis of Markov jump linear systems with incomplete transition descriptions,” IEEE Transactions on Automatic Control, vol. 55, no. 7, pp. 1695–1701, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  16. S. Xu, T. Chen, and J. Lam, “Robust H filtering for uncertain Markovian jump systems with mode-dependent time delays,” IEEE Transactions on Automatic Control, vol. 48, no. 5, pp. 900–907, 2003. View at Publisher · View at Google Scholar · View at MathSciNet
  17. G. L. Wang and Q. L. Zhang, “Adaptive control of stochastic nonlinear systems with Markovian switching,” International Journal of Adaptive Control and Signal Processing, vol. 26, no. 9, pp. 848–860, 2012. View at Google Scholar · View at MathSciNet
  18. V. Lakshmikantham, D. D. Baĭnov, and P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific, Singapore, 1989. View at MathSciNet
  19. S. Wu, D. Han, and X. Meng, “p-moment stability of stochastic differential equations with jumps,” Applied Mathematics and Computation, vol. 152, no. 2, pp. 505–519, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  20. Z. Liu and J. Peng, “p-moment stability of stochastic nonlinear delay systems with impulsive jump and Markovian switching,” Stochastic Analysis and Applications, vol. 27, no. 5, pp. 911–923, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet