Complexity
Volume 2018 (2018), Article ID 8701219, 8 pages
https://doi.org/10.1155/2018/8701219

Research Article

Input-to-State Stability of Nonlinear Switched Systems via Lyapunov Method Involving Indefinite Derivative

Peng Li,¹ Xiaodi Li,1,2 and Jinde Cao1,3

¹School of Mathematics and Statistics, Shandong Normal University, Jinan 250014, China
²Institute of Data Science and Technology and Shandong Province Key Laboratory of Medical Physics and Image Processing Technology, Shandong Normal University, Jinan 250014, China
³School of Mathematics and Research Center for Complex Systems and Network Sciences, Southeast University, Nanjing 210 096, China

Correspondence should be addressed to Xiaodi Li; lxd@sdnu.edu.cn

Received 30 July 2017; Revised 24 November 2017; Accepted 28 December 2017; Published 24 January 2018

Academic Editor: Peter Galambos

Copyright © 2018 Peng Li 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 studies the input-to-state stability (ISS) of nonlinear switched systems. By using Lyapunov method involving indefinite derivative and average dwell-time (ADT) method, some sufficient conditions for ISS are obtained. In our approach, the time-derivative of the Lyapunov function is not necessarily negative definite and that allows wider applications than existing results in the literature. Examples are provided to illustrate the applications and advantages of our general results and the proposed approach.

1. Introduction

Switched systems are a special subclass of hybrid systems which consist of two components: a family of systems and a switching signal. The systems in the family are described by a collection of indexed differential or difference equations. The switching signal selects an active mode at every instant of time, that is, the system from the family that is currently being followed. As a special class of hybrid systems, switched systems arise in a variety of applications, such as biological systems [1], automobiles and locomotives with different gears [2], DC-DC converters [3], manufacturing processes [4], and shrimp harvesting mode [5]. Many interesting results for switched systems have been reported in the literature [6–9]. Qualitative behaviour of switched systems depends not only on the behaviour of individual subsystems in the family, but also on the switching signal. For instance, divergent trajectories can be generated by switching appropriately among stable subsystems, while a proper switching signal may ensure stability of a switched system even when all the subsystems are unstable. Due to such interesting features, stability of switched systems has attracted considerable research attention over the past few decades; see [10–15].

When investigating stability of a system, it is important to characterize the effects of external inputs. The concepts of input-to-state stability (ISS) introduced by Sontag et al. in [16, 17] have been proved useful in this regard. Roughly speaking, the ISS property means that no matter what the size of the initial state is, the state will eventually approach a neighborhood of the origin whose size is proportional to the magnitude of the input. Many interesting results on ISS properties of various systems such as discrete systems, switched systems, and hybrid systems have been reported; see [18–29]. For example, [19] presented converse Lyapunov theorems for input-to-state stability and integral input-to-state stability (iISS) of switched nonlinear systems; [22, 23] studied the ISS of nonlinear systems subject to delayed impulses; [29] dealt with the ISS of discrete-time nonlinear systems. However, one may observe that most of them, such as those in [18–31], require the derivative of Lyapunov functions to be negative definite in order to derive the desired ISS property. Recently, [32] proposed a new approach for ISS property of nonlinear systems. It presents a new comparison principle for estimating an upper bound on the state of the system in which the derivative of the Lyapunov function may be indefinite, rather than negative definite, which improves the previous work on this topic greatly. The authors of [33] developed the idea to delayed systems and established a class of continuously differentiable Lyapunov-Krasovskii functionals involving indefinite derivative, which generalizes the classic Lyapunov-Krasovskii functional method. However, the approach used there only applies for systems without switched structures. Moreover, to the best of our knowledge, there are few results on ISS of switched systems based on Lyapunov method involving indefinite derivative.

Motivated by the above discussions, in this paper, we shall study the ISS property for switched systems via Lyapunov method involving indefinite derivative. Some sufficient conditions based on ADT method are derived. It is worth mentioning that, although the method used in this paper is based on [32], the results in this paper are more general than [32], even for the case of systems without switched structures. The rest of this paper is organized as follows. In Section 2 the problem is formulated and some notations and definitions are given. In Section 3, we present some new characterizations of ISS based on Lyapunov method involving indefinite derivative. Examples are given in Section 4. Finally, the paper is concluded in Section 5.

2. Preliminaries

Notations. Let denote the set of positive integer numbers, the set of real numbers, the set of all nonnegative real numbers, and and the -dimensional and -dimensional real spaces equipped with the Euclidean norm , respectively. and are the minimum and maximum of and , respectively. , is an index set, , . The notations and denote the transpose and the inverse of , respectively. denotes the identity matrix with appropriate dimensions.

Consider the following switched system:

where is the system state, is a measurable locally bounded disturbance input, denotes the right-hand derivative of , and denotes the switching function, which is assumed to be a piecewise constant function continuous from the right. When , we say that the mode is activated. A sequence of discrete times , called the switching times, determines when the switching occurs. Throughout this paper, we assume that it satisfies as ( is the first switching time). In particular, we exclude the possibility of the having a finite accumulation point, often referred to as chattering. It indicates that a switching signal has at most finite switching times over a finite time interval. with local Lipschitz, and In order to study the ISS, in the following we assume that the solution of system (1) with an initial condition exists on uniquely.

By the ideas proposed by Hespanha and Morse [34] for switched systems, we say that a switching signal has average dwell-time (ADT) if there exist numbers and such that

where is called the “chatter bound” and is the number of switches occurring in the interval . We denote such kind of switching signals by set Denote the switching times in the interval by and the index of the system that is active in the interval by

A function is of class if is continuous and strictly increasing and If is also unbounded, it is of class A function is of class if is of class for each fixed , and decreases to as for each fixed

Definition 1 (see [16]). Suppose that a switching signal is given. The system (1) is said to be ISS if there exist functions and such that for each , and for each input , the solution satisfies

for all , where denotes the supremum norm on the interval . This definition depends on the choice of the switching signal; however, it is often of interest to characterize ISS over classes of switching signals. We say that system (1) is uniformly input-to-state stable (UISS) over the class (of switching signal) if for any condition (3) is satisfied with the same and for every .

3. ISS Theorems

In this section, we shall present some ADT results for ISS of switched system (1) based on Lyapunov method involving indefinite derivative.

Theorem 2. Assume that there exist functions , , a continuous function , continuous differentiable functions , and constants such that, for all , , and all ,

Then the switched system (1) is UISS over the class , where ADT constant satisfies

Proof. Let be a solution of system (1). Define If

during some interval , in this case, suppose that there exists switching signal such that For , it follows from (5) that

For , it follows from (5), (6), and (10) that

Then it can be deduced that

Since , it follows from the ADT condition (2) that

We denote the first time when

by ; that is,

If  , then it holds that

It follows from (8) that there exists small enough such that

which together with (7) yields that

It then follows from (4) that

Thus is bounded by a -class function, which implies that system (1) is ISS. Hence we only need to consider the case that It follows from (18) that

For , we denote the first time when

by ; that is,

If    , then it is obvious that system (1) is ISS. Assuming that , then

Then we further denote the second time when

by ; that is,

Due to the continuity of and the monotonicity of , when , it holds that

By this way, it can be deduced that, for every , it holds that

where

It follows from (20) and (27) that

for all , which together with (4) yields that

for all This indicates that system (1) is UISS over the class The proof is completed.

In particular, if system (1) is given in the form of

which is a general case without switched structure, by Theorem 2, one may derive the following corollary.

Corollary 3. Assume that there exist functions , , a continuous function , a continuous differentiable function , and a constant such that, for all , , (7) and the following conditions hold:

Then system (31) is ISS.

Remark 4. Recently, [32] has presented some sufficient conditions for ISS property of system (31) based on Lyapunov method involving indefinite derivative under the assumption that

where , and is a constant, while our ISS result in Corollary 3 only requires that (7) holds, which has wider applications. For example, and , and it is easy to see that is a sign reversal function. In this case, one may choose such that

which implies that (7) holds. However, it is easy to see that

Next we consider the time-varying linear switched system in the form of

where is the system state, is locally bounded input, and and are time-varying functions. To ensure the ISS property of (36), we present the following result.

Theorem 5. Assume that there exist constants , and continuous functions and such that, for all and all , , (7), and the following hold:

Then system (36) is UISS over the class , where ADT constant satisfies (8).

Proof. Let be a solution of system (36) and define Then the proof of Theorem 5 is similar to Theorem 2. We only need to notice that the following are chosen: and It then follows from Theorem 2 that when , it holds that , which, together with (37), leads to the following:

which implies that condition (5) holds. Then it is easy to check that all conditions in Theorem 2 hold and thus Theorem 5 can be derived. The proof is completed.

In particular, if we choose , then the following corollary can be derived directly.

Corollary 6. Assume that there exist constants , and continuous function such that, for all and all , , (7), and the following hold:

Then the system (36) is UISS over the class , where ADT constant satisfies (8).

In addition, note that the ISS property guarantees the uniform asymptotic stability (UAS) of a system with a zero input. Consider the nonlinear switched system

where is the switching function, is local Lipschitz and is the solution for system (40) with the initial value and an initial time Then we have the following result for system (40).

Corollary 7. Assume that there exist functions , a continuous function , continuous differentiable functions , and constants such that, for all , , and all , (4), (6), (7), and the following condition hold:

Then system (40) is UAS in Lyapunov sense, where ADT constant satisfies (8).

4. Applications

In this section, we present two examples to illustrate our main results.

Example 8. Consider the switched system (1) with , , and

where , and
Note that and are sign reversal functions. Most of existing results, such as those in [18–23, 26–29], are inapplicable to switched system (1). Choose and as ISS-Lyapunov functions. It is easy to see that condition (6) holds with Let and , and then when

that is,

it leads to

Similarly, it can be deduced that when Thus condition (5) is satisfied. Choose such that

which implies that (7) holds. Note that Hence, the switched system (1) is UISS over the class with In particular, if we choose the switching sequence and let , , then Figures 1(a) and 1(b) illustrate the switching signal and the state trajectory of system (1), respectively.

(a)

(b)

Figure 1: Simulation results for Example 8.

Remark 9. Note that, if we choose in the above example, then it can be deduced that , which goes against condition (5). It indicates that sometimes it is necessary and important to consider multiple Lyapunov functions for switched systems. In addition, it is easy to check that the ISS Theorems in [32] are invalid for the above example due to the stronger restriction on

Example 10. Consider the time-varying switched system (36) with and

where

In this case, choose , and Then it is easy to see that

which implies that (7) holds. Moreover, note that

Note that . Thus it follows from Corollary 6 that the switched system (36) is UISS over the class with In particular, if we choose the switching sequence and let , , then Figures 2(a) and 2(b) illustrate the switching signal and the 2-norm of the state trajectory of system (36), respectively.

(a)

(b)

Figure 2: Simulation results for Example 10.

5. Conclusion

In this paper, we presented some new ADT-based sufficient conditions for ISS of switched systems via Lyapunov method involving indefinite derivative. The ISS property of the switched system can be guaranteed under the designed ADT scheme. Our results improved some recent work in the literature. Two examples were given to show the effectiveness and advantage of the obtained results. It should be pointed out that the main results of this paper are based on multiple Lyapunov functions, which are more general than existing results in some cases. Since complex factors such as nonlinearities, impulsive perturbations, and delays exist widely in various engineering systems [35], future work can be done to develop the Lyapunov method involving indefinite derivative to switched systems subject to complex factors.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by National Natural Science Foundation of China (11301308, 61673247) and the Research Fund for Excellent Youth Scholars of Shandong Province (ZR2016JL024, JQ201719).

References

C. Liu, Z. Gong, E. Feng, and H. Yin, “Optimal switching control of a fed-batch fermentation process,” Journal of Global Optimization, vol. 52, no. 2, pp. 265–280, 2012.

P. G. Howlett, P. J. Pudney, and X. Vu, “Local energy minimization in optimal train control,” Automatica, vol. 45, no. 11, pp. 2692–2698, 2009.

R. C. Loxton, K. L. Teo, V. Rehbock, and W. K. Ling, “Optimal switching instants for a switched-capacitor DC/DC power converter,” Automatica, vol. 45, no. 4, pp. 973–980, 2009.

C. G. Cassandras, D. L. Pepyne, and Y. Wardi, “Optimal control of a class of hybrid systems,” IEEE Transactions on Automatic Control, vol. 46, no. 3, pp. 398–415, 2001.

Q. Lin, R. Loxton, K. l. Teo, and Y. H. Wu, “A new computational method for optimizing nonlinear impulsive systems,” Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications & Algorithms, vol. 18, pp. 59–76, 2011.

W. Yu, J. Cao, and K. Yuan, “Synchronization of switched system and application in communication,” Physics Letters A, vol. 372, no. 24, pp. 4438–4445, 2008.

G. J. Huang and W. H. Chen, “A revisit to the design of switched observers for switched linear systems with unknown inputs,” International Journal of Control, Automation, and Systems, vol. 12, no. 5, pp. 954–962, 2014.

R. a. Zawiski, “Stabilizability of nonlinear infinite dimensional switched systems by measures of noncompactness in the space c₀,” Nonlinear Analysis: Hybrid Systems, vol. 25, pp. 79–89, 2017.

L. V. Hien and H. Trinh, “Switching design for suboptimal guaranteed cost control of 2-D nonlinear switched systems in the Roesser model,” Nonlinear Analysis: Hybrid Systems, vol. 24, pp. 45–57, 2017.

Q. Wang, H. Sun, and G. Zong, “Stability analysis of switched delay systems with all subsystems unstable,” International Journal of Control, Automation, and Systems, vol. 14, no. 5, pp. 1262–1269, 2016.

G. Zong, X. Wang, and H. Zhao, “Robust finite-time guaranteed cost control for impulsive switched systems with time-varying delay,” International Journal of Control, Automation, and Systems, vol. 15, no. 1, pp. 113–121, 2017.

R. Shorten, F. Wirth, O. Mason, K. Wulff, and C. King, “Stability criteria for switched and hybrid systems,” SIAM Review, vol. 49, no. 4, pp. 545–592, 2007.

C. Huang, J. Cao, and J. Cao, “Stability analysis of switched cellular neural networks: A mode-dependent average dwell time approach,” Neural Networks, vol. 82, pp. 84–99, 2016.

X. Li and J. Cao, “An impulsive delay inequality involving unbounded time-varying delay and applications,” IEEE Transactions on Automatic Control, vol. 62, pp. 3618–3625, 2017.

X. Yang, C. Huang, and Q. Zhu, “Synchronization of switched neural networks with mixed delays via impulsive control,” Chaos Solitons & Fractals, vol. 44, pp. 817–826, 2011.

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

M. Krichman, E. D. Sontag, and Y. Wang, “Input-output-to-state stability,” SIAM Journal on Control and Optimization, vol. 39, no. 6, pp. 1874–1928, 2001.

C. Cai and A. R. Teel, “Results on input-to-state stability for hybrid systems,” in Proceedings of the 44th IEEE Conference on Decision & Control, pp. 5403–5408, 2005.

J. L. Mancilla-Aguilar and R. A. Garcia, “On converse Lyapunov theorems for ISS and iISS switched nonlinear systems,” Systems & Control Letters, vol. 42, pp. 47–53, 2001.

D. Nešić and A. R. Teel, “Input-output stability properties of networked control systems,” IEEE Transactions on Automatic Control, vol. 49, no. 10, pp. 1650–1667, 2004.

P. Pepe and Z. P. Jiang, “A Lyapunov-Krasovskii methodology for ISS and iISS of time-delay systems,” Systems & Control Letters, vol. 55, pp. 1006–1014, 2006.

X. Li, X. Zhang, and S. Song, “Effect of delayed impulses on input-to-state stability of nonlinear systems,” Automatica, vol. 76, pp. 378–382, 2017.

X. Zhang and X. Li, “Input-to-state stability of non-linear systems with distributed-delayed impulses,” IET Control Theory & Applications, vol. 11, pp. 81–89, 2017.

L. Liu, R.-W. Guo, and S.-P. Ma, “Input/output-to-state stability of switched nonlinear systems with an improved average dwell time approach,” International Journal of Control, Automation, and Systems, vol. 14, no. 2, pp. 461–468, 2016.

Y. Ji, Q. Zong, B. Tian, and H. Liu, “Input-to-state-stability modular command filtered back-stepping attitude control of a generic reentry vehicle,” International Journal of Control, Automation, and Systems, vol. 11, no. 4, pp. 734–741, 2013.

W.-H. Chen and W. X. 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.

S. N. Dashkovskiy, B. S. Rüffer, and F. R. Wirth, “Small gain theorems for large scale systems and construction of ISS Lyapunov functions,” SIAM Journal on Control and Optimization, vol. 48, no. 6, pp. 4089–4118, 2010.

X. Wu, Y. Tang, and W. Zhang, “Input-to-state stability of impulsive stochastic delayed systems under linear assumptions,” Automatica, vol. 66, pp. 195–204, 2016.

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

J. Cheng, J. H. Park, L. Zhang, and Y. Zhu, “An asynchronous operation approach to event-triggered control for fuzzy Markovian jump systems with general switching policies,” IEEE Transactions on Fuzzy Systems, vol. 99, pp. 1–1, 2016.

J. Cheng, J. H. Park, Y. Liu, Z. Liu, and L. Tang, “Finite-time H1 fuzzy control of nonlinear Markovian jump delayed systems with partly uncertain transition descriptions,” Fuzzy Sets and Systems, vol. 314, pp. 99–115, 2017.

C. Ning, Y. He, M. Wu, Q. Liu, and J. She, “Input-to-state stability of nonlinear systems based on an indefinite Lyapunov function,” Systems & Control Letters, vol. 61, pp. 1254–1259, 2012.

C. Ning, Y. He, M. Wu, and S. Zhou, “Indefinite derivative Lyapunov-Krasovskii functional method for input to state stability of nonlinear systems with time-delay,” Applied Mathematics and Computation, vol. 270, Article ID 21587, pp. 534–542, 2015.

J. P. Hespanha and A. S. Morse, “Stability of switched systems with average dwell-time,” in Proceedings of the 38th IEEE Conference on Decision & Control, pp. 2655–2660, 1999.

X. Li and S. Song, “Stabilization of Delay Systems: delay-dependent Impulsive Control,” IEEE Transactions on Automatic Control, vol. 62, no. 1, pp. 406–411, 2017.