Abstract and Applied Analysis

Volume 2014 (2014), Article ID 871591, 11 pages

http://dx.doi.org/10.1155/2014/871591

Research Article

A New Finite-Time Bounded Control of Stochastic Itô Systems with ()-Dependent Noise: Different Quadratic Function Approach

Zhiguo Yan¹ and Zhongwei Lin²

¹School of Electrical Engineering and Automation, Qilu University of Technology, Jinan 250353, China

²State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources, School of Control and Computer Engineering, North China Electric Power University, Beijing 102206, China

Received 24 November 2013; Accepted 11 January 2014; Published 24 March 2014

Academic Editor: Hui Zhang

Copyright © 2014 Zhiguo Yan and Zhongwei Lin. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper addresses the finite-time bounded control problem of linear stochastic systems with state, control input, and external disturbance-dependent noise (()-dependent noise for short). The notion of finite-time boundedness of linear stochastic systems is first introduced. Then a different quadratic function approach is proposed to give a sufficient condition for finite-time boundedness of such a class of systems, and its superiority to common quadratic approach is shown. Moreover, the finite-time bounded controller design problem is studied and two sufficient conditions for the existence of state and output feedback controllers are presented in terms of nonlinear matrix inequalities. An algorithm is given for solving the obtained nonlinear matrix inequalities. Finally, an example is employed to illustrate the effectiveness of our obtained results.

1. Introduction

It is well known that finite-time control has become one of the important robust control methods, which has been studied extensively both in theory and practical applications; see linear systems [1–9], nonlinear systems [10–12], and the in-press book [13]. Recently, based on analysis on some practical problems, [14] introduced a new finite-time stability for linear stochastic Itô systems with state and control-dependent noise. Roughly speaking, a stochastic Itô system is said to be finite-time stable if, given a bound on the initial state of the system, its state trajectories do not exceed an upper bound and are not less than a lower bound () in the mean square sense during a specific time interval.

On the other hand, the model of stochastic Itô systems with state, control input, and external disturbance dependent-noise (-dependent noise for short) is more general than stochastic Itô systems with state and control input-dependent noise (-dependent noise for short). For this class of model, some results have been obtained. For example, [15, 16] studied the finite/infinite horizon mixed control problem for the Itô-type nonlinear stochastic systems with -dependent noise, respectively.

Motivated by aforementioned discussions, we extend the results in [14] to stochastic Itô systems with -dependent noise. Here, we consider finite-time stochastic boundedness and finite-time bounded control problems for such class of systems. More precisely, a system is said to be finite-time bounded if, given a bound both on the initial state of the system and the disturbance input, the state trajectories of the system do not exceed an upper bound and are not less than a lower bound () in the mean square sense during a prespecified time interval for all admissible disturbances. By stochastic analysis technology, Gronwall’s inequality, and matrix transformation, a finite-time stochastic boundedness criterion and some sufficient conditions for the existence of finite-time bounded controller are derived. The contributions of this paper lie in the following two aspects: a new concept of finite-time stochastic boundedness is introduced, which generalizes the finite time stochastic stability in [14] to stochastic Itô systems with -dependent noise and a different quadratic function approach is introduced and its superiority to common quadratic function approach is shown. By different quadratic function approach, two new conditions for the existence of state and output feedback finite-time bounded controller are obtained.

The paper is organized as follows. In Section 2, a concept of finite-time stochastic boundedness and some preliminaries are presented. Section 3 provides a sufficient condition for finite-time stochastic boundedness. In Section 4, state and output finite-time bounded controllers are given, respectively. Section 5 employs an example to illustrate the results of the paper. Section 6 gives the conclusion.

Notation. is a transpose of a matrix or vector .   : is positive definite (positive semidefinite) symmetric matrix. is a space of nonanticipative stochastic process with respect to an increasing -algebra satisfying . stands for the mathematical expectation operator with respect to the given probability measure. is identity matrix. is trace of a matrix . is the maximum (minimum) eigenvalue of a real matrix .

2. Preliminaries and Problem Statement

Consider the following linear time-invariant stochastic Itô system with -dependent noise:

where , , , and are called the system state, control input, exogenous disturbance, and measurement output, respectively. , , , , , , and are constant matrices. is the initial state. Without loss of generality, throughout this paper, we assume to be one-dimensional standard Wiener process defined on the probability space , , , with =: .

To illustrate clearly the concept of finite-time stochastic boundedness presented below, we first introduce finite-time stochastic stability from [14].

Definition 1. Given positive real scalars , , , , with , and a positive definite matrix , the following linear stochastic system

is said to be finite-time stochastically stable with respect to , , , , , , if

Based on Definition 1, a new concept of finite-time stochastic boundedness for linear stochastic Itô systems is introduced.

Definition 2. Given some positive scalars , , , ,   with  , a positive definite matrix , and a class of exogenous signals , the following linear stochastic system

is said to be finite-time stochastically bounded with respect to , , , , , , , if

for all .

Remark 3. Definition 2 is more general than Definition 1, which concerns the behavior of the state in the presence of both given initial conditions and external disturbance.

Remark 4. It is clear that finite-time stochastic boundedness implies finite-time stochastic stability, but the converse is not true.

In the next assumption, we characterize a class of signals considered in this paper.

Assumption 5. The class is defined as follows:

where , , and are constant matrices and and are any given positive scalars.

Remark 6. In Assumption 5, and are any given positive scalars, so actually includes a big class of signals.

Before proceeding further, we give some lemmas which will be used in the next section.

Lemma 7 (Itô-type formula). For given , associated with the following stochastic system

the infinitesimal generator operator is defined by

Lemma 8 (Gronwall Inequality). Let be a nonnegative function such that

for some constants , ; then one has

Lemma 9 (see [14]). Let be a nonnegative function such that

for some constants , ; then one has

3. Finite-Time Stochastic Boundedness

This section is dedicated to proposing a different quadratic function approach to the finite-time stochastic boundedness problem of the system (4). The comparison on different quadratic function approach and common quadratic function approach is first given.

In [14], the key approach of obtaining main results is as follows. Let be a positive quadratic function; then by the following inequalities

the main results are derived. We call the above approach to be common quadratic function approach, because the quadratic functions in (13) and (14) are the same. But we find that satisfying (13) may not satisfy (14), which results in the a relatively small range of the option of . So the main results obtained by common quadratic function approach are of conservativeness.

The key idea of different quadratic function approach is as follows. Let and be a positive quadratic function; then by the following inequalities

the main results of this paper will be derived. Because the quadratic functions in (15) and in (16) are not the same, the main results obtained by this approach are of less conservativeness than the results obtained by common quadratic function approach.

Theorem 10. If there exist , , symmetric positive definite matrices , , and some scalars , such that the following inequalities hold

then system (4) is finite-time stochastically bounded with respect to , , , , , , , where , , , , .

Proof.   

Step 1.  .

Take a quadratic function

where , with , being solutions (17)–(22). Applying Itô formula for along the trajectory of the following system

it follows

which leads to

Pre- and postmultiplying (17) by , according to Schur complement, it is easy to obtain that (17) is equivalent to

where , .

By (26) and (27), we obtain

Integrating both sides of (28) from to with and then taking mathematical expectation, it yields

By Lemma 9, we conclude that

By given conditions, it follows

According to (30) and (31),

From (19), we have

From (32) and (33), it is easy to obtain

Step 2.  .

Take a quadratic function different from

where , with , being solutions (17)–(22). Applying Itô formula for along the trajectory of the system of (24), it follows

which leads to

Pre- and postmultiplying (18) by , by Schur complement, it is easily obtained that (18) is equivalent to

where ,  .

Considering (37) and (38), we obtain

Integrating both sides of (39) from to with and then taking the mathematical expectation, it yields

By Lemma 9, we conclude that

By given conditions, it follows

By (41) and (42),

From (20), we have

that is,

From (43) and (45), it is easy to obtain

Therefore, the proof of the theorem is completed.

Remark 11. Theorem 10 can be employed for testing finite-time stochastic boundedness of system (1).

4. Finite-Time Stochastic Bounded Controller Design

In this section, we use different quadratic function approach to design state and output feedback finite-time bounded controller such that the closed-loop system of system (1) is finite-time stochastically bounded over a finite-time interval , respectively.

4.1. State Feedback Finite-Time Bounded Controller Design

For system (1), we first consider a state feedback controller

then the closed-loop system of (1) is as follows:

Next, a sufficient condition of the existence for state feedback finite-time bounded controller is presented by Theorem 10.

Theorem 12. If there exist , , positive definite matrices , , , and a matrix , and some scalars , such that (19)–(22) and the following inequalities hold

then system (48) is finite-time stochastically bounded with respect to , , , , , , , where , , , , . In this case, a desired controller gain is given by .

Proof. We can replace by and by in Theorem 10. As a result, conditions (17) and (18)

hold, where , . Letting , it can be seen that (49) and (50) are derived from (51) and (52), respectively. This completes the proof.

4.2. Dynamic Output Feedback Finite-Time Bounded Controller Design

When the system states are not completely accessible, state feedback controllers may become invalid. This motivates us to propose an output-feedback controller. Without loss of generality, we can assume the following.

Assumption 13. There exists a state feedback controller which has been designed using the results of Theorem 12.

We choose, as usual, a finite-dimensional observer-based controller as follows:

where is the the estimate of the state of and is the estimator gain matrix with appropriate dimensions, which is to be determined.

Let ; then we obtain the error system

In practice, we hope the error is as small as possible. As usual, it is required to satisfy , .

Let ; then the resulting argument system becomes

where

Now, on the basis of Assumption 13, the following theorem gives a sufficient condition of the existence of .

Theorem 14. If there exist , , positive matrices   (), a matrix , and positive scalars   (, such that the following inequalities hold

then the closed-loop system (55) is finite-time stochastically bounded with respect to , , , , , , . In this case, , where

Proof.   

Step 1.  .

Let with , , being solutions to (57)–(63), and ; we have

Applying Itô formula for along with the state trajectory of (55), we obtain

where

According to Schur complement, by letting , condition (57) can be rewritten as

It is obvious that (68) gives

By integrating inequality (69) between and , and taking the mathematical expectation, it follows that

By Lemma 8, we have

Considering (59), we obtain

According to (72), it follows

By (73) and condition (62), it follows for all .

Step 2.  .

Let with , , being solutions to (57)–(63), and ; we have

Applying Itô formula for along with the state trajectory of (55), we obtain

where

Note that (58) implies

Integrating both sides of (77) from to with and then taking the mathematical expectation, it yields

By Lemma 9,

Considering (59), we obtain

From (79) and (80), we have

Equation (63) gives

So we easily obtain

for all . This ends the proof.

Remark 15. It is easy to see that the values of and determine the feasibility of the above Theorems. The procedure of how to choose and is given in the next section.

5. Numerical Algorithm

This section gives an algorithm for the results of the paper. The following algorithm is used to solve the matrix inequalities in Theorem 10. Similar algorithms can be used in Theorem 12 and Theorem 14.

Algorithm 16.   

Step 1.  Given , , , , , , .

Step 2.  Take a series of by a step size and a series of by a step size .

Step 3. Set ; take a .

Step 4. Set ; take a .

Step 5. If (, ) makes (17)–(22) have feasible solutions, then store (, ) into and ; go to Step 5; otherwise go to Step 6.

Step 6. If , then and takes ; go to Step 5. Otherwise, go to Step 7.

Step 7. Stop. If , then we cannot find making (17)–(22) have feasible solution; otherwise, there exists , making (17)–(22) have feasible solution.

Remark 17. By Algorithm 16, we can obtain a region surrounded by and , if it exists, which is used to select and for appropriate conditions.

6. Examples

In this section, an example is given to illustrate the results we have obtained.

Example 1. Let us consider system (1) with

The parameters are given as , , , , , , , and .

Case 1 (state feedback finite-time bounded controller design). Applying Algorithm 16 to Theorem 12, we obtain a region surrounded by and , which is illustrated by Figure 1.

By Figure 1, selecting and , and solving (19)–(22) and (49)-(50), we obtain

Hence, the feedback gain matrix is given by

The evolution of of the closed-loop system of (1) is illustrated by Figure 2, which shows that the closed-loop system of (1) is finite-time stochastically bounded with respect to , , , , , , . The corresponding control curves are illustrated by Figure 3.

Figure 1: A region by and .

Figure 2: The evolution of of the closed-loop system of (1) in Case 1.

Figure 3: The evolution of .

Case 2 (dynamic output feedback finite-time bounded controller design). Based on state feedback controller design, the feedback controller is chosen. Applying Algorithm 16 to Theorem 14, we obtain a region surrounded by and , which is illustrated by Figure 4. By Figure 4, selecting , , and solving (57)–(63), we obtain

Hence, the observer gain matrix is given by

The evolution of of the closed-loop system of (1) is illustrated by Figure 5, which shows that the closed-loop system of (1) is finite-time stochastically bounded with respect to , , , , , , . The corresponding control curves are illustrated by Figure 6. Figure 7 illustrates the evolution of of the error system (54), which shows that .

Figure 4: A region by and .

Figure 5: The evolution of of the closed-loop system of (1) in Case 2.

Figure 6: The evolution of .

Figure 7: The evolution of .

7. Conclusion

In this study, finite-time stochastically bounded control linear stochastic Itô systems with -dependent noise has been investigated. Applying different quadratic function approach, state and output feedback finite-time bounded controllers have been obtained, respectively. One example is presented to illustrate the effectiveness of the proposed results. In addition, we can also refer to [17–19] and extend the results of this paper to Takagi-Sugeno fuzzy systems, networked systems, linear parameter varying systems, and so on.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the Starting Research Foundation of Qilu University of Technology (Grant no. 12045501), the National Basic Research Program of China (973 Program) (Grant no. 2012CB215203), the National Natural Science Foundation of China (nos. 51036002 and 61203043).

References

F. Amato, M. Ariola, and P. Dorato, “Finite-time control of linear systems subject to parametric uncertainties and disturbances,” Automatica, vol. 37, no. 9, pp. 1459–1463, 2001.

F. Amato, M. Ariola, and C. Cosentino, “Finite-time stabilization via dynamic output feedback,” Automatica, vol. 42, no. 2, pp. 337–342, 2006.

F. Amato and M. Ariola, “Finite-time control of discrete-time linear systems,” IEEE Transactions on Automatic Control, vol. 50, no. 5, pp. 724–729, 2005.

J.-E. Feng, Z. Wu, and J.-B. Sun, “Finite-time control of linear singular systems with parametric uncertainties and disturbances,” Acta Automatica Sinica, vol. 31, no. 4, pp. 634–637, 2005.

S. Zhao, J. Sun, and L. Liu, “Finite-time stability of linear time-varying singular systems with impulsive effects,” International Journal of Control, vol. 81, no. 11, pp. 1824–1829, 2008.

W. Zhang and X. An, “Finite-time control of linear stochastic systems,” International Journal of Innovative Computing, Information and Control, vol. 4, no. 3, pp. 689–696, 2008.

Z.-G. Yan and G.-S. Zhang, “Finite-time H ∞ control for linear stochastic systems,” Control and Decision, vol. 26, no. 8, pp. 1224–1228, 2011.

S. He and F. Liu, “Stochastic finite-time stabilization for uncertain jump systems via state feedback,” Journal of Dynamic Systems, Measurement and Control, vol. 132, no. 3, Article ID 034504, 4 pages, 2010.

Y. Zhang, C. Liu, and X. Mu, “Robust finite-time H ∞ control of singular stochastic systems via static output feedback,” Applied Mathematics and Computation, vol. 218, no. 9, pp. 5629–5640, 2012.

Y. Yang, J. Li, and G. Chen, “Finite-time stability and stabilization of nonlinear stochastic hybrid systems,” Journal of Mathematical Analysis and Applications, vol. 356, no. 1, pp. 338–345, 2009.

Z. Yan, G. Zhang, and J. Wang, “Non-fragile robust finite-time H ∞ control for nonlinear stochastic Itô systems using neural network,” International Journal of Control, Automation and Systems, vol. 10, no. 5, pp. 873–882, 2012.

Z.-G. Yan and G.-S. Zhang, “Finite-time H ∞ filtering for a class of nonlinear stochastic uncertain systems,” Control and Decision, vol. 27, no. 3, pp. 419–424, 2012.

F. Amato, R. Ambrosino, M. Ariola, C. Cosentino, and G. D. Tommasi, Finite-Time Stability and Control, vol. 453 of Lecture Notes in Control and Information Sciences, Springer, London, UK, 2014.

Z. Yan, G. Zhang, and W. Zhang, “Finite-time stability and stabilization of linear Itô stochastic systems with state and control-dependent noise,” Asian Journal of Control, vol. 15, no. 1, pp. 270–281, 2013.

W. Zhang, H. Zhang, and B.-S. Chen, “Stochastic control with -dependent noise: finite horizon case,” Automatica, vol. 42, no. 11, pp. 1891–1898, 2006.

W. Zhang and G. Feng, “Nonlinear stochastic control with -dependent noise: infinite horizon case,” IEEE Transactions on Automatic Control, vol. 53, no. 5, pp. 1323–1328, 2008.

H. Zhang, Y. Shi, and B. X. Mu, “Optimal H ∞-based linear-quadratic regulator tracking control for discrete-time Takagi-Sugeno fuzzy systems with preview actions,” Journal of Dynamic Systems, Measurement and Control, vol. 135, no. 4, Article ID 044501, 5 pages, 2013.

H. Zhang, Y. Shi, and A. S. Mehr, “Robust H ∞ PID control for multivariable networked control systems with disturbance/noise attenuation,” International Journal of Robust and Nonlinear Control, vol. 22, no. 2, pp. 183–204, 2012.

H. Zhang and Y. Shi, “Parameter-dependent H ∞ filtering for linear parameter varying systems,” Journal of Dynamic Systems, Measurement and Control, vol. 135, no. 2, Article ID 021006, 7 pages, 2012.