Mathematical Problems in Engineering

Volume 2014 (2014), Article ID 154679, 8 pages

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

Research Article

Input-To-State Stability for a Class of Switched Stochastic Nonlinear Systems by an Improved Average Dwell Time Method

Rongwei Guo,1,2 Ping Zhao,³ and Chenghui Zhang¹

¹School of Control Science and Engineering, Shandong University, Jinan 250061, China

²School of Science, Qilu University of Technology, Jinan 250353, China

³School of Electrical Engineering, University of Jinan, Jinan 250022, China

Received 21 November 2013; Accepted 11 March 2014; Published 6 April 2014

Academic Editor: Ming Gao

Copyright © 2014 Rongwei Guo et al. 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 investigates the input-to-state stable in the mean (ISSiM) property of the switched stochastic nonlinear (SSN) systems with an improved average dwell time (ADT) method in two cases: (i) all of the constituent subsystems are ISSiM and (ii) parts of the constituent subsystems are ISSiM. First, an improved ADT method for stability of SSN systems is introduced. Then, based on that not only a new ISSiM result for SSN systems whose subsystems are ISSiM is presented, but also a new ISSiM result for such systems in which parts of subsystems are ISSiM is established. In comparison with the existing ones, the main results obtained in this paper have some advantages. Finally, an illustrative example with numerical simulation is verified the correctness and validity of the proposed results.

1. Introduction

Switched systems, which provide a unified framework for mathematical modeling of many physical or man-made systems, display switching features such as communication networks, manufacturing, computer synchronization, auto pilot control design, automotive engine control, traffic control, and chemical processes. The systems consist of a collection of indexed differential or difference equations and a switching signal governing the switching among them. In the past two decades, increasing attention has been paid to the analysis and synthesis of switched systems because of their significance in both theory and applications, and many significant results have been established for the stability analysis and control design of such switched systems; see [1–12] and references therein. Regarding the stability analysis problem, there are two famous analysis methods, that is, common Lyapunov function (CLF) method [4, 5], and multiple Lyapunov functions (MLF) method [9]. Although the CLF method is very useful in stability analysis and control design, it is difficult to be applied in practice because of the following reason: for a given switched nonlinear system, there is no general method to determine whether all subsystems share a CLF or not, even for the switched linear systems. About the MLF method, it has been proved in [9] that the switched linear systems with stable subsystems are globally asymptotically stable (GAS) if the dwell time (DT) is sufficiently large. Therefore, a DT method [9] is established to analyze the stability analysis and control design of the switched systems; that is, given a constant , let denote the set of all switching signals with interval between consecutive switchings being no smaller than , is called the “dwell time”. Recently, Ni et al. think it is necessary to find a minimum dwell time (MDT) , which ensures that the switched system stays on each mode for period greater than or equal to ; the system is GAS and have obtained a new method called MDT method [13]. However, the above MDT method is only for the switched linear systems, and it is impossible to be extended to switched nonlinear systems concluding from the proofs of the results in [13]. It is well known that the ADT scheme characterizes a large class of stable switching signals than dwell time scheme. Thus, the ADT method is very important not only in practice but also in theory. Considerable attention has been paid, and many efforts have been done to take advantage of the ADT method to investigate the stability analysis and control design both in switched linear and nonlinear systems. In [14], we obtain an improved ADT method for the switched nonlinear systems, which have two advantages over the existing ADT methods [15–18]: one is that the conditions of the improved ADT method are less than those; the other one is that the obtained lower bound of ADT (i.e., ) is also smaller than those obtained by the above ADT methods.

When a control system is affected by an external input, it is important to analyze how the external input affects the system’s behavior. Input-to-state stable (ISS) property [19] characterizes the continuity of state trajectories on the initial states and the external inputs, and integral input-to-state stable (iISS) property is a weaker concept introduced in [20], and the iISS property has been shown to be a natural generalization of ISS. Both ISS and iISS have been proven to be useful in the stability analysis and control design of nonlinear systems; see [21–25] and the references therein. Various extensions of the ISS property have been made for different types of dynamical systems, such as discrete time systems [21], time-delay systems [22], impulsive system [23], and switched systems [24–26]. Many works about the ISSiM of SSN systems have been done, but this problem has not been solved completely so far. Thus, investigating the ISSiM of the SSN systems is not only very important in theory but is also reasonable in practice.

In this paper, we present several new sufficient conditions under which a SSN system with an improved ADT switching signal is ISSiM, also examine the case where parts of the constituent subsystems are not ISSiM. First, we introduce an improved ADT method, and by which we present a new sufficient condition for the SSN system whose subsystems are ISSiM. Then, we obtain some new ISSiM results for such switched systems that parts of the constituent subsystems are ISSiM. Finally, an illustrative example with numerical simulation is studied using the above obtained results. The study of example shows that our analysis methods work very well in analyzing the ISSiM of SSN systems.

The rest of the paper is organized as follows. Section 2 introduces some notations and preliminary results which are used in this paper. Section 3 presents the main results of this paper. In Section 4, an illustrative example with numerical simulation is given to support our new results, which is followed by the conclusion in Section 5.

2. Notations and Preliminary Results

Throughout this paper, denotes the set of all nonnegative real numbers; and denote -dimensional real space and dimensional real matrix space, respectively. For vector , denotes the Euclidean norm; that is, . All the vectors are column vectors unless otherwise specified; the transpose of vectors and matrices are denoted by superscript ; denotes all the th continuous differential functions. A function is said to belong to the class if , and is strictly increasing in . is the subset of functions that are unbounded.

Consider the following SSN systems:

where and are the system state and input, respectively; denotes the set of all the measurable and locally essentially bounded input on with norm

is an -dimensional independent standard Wiener process (or Brownian motion); ( is the index set, maybe infinite) is the switching path (or law, signal) and is right-hand continuous and piecewise constant on . More specifically, we impose restrictions on the set of admissible switching signals by defining the set

where are the commutation instants and . For every , , is continuous, uniformly locally Lipschitz, and satisfies ; initial data . For an arbitrary matrix , we define , where denotes the largest eigenvalue of .

For any given , associated with the SSN system (1), we define the differential operator to every as follows:

With the development of this paper, we first present some definitions.

Definition 1 (see [15]). For any switching signal and any , let denote the number of switching of over the interval satisfying

where is called average dwell time and denotes the chatter bound.

Definition 2 (see [27]). The SSN system (1) is ISSiM if there exist and , , such that for any , , we have

The SSN system (1) is -weighted ISSiM for some ; if there exist , , such that for any , , we have

The SSN system (1) is -weighted integral ISSiM for some ; if there exist , , such that for any , , we have

In [28], we have obtained an improved ADT method to investigate the stability of the SSN system (1) with in two cases: one is that all constituent subsystems are globally exponentially stable in the mean (GASiM) and the other is that some constituent subsystems are GASiM, while some of them are not GASiM. We introduce those results in the following.

Lemma 3 (see [28]). For the SSN system (1) with , if there exist functions , , and functions such that

where , , then the SSN system (1) with is GASiM under any switching signal with ADT:

where

Remark 4. If , which implies that , , is a CLF for the SSN system (1) with , and thus this system is GASiM under arbitrary switching. It is also noted that the ADT method proposed in [15–18] needs the conditions (9)-(10) and an additional condition as “, , , , ”. Comparing Lemma 3 with the corresponding results in [15, 16], Lemma 3 needs fewer conditions and thus can be applied to a wider range of systems.

Moreover, it is noted that the above and in (9) should have the same order, and which can ensure that exists. Furthermore, if , , then inequality (9) becomes

and is given as

For this case, if we use the ADT method in [15–18], we can get

Obviously, .

In particular, for the switched linear systems, the lower bound ADT obtained by Lemma 3 is smaller than the lower bound ADT obtained in [15]; that is,

where with is the Lyapunov function for the th subsystem, .

This improved ADT method can also be extended to analyze the stability of the SSN system (1) with in which both stable and unstable subsystems coexist. For the switching signal and any , we let (resp., ) denote the total activation time of the unstable subsystems (resp., the stable subsystems) on interval . Then, we let such that and introduce a switching law form [16].

(S1)Determine the satisfying holds for any , where ; and are given as (19).

Next, we introduce the result in the following.

Lemma 5 (see [28]). Consider the SSN system (1) with ; if there exist functions : , , and functions , such that (9), and

where , , then under the switching law S1, the switched system (1) with is GASiM for any switching signal with ADT:

where is given as (12), and is an arbitrarily chosen number,

Remark 6. Similar to Remark 4, comparing Lemma 5 with the corresponding existing results in [15, 16], Lemma 5 needs fewer conditions, and thus Lemma 5 is really an improvement of the existing results.

3. Main Results

3.1. All Subsystems Are ISSiM

In this section, we first investigate the ISSiM stability of the SSN system (1) in which all constituent subsystems are ISSiM. According to Lemma 3, we obtain the following result.

Theorem 7. Considering the SSN system (1), if there exist functions , , functions , , and number such that for all , ,

then

(I)if , then the SSN system (1) is ISSiM;(II)if , for some , where , then the SSN system (1) is -weighted ISSiM;(III)if , for some , then the SSN system (1) is -weighted integral ISSiM,

where is given as (12).

Proof. For notational brevity, define . Let be an arbitrary time. Denote by the switching times on the interval (by convention, , ). Consider the piecewise continuously differentiable function

On each interval , the switching signal is constant. Consider

If is replaced by in the above, where , then the stochastic integral (first integral) in (23) defines a martingale (with fixed and varying), not just a local martingale. Thus, on taking expectations in (23) with in place of and then using (21) on the right, we get

On letting and using Fatou’s Lemma on the left and monotone convergence on the right, we conclude

According to inequality (20), we obtain

For every , that is, , where ,

Therefore,

Substituting inequality (28) to inequality (26), we get

that is,

where .

For inequality (30), if , then

For inequality (31), if , we have property (8) with

Note that

Substituting inequality (33) to inequality (30), we obtain

For inequality (34), if , , we get

For inequality (35), if , we have property (7) with

For inequality (34), if , we obtain that

For inequality (37), if , we have property (6) with

Remark 8. It should be pointed out that the result proposed in [25] needs conditions (20)-(21) and an additional condition as “, , , , ”. Comparing Theorem 7 with the existing result in [25], Theorem 7 needs fewer conditions and thus is an improvement of the existing result.

3.2. Some Subsystems Are Not ISSiM

In the next, we consider the SSN system (1) in which both ISSiM and not ISSiM subsystems coexist. Similarly, for the switching signal and any , we let (resp., ) denote the total activation time of the not ISSiM subsystems (resp., the ISSiM subsystems) on interval .

According to Lemma 5, we give the following result.

Theorem 9. Considering the SSN system (1), if there exist functions , , and functions , , , constants , such that (20) for all , and furthermore, the following inequalities hold:

Then, under the switching law S1, the SSN system (1) is ISSiM for any switching signal with ADT:

where is given as (12), and is an arbitrarily chosen number; and are given as (19).

Proof. Let be arbitrary. For , define and , where comes from (5). Furthermore, define the balls around the origin , . Note that and thus also are nondecreasing functions of time, and thus the balls and have nondecreasing volume.

If during some time interval , then can be bounded above by

for some .

In fact, on any interval , according to (39), we arrive at

Then, according to (5) and the switching law S1, we conclude from (42) that

Thus, if , we can get (41).

Denote the first time when by ; that is, . For , according to (41), we obtain

If , which only can happen if , that is, the input for all times, then the SSN system (1) is ISSiM. Hence in the following we assume that .

For , can be bounded above in terms of . Namely, let . If this is an empty set, let . Clearly, for all , it holds that . For the case that , due to continuity of and monotonicity for , it holds that . Furthermore, for all , if , define

which can be interpreted as the previous exit time of the trajectory from the ball . Again, due to the same argument as above, one obtains that . But then, according to (41), it holds that

Summarizing the above, for all , it holds that

Combining (44) and (47), we obtain that

for all , which means the SSN system (1) is ISSiM and also completes the proof.

4. An Illustrative Example

In this section, we give an illustrative example to show how to use the obtained results to analyze the ISSiM stability of SSN systems.

Example 1. Consider the following SSN system:

where , is an -dimensional standard Brownian motion, and

It is easy to know that is a CLF for the system (49), and

According to the above results, we obtain that , and . Therefore, the lower bound ADT ; that is, the ADT can be arbitrary. Next, we choose ; then the switching law S1 will require

According to Theorem 9, the switched system (49) is ISSiM under the above switching law S1.

To illustrate the correctness of the above conclusion, we carry out some simulation results with the following choices. Initial condition , and switching path

where is a stochastic number. The simulation result is given in Figure 1, which is the response of the state under the above path .

It can be observed from Figure 1 that the trajectory converges to origin quickly. The simulation shows that Theorem 9 is very effective in analyzing the stability for the SSN systems with both unstable and ISSiM subsystems.

Figure 1: The state's response.

5. Conclusions

In this paper, we have investigated the ISSiM property of a class of SSN systems under ADT switching signals in two cases: (i) all of the constituent subsystems are ISSiM and (ii) parts of constituent subsystems are ISSiM and then proposed several new results about ISSiM of such systems. Firstly, a new ISSiM result for the SSN systems whose constituent subsystems are ISSiM has been obtained by applying an improved ADT method. Secondly, a new ISSiM result for the SSN system in which parts of subsystems are ISSiM has been given. In comparison with the existing results, the main results obtained in this paper have some advantages in some cases. Finally, an illustrative example with simulation has verified the validity and correctness of our results.

Conflict of Interests

The authors declare that they have no financial and personal relationships with other people or organizations that can inappropriately influence their work; there is no professional or other personal interest of any nature or kind in any product, service, and/or company that could be construed as influencing the position presented in, or the review of, this paper.

Acknowledgments

The paper was supported by the National Nature Science Foundation of China [61034007, 11226154, 61374074, 51107069, 61304133, and 61305130], China Postdoctoral Science Foundation funded Project [2013M541915 and 2013M541912], the Scientific Research Foundation of Shandong province Outstanding Young Scientist Award [BS2013SF023], and the Natural Science Foundation of Shandong province [ZR2012AQ01 and, ZR2013FQ003].

References

J. Daafouz, P. Riedinger, and C. Iung, “Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach,” IEEE Transactions on Automatic Control, vol. 47, no. 11, pp. 1883–1887, 2002.

M. Goncalves, A. Megretski, and A. Dahleh, “Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions,” IEEE Transactions on Automatic Control, vol. 48, no. 12, pp. 2089–2106, 2003.

P. Dayawansa and F. Martin, “A converse Lyapunov theorem for a class of dynamical systems which undergo switching,” IEEE Transactions on Automatic Control, vol. 44, no. 4, pp. 751–760, 1999.

D. Liberzon and R. Tempo, “Common Lyapunov functions and gradient algorithms,” IEEE Transactions on Automatic Control, vol. 49, no. 6, pp. 990–994, 2004.

H. Lin and J. Antsaklis, “Stability and stabilizability of switched linear systems: a survey of recent results,” IEEE Transactions on Automatic Control, vol. 53, no. 1, pp. 1–15, 2008.

X. Zhao and X. Liu, “Improved results on stability of continuous-time switched positive linea systems,” Automatica, vol. 50, no. 2, pp. 614–621, 2014.

X. Zhao, H. Liu, and J. Zhang, “Multiple-mode observer design for a class of switched linear systems linear systems,” IEEE Transactions on Automation Science and Engineering, no. 99, pp. 1–9, 2013.

X. Zhao, P. Shi, and L. Zhang, “Asynchronously switched control of a class of slowly switched linear systems,” Systems & Control Letters, vol. 61, no. 12, pp. 1151–1156, 2012.

S. Branicky, “Multiple Lyapunov functions and other analysis tools for switched and hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 475–482, 1998.

R. Guo and Y. Wang, “Stability analysis for a class of switched linear systems,” Asian Journal of Control, vol. 14, no. 3, pp. 817–826, 2012.

P. Zhao, W. Feng, and Y. Kang, “Stochastic input-to-state stability of switched stochastic nonlinear systems,” Automatica, vol. 48, no. 10, pp. 2569–2576, 2012.

W. Feng, J. Tian, and P. Zhao, “Stability analysis of switched stochastic systems,” Automatica, vol. 47, no. 1, pp. 148–157, 2011.

W. Ni, D. Cheng, and X. Hu, “Minimum dwell time for stability and stabilization of switched linear systems,” in Proceedings of the 7th World Congress on Intelligent Control and Automation (WCICA '08), pp. 4109–4115, 2008.

R. Guo, P. Zhao, and K. Li, “Input-to-state stability for a class of nonlinear switched systems by a new average dwell time method,” in Proceeding of the 32th Chinese Control Conference, pp. 860–865, 2013.

J. Hespanha and A. Morse, “Stability of switched systems with average dwell-time,” in Proceedings of the 38th IEEE Conference on Decision & Control (CDC '99), vol. 3, pp. 2655–2660, 1999.

G. Zhai, B. Hu, K. Yasuda, and A. Michel, “Stability analysis of switched systems with stable and unstable subsystems: an average dwell time approach,” in Proceedings of the American Control Conference, pp. 200–204, 2000.

X. Zhao, L. Zhang, P. Shi, and M. Liu, “Stability of switched positive linear systems with average dwell time switching,” Automatica, vol. 48, no. 6, pp. 1132–1137, 2012.

M. A. Müller and F. Allgöwer, “Improving performance in model predictive control: switching cost functionals under average dwell-time,” Automatica, vol. 48, no. 2, pp. 402–409, 2012.

E. Sontag and Y. Wang, “On characterizations of the input-to-state stability property,” Systems and Control Letters, vol. 24, no. 5, pp. 351–359, 1995.

E. Sontag, “Comments on integral variants of ISS,” Systems & Control Letters, vol. 34, no. 1-2, pp. 93–100, 1998.

Z. Jiang and Y. Wang, “Input-to-state stability for discrete-time nonlinear systems,” Automatica, vol. 37, no. 6, pp. 857–869, 2001.

N. Yeganefar, P. Pepe, and M. Dambrine, “Input-to-state stability of time-delay systems: a link with exponential stability,” IEEE Transactions on Automatic Control, vol. 53, no. 6, pp. 1526–1531, 2008.

W. Chen and W. Zheng, “Input-to-state stability and integral input-to-state stability of nonlinear impulsive systems with delays,” Automatica, vol. 45, no. 6, pp. 1481–1488, 2009.

W. Xie, C. Wen, and Z. Li, “Input-to-state stabilization of switched nonlinear systems,” IEEE Transactions on Automatic Control, vol. 46, no. 7, pp. 1111–1116, 2001.

L. Vu, D. Chatterjee, and D. Liberzon, “Input-to-state stability of switched systems and switching adaptive control,” Automatica, vol. 43, no. 4, pp. 639–646, 2007.

P. Zhao, W. Feng, and Y. Kang, “Stochastic input-to-state stability of switched stochastic nonlinear systems,” Automatica, vol. 48, no. 10, pp. 2569–2576, 2012.

P. Zhao and Z. Wang, “Input-to-state stability of switched stochastic nonlinear systems,” in Proceedings of the 30th Chinese Control Conference (CCC '11), pp. 1404–1406, 2011.

R. Guo, P. Zhao, and C. Zhang, “Stability for a class of switched stochastic continuous-time nonlinear systems by an improved average dwell time method,” . In press