New results for exponential stability in probability of a composite stochastic control system are established. The main results of this paper enable us to derive sufficient conditions for exponential stability in r-th mean and almost sure exponential stability in probability of composite stochastic control system. Two numerical examples are given to illustrate the results.
1. Introduction
The aim of this paper is to study the exponential stability in probability in r-th mean (rESP) and almost sure exponential stability in probability (asESP) of a composite stochastic control system (CSCS)
(1)dx=(f(x)+g(x,υ)Dυ)dt+(h(x)+q(x,υ)Dυ)dwt,dυ=F(υ,u)dt+G(υ,u)dβt,
where x∈Rn, υ∈Rr, and u is an Rp-valued measurable control law.
We consider the composite system (1) and introduce two subsystems
(2)dx=f(x)dt+h(x)dwt,dυ=F(υ,u)dt+G(υ,u)dβt,
and we use the converse Lyapunov theorems established by Khasminiskii [1] and Spiliotis and Tsinias [2] to the concept of stochastic control Lyapunov function and extend the stabilization results proved by Spiliotis and Tsinias [2] for stochastic control systems (SCSs) to the larger class of CSCS (1) driven by two independent Wiener processes that have been considered in Florchinger [3], Boulanger [4], and Rusinek [5]. Sufficient conditions for rESP of stochastic systems (2) that guarantee rESP of CSCS (1) are derived, and we also establish sufficient conditions for asESP of CSCS (1).
In recent years, the stablizability of various types of stochastic systems has been studied for different concepts of stochastic stability (see, for instance, [1–17]). The global asymptotic stability in probability of stochastic systems by means of strict and output feedback laws has been considered by Krstic and Deng [6] and Deng and Krstic [8], where backstepping design procedure is proposed for stochastic systems. Tsinias [7] extended the input-to-state stability results of Sontag and Wang [18] in deterministic case and obtained exponential input-to-state stability in probability for stochastic system and derived sufficient conditions for global stabilization of this system by means of static and dynamic output feedback. Caraballo and Liu [9] developed some criteria for the almost sure and mean square exponential stability in probability of nonlinear stochastic equations of monotone type. Spiliotis and Tsinias [2] derived control Lyapunov function and established rESP and asESP of stochastic differential systems. The asymptotic and exponential stability of stochastic differential systems (SDSs) has been studied by Mao [10], Liu and Raffool [11], Lan and Dang [12], Luo [13], Abedi et al. [14], Abedi and Leong [15], Khasminiskii [1], and Kushner [16]. Michel [17] established asymptotic and exponential stability in probability for some classes of continuous and discrete-parameter stochastic composite systems. Later, Florchinger [3] and Boulanger [4] developed sufficient conditions for asymptotic stability in probability and exponential stability in mean square for a special case of our CSCS (1). The sufficient conditions for exponential stability in probability of nonlinear stochastic systems and special case of our CSCS (1) have been derived by Rusinek [5].
The structure of the paper is as follows. In Section 2, we introduce a class of CSCS and we also recall some basic definitions and results concerning rESP and asESP property. In Section 3, we state and prove the main results of the paper. Finally in Section 4, we give two numerical examples illustrating our results.
2. Fundamental Definitions and Results
In this section, we introduce the class of stochastic systems and recall some definitions and results concerning exponential stability in probability of these systems. For a complete presentation of exponential stability, we refer the reader to the book of Khasminiskii [1] and the paper of Spiliotis and Tsinias [2].
Let (Ω,F,P) be a complete probability space and denote by (wt)t≥0 a standard Rm-valued Wiener process defined on this space.
We consider the SDS
(3)dx=f(x)dt+h(x)dwt,
where the following conditions hold:
xis given in Rn,
f:Rn→Rn and h:Rn→Rn×m are Lipschitz functionals in Rn with f(0)=0,h(0)=0, and there exists a constant C≥0 such that the following growth condition holds:
(4)|f(x)-f(y)|+|h(x)-h(y)|≤C|x-y|,
for any x∈Rn.
Under restriction on growth (4), for any x∈Rn, that guarantees existence and uniqueness of solution x(t)=x(t,t0,x0) for (3) starting from x0 at time t0, we recall the following definition of exponential stability in mean square and a converse Lyapunov theorem given by Khasminskii [1] as follows.
Definition 1.
The origin of the SDS (3) is exponentially stable in probability in mean square if, and only if, there exist constants c1,c2>0 such that
(5)E(|xt(t,t0,x)|2)≤c1|x|2e-c2(t-t0),
for any x∈Rn, and t≥t0.
Theorem 2.
Suppose that the origin of the SDS (3) is exponentially stable in probability in mean square. Then, there exists a Lyapunov function Φ defined on Rn(Φ∈C2(Rn,R+)) and positive constants ai,1≤i≤5, such that
(6)a1|x|2≤Φ(x)≤a2|x|2,|∇Φ(x)|≤a3|x|,|∇2Φ(x)|≤a4,DΦ(x)=∑i=1nfi(x)∂Φ(x)∂xi+12∑i,j=1n∑k=1mhkihkj∂2Φ(x)∂xi∂xj≤-a5|x|2,
where D is the infinitesimal generator for the stochastic process solution of the SDS (3).
Let us denote by (βt)t≥0 a standard Rq-valued Wiener process defined on (Ω,F,P).
Now, we consider the SCS
(7)dυ=F(υ,u)dt+G(υ,u)dβt,
where
u is an Rp-valued measurable control law,
F and G are Lipschitz functionals mapping of Rr×Rp into Rr and Rr×Rq, respectively, such that F(0,0)=G(0,0)=0, and there exists constant C≥0 such that for any υ∈Rr and u∈Rp the following growth condition holds:
(8)|F(υ,u)|+|G(υ,u)|≤C(1+|υ|+|u|).
Under restriction on growth (8) (see for instance Arnold [19]), for every input u∈Rp,υ0∈Rr, and t0∈R, there exists a unique solution V(t,t0,υ0,u) of (7) starting from υ0 at time t=t0 which is defined for all t≥t0 and almost all β∈Ω. For simplicity let V(t)=V(t,t0,υ,u), and we recall the following definition of rESP, asESP, and a converse Lyapunov theorem established by Spiliotis and Tsinias [2] as follows.
Definition 3.
The origin of the SCS (7) is rESP for some r>0 if, and only if, there exist constants c1,c2>0 such that
(9)E(|V(t)|r)≤c1|υ|re-c2(t-t0),
for any υ∈Rr, and t≥t0.
Definition 4.
The SCS (7) is said to satisfy the exponential Lyapunov condition if there exists a Lyapunov function Φ:Rr→R+ of class C2(Rr∖{0}) and positive constants ai,1≤i≤5, such that
(10)a1|υ|r≤Φ(υ)≤a2|υ|r,(11)|∇Φ(υ)|≤a3|υ|r-1,υ≠0,(12)|∇2Φ(υ)|≤a4|υ|r-2,υ≠0,(13)YΦ(υ)=∑i=1nF(υ,u)∂Φ(υ)∂υi+12∑i,j=1nG(υ,u)G(υ,u)T∂2Φ(υ)∂υiυj≤-a5|υ|r,
where Y is the infinitesimal generator for the stochastic process solution of the SCS (7).
Theorem 5.
Suppose that the origin of the SCS (7) is rESP. Then, there exists a Lyapunov function Φ:Rr→R+ of class C2(Rr∖{0}) which satisfies all conditions (10)–(13).
Note that Definition 3 and Theorem 5 provided in Spiliotis and Tsinias [2] are an extension of Definition 1 and Theorem 2, respectively, established in Khasminskii [1].
Definition 6.
The origin of the SCS (7) is asESP for some r>0 if, and only if, there exists a constant c>0 and a random variable 0≤Bυ,u<∞, such that
(14)|V(t)|≤Bυ,ue-c(t-t0),
for any υ∈Rr,t≥t0, and for almost all β.
We now derive the Florchinger's decomposition [20] of the functions
(15)F(υ,y)=f(υ,l(υ,y))h(υ,y),G(υ,y)=g(υ,y)h(υ,y),
and we consider the SCS (7) in the form
(16)d(υy)=(f(υ,l(υ,y))h(υ,y)u)dt+(g(υ,y)h(υ,y)0)dβt,
where l is a function mapping Rr×Rp into Rp and h is a nonnegative function mapping Rr×Rp into R. In the following theorem, we use an explicit formula of a feedback law established in [15, 20] and exhibit the rESP property for the resulting closed-loop system deduced from (7) or, equivalently, the resulting closed-loop system deduced from (16).
Theorem 7.
Let V(t)=V(t,t0,υ,y). Suppose that the SCS (7) or, equivalently, the SCS (16) satisfies the exponential Lyapunov condition, and there exists a C∞ function Γ:Rr×Rp→Rp such that for any (υ,y)∈Rr×Rp,
(17)γ(υ,y)=〈f(υ,φ(υ)),∂ϕ∂υ(υ,y)〉h(υ,y)+12h(υ,y)∑i,j=1m(g(υ,y)g(υ,y)T)i,j∂2ϕ(υ,y)∂υi∂υj+〈Γ(υ,y),∂ϕ∂y(υ,y)〉≤0.
Then, the feedback law
(18)k1(υ,y)=-M(υ,y)TN(υ,y)T∂W(V(t))∂υ+Γ(υ,y)-∂ϕ∂y(υ,y),
where M(υ,y)(∂ϕ/∂y)(υ,y)=(l(υ,y)-φ(υ))h(υ,y), N(υ,y)=∫01(∂F/∂u)(υ,tl(υ,y)+(1-t)φ(υ))dt,ϕ:Rr×Rp→R is a smooth and nonnegative function, W(V(t))=Φ(υ)+ϕ(υ,y), and φ(υ):Rr→Rp is a smooth function that guarantees the resulting closed-loop system deduced from (7) or, equivalently, that guarantees the resulting closed-loop system deduced from (16) is rESP.
Proof.
Suppose that there exists a positive function W(V(t)) such that the SCS (7) or, equivalently, the SCS (16) satisfies the exponential Lyapunov condition. Then from (13) we have
(19)ddtEW(V(t))=E(Y1W(V(t)))=E[∥∂ϕ∂y(υ,y)∥2D0Φ(υ)h(υ,y)+γ(υ,y)-∥∂ϕ∂y(υ,y)∥2]≤-a5E(|V(t)|r),
where D0 is the infinitesimal generator of the resulting closed-loop system deduced from (7) and Y1 is the infinitesimal generator for the stochastic process solution of the resulting closed-loop system deduced from (16) as follows:
(20)Y1W(V(t))=(∑i,j=1m〈f(υ,φ(υ)),∇Φ(υ)〉+12∑i,j=1m(g(υ,y)g(υ,y)T)i,j∂2Φ(υ)∂υi∂xj)×h(υ,y)+〈f(υ,φ(υ)),∂ϕ∂υ(υ,y)〉h(υ,y)+12h(υ,y)∑i,j=1m(g(υ,y)g(υ,y)T)i,j∂2ϕ(υ,y)∂υi∂υj+〈Γ(υ,y),∂ϕ∂y(υ,y)〉-∥∂ϕ∂y(υ,y)∥2.
The desired condition (9) is a direct consequence of inequality (10) and (19). Therefore, the resulting closed-loop system deduced from SCS (16) satisfies in rESP property at the origin.
We will now turn the attention to a general composite stochastic system and provide some results related to the rESP of this system.
Let {βt,t∈R+} be a standard Rq-valued Wiener process defined on the space (Ω,F,P) independent of the Wiener process {wt,t∈R+}.
Consider the pair of stochastic processes solution (xt,υt)∈Rn×Rr of the CSCS
(21)dx=(f(x)+g(x,υ)Dυ)dt+(h(x)+q(x,υ)Dυ)dwt,dυ=F(υ,u)dt+G(υ,u)dβt,
where
x∈Rn, υ∈Rr, and D is a matrix function with value in Mr×r(R),
f and h are functionals in C2(Rn,Rn) and C2(Rn,Rn×m), respectively, such that f(0)=0 and h(0)=0,
g:Rn×Rr→Rn×r and q:Rn×Rr→Rn×m are Lipschitz functionals mapping such that there exists a nondecreasing scalar function α(|υ|)≥0 bounded for all υ such that
(22)|g(x,υ)|+|q(x,υ)|≤α(|υ|)|x|,∀(x,υ)∈Rn×Rr,
u is an Rp-valued measurable control law,
F:Rr×Rp→Rr and G:Rr×Rp→Rr×q are Lipschitz functionals mapping vanishing at the origin, and there exists a constant C≥0 such that the following growth condition holds:
(23)|F(υ,u)|+|G(υ,u)|≤C(1+|υ|+|u|),
for any (υ,u)∈Rr×Rp.
Definition 8.
We say that an input measurable function u:Rn×Rr→Rp,u(0,0)=0 is a stabilizing feedback law for the CSCS (21) if, and only if, the origin of the resulting closed-loop system
(24)dx=(f(x)+g(x,υ)Dυ)dt+(h(x)+q(x,υ)Dυ)dwt,dυ=F(υ,u(x,υ))dt+G(υ,u(x,υ))dβt,
is rESP.
Suppose that there exists functionals F1:Rr→Rr, F2:Rr→Rr×p, G1:Rr→Rr×q, and G2:Rr→Rr×p×q such that
(25)F(υ,u)=F1(υ)+F2(υ)u,G(υ,u)=G1(υ)+G2(υ)u,(26)dυ=(F1(υ)+F2(υ)u)dt+(G1(υ)+G2(υ)u)dβt,
for any (υ,u)∈Rr×Rp. As mentioned above, we can consider the general SCS (7) into the form of (16). This form of (16) is the same as (26), which is a special case of (7). By taking into account (7), (16), and (26), the CSCS (21) is rewritten as
(27)dx=(f(x)+g(x,υ)Dυ)dt+(h(x)+q(x,υ)Dυ)dwt,dυ=(F1(υ)+F2(υ)u)dt+(G1(υ)+G2(υ)u)dβt.
In the next section, we will establish a state feedback law that guarantees the satisfaction of rESP and asESP property for CSCS (27).
3. Exponential Stability of Composite Systems
Our aims of this section are twofold. On one hand, we study the problem of finding state feedback law that guarantees that the CSCS (27) satisfies rESP property. We derive sufficient conditions for rESP of this system. On the other hand, we establish sufficient conditions for asESP of the CSCS (27).
In the following theorem, we suppose that the function g and q are bounded on Rn×Rp and U is the set of admissible control and establish a sufficient conditions for rESP property of CSCS (27). Theorem 9 is a stochastic extension of Proposition 3.1, Theorem 5.1, and Theorem 4.1 stated in Spiliotis and Tsinias [2], Florchinger [3], and Boulanger [4], respectively, to a general composite stochastic system. Both the results and the proof used in this theorem, however, are different from those in [2–4]. Furthermore, we can consider the exponential stability in mean square results of Florchinger [3] and Boulanger [4] as a special case of our rESP results (Theorem 9) where r=2.
Theorem 9.
Let V(t)=V(t,t0,x,υ). Suppose that the SDS
(28)dx=f(x)dt+h(x)dwt
satisfies rESP property, and there exists a state control law k1:Rn×Rr→Rp,
(29)k1(x,υ)=-M(x,υ)TN(x,υ)T∂W(V(t))∂x+Γ(x,υ)-∂ϕ∂υ(x,υ),
where W(V(t))=Φ2(x)+ϕ(x,υ), that guarantees that the resulting closed-loop system
(30)dυ=(F1(υ)+F2(υ)k1(x,υ))dt+(G1(υ)+G2(υ)k1(x,υ))dβt
satisfies the rESP property. Furthermore, assume that
(31)Dυ=F2(υ)T∇Φ2(υ)+∇Φ2(υ)G2(υ)T.
Then, the state control law
(32)k(x,υ)=k1(x,υ)-g(x,υ)T∇Φ1(x)-q(x,υ)T∇Φ1(x),
where Φ1 is a smooth Lyapunov function corresponding to the SCS (28), guarantees that the CSCS (27) satisfies rESP.
Proof.
Suppose that the origin of the stochastic system (28) satisfies the rESP property. Then by the converse Lyapunov Theorem 5, there exists a Lyapunov function Φ1(x) and positive constants ai,1≤i≤5, such that (10)–(12) hold and
(33)DΦ1(x)=∑i=1nfi(x)∂Φ1(x)∂xi+12∑i,j=1n∑k=1mhkihkj∂2Φ1(x)∂xi∂xj≤-a5|x|r.
On the other hand, since the origin is a rESP for the closed-loop system (30), then by converse Lyapunov Theorem 5, there exists a Lyapunov function Φ2(υ) and positive constants ai′,1≤i≤5, such that the following conditions hold:
(34)a1′|υ|r≤Φ2(υ)≤a2′|υ|r,(35)|∇Φ2(υ)|≤a3′|υ|r-1,υ≠0,(36)|∇2Φ2(υ)|≤a4′|υ|r-2,υ≠0,(37)Y2Φ2(υ,u)=∑i=1nF(υ,u)∂Φ(υ)∂υi+12∑i,j=1nG(υ,u)G(υ,u)T∂2Φ(υ)∂υiυj≤-a5′|υ|r,
where Y2 is the infinitesimal generator for the stochastic process solution of the resulting closed-loop system (30). Consider the composite function
(38)Φ(V(t))=Φ1(x)+Φ2(υ),
for any (x,υ)∈Rn×Rr. Obviously, Φ(V(t)) is a Lyapunov function. We will show that Φ(V(t)) satisfies in the exponential Lyapunov condition. A simple calculation shows that conditions (10)–(12) are satisfied. It remains to establish condition (13). Substituting k(x,υ) into the closed-loop system deduced from CSCS (27), we have
(39)dx=(f(x)+g(x,υ)Dυ)dt+(h(x)+q(x,υ)Dυ)dwt,dυ=((x,υ)TF1(υ)+F2(υ)k1(υ)-F2(υ)g(x,υ)T∇Φ1(x)-F2(υ)q(x,υ)T∇Φ1(x))dt+((x,υ)TG1(υ)+G2(υ)k1(υ)-G2(υ)g(x,υ)T∇Φ1(x)-G2(υ)q(x,υ)T∇Φ1(x))dβt.
Denoting Dυ as the infinitesimal generator of the stochastic process solution of the resulting closed-loop system (39) yields
(40)DυΦ(V(t))=DΦ1(x)+∇Φ1(x)Tg(x,υ)Dυ+∇Φ1(x)Tq(x,υ)Dυ+Y2Φ2(υ)-∇Φ1(υ)TF2(υ)g(x,υ)T∇Φ1(x)-∇Φ2(υ)TF2(υ)q(x,υ)T∇Φ1(x)-∇Φ2(υ)TG2(υ)g(x,υ)T∇Φ1(x)-∇Φ2(υ)TG2(υ)q(x,υ)T∇Φ1(x),
for any (x,υ)∈Rn×Rr. Substituting (31) into (40), we get
(41)DυΦ(V(t))=DΦ1(x)+Y2Φ2(υ).
Thus, we obtain by taking into account (33) and (37) that
(42)DυΦ(V(t))=DΦ1(x)+Y2Φ2(υ)≤-a5|x|r-a5′|υ|r.
From (42) and the above results, we have the Laypunov function Φ(V(t)) satisfies in exponential Lyapunov condition. Then, according to the Lyapounov theorem established in Spiliotis and Tsinias [2, Proposition 3.2], the origin of the CSCS (27) satisfies rESP property.
In the following theorem, we show that existence of a Lyapunov function satisfying the exponential Lyapunov condition implies rESP and asESP of the CSCS (27).
Theorem 10.
Assume that there exists a C2(Rr∖{0}) function Φ satisfying the exponential Lyapunov condition. Then,
the origin of the CSCS (27) is rESP,
the origin of the CSCS (27) is asESP.
Proof.
Part (i) Assume that there exists a positive function Φ(V(t)) such that the CSCS (27) or equivalently the CSCS (39) satisfies the exponential Lyapunov condition. Then from (13) we have
(43)ddtEΦ(V(t))=E(DυΦ(V(t)))=E(DΦ1(x)+Y2Φ2(υ))≤-a5E(|x|r)-a5′E(|υ|r),
where Φ1 and Φ2 are Lyapunov functions corresponding to the SDS (28) and SCS (30), respectively, and Dυ is the infinitesimal generator of the stochastic process solution of the resulting closed-loop system (39). The desired condition (9) is a direct consequence of inequality (10) and (43). Therefore, CSCS (27) satisfies in rESP property at the origin.
Part (ii) Suppose that there exists a positive composite function
(44)Φ(V(t))=Φ1(x)exp((a5/a2)t)+Φ2(υ)exp((a5′/a2′)t),
where Φ1 and Φ2 are Lyapunov functions corresponding to the SDS (28) and SCS (30), respectively, such that the CSCS (27) satisfies the exponential Lyapunov condition. Then, by taking into account (10)–(13), (40), (31), and (44), we obtain
(45)DυΦ(V(t))=DΦ1(x)exp((a5/a2)t)+Y2Φ2(υ)exp((a5′/a2′)t)≤0.
From (44) and (45) and Φ(V(t))≥0, we have Φt=Φ(V(t)) is a supermartingale. Therefore, for some random Bx,υ, it yields
(46)limt→∞Φ(V(t))≤Bx,υ<∞.a.s.
From (46), we have Φ(V(t))≤Kx,υ<∞ for all t≥0, almost surely, for some random Kx,υ≥Bx,υ. The latter in conjunction with (10), (43), and (44) implies (14). Thus, CSCS (27) satisfies in asESP property at the origin.
Remark 11.
Comparing the existing results in [2–8] we can make the following summaries.
Theorem 9 is a stochastic extension of Proposition 3.1, Theorem 5.1, and Theorem 4.1 stated in Spiliotis and Tsinias [2], Florchinger [3], and Boulanger [4], respectively, to a general composite stochastic system. Both the results and the proof used in this theorem, however, are different from those in [2–4]. Furthermore, we can consider the exponential stability in mean square results of Florchinger [3] and Boulanger [4] as a special case of our rESP results (Theorem 9) where r=2.
The rESP and asESP results for stochastic system proved in Spiliotis and Tsinias [2] are a special case of our rESP and asESP results for CSCS (21). In addition, the existing exponential stability results established in [2–8] do not permit us to make a conclusion about rESP and asESP for the broader class of CSCS (21) at the origin, whereas the results of this paper are still valid.
4. Applications
This section illustrates applicability of our results by designing the following two numerical examples.
Example 12.
Consider the SDS
(47)dx=-2xdt+xdwt,
where (wt)t≥0 is a standard real-valued Wiener process and x∈R. Assume that Φ(x)=x2 is a smooth Lyapunov function corresponding to the SDS (47). Then, a simple calculation shows that the SDS (47) satisfies rESP.
Next, consider the SCS
(48)dυ=2υ2udt+12υudβt,
where (βt)t≥0 is a standard real-valued Wiener process, υ∈R, and u is a real-valued measurable control law. Obviously,
(49)k1(x,υ)=-M(x,υ)TN(x,υ)T∂W(V(t))∂x+Γ(x,υ)-∂ϕ∂υ(x,υ)=-10x3-4x2υ-υ,
where ϕ(x,υ)=(1/2)(2υ+x)2, l(x,υ)=υ,h(x,υ)=1, φ(x)=-2x,Γ(x,υ)=2x, M(x,υ)=1, N(x,υ)=2x2, and
(50)W(V(t))={12[υ2+(x+2υ)2],(x,υ)≠0,0,(x,υ)=0,
renders the resulting closed-loop system
(51)dυ=2υ2k1(x,υ)dt+12υk1(x,υ)dβt,
satisfies the rESP property. Thus, according to Theorem 9, there exists the state control law
(52)k(x,υ)=k1(x,υ)-g(x,υ)T∇Φ(x)-q(x,υ)T∇Φ(x)=-10x3-4x2υ-υ-4x
that guarantees the CSCS
(53)dx=(-2x+υ)dt+(x+υ)dwt,dυ=2υ2udt+12υudβt,
where g(x,υ)=q(x,υ)=1 and D=I is the identity matrix in Mr×r(R) satisfies rESP property.
Example 13.
Consider the CSCS
(54)dx=(-2x+υ)dt+(x+υ)dwt,dυ=υdt+(5υ-5υu)dβt,
where x,υ∈R and u∈[-(1/2),(1/2)]. Consider the Lyapunov function candidate Φ(V(t))=|x|r+|υ|r, 0<r<1/5. A simple calculation shows that Φ(V(t)) satisfies the exponential Lyapunov condition. Then, according to Theorem 10, the origin is rESP and asESP.
5. Conclusions
In this paper, we have provided the new results for rESP and asESP of the CSCS
(55)dx=(f(x)+g(x,υ)υ)dt+(h(x)+q(x,υ)υ)dwt,dυ=F(υ,u)dt+G(υ,u)dβt.
We have used the converse Lyapunov theorems established by Khasminiskii [1] and Spiliotis and Tsinias [2] to the concept of stochastic control Lyapunov function and extended the stabilization results proved by Spiliotis and Tsinias [2] for SCS to the larger class of CSCS (55) driven by two independent Wiener processes that have been considered in Florchinger [3], Boulanger [4], and Rusinek [5]. We have also derived sufficient conditions for rESP and asESP of CSCS (55).
KhasminskiiR. Z.19807Alphen aan den Rijn, The NetherlandsSijthoff & Noordhoffxvi+344MR600653SpiliotisJ.TsiniasJ.Notions of exponential robust stochastic stability, ISS and their Lyapunov characterization200313217318710.1002/rnc.724MR1953547FlorchingerP.Global stabilization of composite stochastic systems199733612713510.1016/S0898-1221(97)00038-2MR1449219ZBL0876.60036BoulangerC.Stabilization of a class of nonlinear composite stochastic systems200018572373510.1080/07362990008809694MR1780167ZBL0962.93087RusinekR. L.String stability of singularly perturbed stochastic systems2003164355KrsticM.DengH.1998New York, NY, USASpringerTsiniasJ.The concept of “exponential input to state stability” for stochastic systems and applications to feedback stabilization199936322122910.1016/S0167-6911(98)00095-4MR1750880ZBL0913.93067DengH.KrstićM.Output-feedback stochastic nonlinear stabilization199944232833310.1109/9.746260MR1670006ZBL0958.93095CaraballoT.LiuK.On exponential stability criteria of stochastic partial differential equations199983228930110.1016/S0304-4149(99)00045-9MR1708210ZBL0997.60065MaoX.1994182New York, NY, USAMarcel Dekkerxii+307MR1275834LiuR.RaffoulY.Boundedness and exponential stability of highly nonlinear stochastic differential equations2009143110MR2565885ZBL1186.34081LanT. T. T.DangN. H.Exponential stability of nontrivial solutions of stochastic differential equations20112197106MR2961705LuoJ.Exponential stability for stochastic neutral partial functional differential equations2009355141442510.1016/j.jmaa.2009.02.001MR2514476ZBL1165.60024AbediF.HassanM. A.ArifinN. M.Lyapunov function for nonuniform in time global asymptotic stability in probability with application to feedback stabilization2011116110711710.1007/s10440-011-9632-8MR2842983ZBL1229.93159AbediF.LeongW. J.Dynamic robust stabilization of stochastic differential control systems201310.1093/imamci/dns040KushnerH. J.On the stability of processes defined by stochastic difference-differential equations19684424443MR022695910.1016/0022-0396(68)90028-4ZBL0169.11601MichelA. N.Stability analysis of stochastic composite systems1975AC-20246250MR0429294ZBL0301.93069SontagD. E.WangY.On characterizations of input-to-state stability properties199524226231ArnoldL.1974New York, NY, USAJohn Wiley & Sonsxvi+228MR0443083FlorchingerP.A new decomposition method for stochastic dynamic stabilization1995293313610.1016/0898-1221(94)00226-BMR1326280ZBL0831.93066