Next Article in Journal
STEM Professional Development Activities and Their Impact on Teacher Knowledge and Instructional Practices
Next Article in Special Issue
Neural Adaptive Fixed-Time Attitude Stabilization and Vibration Suppression of Flexible Spacecraft
Previous Article in Journal
Toward Prevention of Parasite Chain Attack in IOTA Blockchain Networks by Using Evolutionary Game Model
Previous Article in Special Issue
Adaptive Evolutionary Computation for Nonlinear Hammerstein Control Autoregressive Systems with Key Term Separation Principle
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Stability of Impulsive Stochastic Delay Systems with Markovian Switched Delay Effects

School of Mathematics and Physics, Jiangsu University of Technology, Changzhou 213001, China
Mathematics 2022, 10(7), 1110; https://doi.org/10.3390/math10071110
Submission received: 28 February 2022 / Revised: 20 March 2022 / Accepted: 23 March 2022 / Published: 30 March 2022

Abstract

:
In this paper, we investigate the pth moment exponential stability of impulsive stochastic delay systems with Markovian switched delay effects. The model we consider here is rather different from the models in the existing literature. In particular, the delay is a Markov chain, which is quite different from the traditional deterministic delay. By using the Markov chain theory, stochastic analysis theory, Razumikhin technology and the Lyaponov method, we derive a criterion of pth moment exponential stability for the suggested system. Finally, an example is provided to illustrate the effectiveness of the obtained result.

1. Introduction

Stochastic systems with Markovian switching is an important class of stochastic hybrid systems. In the real world, they are widely used in many fields such as automatic control, aircraft and air traffic control and electrics. So, the research on stochastic systems with Markovian switching has attracted an increasing amount of attention. Just as studying the stability for stochastic systems is important, the stability for stochastic systems with Markovian switching is also a significant issue. In the past several decades, a large number of works on this topic have been reported in the literature. For example, Mao in [1] considered the stability of stochastic differential equations with Markovian switching. Later, he generalized the above result to stochastic functional differential equations [2] and stochastic delay interval systems [3]. Recently, Ref. [4] considered the mean-square stability for a class of singular stochastic systems with Markovian switching. Ref. [5] derived the stability in distribution of stochastic differential delay equations with Markovian switching based on the pure probability method. By using the multiple Lyapunov functions method, Ref. [6] considered the asymptotic stability of stochastic differential equations with Markovian switching, which generalized the result in [7]. Ref. [8] applied a mode-dependent parameter approach to give a sufficient condition for the finite-time stability of It o ^ ’s stochastic systems with Markovian switching. Refs. [9,10,11,12,13,14] considered the stability and the related questions for the Markovian jump linear systems by using different approaches. In [15,16], the authors obtained some properties for stochastic systems with Markovian switching, and then they also applied these properties to study the networked control systems with delays. Ref. [17] established the exponential-m stability for stochastic switched systems. Refs. [18,19,20,21] considered the stability for stochastic systems with semi-Markovian switching. Ref. [22] obtained the pth moment exponential stability for stochastic pantograph systems with Markovian switching, which is an important class of stochastic hybrid systems with unbounded delays. In addition, the “dwell time” method has been used to investigate switching systems. In [23], Hespanha and Morse proved that a switched system is exponentially stable if all the subsystems are exponentially stable and its average dwell time is large enough. From then on, a large number of stability criteria have been reported by using “dwell time” method. For example, Ref. [24] studied the stochastic stability of continuous-time systems with random switching signals by using the Lyapunov approach, the LMI (i.e., linear matrix inequalities, see [25]) technique and the “dwell time” method. Ref. [26] used the “dwell time” and the non-convolution type multiple Lyapunov functionals to derive the almost sure exponential stability for switched delay systems with nonlinear stochastic perturbations. Ref. [27] applied the average dwell time approach to obtain the stability results for neutral stochastic switching delay systems. By using the average dwell time method and Lyapunov–Krasovskii functional theory, an H control problem for network-based stochastic systems with two additive delays was studied in [28,29]. The are also some other methods used in the stability analysis for switching systems. For example, Wu et al. in [30] applied It o ^ ’s formula and Dynkin’s formula to investigate the stability on stochastic systems with state-dependent switching. Ref. [31] obtained some stability results for slowly switched systems by using the multiple discontinuous Lyapunov function approach. By using the comparison principle and the multiple Lyapunov functions method, Ref. [32] studied the stability of deterministic and stochastic switched systems. For other results with respect to the stability of stochastic differential equations with Markovian switching, please refer to Refs. [33,34,35,36] and references therein. For a survey of stability for stochastic hybrid systems, please refer to [37].
In most of the existing works, the switching signals are deterministic functions. However, in the real world, the delay switching is not usually determined. In other words, the delay switching may be random. Therefore, it is interesting and challenging to investigate the stability of randomly switched delay systems. To the best of our knowledge, there have been only a few results on this issue. For example, Ref. [38] studied the moment exponential stability of random delay systems with two-time-scale Markovian switching and the main tool based on the theory of two-time-scale Markov chains. However, the noise disturbance in [38] was ignored.
In addition, impulsive stochastic systems are also important systems in control engineering. There is also some important literature in the stability for impulsive stochastic systems. For example, Refs. [39,40] considered the exponential stability for impulsive stochastic delay differential systems. Ref. [41] established the exponential stability for neutral impulsive stochastic delay differential systems. Ref. [42] designed the impulsive controller for stochastic recurrent neural networks. Ref. [43] studied the stability for impulsive stochastic differential equations driven by G-Brownian motion. For the other stability analysis for impulsive stochastic systems, please refer to [44,45,46] and references therein.
Inspired by the above discussion, we can see that there is still no result for the pth moment exponential stability for impulsive stochastic functional differential equations with Markovian switched delay effects. Thus, in this paper, we will focus on this question. The systems combine the characteristics of the continuous-time systems and discrete-time systems, which leads the stability analysis for such systems being more complicated than in the case of the pure continuous-time systems or discrete-time systems. By applying Markov chain theory, stochastic analysis theory and the Razumikhin technique, we establish a criterion of pth moment exponential stability. Finally, an example is provided to verify the efficiency of the obtained result.
The rest of the paper is organized as follows. In Section 2, we introduce the model and some preliminaries. The main result and its proof will be presented in Section 3. An illustrative example is provided in Section 4. Conclusions are drawn in Section 5.
Notation 1.
Throughout this paper, we use the following notations. Let ( Ω , F , { F t } t 0 , P ) be a complete probability space with a natural filtration { F t } t 0 satisfying the usual condition (i.e., it is right continuous, and F 0 contains all P -null sets). For r > 0 , the symbol P C ( [ r , 0 ] , R n ) denotes the family of piecewise right continuous function φ from [ r , 0 ] to R n with the norm φ = sup r u 0 | φ ( u ) | . We use P L F 0 p ( [ r , 0 ] , R n ) to denote the family of all F 0 -measurable, P C ( [ r , 0 ] , R n ) -valued random variables satisfying sup r u 0 E | φ ( u ) | p < . We use E [ · ] to denote the correspondent expectation operator with respect to the probability measure P . Let B t = B ( t ) = ( B 1 ( t ) , B 2 ( t ) , , B m ( t ) ) T be an m-dimensional Brownian motion defined on a complete probability space.

2. Preliminaries

Let τ ( t ) be a right-continuous Markov chain on the probability space ( Ω , F , P ) taking values in a finite state space S = { r 1 , r 2 , , r m } with generator Q = ( q i j ) m × m given by:
P ( τ ( t + Δ t ) = r j | τ ( t ) = r i ) = q i j Δ t + o ( Δ t ) i f i j 1 + q i i Δ t + o ( Δ t ) i f i = j
where Δ t > 0 . Here, q i j 0 is the transition rate from r i to r j if r i r j , while q i i = j i q i j = q i . Define ξ 0 = 0 , ξ k = inf { t > ξ k 1 ; τ ( t ) τ ( ξ k 1 ) } and r ( n ) = τ ( ξ n ) . From Markov chain theory, we know that { r ( n ) , n Z } is a Markov chain (called the embedded chain of τ ( t ) ). Its transition probability is r i j ( 1 ) = ( 1 δ i j ) q i j q i , where δ i j = 1 if i = j , and δ i j = 0 if i j . We use R = ( R i j ) to denote the transition probability matrix of embedded chain { r ( n ) , n Z } . In this paper, we assume that the Markov chain { τ ( t ) , t 0 } is independent of the Brownian motion { B ( t ) , t 0 } . For the sake of simplicity, we denote q i q r i . We denote λ = max { q i , i S } , v = max i { 1 q i λ , i S } and q = max i , j q i j .
Assumption 1.
In this paper, we always assume that v , q a n d λ satisfy v q λ .
We will consider the following impulsive stochastic delay differential equation with Markovian switched delay effects:
d x ( t ) = f ( t , x ( t τ ( t ) ) , x ( t ) ) d t + g ( t , x ( t τ ( t ) ) , x ( t ) ) d B t , t t k , x ( t k ) = I k ( t k τ ( t k ) , x ( t k τ ( t k ) ) ) , k = 1 , 2 , , t = t k , x 0 = φ ,
where φ = { φ ( u ) : u [ r , 0 ] } P L F 0 p ( [ r , 0 ] , R n ) , f : R + × R n × R n R n and g : R + × R n × R n R n × m are all Borel measurable. r = max { r 1 , r 2 , , r m } . x ( t k ) and x ( t k + ) denote the left and right limits at t k , respectively. Here, the impulse instants { t k } k = 1 are all deterministic. Δ x ( t k ) = x ( t k ) x ( t k ) , i.e., x ( t ) is right-continuous at the impulse moment. We assume f, g and I k satisfy the Lips conditions and the linear growth condition (see also [44]) in order to guarantee the existence and uniqueness of solutions x ( t ) for system (1). We also assume that f ( t , 0 , 0 ) = 0 , g ( t , 0 , 0 ) = 0 and I k ( t , 0 ) = 0 for all k = 1 , 2 , , which implies that the trivial solution of system (1) exists.
Now, we will provide a real example to show the usefulness of the model (1).
Example 1
(Electronic control systems). On the road, if the vehicle flow reaches A, the red light is on. If the vehicle flow is below A, the green light is on. We define a two states of Markov chains { τ ( t ) , t 0 } with generator:
Q = q 11 q 12 q 21 q 22 ,
{ t h e v e h i c l e f l o w e x c e e d A } = { t h e r e d l i g h t i s o n } = { τ ( t ) = r 1 } . { t h e v e h i c l e f l o w n o t e x c e e d A } = { t h e g r e e n l i g h t i s o n } = { τ ( t ) = r 2 } . The red light or green light sign will transfer to the electronic control system. For different sign lights, the sign transport delay is different. Moreover, the electronic control system is perturbed by noise, and the impulsive sign emerge in some determined instants. If the red light (or green light) is on, the electronic control system can be described by the following two systems, respectively:
d x ( t ) = f ( t , x ( t ) , x ( t r i ) ) d t + g ( t , x ( t ) , x ( t r i ) ) d B t , x ( t k ) = I k ( t k r i , x ( t k r i ) ) , k = 1 , 2 , , t = t k ,
where i = 1 , 2 . However, the vehicle flow is random, so the electronic control system randomly switched during above two systems, and the switching law is governed by the Markov chain τ ( t ) . In other words, we can describe the electronic control system by Equation (1). A natural question is how to consider its stability.
Definition 1.
The trivial solution of system (1) is said to be pth moment exponentially stable if there is a pair of positive constants C and β, such that:
E | x ( t ) | p C E φ p e β t o n t 0
for all φ P L F 0 p ( [ r , 0 ] , R n ) .
Remark 1.
When p = 2 , it is said to be mean square exponentially stable.
In order to use Lyapunov’s method, we need the following definition.
Definition 2.
The function V = V ( t , x ) : R + × R n R + belongs to class Ψ if it is continuously differentiable once in t and twice in x.
Now, we define an operator L V from R + × R n × R n to R by:
L V ( t , x ( t r i ) , x ( t ) ) = V t ( t , x ( t ) ) + V x ( t , x ( t ) ) f ( t , x ( t r i ) , x ( t ) ) + 1 2 t r a c e [ g T ( t ) V x x ( t , x ( t ) ) g ( t ) ] ,
where g ( t ) = g ( t , x ( t r i ) , x ( t ) ) , V t ( t , x ( t ) ) = V ( t , x ( t ) ) t , V x ( t , x ( t ) ) = V ( t , x ( t ) ) x 1 , V ( t , x ( t ) ) x 2 , , V ( t , x ( t ) ) x n and V x x ( t , x ( t ) ) = 2 V ( t , x ( t ) ) x i x j n × n .
Before stating our main result in this paper, we need the following two lemmas, which are useful in the proof of the main result. The first lemma can be found in any monograph on Markov chain theory (see e.g., [47]).
Lemma 1.
The transition probability P i j ( t ) of the Markov chain { τ ( t ) , t 0 } can be calculated by:
P i j ( t ) = n = 0 P ˜ i j ( n ) ( λ t ) n n ! e λ t ,
where P ˜ i j ( n ) is the i,jth component of the nth power of the matrix P ˜ , which is defined as follows:
P ˜ i j = 1 q i λ , i f j = i , q i λ R i j , i f j i .
Lemma 2.
The transition probability P i j ( t ) has the following estimate:
P i j ( t ) δ i j e λ t + n = 1 q λ q λ ( m 1 ) + 2 v n 1 ( λ t ) n n ! e λ t .
Proof. 
First, when k = 1 , from Assumption 1, we know that P ˜ i j ( 1 ) q λ . Next, we will prove that for any r i and r j and k 2 , P ˜ i j ( k ) q λ ( q λ ( m 1 ) + k k 1 v ) k 1 . If k = 2 , the conclusion is obvious. We assume that the conclusion holds for k = n 1 . Then, we have:
P ˜ i j ( n ) = s P ˜ i s ( n 1 ) P ˜ s j ( 1 ) q λ v q λ ( m 1 ) + n 1 n 2 v n 2 + ( m 1 ) q λ 2 q λ ( m 1 ) + n 1 n 2 v n 2 = q λ q λ ( m 1 ) + n 1 n 2 v n 2 q λ ( m 1 ) + v = q λ q λ ( m 1 ) + n 1 n 2 v n 1 q λ ( m 1 ) + v q λ ( m 1 ) + n 1 n 2 v q λ q λ ( m 1 ) + n 1 n 2 v n 1 q λ q λ ( m 1 ) + n n 1 v n 1 .
Substituting the above inequality into (2), we obtain:
P i j ( t ) = n = 0 P ˜ i j ( n ) ( λ t ) n n ! e λ t = P ˜ i j ( 0 ) e λ t + n = 1 P ˜ i j ( n ) ( λ t ) n n ! e λ t
δ i j e λ t + q λ + n = 2 q λ q λ ( m 1 ) + n n 1 v n 1 ( λ t ) n n ! e λ t δ i j e λ t + n = 1 q λ q λ ( m 1 ) + 2 v n 1 ( λ t ) n n ! e λ t .

3. Main Results

In this section, we will use the Markov chain theory, stochastic analysis theory and Lyapunov’s method to obtain a criterion for pth moment exponential stability of system (1).
Theorem 1.
Let q , m , v , λ , γ , c , c 1 , c 2 , p , θ , ρ , β , M c 2 c 1 e ( γ + λ 2 v λ θ q ( m 1 ) ) r 1 be all positive numbers. If there exists a function V Ψ such that the following conditions hold:
(1) For all x R n :
c 1 | x | p V ( t , x ) c 2 | x | p ,
(2) For all k N :
E V ( t k , x ( t k ) ) ρ E V ( t k τ ( t k ) , x ( t k τ ( t k ) ) ) ,
(3) For all k N and t [ t k 1 , t k ) :
max i S e λ δ E L V ( t , x ( t r i ) , x ( t ) ) + j = 1 m e ( q ( m 1 ) + 2 v λ ) η 1 m 1 + 2 v λ q e λ δ E L V ( t , x ( t r j ) , x ( t ) ) c E V ( t , x ( t ) )
if E V ( t + u , x ( t + u ) ) β E V ( t , x ( t ) ) for all u [ r , 0 ] and β M e ( γ + λ 2 v λ θ q ( m 1 ) ) r , where η = max k { t k t k 1 } < and δ = min k { t k t k 1 } > 0 .
(4) θ + q ( m 1 ) + 2 v λ λ γ < 0 ,
(5) ρ sup i e ( θ + q ( m 1 ) + 2 v λ λ γ ) r i ρ i = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r i m 1 + 2 v λ q e ( λ q ( m 1 ) 2 v λ ) η ,
(6) log c 1 c 2 + [ c + λ + γ 2 v λ θ q ( m 1 ) ] η < [ λ + γ 2 v λ θ q ( m 1 ) ] r .
Then, system (1) is p-moment exponentially stable.
Proof. 
First, we assume that E φ p 0 . We will prove that for any k and t [ t k , t k + 1 ) :
E V ( t , x ( t ) ) c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t .
Now, we will check that (3) holds for k = 0 . If (3) is not true, then there exists t [ 0 , t 1 ) , s.t. E V ( t , x ( t ) ) > c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t . Let:
t * = inf { t [ 0 , t 1 ) : E V ( t , x ( t ) ) > c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t }
and
t * * = sup { t [ r , t * ] : E V ( t , x ( t ) ) c 1 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t + r ) } .
Then, for any t [ t * * , t * ] and u [ r , 0 ] :
e ( γ + λ 2 v λ θ q ( m 1 ) ) ( t + u ) E V ( t + u , x ( t + u ) ) c 2 E φ p c 1 M e ( γ + λ 2 v λ θ q ( m 1 ) ) r E φ p = M e ( γ + λ 2 v λ θ q ( m 1 ) ) t * * E V ( t * * , x ( t * * ) ) M e ( γ + λ 2 v λ θ q ( m 1 ) ) t E V ( t , x ( t ) ) ,
which implies that for all u [ r , 0 ] :
E V ( t + u , x ( t + u ) ) M e ( γ + λ 2 v λ θ q ( m 1 ) ) r E V ( t , x ( t ) ) β E V ( t , x ( t ) ) .
By condition (3), we obtain:
E L V ( t , x ( t τ ( t ) ) , x ( t ) ) = j = 1 m P ( τ ( t ) = r j ) E L V ( t , x ( t r j ) , x ( t ) ) = i = 1 m j = 1 m P ( τ ( 0 ) = r i ) P i j ( t ) E L V ( t , x ( t r j ) , x ( t ) ) i = 1 m j = 1 m P ( τ ( 0 ) = r i ) δ i j e λ t + n = 1 q λ q λ ( m 1 ) + 2 v n 1 ( λ t ) n n ! e λ t E L V ( t , x ( t r j ) , x ( t ) ) = i = 1 m P ( τ ( 0 ) = r i ) e λ t E L V ( t , x ( t r i ) , x ( t ) ) + j = 1 m e ( q ( m 1 ) + 2 v λ ) t 1 m 1 + 2 v λ q e λ t E L V ( t , x ( t r j ) , x ( t ) ) i = 1 m P ( τ ( 0 ) = r i ) e λ δ E L V ( t , x ( t r i ) , x ( t ) ) + j = 1 m e ( q ( m 1 ) + 2 v λ ) η 1 m 1 + 2 v λ q e λ δ E L V ( t , x ( t r j ) , x ( t ) ) c E V ( t , x ( t ) ) .
Using It o ^ ’s formula and the standard stopping time technique, we derive:
E V ( t * , x ( t * ) ) E V ( t * * , x ( t * * ) ) e c ( t * t * * ) = e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 E φ p e c t * e ( γ + λ 2 v λ θ q ( m 1 ) + c ) t * * e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 E φ p e ( c + γ + λ 2 v λ θ q ( m 1 ) ) t * e ( θ + q ( m 1 ) + 2 v λ λ γ ) t * e ( c + γ + λ 2 v λ θ q ( m 1 ) ) η e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t * = e ( c + γ + λ 2 v λ θ q ( m 1 ) ) η e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 c 2 E V ( t * , x ( t * ) ) .
Noting that E φ p 0 , so E V ( t * , x ( t * ) ) 0 . This implies
1 c 1 c 2 e ( c + γ + λ 2 v λ θ q ( m 1 ) ) η e ( γ + λ 2 v λ θ q ( m 1 ) ) r ,
which contradict condition (6). So, (3) holds for k = 0 .
Assume that (3) holds for k l 1 , k N . We will use the mathematical inductive method to prove that (3) holds for k = l . To this end, we divide the proof into two steps. Firstly, we will prove that it holds for t = t l . From condition (2), we have:
E V ( t l , x ( t l ) ) ρ E V ( t l τ ( t l ) , x ( t l τ ( t l ) ) ) ρ j = 1 m E V ( t l r j , x ( t l r j ) ) P ( τ ( t l ) = r j ) ρ j = 1 m c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l r j ) P ( τ ( t l ) = r j ) = ρ j = 1 m c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j P ( τ ( t l ) = r j ) .
Using the Markov property in point t l 1 , we obtain:
E V ( t l , x ( t l ) ) ρ j = 1 m E V ( t l r i , x ( t l r j ) ) P ( τ ( t l ) = r j ) ρ j = 1 m c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j P ( τ ( t l ) = r j ) = ρ j = 1 m c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j × E ( P ( τ ( t l ) = r j ) | F t l 1 ) = ρ j = 1 m c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j × E ( P τ ( t l 1 ) j ( t l t l 1 ) ) = ρ j = 1 m c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j × i = 1 m P i j ( t l t l 1 ) P ( τ ( t l 1 ) = r i ) ,
where the symbol P τ ( t l 1 ) j ( t l t l 1 ) in the second equality denotes the transition probability from state τ ( t l 1 ) to j during time t l t l 1 . Combining Lemma 2 and condition (5), we have:
i = 1 m P ( τ ( t l 1 ) = r i ) ( j = 1 m ρ c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) × e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 P i j ( t l t l 1 ) ) i = 1 m P ( τ ( t l 1 ) = r i ) [ ρ c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) × e ( θ + q ( m 1 ) + 2 v λ λ γ ) r i e λ ( t l t l 1 ) + ( j = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j ρ c 2 E φ p × e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) × n = 1 q λ q λ ( m 1 ) + 2 v n 1 ( λ ( t l t l 1 ) ) n n ! e λ ( t l t l 1 ) ) ] i = 1 m P ( τ ( t l 1 ) = r i ) [ ρ c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) × e λ ( t l t l 1 ) j = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j m 1 + 2 v λ q + ( ρ c 2 E φ p j = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) × n = 1 q λ q λ ( m 1 ) + 2 v n 1 ( λ ( t l t l 1 ) ) n n ! e λ ( t l t l 1 ) ) ] = i = 1 m P ( τ ( t l 1 ) = r i ) [ ρ c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) × j = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j n = 0 q λ q λ ( m 1 ) + 2 v n 1 ( λ ( t k t k 1 ) ) n n ! e λ ( t k t k 1 ) ] = e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) ρ c 2 E φ p j = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j m 1 + 2 v λ q × e ( q ( m 1 ) + 2 v λ λ ) ( t l t l 1 ) e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) ρ c 2 E φ p j = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r j m 1 + 2 v λ q × e ( q ( m 1 ) + 2 v λ λ ) η c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l 1 e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t l t l 1 ) = c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t l .
This implies that (3) is satisfied for t = t l . Next, we will prove that (3) holds for t ( t l , t l + 1 ) . If (3) is not true, then there exists t ( t l , t l + 1 ) , s.t. E V ( t , x ( t ) ) > c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t . Let:
t * = inf { t [ t l , t l + 1 ) : E V ( t , x ( t ) ) > c 2 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t }
and
t * * = sup { t ( t l , t * ] : E V ( t , x ( t ) ) c 1 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) ( t + r ) } .
Then, for any t [ t * * , t * ] and u [ r , 0 ] , we obtain:
e ( γ + λ 2 v λ θ q ( m 1 ) ) ( t + u ) E V ( t + u , x ( t + u ) ) c 2 E φ p < c 1 M e ( γ + λ 2 v λ θ q ( m 1 ) ) r E φ p = M e ( γ + λ 2 v λ θ q ( m 1 ) ) t * * E V ( t * * , x ( t * * ) ) M e ( γ + λ 2 v λ θ q ( m 1 ) ) t E V ( t , x ( t ) ) ,
which implies that for all u [ r , 0 ] :
E V ( t + u , x ( t + u ) ) M e ( γ + λ 2 v λ θ q ( m 1 ) ) r E V ( t , x ( t ) ) β E V ( t , x ( t ) ) .
By condition (3), we obtain:
E L V ( t , x ( t τ ( t ) ) , x ( t ) ) = j = 1 m P ( τ ( t ) = r j ) E L V ( t , x ( t r j ) , x ( t ) ) = i = 1 m j = 1 m P ( τ ( t l ) = r i ) P i j ( t t l ) E L V ( t , x ( t r j ) , x ( t ) ) i = 1 m j = 1 m P ( τ ( t l ) = r i ) δ i j e λ ( t t l ) + n = 1 q λ q λ ( m 1 ) + 2 v n 1 ( λ ( t t l ) ) n n ! e λ ( t t l ) × E L V ( t , x ( t r j ) , x ( t ) ) = i = 1 m P ( τ ( t l ) = r i ) [ e λ ( t t l ) E L V ( t , x ( t r i ) , x ( t ) ) + j = 1 m e ( q ( m 1 ) + 2 v λ ) ( t t l ) 1 m 1 + 2 v λ q e λ ( t t l ) × E L V ( t , x ( t r j ) , x ( t ) ) ] i = 1 m P ( τ ( t l ) = r i ) e λ δ E L V ( t , x ( t r i ) , x ( t ) ) + j = 1 m e ( q ( m 1 ) + 2 v λ ) η 1 m 1 + 2 v λ q e λ δ E L V ( t , x ( t r j ) , x ( t ) ) c E V ( t , x ( t ) ) .
For any t [ t * * , t * ] , it follows that:
E V ( t * , x ( t * ) ) E V ( t * * , x ( t * * ) ) e c ( t * t * * ) = e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 E φ p e c t * e ( γ + λ 2 v λ θ q ( m 1 ) + c ) t * * e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 E φ p e ( c + γ + λ 2 v λ θ q ( m 1 ) ) t * e ( θ + q ( m 1 ) + 2 v λ λ γ ) t * e ( c + γ + λ 2 v λ θ q ( m 1 ) ) η e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t * = e ( c + γ + λ 2 v λ θ q ( m 1 ) ) η e ( γ + λ 2 v λ θ q ( m 1 ) ) r c 1 c 2 E V ( t * , x ( t * ) ) .
This is a contradiction to condition (6). So, (3) holds for t ( t l , t l + 1 ) . In other words, we have proved that (3) holds for any k and t [ t k , t k + 1 ) . According to condition (1), we have:
E | x ( t ) | p c 2 c 1 E φ p e ( θ + q ( m 1 ) + 2 v λ λ γ ) t ,
which verifies that system (1) is pth moment exponentially stable. □
Remark 2.
The model we consider here combines the characteristics of the continuous-time systems and discrete-time systems. So, the stability analysis of such systems is more complex than the case of the pure continuous time-systems and discrete-time systems. In the proof of Theorem 1, the key step is to estimate the transition probability of Markov chain τ ( t ) . Here, we have applied some classic results in the Markov chain theory. In order to overcome the difficulties that arise from the discrete-time systems, we have used the Markov property of τ ( t ) . The technique applied here is new, and it is different from those methods used in the existing literature.
Remark 3.
According to Theorem 1, we can see that if a certain subsystem is unstable, and then the switched system remains stable. In fact, from the statement of Theorem 1, we can see that if the parameters (the size of delay, the altitude of impulsive control gain, the impulsive times interval) of every subsystem are given, we can control the parameters q, v and λ in order to ensure the stability of the switched system.

4. An Example

In this section, we will consider an example to illustrate the validity of our result.
Example 2.
Consider the following 2D stochastic neural network:
d x ( t ) = [ A x ( t ) + B x ( t τ ( t ) ) ] d t + D f ( x ( t τ ( t ) ) ) d W ( t ) Δ x ( t k ) = 0.35 x ( t k τ ( t k ) ) , t = t k , k = 1 , 2 , x 0 = φ ( u ) = [ 0.015 , 0.02 ] T , u [ 0.5 , 0 ] ,
where
A = 0.02 0 0 0.02 , B = 0.015 0.001 0.002 0.025 , D = 0.02 0 0 0.03
where δ = η = t k t k 1 = 0.2 . f ( · ) = tanh ( · ) . The Markov process { τ ( t ) , t 0 } takes values in S = { 0.3 , 0.5 } with generator:
Q = 0.4 0.4 0.3 0.3 .
Now, we assert that system (4) is mean square stable. Obviously, λ = 0.4 , q = 0.4 , v = 0.25 . Taking V ( t , x ( t ) ) = | x ( t ) | 2 , then condition (1) of Theorem 1 holds for p = 2 , c 1 = c 2 = 1 . Let γ = 0.4 and θ = 0.1 . From a direct computation, it follows that ρ = 0.422 . Using It o ^ ’s formula, we have:
E L V ( t , x ( t r i ) , x ( t ) ) = 0.04 E | x ( t ) | 2 + 0.025 E | x ( t ) | 2 + 0.025 E | x ( t r i ) | 2 + 0.0009 E | x ( t r i ) | 2 0.065 E | x ( t ) | 2 + ( 0.026 × 1.1 ) E | x ( t ) | 2 = 0.0936 E | x ( t ) | 2 ,
c = 0.0936 [ e λ δ + m m 1 + 2 v λ q ( e ( q ( m 1 ) + 2 v λ ) δ 1 ) e λ δ ] = 0.1 . Thus, conditions (1)–(3) are satisfied.
Next, we turn to check that conditions (4)–(6) hold. In fact, θ + q ( m 1 ) + 2 v λ λ γ = 0.1 < 0 . sup i e ( θ + q ( m 1 ) + 2 v λ λ γ ) r i = e 0.05 = 1.05 < i = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r i m 1 + 2 v λ q = e 0.03 + e 0.05 1.5 = 1.38 , ρ i = 1 m e ( θ + q ( m 1 ) + 2 v λ λ γ ) r i m 1 + 2 v λ q = 0.422 × e 0.03 + e 0.05 1.5 = 0.422 × 1.38 = 0.59 < e 0.2 × 0.2 = 0.96 . ( c + λ + γ θ 2 v λ q ( m 1 ) ) δ = 0.04 < ( λ + γ θ 2 v λ q ( m 1 ) ) r = 0.05 . That is, all the conditions of Theorem 1 hold. Therefore, from Theorem 1, we see that the neural network (4) is mean square exponentially stable.

5. Conclusions

In this paper, we have investigated the pth moment exponential stability of impulsive stochastic functional differential equations with Markovian switched delay effects. By using stochastic process theory, stochastic analysis theory, Razumikin technology and the Lyaponov method, a novel sufficient condition is obtained. Different from the previous literature, the model that we study is new and more complex. Moreover, an example is provided to show the efficiency of our result. In addition, it maybe more reasonable that if the impulse instants { t k } k = 1 are random variables, and how to consider the stability is more challenging. In the future, we will consider this question.

Funding

This work was jointly supported by the National Natural Science Foundation of China (62103172, 12126331), and the Natural Science Foundation of Jiangsu Province(BK20191033).

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Mao, X. Stability of stochastic differential equations with Markovian switching. Stoch. Process. Appl. 1999, 79, 45–67. [Google Scholar] [CrossRef] [Green Version]
  2. Mao, X. Stability of stochastic functional differential equations with Markovian switching. Funct. Differ. Equ. 1999, 6, 375–396. [Google Scholar]
  3. Mao, X. Exponential stability of stochastic delay interval systems with Markovian switching. IEEE Trans. Autom. Control 2002, 47, 1604–1612. [Google Scholar]
  4. Huang, L.; Mao, X. Stability of singular stochastic systems with Markovian switching. IEEE Trans. Autom. Control 2011, 56, 424–429. [Google Scholar] [CrossRef]
  5. Du, N.; Dang, N.; Dieu, N. On stability in distribution of stochastic differential delay equations with Markovian switching. Syst. Control Lett. 2014, 65, 43–49. [Google Scholar] [CrossRef]
  6. Wang, B.; Zhu, Q. Stability analysis of Markov switched stochastic differential equations with both stable and unstable subsystems. Syst. Control Lett. 2017, 105, 55–61. [Google Scholar] [CrossRef]
  7. Zhu, F.; Han, Z.; Zheng, J. Stability analysis of stochastic differential equations with Markovian switching. Syst. Control Lett. 2012, 61, 1209–1214. [Google Scholar] [CrossRef]
  8. Yan, Z.; Zhang, W.; Zhang, G. Finite-time stability and stabilization of Ito stochastic systems with Markovian switching: Mode-dependent parameter approach. IEEE Trans. Autom. Control 2015, 60, 2428–2433. [Google Scholar] [CrossRef]
  9. Aberkane, S. Stochastic stabilization of a class of nonhomogeneous Markovian jump linear systems. Syst. Control Lett. 2011, 60, 156–160. [Google Scholar] [CrossRef]
  10. Benjelloun, K.; Boukas, E. Mean square stochastic stability of linear time-daley system with Markovian jumping parameters. IEEE Trans. Autom. Control 1998, 43, 1456–1460. [Google Scholar] [CrossRef]
  11. Bolzern, P.; Colaneri, P.; Nicolao, D. Markov jump linear systems with switching transition rate: Mean square stability with dwell time. Automatica 2010, 46, 1081–1088. [Google Scholar] [CrossRef]
  12. Fragoso, M.; Costa, O. A unified approach for stochastic and mean square stability of continuous-time linear systems with Markovian jumping parameters and additive disturbances. SIAM J. Control Optim. 2005, 44, 1165–1191. [Google Scholar] [CrossRef]
  13. Ugrinovskii, V.; Pota, H. Decentralized control of power systems via robust control of uncertain Markov jump parameter systems. Int. J. Control 2005, 78, 662–677. [Google Scholar] [CrossRef]
  14. Wang, G.; Xu, L. Almost sure stability and stabilization of Markovian jump systems with stochastic switching. IEEE Trans. Autom. Control 2022, 67, 1529–1536. [Google Scholar] [CrossRef]
  15. Antunes, D.; Hespanha, J.; Silvestre, C. Stochastic hybrid systems with renewal transitions: Moment analysis with application to networked control systems with delays. SIAM J. Control Optim. 2013, 51, 1481–1499. [Google Scholar] [CrossRef] [Green Version]
  16. Cetinkaya, A.; Ishii, H.; Hayakawa, T. Analysis of stochastic switched systems with application to networked control under jamming attacks. IEEE Trans. Autom. Control 2019, 64, 2013–2028. [Google Scholar] [CrossRef] [Green Version]
  17. Filipovic, V. Exponential stability of stochastic switched systems. Trans. Inst. Meas. Control 2009, 31, 205–212. [Google Scholar] [CrossRef]
  18. Schioler, H.; Simonsen, M.; Leth, J. Stochastic stability of systems with semi-Markovian switching. Automatica 2014, 50, 2961–2964. [Google Scholar] [CrossRef]
  19. Wang, B.; Zhu, Q. Stability analysis of semi-Markov switched stochastic systems. Automatica 2018, 94, 72–80. [Google Scholar] [CrossRef]
  20. Mu, X.; Hu, Z. Stability analysis for semi-Markovian switched singular stochastic systems. Automatica 2020, 118, 109014. [Google Scholar] [CrossRef]
  21. Luo, W.; Liu, X.; Yang, J. Stability of stochastic functional differential systems with semi-Markovian switching and Levy noise and its application. Int. J. Control Autom. 2020, 18, 708–718. [Google Scholar] [CrossRef]
  22. Caraballo, T.; Mchiri, L.; Mohsen, B.; Rhaima, M. pth moment exponential stability of neutral stochastic pantograph differential equations with Markovian switching. Commun. Nonlinear Sci. Numer. Simulat. 2021, 102, 105916. [Google Scholar] [CrossRef]
  23. Hespanha, J.; Morse, A. Stability of switched systems with average dwell time. In Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, AZ, USA, 7–10 December 1999; pp. 2655–2660. [Google Scholar]
  24. Xiong, J.; Lam, J.; Shu, Z.; Mao, X. Stability analysis of continuous-time switched systems with a random switching signal. IEEE Trans. Autom. Control 2014, 59, 180–186. [Google Scholar] [CrossRef] [Green Version]
  25. Mao, X.; Yuan, C. Stochastic Differential Equations with Markovian Switching; Imperial College Press: London, UK, 2006. [Google Scholar]
  26. Chen, Y.; Zheng, W. Stability analysis and control for switched stochastic delayed systems. Int. J. Robust Nonlinear Control 2016, 26, 303–328. [Google Scholar] [CrossRef]
  27. Chen, H.; Shi, P.; Lim, C. Stability of neutral stochastic switched time delay systems: An average dwell time approach. Int. J. Robust Nonlinear Control 2017, 27, 512–532. [Google Scholar] [CrossRef]
  28. Meng, X.; Lam, J.; Gao, H. Network-based H control for stochastic systems. Int. J. Robust Nonlinear Control 2009, 19, 295–312. [Google Scholar] [CrossRef]
  29. Zhou, Q.; Shi, P. A new approach to network-based H control for stochastic systems. Int. J. Robust Nonlinear Control 2012, 22, 1036–1059. [Google Scholar] [CrossRef]
  30. Wu, Z.; Cui, M.; Shi, P.; Karimi, H. Stability of stochastic nonlinear systems with state-dependent switching. IEEE Trans. Autom. Control 2013, 58, 1904–1918. [Google Scholar] [CrossRef]
  31. Zhao, X.; Peng, S.; Yin, Y.; Nguang, S. New results on stability of slowly switched systems: A multiple discontinuous Lyapunov function approach. IEEE Trans. Autom. Control 2017, 62, 3502–3509. [Google Scholar] [CrossRef]
  32. Chatterjee, D.; Liberzon, D. Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions. SIAM J. Control Optim. 2006, 45, 174–206. [Google Scholar] [CrossRef]
  33. Peng, S.; Zhang, Y. Some new criteria on pth moment stability of stochastic functional differential equations with Markovian switching. IEEE Trans. Autom. Control 2010, 55, 2886–2890. [Google Scholar] [CrossRef]
  34. Huang, L.; Mao, X. On input-to-state stability of stochastic retarded systems with Markovian switching. IEEE Trans. Autom. Control 2009, 54, 1898–1902. [Google Scholar] [CrossRef] [Green Version]
  35. Yue, D.; Han, Q. Delay-dependent exponential stability of stochastic systems with time-varying delay nonlinearity and Markovian switching. IEEE Trans. Autom. Control 2005, 50, 217–222. [Google Scholar]
  36. Ding, K.; Zhu, Q. Extended dissipative anti-disturbance control for delayed switched singular semi-Markovian jump systems with multi-disturbance via disturbance observer. Automatica 2021, 128, 109556. [Google Scholar] [CrossRef]
  37. Teel, A.; Subbaraman, A.; Sferlazza, A. Stability analysis for stochastic hybrid systems: A survey. Automatica 2014, 50, 2435–2456. [Google Scholar] [CrossRef]
  38. Wu, F.; Yin, G.; Wang, L. Moment exponential stability of random delay systems with two-time-scale Markovian switching. Nonlinear Anal. RWA 2012, 13, 2476–2490. [Google Scholar] [CrossRef]
  39. Vinodkumar, A.; Senthilkumar, T.; Hariharan, S.; Alzabut, J. Exponential stabilization of fixed and random time impulsive delay differential system with applications. Math. Biosci. Eng. 2012, 13, 2476–2490. [Google Scholar] [CrossRef]
  40. Rengamannar, K.; Balakrishnan, G.; Palanisamy, M.; Niezabitowski, M. Exponential stability of non-linear stochastic delay differential system with generalized delay-dependent impulsive points. Appl. Math. Comput. 2012, 13, 2476–2490. [Google Scholar] [CrossRef]
  41. Rengamannar, K.; Palanisamy, M. Exponential stability of non-linear neutral stochastic delay differential system with generalized delay-dependent impulsive points. J. Franklin Inst. 2021, 358, 5014–5038. [Google Scholar]
  42. Chandrasekar, A.; Rakkiyappan, R. Impulsive controller design for exponential synchronization of delayed stochastic memristor-based recurrent neural networks. Neurocomputing 2016, 173, 1348–1355. [Google Scholar] [CrossRef]
  43. Hu, L.; Ren, Y.; Sakthivel, R. Stability of square-mean almost automorphic mild solutions to impulsive stochastic differential equations driven by G-Brownian motion. Int. J. Control 2020, 93, 3016–3025. [Google Scholar] [CrossRef]
  44. Peng, S.; Deng, F. New criteria on pth moment input-to-state stability of impulsive stochastic delayed differential systems. IEEE Trans. Autom. Control 2017, 62, 3573–3579. [Google Scholar] [CrossRef]
  45. Hu, W.; Zhu, Q.; Karimi, H. Some improved Razumikhin stability criteria for impulsive stochastic delay differential systems. IEEE Trans. Autom. Control 2019, 64, 5207–5213. [Google Scholar] [CrossRef]
  46. Hu, W.; Zhu, Q. Stability criteria for impulsive stochastic functional differential systems with distributed-delay dependent impulsive effects. IEEE Trans. Syst. Man. Cybern. Syst. 2021, 51, 2027–2032. [Google Scholar] [CrossRef]
  47. Ross, S. Stochastic Processes; John Wiley & Sons: New York, NY, USA, 1996. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Hu, W. Stability of Impulsive Stochastic Delay Systems with Markovian Switched Delay Effects. Mathematics 2022, 10, 1110. https://doi.org/10.3390/math10071110

AMA Style

Hu W. Stability of Impulsive Stochastic Delay Systems with Markovian Switched Delay Effects. Mathematics. 2022; 10(7):1110. https://doi.org/10.3390/math10071110

Chicago/Turabian Style

Hu, Wei. 2022. "Stability of Impulsive Stochastic Delay Systems with Markovian Switched Delay Effects" Mathematics 10, no. 7: 1110. https://doi.org/10.3390/math10071110

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop