Recent Advances in Hybrid Dynamical SystemsView this Special Issue
Research Article | Open Access
Xia Zhang, Zun-Quan Xia, Yan Gao, "Exponential Stabilizability of Switched Systems with Polytopic Uncertainties", Journal of Applied Mathematics, vol. 2012, Article ID 853170, 15 pages, 2012. https://doi.org/10.1155/2012/853170
Exponential Stabilizability of Switched Systems with Polytopic Uncertainties
The exponential stabilizability of switched nonlinear systems with polytopic uncertainties is explored by employing the methods of nonsmooth analysis and the minimum quadratic Lyapunov function. The switchings among subsystems are dependent on the directional derivative along the vertex directions of subsystems. In particular, a sufficient condition for exponential stabilizability of the switched nonlinear systems is established considering the sliding modes and the directional derivatives along sliding modes. Furthermore, the matrix conditions of exponential stabilizability are derived for the case of switched linear system and the numerical example is given to show the validity of the synthesis results.
In the last two decades, there has been increasing research in stability analysis and control design for switched systems and many results have been studied on stability and stabilizability problems for various types of switched systems [1–9]. Many interesting results for different kinds of problems of switched systems can be found in some books [10, 11]. The motivation of studying the switched system is out of the fact that many practical systems are inherently multimodal, and several dynamical subsystems are required to describe their behavior which may depend on various environmental factors. Sometimes there are some systems that cannot be asymptotically stabilized by a single continuous feedback control rule but can be stabilized by switching rule .
It is very important to investigate switched systems which contain uncertainties due to modelling errors, aging disturbance, and complex environment in realistic problems. One important type of uncertain systems are switched systems which are composed of polytopic uncertainty subsystems. As pointed out in , polytopic uncertainties exist in many real systems, and most of the uncertain control systems can be approximated by systems with polytopic uncertainties. The polytopic uncertain systems are less conservative than systems with norm bounded uncertainties . Recently, the stability and stabilization problems for both continuous-time and discrete-time switched systems with polytopic uncertainties are investigated in [14, 15]. In particular, the paper  investigated the quadratic stabilizability problem via state feedback, and provided sufficient conditions to be quadratically stabilized for the switched systems which being composed of two subsystems. More recently, necessary and sufficient conditions for continuous-time case via state feedback are proved in the paper [16, 17].
Lyapunov theory is a very important approach to stability analysis or stabilization for switched systems, and the construction of Lyapunov functions is one of the fundamental problem in system theory. The most popular types of Lyapunov function are quadratic functions, piecewise-linear functions, and piecewise affine functions [9, 18–20]. Furthermore, there are some results for the systems with time-delay [21, 22]. Paper  investigates the stability and stabilization properties of linear switched time delay dynamic systems subject to; in general, multiple uncommensurate known internal point delays based on Lyapunovs stability analysis via appropriate Krasovsky-Lyapunovs functionals and the related stability study is performed to obtain both delay independent and delay dependent results. In , the authors studied the exponential stabilization problem for discrete-time switched linear systems based on a special control Lyapunov function which can make the hybrid-control policy of the related switched system be derived analytically and computed efficiently. Hu and Lin  proposed a composed quadratic Lyapunov function for constrained control systems. The composite quadratic Lyapunov function turned out to be very effective in dealing with some constrained control systems as well as a class of more general nonlinear systems [4, 24–26].
Motivated by the methods in , we consider the exponential stabilizability problems of switched nonlinear systems with polytopic uncertain subsystems using the composite quadratic functions. We mainly use the minimum quadratic function. The contributions in our work is that, the analysis of possible sliding modes in the switched systems and employing the nonquadratic Lyapunov functions to reduce the conservatism in references [14, 16, 17]. We extend the main result of  and establish the matrix conditions of exponential stabilizability for the switched linear systems.
The remainder of this paper is organized as following. In Section 2, we briefly review some conceptions especially the switched systems with polytopic uncertainties and the minimum quadratic functions. Then, in Section 3, the exponential stabilizability results based on the minimum functions are established, and the conditions as matrix inequalities are derived for the switched linear system. Moreover an example is given to demonstrate the effectiveness of our method. Finally, concluding remarks are given in Section 4 and some definitions or conclusions from nonsmooth analysis are listed in the appendix.
Notations. We use to represent the set of integers ; denotes the gradient of at and the subdifferential of at ; stands for the one-sided directional derivative of at along ; denotes the convex hull of a set .
2. Switched Systems and the Minimum Quadratic Function
Switched system is a hybrid dynamical system composed by a family of continuous-time or discrete-time subsystems with a rule orchestrating the switching between the subsystems [1, 2]. In this paper, we consider the time-invariant switched nonlinear systems where is the state vector and is the switching rule defined by , denotes nonnegative real numbers. Therefore, the switched system is composed of continuous time subsystems which are expressed as
We assume that all subsystems are uncertain systems of polytopic type described as where , are known and in locally Lipschitzian. They are called vertex directions of the subsystems. , are integers. , are polytopic uncertain parameters for and satisfy .
Define the minimum function where is a set of differentiable, positive definite, and radially unbounded functions, which are zero at .
The function is positive definite and homogeneous of degree two . It is established from the theory of nonsmooth analysis that the function is not convex and not differentiable everywhere even if the functions are all differentiable.
For a vector field , we have for small enough. Thus directional derivative measures the time derivative of at along the trajectory. For this reason the exponential stabilizability of the switched systems in our paper can utilize the directional derivative of the minimum quadratic function.
3. Exponential Stabilizability of the Switched Systems
There are many methods to construct switching rule for the stabilizability of switched systems [4, 14, 27]. Just as the paper , our switching rule is constructed by employing the minimum function and its directional derivative. We select the minimum function (2.4), which is constructed from general functions , where each is continuously differentiable.
Now we consider the stability of a closed loop system by examining the directional derivative of along its trajectories.
Proposition 3.1. Consider the closed loop systems (2.1). Construct the switching rule as follows: Define When is not in a sliding mode, .
Proof. When is not in a sliding mode, then may equal to a . is chosen by the switching rule . Then The proof is completed.
From a practical point of view, a sliding mode is very important and it is often unavoidable in the switched systems. So we need to pay particular attention to sliding modes. When there is a sliding mode, we assume that be the set of indices of subsystems involved in the sliding mode. Then may not equal to any of , instead stay on the switching surface and is a convex combination of those ’s, that is, where , (see ).
Proposition 3.2. Consider the closed loop systems (2.1) with the switching rule (3.1). Assuming a sliding mode involving subsystems , , then for each in this sliding mode, Moreover, along the sliding direction , one has where , .
Proof. If is differentiable at , then there is an integer such that for all , and . One has
For the structure of the switching rule (3.1), we have
Since is continuous in , is continuous in too. There is a small neighborhood of , say , where which implies . We can conclude that if will not be chosen by the switching rule for , that is , and (3.5) comes from (3.7).
Moreover, along the sliding direction we have
Now we consider the case that is not differentiable at ; that is, has two or more integers. Suppose that , then for all . When , then , for all . Furthermore, there must exist two ’s, say, , and . In this situation .
Defining and within the vicinity of , we have two cases.(a)If , then and a trajectory of would enter from .(b)If , then and a trajectory of would enter from .
We interpreter cases (a) and (b) below. Case (a) implies that is chosen by the switching law in , thus one has for all . In particular, one has
Taking , then When , we have To ensure that a trajectory of would enter from , we must have Similarly, from case (b), we have Combining the inequalities from (3.15) to (3.19), one has Thus, the following inequalities: are valid. They are all equal to . So we have Similarly, we obtain . Thus the relation (3.5) follows for .
The above argument can be extended to the case . Then are involved in the sliding motion with corresponding indices , with pointing from to pointing from to . Similar procedure can be used to derive the conclusion extended from (3.21). Thus we have Similarly, we have . Thus the relation (3.5) is obtained for .
Now we consider there are three elements in the sliding direction. Let , , be positive numbers, such that . Define . Since sliding mode stays in the set where , we have For , let , , and . Due to the sliding motion for sufficient small, , and by (3.25), , : Since each function , is continuously differentiable, then Above step can be extended to the case where has more than three elements. Therefore, the inequality (3.6) is satisfied and the proof is completed.
To summarize Propositions 3.1 and 3.2 we have the result that if is not in a sliding mode, then and . If is in a sliding mode involving subsystems , , then there exist , , satisfying , and , such that . We also have from (3.6). In view of these arguments, we can establish a sufficient condition of stability for the switched systems in terms of .
Remark 3.4. This theorem indicates that when a minimum function is used, it is sufficient to use the directional derivatives along all vertex directions of subsystems to characterize stability of the switched systems with polytopic uncertainties, and the existence of sliding modes has no effect.
When we consider the the case of the switched linear systems, then the systems (2.1) turn to where , , are constant matrices.
We can establish a matrix condition for exponential stabilizability of the systems.
Theorem 3.5. The switched linear system (3.30) is exponentially stabilizable via state switching if there exist real matrices , , and real number , , , , , , , such that
Proof. Let . Consider and assume that for a certain integer . Then for and for . Hence , for all . According to (3.32), the following inequalities:
Since , we have It follows that By Lemma A.1 in the appendix,
Define the switching rule as Under this switching rule we have for every solution from Theorem 3.3. The proof is completed.
Remark 3.6. If for all and , then can be reduced to a quadratic function and (3.32) can be reduced to the matrix inequalities If , then this corresponds to the stability condition given in . In this sense, Theorem 3.5 is the extension of the main result in .
Example 3.7. Consider the switched linear system (3.30) composed of two subsystems, where
The eigenvalues of , , , are , , , and , respectively. They are all unstable. Therefore, neither subsystems is quadratically stable.
We turn to use composed of two quadratic functions and minimize subject to (3.32). The minimal is given as when fix the parameters as following: , , , . That is to say a unified convergence rate is guaranteed. For verification, other parameters are provided as following:
Let us investigate the system state trajectory using the two special subsystems They are both unstable.
We suppose that the initial state is . According to the switched rule (3.37), the dynamic system can exponential stabilizability and the typical result is plotted in Figure 1, which show that the system state converge to zero very quickly.
In this paper, the exponential stabilizability of switched nonlinear systems with polytopic uncertainties is considered employing the methods of nonsmooth analysis and nonquadratic Lyapunov functions. The function is formed by taking the pointwise minimum of a family of quadratic functions. We establish the switching rule to stabilize the switched systems by utilizing the directional derivative along the vertex directions of subsystems. In this process, we take a lot of effort in examining the case that the control systems involving sliding modes. The matrix conditions for exponential stabilizability of the switched linear systems are also obtained. As numerical example demonstrate in this paper, our synthesis result is effective. Future efforts will be devoted to the switched systems with time delay.
Suppose is defined from to , and is finite. The one-sided directional derivative of at in direction can be expressed by
Suppose is a convex function in , and finite at . The set is called the subdifferential of at and is a subgradient of at . For a convex function in , is differential at if and only if has only one vector. In this case we have .
If is locally Lipschitz near and is any set of Lebesgue measure in . The set of points at which fails to be differentiable is denoted by . Then the generalized gradient of at in the sense of Clarke denoted by is defined as
Lemma A.1. Suppose . Then one has(1)For , the directional derivative of at along is given by where the index set .(2)If , then .
This work was supported by the National Natural Science Foundation of China (under Grant: 10971187, 11071029, and 11201362).
- W. P. Dayawansa and C. 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.
- H. Lin and P. J. Antsaklis, “Stability and stabilizability of switched linear systems: a survey of recent results,” IEEE Transactions on Automatic Control, vol. 54, no. 2, pp. 308–322, 2009.
- R. W. Brockett, “Asymptotic stability and feedback stabilization,” in Differential Geometric Control Theory, vol. 27, pp. 181–191, Birkhäuser, Boston, Mass, USA, 1983.
- T. Hu, L. Ma, and Z. Lin, “Stabilization of switched systems via composite quadratic functions,” IEEE Transactions on Automatic Control, vol. 53, no. 11, pp. 2571–2585, 2008.
- M. C. F. Donkers, W. P. M. H. Heemels, N. van de Wouw, and L. Hetel, “Stability analysis of networked control systems using a switched linear systems approach,” IEEE Transactions on Automatic Control, vol. 56, no. 9, pp. 2101–2115, 2011.
- L. Gurvits, R. Shorten, and O. Mason, “On the stability of switched positive linear systems,” IEEE Transactions on Automatic Control, vol. 52, no. 6, pp. 1099–1103, 2007.
- J. Lian and K. Zhang, “Exponential stability for switched Cohen-Grossberg neural networks with average dwell time,” Nonlinear Dynamics, vol. 63, no. 3, pp. 331–343, 2011.
- D. Wang, W. Wang, and P. Shi, “Delay-dependent model reduction for continuous-time switched state-delayed systems,” International Journal of Adaptive Control and Signal Processing, vol. 25, no. 9, pp. 843–854, 2011.
- W. Zhang, A. Abate, J. Hu, and M. P. Vitus, “Exponential stabilization of discrete-time switched linear systems,” Automatica, vol. 45, no. 11, pp. 2526–2536, 2009.
- D. Liberzon, Switching in Systems and Control, Birkhäuser, Boston, Mass, USA, 2003.
- Z. D. Sun and S. S. Ge, Switched Linear Systems Control and Design, Springer, Heidelberg, Germany, 2004.
- D. Xie and G. Xu, “Computation of performance robustness bounds for control sys-tems with parameter uncertainties: an LMI approach,” IEE Proceedings Control Theory & Applications, vol. 152, no. 6, pp. 675–682, 2005.
- N. Chen, W. H. Gui, and B. Y. Liu, “Parametric absolute stability of interconnected Lurie control systems,” Acta Automatica Sinica, vol. 33, no. 12, pp. 1283–1289, 2007.
- G. Zhai, H. Lin, and P. J. Antsaklis, “Quadratic stabilizability of switched linear systems with polytopic uncertainties,” International Journal of Control, vol. 76, no. 7, pp. 747–753, 2003.
- H. Lin and P. J. Antsaklis, “Switching stabilizability for continuous-time uncertain switched linear systems,” IEEE Transactions on Automatic Control, vol. 52, no. 4, pp. 633–646, 2007.
- N. Otsuka and T. Soga, “Quadratic stablizability for polytopic uncertain continuous-time switched linear systems composed of two subsystems,” International Journal of Control and Automation, vol. 3, no. 1, pp. 35–42, 2010.
- T. Saga and N. Otsuka, “Quadratic stabilizability for polytopic uncertain continuous-time switched linear systems via switched observer,” in Proceedings of the 19th Mediterranean Conference on Control and Automation Aquis Corfu Holiday Palace, pp. 724–729, Corfu, Greece, June 2011.
- Z. Chen and Y. Gao, “On common linear copositive Lyapunov functions for pairs of stable positive linear systems,” Nonlinear Analysis. Hybrid Systems, vol. 3, no. 4, pp. 467–474, 2009.
- Z. Chen and Y. Gao, “Common Lyapunov functions for stable second order systems,” in Proceedings of the 1st International Workshop on Intelligent Systems and Applications, pp. 1754–1756, IEEE, 2009.
- B. E. A. Milani, “Piecewise-affine Lyapunov functions for continuous-time linear systems with saturating controls,” in Proceedings of the American Control Conference, pp. 429–434, Boston, Mass, USA, June 2004.
- N. Luo, M. de la Sen, and J. Rodellar, “Robust stabilization of a class of uncertain time delay systems in sliding mode,” International Journal of Robust and Nonlinear Control, vol. 7, no. 1, pp. 59–74, 1997.
- M. da la Sen, “Quadratic stability and stabilization of switched dynamic systems with uncommensurate internal point delays,” Applied Mathematics and Computation, vol. 185, no. 1, pp. 508–526, 2007.
- T. Hu and Z. Lin, “Composite quadratic Lyapunov functions for constrained control systems,” IEEE Transactions on Automatic Control, vol. 48, no. 3, pp. 440–450, 2003.
- L. Lu and Z. Lin, “Design of a nonlinear anti-windup gain by using a composite quadratic Lyapunov function,” IEEE Transactions on Automatic Control, vol. 56, no. 12, pp. 2997–3001, 2011.
- T. Hu, R. Goebel, A. R. Teel, and Z. Lin, “Conjugate Lyapunov functions for saturated linear systems,” Automatica, vol. 41, no. 11, pp. 1949–1956, 2005.
- X. Dong and J. Zhao, “Solvability of the output regulation problem for switched nonlinear systems,” Control Theory & Applications, IET, vol. 6, no. 8, pp. 1130–1136, 2012.
- J. Lian and J. Zhao, “Sliding mode control of uncertain switched delay systems via hysteresis switching strategy,” International Journal of Control, vol. 8, no. 6, pp. 1171–1178, 2010.
- A. F. Filippov, Differential Equations With Discontinuous Right Hand Sides, vol. 18, Kluwer Academic Publishers, Norwell, Mass, USA, 1988.
- F. H. Clarke, Yu. S. Ledyaev, R. J. Stern, and P. R. Wolenski, Nonsmooth Analysis and Control Theory, vol. 178, Springer, New York, NY, USA, 1998.
- R. T. Rockafellar, Convex Analysis, Princeton University Press, Princeton, NJ, USA, 1970.
- S. Boyd, Lecture Notes for Convex Optimization II, http://www.stanford.edu/class/ee364b/lectures/subgradients_slides.pdf.
Copyright © 2012 Xia Zhang 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.