Abstract and Applied Analysis

Volume 2013 (2013), Article ID 695816, 7 pages

http://dx.doi.org/10.1155/2013/695816

Research Article

On Exponential Stability of Composite Stochastic Control Systems

Fakhreddin Abedi and Wah June Leong

Department of Mathematics, Faculty of Science, Universiti Putra Malaysia, UPM, 43400 Serdang, Selangor, Malaysia

Received 28 November 2012; Revised 29 January 2013; Accepted 31 January 2013

Academic Editor: Ryan Loxton

Copyright © 2013 Fakhreddin Abedi and Wah June Leong. 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.

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, [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 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 [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 .

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 [2–8] 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 [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 .(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 [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

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).

References

R. Z. Khasminskii, Stochastic Stability of Differential Equations, vol. 7, Sijthoff & Noordhoff, Alphen aan den Rijn, The Netherlands, 1980.

J. Spiliotis and J. Tsinias, “Notions of exponential robust stochastic stability, ISS and their Lyapunov characterization,” International Journal of Robust and Nonlinear Control, vol. 13, no. 2, pp. 173–187, 2003.

P. Florchinger, “Global stabilization of composite stochastic systems,” Computers & Mathematics with Applications, vol. 33, no. 6, pp. 127–135, 1997.

C. Boulanger, “Stabilization of a class of nonlinear composite stochastic systems,” Stochastic Analysis and Applications, vol. 18, no. 5, pp. 723–735, 2000.

R. L. Rusinek, “String stability of singularly perturbed stochastic systems,” Annales Mathematicae Silesianae, vol. 16, pp. 43–55, 2003.

M. Krstic and H. Deng, Stabilization of Uncertain Nonlinear Systems, Springer, New York, NY, USA, 1998.

J. Tsinias, “The concept of “exponential input to state stability” for stochastic systems and applications to feedback stabilization,” Systems & Control Letters, vol. 36, no. 3, pp. 221–229, 1999.

H. Deng and M. Krstić, “Output-feedback stochastic nonlinear stabilization,” IEEE Transactions on Automatic Control, vol. 44, no. 2, pp. 328–333, 1999.

T. Caraballo and K. Liu, “On exponential stability criteria of stochastic partial differential equations,” Stochastic Processes and Their Applications, vol. 83, no. 2, pp. 289–301, 1999.

X. Mao, Exponential Stability of Stochastic Differential Equations, vol. 182, Marcel Dekker, New York, NY, USA, 1994.

R. Liu and Y. Raffoul, “Boundedness and exponential stability of highly nonlinear stochastic differential equations,” Electronic Journal of Differential Equations, vol. 143, pp. 1–10, 2009.

T. T. T. Lan and N. H. Dang, “Exponential stability of nontrivial solutions of stochastic differential equations,” Scientia A, vol. 21, pp. 97–106, 2011.

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.

F. Abedi, M. A. Hassan, and N. M. Arifin, “Lyapunov function for nonuniform in time global asymptotic stability in probability with application to feedback stabilization,” Acta Applicandae Mathematicae, vol. 116, no. 1, pp. 107–117, 2011.

F. Abedi and W. J. Leong, “Dynamic robust stabilization of stochastic differential control systems,” IMA Journal of Mathematical Control and Information, 2013.

H. J. Kushner, “On the stability of processes defined by stochastic difference-differential equations,” Journal of Differential Equations, vol. 4, pp. 424–443, 1968.

A. N. Michel, “Stability analysis of stochastic composite systems,” IEEE Transactions on Automatic Control, vol. AC-20, pp. 246–250, 1975.

D. E. Sontag and Y. Wang, “On characterizations of input-to-state stability properties,” Systems and Control Letters, vol. 24, pp. 226–231, 1995.

L. Arnold, Stochastic Differential Equations: Theory and Applications, John Wiley & Sons, New York, NY, USA, 1974.

P. Florchinger, “A new decomposition method for stochastic dynamic stabilization,” Computers & Mathematics with Applications, vol. 29, no. 3, pp. 31–36, 1995.