Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2015, Article ID 521636, 8 pages
http://dx.doi.org/10.1155/2015/521636
Research Article

Robust State Feedback Stabilization of Uncertain Discrete-Time Switched Linear Systems Subject to Actuator Saturation

1School of Information and Control Engineering, Liaoning Shihua University, Fushun 113001, China
2State Key Laboratory of Synthetical Automation for Process Industries, Northeastern University, Shenyang 110819, China

Received 16 September 2014; Accepted 12 January 2015

Academic Editor: Seenith Sivasundaram

Copyright © 2015 Xinquan 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.

Abstract

The robust stabilization problem is investigated for a class of discrete-time switched linear systems with time-varying norm-bounded uncertainties and saturating actuators by using the multiple Lyapunov functions method. A switching law and a state feedback law are designed to asymptotically stabilize the system with a large domain of attraction. Based on the multiple Lyapunov functions method, sufficient conditions are obtained for robust stabilization. Furthermore, when some parameters are given in advance, the state feedback controllers and the estimation of domain of attraction are presented by solving a convex optimization problem subject to a set of linear matrix inequalities (LMI) constraints. A numerical example is given to show the effectiveness of the proposed technique.

1. Introduction

Switched systems are an important class of hybrid dynamic systems, which consist of a family of continuous-time or discrete-time subsystems and a switching law orchestrating which subsystem to be activated during a certain interval of time. In the last decade, the study of switched systems has received a growing attention in control theory [15] and practice [69]. The motivation for studying switched systems stems from the fact that many real-world processes and systems can be modeled as switched systems, including chemical processes, computer disk drives, network control, power systems, communication industries, robotic manufacture, and multiple-model systems. A lot of attention is focused on the stability issue of switched systems [1, 2], because stability is the most delicate and important issue in the study. Many analytical approaches and techniques have been developed for this issue, for example, common Lyapunov function approach [1012], switched Lyapunov function approach [13], multiple Lyapunov functions approach [1416], and the average dwell-time method [17]. For the switched linear systems, the multiple Lyapunov functions method has been considered largely as one of the most effective tools.

It is well known that nearly all control systems in practice often operate with actuator saturation, since all control devices are limited by inherent physical constraints. Saturation is a source of degradation of system performance, occurrence of limit cycle, more than one equilibrium states some of which may have deterrent stability behavior, and even system instability caused by some large perturbation. Hence, the stability analysis and synthesis for nonswitched control systems subject to actuator saturation nonlinearities have been receiving increased attention for years and decades due to the practical and theoretical importance, which may also be seen in the recent works [1822]. It is pointed out in [20, 22] that there are two main approaches dealing with actuator saturation nonlinearities. The first strategy is to neglect actuator saturation and design a linear controller that meets the performance specifications in the first stage of the control design process and then add an antiwindup compensator to minimize the influence of saturation [20]. The second strategy is to take actuator saturation into account at the outset of the control design and then design a linear controller which guarantees the asymptotic stability of the system [22]. The main goal in these two strategies is to obtain a larger estimate of the domain of attraction, despite the presence of saturation.

For switched systems with actuator saturation, the analysis and synthesis become more difficult owing to the phenomena of interacting switching and actuator saturation nonlinearities. In turn, the results for switched systems with actuator saturation are very few. Via utilizing multiple Lyapunov functions method, [23] considered the design of switching scheme for a class of switched linear systems in the presence of actuator saturation. In [24], a switching antiwindup design was proposed for a linear system subject to actuator saturation, which is based on the min-function of multiple quadratic Lyapunov functions. Robust stabilization problem for a class of switched linear systems with saturating actuators and uncertainties was investigated in [25] also via the multiple Lyapunov functions method. These papers are devoted to the continuous-time switched systems subject to input saturation. Reference [26] investigated the stabilization problem for a class of discrete-time linear switched systems subject to actuator saturations via a composite Lyapunov function method. References [27, 28] extended the result in [26] by showing that the same conditions also allow that the union of all the corresponding level sets of functions constitutes a large region of asymptotic stability of the switched system. All the results mentioned above are about the stabilization problem of discrete-time linear switched systems under arbitrary switchings. To the best of the authors’ awareness, for uncertain discrete-time switched linear systems subject to actuator saturation no results on the problem of the robust stabilization with resort to the multiple Lyapunov functions method have been reported in the existing literature, which motivates the present study.

This paper studies the problems of robust stability analysis and robustly stabilizing control synthesis for a class of uncertain discrete-time switched linear systems subject to actuator saturation via multiple Lyapunov functions method. Sufficient conditions of asymptotic stability are obtained. Furthermore, the problem of designing linear state feedback controllers which guarantee the stability of the closed-loop system and a larger estimation of domain of attraction is formulated and solved in terms of the solution of a set of linear matrix inequalities (LMIs).

Compared with the existing results for switched systems subject to actuator saturation, there are two distinct features. Firstly, the multiple Lyapunov functions method is used to consider the stability problem of discrete-time switched systems with input saturation for the first time and this problem does not require solvability for every subsystem, while in the existing literature, this problem has been studied by using the switched Lyapunov function method and the solvability of the problem for every subsystem is required; secondly, controllers are designed based on the multiple Lyapunov functions method to achieve better performance (such as large the estimation of domain of attraction) for discrete-time switched systems with input saturation, while the existing literature either only focuses on the analysis, not design, or investigates the design issue that uses the switched Lyapunov function and dwell time methods.

Further this paper is organized as follows: Section 2 introduces the problem formulation. Section 3 presents the main results which consist of the stability analysis, the controller design, and the estimation of domain of attraction. An example is shown in Section 4 to illustrate the feasibility of our results. Finally, conclusions end the paper in Section 5.

2. Problem Statement and Preliminaries

We consider the following class of uncertain discrete-time switched linear systems with input saturation: where , is the state vector, and is the control input vector. The function is the vector valued standard saturation function defined as The function is a piecewise constant switching signal; means that the th subsystem is active. , are constant matrices of appropriate dimensions that describe the set of nominal systems. , denote unknown matrices with time-varying parameter uncertainties appearing in system matrices and having the following form: where , , and are given constant matrices with proper dimensions which characterize the structure of uncertainties. Matrix denotes the unknown time-varying matrix function satisfying

In this paper, we consider the following linear state feedback control laws: where are matrices either given beforehand or are to be designed. Then the closed-loop system is

The following lemmas will be used to develop the main results.

Lemma 1 (see [29]). Let , , be given matrices of appropriate dimensions; then for any matrix satisfying , if and only if there exists a constant such that

For a positive definite matrix and a scalar , an ellipsoid is defined as

Let be the th row of the matrix . We define the symmetric polyhedron

Let be the set of diagonal matrices whose diagonal elements are either 1 or 0. For example, if , then There are elements in . Suppose that each element of is labeled as , , and denote . Clearly, is also an element of if .

Lemma 2 (see [22]). Let be given. For any , if , then where denotes the convex hull of a set. Consequently, can be expressed as where , . We note that the parameters in (13) are functions of the state .

Lemma 3 (Schur’s complements). Given the symmetric matrix , the following statements are equivalent:(1); (2), ;(3), .
The objective of this paper is to design a switching law and a state feedback law of the form (5) such that the resulting closed-loop system (6) is locally asymptotically stable at the origin of the state space with a domain of attraction as large as possible.

3. Main Results

In this section, we will develop stability conditions and design stabilizing controllers.

3.1. Stability Analysis

In this subsection, we assume the control laws are known beforehand. Then, we give a sufficient condition for stability of switched system (6) by means of the multiple Lyapunov functions method.

Theorem 4. Suppose that there exist positive definite matrices , matrices , and a set of scalars , such that Moreover, assume . Then, the switched system (6) is robustly asymptotically stable at the origin with contained inside the domain of attraction under the state dependent switching law where .

Proof. By virtue of Lemma 2, for every , It follows that
In view of the switching law (15), for , the th subsystem is active.
Choose the Lyapunov function candidate for system (6) as
We split the proof into two parts.
Case 1. When , for , it follows that
Case 2. When , , and , for , using switching law (15), we have From Cases 1 and 2, we obtain Then, by Lemma 3, (14) is equivalent to Thus, using Lemma 1 we have Again, from the Lemma 3, we get Then, in view of the switching law (15), which indicates .
Therefore, in view of multiple Lyapunov functions methodology, the switched system (6) is asymptotically stable for all initial states and admissible uncertainties described by (3) and (4). This completes the proof.

3.2. Controller Design

In this subsection, we study how to design state feedback controllers such that the class of switched system with actuator saturation (6) is robustly stable.

Theorem 5. If there exist positive definite matrices , matrices , , and a set of scalars , , and such thatwhere denotes the th row of , then, under the controllers and the state dependent switching law the closed-loop switched system (6) with input saturation is robustly asymptotical stable at the origin .

Proof. By Lemma 3, (26) is equivalent to Let , , and . Then, pre- and postmultiplying both sides of inequality (29) by block-diagonal , we have which is exactly (14) in Theorem 4.
Applying a similar method to inequality (27), we can also obtain where denotes the th row of .
Then, we can show that is implied by (31). In fact, if we let since and , it holds that therefore (31) implies .
Since , the switching rule (28) is the same as (15) of Theorem 4. Thus, the proof is completed.

Remark 6. When each subsystem of (6) is unstable under actuator saturation, stability of (6) can still be achieved as long as the conditions of Theorem 4 or Theorem 5 are satisfied. This obviously enlarges the scope of systems that can be stabilized subject to actuator saturation.

3.3. Estimation of Domain of Attraction

In this subsection, we will design state feedback controllers and choose ’s such that the estimated domain of attraction of the closed-loop system (6) is maximized with respect to a given shape reference set .

Let be a prescribed bounded convex set containing the origin. For a set which contains the origin, define [22] Obviously, if , then . Thus, provides a kind of measure of the estimated domain of attraction. Two typical types of are the ellipsoid and the polyhedron where are a priori given points in .

As a result, the determination of the largest inside the domain of attraction can be formulated as the following constrained optimization problem:

Here, we choose as an ellipsoid; then (a) is equivalent to Let ; the optimization problem (37) can be rewritten as

Remark 7. If the parameters , , and are given in advance, the state feedback controllers and the estimation of domain of attraction are formulated and solved as a set of linear matrix inequality (LMI) optimization problem with respect to other unknown matrix variables.

4. An Illustrative Example

In the section, an example is given to illustrate the validity of the results in Section 3.

We consider the following uncertain discrete-time switched linear system subject to actuator saturation: where , the uncertain term with

The two subsystems are obviously unstable, and it is also easy to see that none of two subsystems subject to actuator saturation can be individually stabilized via state feedback for all admissible uncertainties. Now, we are going to design a switching law and state feedback controllers to stabilize the switched system (40) with a large domain of attraction.

Let , , , and . Solving the optimization problem (39) results in

It is easy to verify that none of two controllers makes the associated subsystem stabilizable (see Figures 1 and 2). However, the switched system (40) is stabilizable under the designed switching law together with the state feedback controllers. The state trajectory with the initial state and the input signal are depicted in Figures 3 and 4, respectively.

Figure 1: The state response of subsystem 1.
Figure 2: The state response of subsystem 2.
Figure 3: The state response of system (40).
Figure 4: The input signal of system (40).

In addition, it is worth noticing that if we neglect actuator saturation and design a linear controller, the obtained optimal solutions are which indicates that, by using the proposed method, the estimation of domain of attraction of the closed loop system is enlarged.

5. Conclusions

This paper has studied the robust stability and robust stabilization for a class of uncertain discrete-time switched linear systems subject to actuator saturation. Via multiple Lyapunov functions approach, sufficient conditions of asymptotic stability have been established. Moreover, if some parameters are selected in advance, the design problem of the robust state feedback control law that maximizes an estimation of the domain of attraction of the considered systems is presented by solving a convex optimization problem with a set of LMI constraints.

It should be noted that due to the complexity of dealing with simultaneous switching and actuator saturation nonlinearity, the proposed method may also cause some conservatism. Thus, how to design a switching law and controllers and to select some parameters to improve the performance of switched systems is a challenging issue which deserves further study in the future.

Conflict of Interests

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

Acknowledgments

This work was supported by the National Natural Science Foundation of China (nos. 61473140 and 61104066) and the Scientific Research Fund of Education Department of Liaoning Province of China (no. L2014159).

References

  1. D. Liberzon and A. S. Morse, “Basic problems in stability and design of switched systems,” IEEE Control Systems Magazine, vol. 19, no. 5, pp. 59–70, 1999. View at Publisher · View at Google Scholar · View at Scopus
  2. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  3. Z. D. Sun and S. S. Ge, “Analysis and synthesis of switched linear control systems,” Automatica, vol. 41, no. 2, pp. 181–195, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  4. G. Zhai, B. Hu, K. Yasuda, and A. N. Michel, “Disturbance attenuation properties of time-controlled switched systems,” Journal of the Franklin Institute: Engineering and Applied Mathematics, vol. 338, no. 7, pp. 765–779, 2001. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  5. X.-M. Sun, G.-P. Liu, D. Rees, and W. Wang, “Delay-dependent stability for discrete systems with large delay sequence based on switching techniques,” Automatica, vol. 44, no. 11, pp. 2902–2908, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. P. P. Varaiya, “Smart cars on smart roads: problems of control,” IEEE Transactions on Automatic Control, vol. 38, no. 2, pp. 195–207, 1993. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. J. Zhao and M. W. Spong, “Hybrid control for global stabilization of the cart-pendulum system,” Automatica, vol. 37, no. 12, pp. 1941–1951, 2001. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  8. W. Zhang, M. S. Branicky, and S. M. Phillips, “Stability of networked control systems,” IEEE Control Systems Magazine, vol. 21, no. 1, pp. 84–99, 2001. View at Publisher · View at Google Scholar · View at Scopus
  9. X. M. Sun, G. P. Liu, D. Rees, and W. Wang, “Stability of systems with controller failure and time-varying delay,” IEEE Transactions on Automatic Control, vol. 53, no. 10, pp. 2391–2396, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  10. J. Zhao and G. M. Dimirovski, “Quadratic stability of a class of switched nonlinear systems,” IEEE Transactions on Automatic Control, vol. 49, no. 4, pp. 574–578, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  11. D. Cheng, “Stabilization of planar switched systems,” Systems & Control Letters, vol. 51, no. 2, pp. 79–88, 2004. View at Publisher · View at Google Scholar · View at Scopus
  12. D. Cheng, L. Guo, and J. Huang, “On quadratic Lyapunov functions,” IEEE Transactions on Automatic Control, vol. 48, no. 5, pp. 885–890, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. M. 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  15. S. Pettersson, “Synthesis of switched linear systems,” in Proceedings of the 42nd IEEE Conference on Decision and Control, vol. 5, pp. 5283–5288, IEEE, Maui, Hawaii, USA, December 2003. View at Scopus
  16. J. Zhao and D. J. Hill, “On stability, L2-gain and H control for switched systems,” Automatica, vol. 44, no. 5, pp. 1220–1232, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  17. J. P. Hespanha and A. S. Morse, “Stability of switched systems with average dwell-time,” in Proceedings of the 38th IEEE Conference on Decision and Control (CDC '99), vol. 3, pp. 2655–2660, Phoenix, Ariz, USA, December 1999. View at Scopus
  18. H. Fang, Z. Lin, and T. Hu, “Analysis of linear systems in the presence of actuator saturation and L2-disturbances,” Automatica, vol. 40, no. 7, pp. 1229–1238, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. Q. Zheng and F. Wu, “Output feedback control of saturated discrete-time linear systems using parameter-dependent Lyapunov functions,” Systems & Control Letters, vol. 57, no. 11, pp. 896–903, 2008. View at Publisher · View at Google Scholar · View at Scopus
  20. J. M. G. da Silva Jr. and S. Tarbouriech, “Anti-windup design with guaranteed regions of stability for discrete-time linear systems,” Systems & Control Letters, vol. 55, no. 3, pp. 184–192, 2006. View at Publisher · View at Google Scholar · View at Scopus
  21. J. M. G. da Silva, D. Limon, T. Alamo, and E. F. Camacho, “Dynamic output feedback for discrete-time systems under amplitude and rate actuator constraints,” IEEE Transactions on Automatic Control, vol. 53, no. 10, pp. 2367–2372, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. T. Hu, Z. Lin, and B. M. Chen, “Analysis and design for discrete-time linear systems subject to actuator saturation,” Systems & Control Letters, vol. 45, no. 2, pp. 97–112, 2002. View at Publisher · View at Google Scholar · View at Scopus
  23. L. Lu and Z. Lin, “Design of switched linear systems in the presence of actuator saturation,” IEEE Transactions on Automatic Control, vol. 53, no. 6, pp. 1536–1542, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. L. Lu and Z. Lin, “A switching anti-windup design using multiple Lyapunov functions,” IEEE Transactions on Automatic Control, vol. 55, no. 1, pp. 142–148, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. X. Zhang, J. Zhao, G. M. Dimirovski, and R. Ma, “Robust state feedback stabilization of uncertain switched linear systems subject to actuator saturation,” in Proceedings of the American Control Conference (ACC '10), pp. 3269–3274, IEEE, Baltimore, Md, USA, June-July 2010. View at Scopus
  26. A. Benzaouia, L. Saydy, and O. Akhrif, “Stability and control synthesis of switched systems subject to actuator saturation,” in Proceedings of the American Control Conference (AAC '04), vol. 6, pp. 5818–5823, Boston, Mass, USA, July 2004. View at Publisher · View at Google Scholar · View at Scopus
  27. A. Benzaouia, O. Akhrif, and L. Saydy, “Stabilization of switched systems subject to actuator saturation by output feedback,” in Proceedings of the 45th IEEE Conference on Decision and Control, pp. 777–782, San Diego, Calif, USA, December 2006. View at Scopus
  28. J. Yu, G. Xie, and L. Wang, “Robust stabilization of discrete-time switched uncertain systems subject to actuator saturation,” in Proceedings of the American Control Conference (ACC '07), pp. 2109–2112, New York, NY, USA, July 2007. View at Publisher · View at Google Scholar · View at Scopus
  29. I. R. Petersen, “A stabilization algorithm for a class of uncertain linear systems,” Systems & Control Letters, vol. 8, no. 4, pp. 351–357, 1987. View at Publisher · View at Google Scholar · View at Scopus