Abstract

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 -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 -th mean (rESP) and almost sure exponential stability in probability (asESP) of a composite stochastic control system (CSCS) where , , and is an -valued measurable control law.

We consider the composite system (1) and introduce two subsystems 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, [117]). 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 be a complete probability space and denote by a standard -valued Wiener process defined on this space.

We consider the SDS where the following conditions hold:(i)is given in ,(ii) and are Lipschitz functionals in with , and there exists a constant such that the following growth condition holds: for any .

Under restriction on growth (4), for any , that guarantees existence and uniqueness of solution for (3) starting from at time , 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 such that for any , and .

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 and positive constants , such that where is the infinitesimal generator for the stochastic process solution of the SDS (3).

Let us denote by a standard -valued Wiener process defined on .

Now, we consider the SCS where(1) is an -valued measurable control law,(2) and are Lipschitz functionals mapping of into and , respectively, such that , and there exists constant such that for any and the following growth condition holds: Under restriction on growth (8) (see for instance Arnold [19]), for every input , and , there exists a unique solution of (7) starting from at time which is defined for all and almost all . For simplicity let , 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 if, and only if, there exist constants such that for any , and .

Definition 4. The SCS (7) is said to satisfy the exponential Lyapunov condition if there exists a Lyapunov function of class and positive constants , such that where 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 of class 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 if, and only if, there exists a constant and a random variable , such that for any , and for almost all .

We now derive the Florchinger's decomposition [20] of the functions and we consider the SCS (7) in the form where is a function mapping into and is a nonnegative function mapping into . 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 . Suppose that the SCS (7) or, equivalently, the SCS (16) satisfies the exponential Lyapunov condition, and there exists a function such that for any ,

Then, the feedback law where , is a smooth and nonnegative function, , and 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 such that the SCS (7) or, equivalently, the SCS (16) satisfies the exponential Lyapunov condition. Then from (13) we have where is the infinitesimal generator of the resulting closed-loop system deduced from (7) and is the infinitesimal generator for the stochastic process solution of the resulting closed-loop system deduced from (16) as follows: 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 be a standard -valued Wiener process defined on the space independent of the Wiener process .

Consider the pair of stochastic processes solution of the CSCS where(1), , and is a matrix function with value in ,(2) and are functionals in and , respectively, such that and ,(3) and are Lipschitz functionals mapping such that there exists a nondecreasing scalar function bounded for all such that (4) is an -valued measurable control law,(5) and are Lipschitz functionals mapping vanishing at the origin, and there exists a constant such that the following growth condition holds:

for any .

Definition 8. We say that an input measurable function is a stabilizing feedback law for the CSCS (21) if, and only if, the origin of the resulting closed-loop system is rESP.

Suppose that there exists functionals , , , and such that for any . 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 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 and are bounded on and 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 [24]. 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 .

Theorem 9. Let . Suppose that the SDS satisfies rESP property, and there exists a state control law , where , that guarantees that the resulting closed-loop system satisfies the rESP property. Furthermore, assume that Then, the state control law where 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 and positive constants , such that (10)–(12) hold and 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 and positive constants , such that the following conditions hold: where is the infinitesimal generator for the stochastic process solution of the resulting closed-loop system (30). Consider the composite function for any . Obviously, is a Lyapunov function. We will show that satisfies in the exponential Lyapunov condition. A simple calculation shows that conditions (10)–(12) are satisfied. It remains to establish condition (13). Substituting into the closed-loop system deduced from CSCS (27), we have Denoting as the infinitesimal generator of the stochastic process solution of the resulting closed-loop system (39) yields for any . Substituting (31) into (40), we get Thus, we obtain by taking into account (33) and (37) that From (42) and the above results, we have the Laypunov function 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 function satisfying the exponential Lyapunov condition. Then,(i)the origin of the CSCS (27) is rESP,(ii)the origin of the CSCS (27) is asESP.

Proof. Part (i) Assume that there exists a positive function such that the CSCS (27) or equivalently the CSCS (39) satisfies the exponential Lyapunov condition. Then from (13) we have where and are Lyapunov functions corresponding to the SDS (28) and SCS (30), respectively, and 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 where and 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 From (44) and (45) and , we have is a supermartingale. Therefore, for some random , it yields From (46), we have for all , almost surely, for some random . 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 [28] we can make the following summaries.(i)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 [24]. 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 .(ii)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 [28] 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 where is a standard real-valued Wiener process and . Assume that 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 where is a standard real-valued Wiener process, , and is a real-valued measurable control law. Obviously, where , , , , , and renders the resulting closed-loop system satisfies the rESP property. Thus, according to Theorem 9, there exists the state control law that guarantees the CSCS where and is the identity matrix in satisfies rESP property.

Example 13. Consider the CSCS where and . Consider the Lyapunov function candidate , . A simple calculation shows that 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 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).