- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 595029, 10 pages
On Switched Control Design of Linear Time-Invariant Systems with Polytopic Uncertainties
1Department of Academic Areas of Jataí, Federal Institute of Education, Science and Technology of Goiás (IFG), Campus Jataí, 75804-020 Jataí, GO, Brazil
2Department of Electrical Engineering, UNESP, Univ Estadual Paulista, Campus de Ilha Solteira, 15385-000 Ilha Solteira, SP, Brazil
3Department of Computer, Telecommunication, Control, and Automation Engineering, Faculdade of Science and Technology of Montes Claros (FACIT), Campus II, 39400-141 Montes Claros, MG, Brazil
Received 17 January 2013; Accepted 12 April 2013
Academic Editor: Oleg V. Gendelman
Copyright © 2013 Wallysonn A. de Souza 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.
This paper proposes a new switched control design method for some classes of linear time-invariant systems with polytopic uncertainties. This method uses a quadratic Lyapunov function to design the feedback controller gains based on linear matrix inequalities (LMIs). The controller gain is chosen by a switching law that returns the smallest value of the time derivative of the Lyapunov function. The proposed methodology offers less conservative alternative than the well-known controller for uncertain systems with only one state feedback gain. The control design of a magnetic levitator illustrates the procedure.
In recent years, there has been much interest in studying switched systems, due to the considerable advance in this research field, initiating mainly with [1–4]. For linear time-invariant systems, the transient response can be improved through switching controllers , as can be seen, for instance, in [6–9].
In general, most papers in the area of switched linear systems utilize multiple Lyapunov functions [10–14]. A design method that is applicable to a large class of switched controllers for linear systems with input signals, formulated with bilinear matrix inequalities (BMIs), is proposed in . The switching law defines regions where different subsystems are activated, resulting in a switched linear system that is exponentially stable. Study results on the stability analysis and stabilization of switched systems can be seen in , which presents necessary and sufficient conditions for asymptotic stability. Moreover, the problem of switching stabilizability is studied, investigating under what conditions it is possible to stabilize a switched system by designing switching control laws. Necessary and sufficient conditions for switched linear systems with polytopic uncertainties to be quadratically stabilizable via state feedback can be found in .
The design of the robust state feedback control for continuous-time systems subject to norm bounded uncertainty can be seen in , where the switching rule, as well as the state feedback gains, is determined from the minimization of a guaranteed cost function derived from a multiobjective criterion. The paper  presents a generalization of the results proposed in  and offers a procedure that finds, simultaneously, a set of state feedback gains and a switching rule to orchestrate them, rendering the equilibrium point of closed-loop system globally asymptotically stable for all time-varying uncertain parameters under consideration and assuring a guaranteed cost.
Although outnumbered, there are papers about switched linear systems using a common Lyapunov function as in [15, 16]. In , the stability of switched linear systems with polytopic uncertainties was studied. Some criteria for globally exponential stability were also established, in which all the vertex matrices of the switched systems are commutative pairwise, thus generalizing the existing results for switched linear systems without uncertainty. In  the quadratic stability for continuous-time and discrete-time switched linear systems with a switching rule using a single symmetric positive definite matrix, which depends on system states vector, was studied.
This paper proposes a new methodology for switched control design of a class of linear systems with polytopic uncertainties. This method uses a common Lyapunov function and quadratic stability for designing the state feedback controller gains based on linear matrix inequalities (LMIs). The proposed controller chooses a gain from a set of gains by means of a suitable switching law that returns the smallest value of the Lyapunov function time derivative. The proposed methodology allows a less conservative LMI-based design than the traditional method for uncertain plants that considers only one state feedback controller gain .
To confirm the advantages of the proposed methodology, figures comparing the regions of feasibility of the proposed methodology with the one state feedback gain classical method are presented. To compare the performance of the proposed control law with the classical control law, an application in the magnetic levitator control was simulated. The computational implementations were carried out using the modelling language YALMIP  with the solver SeDuMi .
For convenience, in some places, the following notation is used: where and is the number of uncertain parameters in the plant.
2. Linear Systems with Polytopic Uncertainties
Consider the linear system with polytopic uncertainties where is the state vector, is the control input, and as in (2), with and for .
2.1. Stability of Linear Systems via LMIs
This section presents some results on stability and control of linear systems with polytopic uncertainties.
Theorem 1 (see ). The linear system with polytopic uncertainties given in (5) is quadratically stabilizable if and only if there exist a common symmetric positive definite matrix and such that, for all , If there exists such a solution, the controller gain is given by .
Theorem 2. The equilibrium point of the linear system with polytopic uncertainties given in (7) is asymptotically stable in the large if there exist a common symmetric positive definite matrix and such that, for all , the following LMIs hold: If (9) are feasible, the controller gains are given by , .
Proof. Consider a quadratic Lyapunov candidate function . Thus, from (7) note that
Now, and . Then, from (10), (for ) if for
Defining , and pre- and postmultiplying (11) by , one obtains (9). The proof is concluded.
Corollary 3. If , then the equilibrium point of the linear system with polytopic uncertainties given in (7) is asymptotically stable in the large if there exist a symmetric positive definite matrix and , such that for all , If (12) is feasible, the controller gains are given by , .
In a control design, it is important to assure stability and usually other indices of performance for the controlled system, such as the setting time, constraints on input control and output signals. The setting time is related to the decay rate of the system (5), (or the largest Lyapunov exponent) which is defined as the largest such that holds for all trajectories . As in [17, page 66], one can use a quadratic Lyapunov function to establish a lower bound for the decay rate, considering the condition for all trajectories .
Theorem 4 (see ). The linear system with polytopic uncertainties given in (5) is quadratically stabilizable, with decay rate greater than or equal to , if and only if there exist a symmetric positive definite matrix and such that, for all , the following LMIs are satisfied: If there exists such a solution, the controller gain is given by .
Theorem 5. The equilibrium point of the linear system with polytopic uncertainties given in (7) is asymptotically stable in the large, with decay rate greater than or equal to , if there exist a common symmetric positive definite matrix and such that, for all , If (15) are feasible, the gains are given by .
Proof. The proof is similar to that of Theorem 2, considering .
One can constraint the norm of the controller gains by imposing restrictions on , and as in . Thus, given the constants and , imposing that , and , then a constraint on the controller gains may be established by the following theorem .
Theorem 6 (see ). The constraint on the norm of the controller gains such that is enforced if there exist constants and , such that the LMIs from Theorems 2 or 5 (or 1 or 4 replacing and also ), with the LMIs below hold:
Proof. The proof is similar to that presented in .
3. Case 1: Linear Systems with a Constant Matrix
In this section, the design of a switched controller for the uncertain system (3) is proposed, assuming that is a constant matrix, now given by
Note that, in (18) for a given , the switching law can be obtained by calculating , for , and then considering the index set . The switching index can be given by such that , for all .
Theorem 7. Assume that the conditions of Corollary 3, related to the system (17) with the control law (6), hold and obtain , , and . Then, the switched control law (18) makes the equilibrium point , of the system (17), asymptotically stable in the large.
Proof. Consider a quadratic Lyapunov candidate function . Define and , the derivatives of for the system (17), with the control laws (6) and (18), respectively. Then, from (17) and (18), From (2), and . Thus, note that and from (20), the switching law given in (18) and (6), observe that Therefore, and the proof is concluded.
Remark 8. Theorem 7 shows that if the conditions of Corollary 3 are satisfied, then for all and therefore for , ensuring that the equilibrium point of the controlled system (17) and (18) is asymptotically stable in the large. Thus, Corollary 3 can be used to project the gains and the matrix of the switched control law (18). Additionally, note that the switched control law (18) does not use the uncertain variables , , which would be necessary to implement the control law (6). Furthermore, it also offers an alternative less conservative than the well-known control law for uncertain systems presented in (4), with only one controller gain .
4. Case 2: Linear System with an Uncertain Matrix
Let be the time derivative of the control input vector . Define and , such that . Thus, one obtains the following system: or equivalently as presented in , where
After the considerations above, note that the system (25) is similar to the system (17), and therefore the control problem falls into Case 1. Thus, one can adopt the procedure stated in Case 1 for designing a switched control law .
5. Case 3: Linear System with Uncertainty in the Control Signal
In this case, it is assumed that the system (3) is the result of a linearization process of a plant , at an equilibrium point and the respective control input . Suppose that is known, is uncertain because it depends on the plant uncertainties, but where and are known, and the linearized system is given by (2) and where , is the state vector of the plant; , is the control signal of the plant.
Now suppose that can be written as follows: where is a constant matrix and , for all given in (2), is an bounded function that depends on uncertain parameters . Thus, the system (27) can be written as follows:
Within this context, the following theorem is proposed.
Theorem 9. Suppose that the conditions from Theorem 2 hold, from the system (27) with the control law (6) and obtain , , and . Then, the switched control law (30) and (31) makes the system (27) uniform ultimate bounded.
Proof. Consider a quadratic Lyapunov candidate function . Define and , the time derivatives of for the system (27), with the control laws (6) and (30), (31), respectively. Then, Remembering that and , , and noting that , from (32) Now, if , then from (31), . Thus, from (33) for , since the system (27) with the control law (6) is globally asymptotically stable. Otherwise, if , one obtains from (31): where denotes the maximum eigenvalue of , for all defined in (2), and . Therefore, according to , the controlled system is uniformly ultimately bounded and the proof is concluded.
In this section, examples will be used to illustrate the three cases presented. The figures will show that the LMIs used to find the controller gains (Theorems 2 and 5 and Corollary 3) are more relaxed than the classical LMIs (Theorems 1 and 4). The solutions of the LMIs for the design of the gains of the controllers in the next examples were carried out using the modelling language YALMIP  with the solver SeDuMi .
Case 1. Stability.
Consider the uncertain linear system given by (17), where with and , where and are constant uncertain parameters. Thus, the uncertain matrix belongs to the polytope of vertices: For the feasibility study, it was considered that the parameters and belong to the intervals and , and , .
In this example, the idea is to show that, considering only the stability, the methodology presented in this paper (Corollary 3) can be more efficient than the methodology used in the literature (Theorem 1). For this, it is sufficient to note that the region of feasibility using Corollary 3 is greater than the region obtained by using the Theorem 1, as shown in Figure 1.
Case 2. Stability and constraint on the norm of the controller gains.
Consider the uncertain linear system given in (23), where with and , where and are constant uncertain parameters. As the matrix is uncertain, one defines a new state variable . Thus, and one obtains the following extended system or equivalently, where
Therefore, the matrix belongs to the polytope of vertices: For the feasibility study, it was considered that the parameters and belong to the intervals , and , .
In control problems, it is important to consider performance indices, for instance, restrictions on the norm of the controller gains. Thus, to find the regions of feasibility of the system, Theorem 1 and Corollary 3 were used together with Theorem 6 in order to ensure stability and constraint in the control input. For the constraint on the norm of the control input, and were fixed. From Figure 2, it can be observed that the proposed method is more flexible, since its feasible area is greater than that provided by Theorem 1.
Case 3. Stability, decay rate, and constraint on the norm of the controller gains.
Consider the uncertain linear system given in (3), where with and , where and are constant uncertain parameters that belong to the intervals and and the uncertain reference signal. Note that is not constant and can be written as follows: , with , where and . Thus, the problem lies in the conditions of Case 3.
As in previous examples, the region of feasibility of the system will be found, and in this case, Theorems 4 and 5 will be used along with Theorem 6, thus ensuring decay rate and constraint on the norm of the controller gains. Therefore, the vertices of the polytope, , , and , are as follows: For the simulation of the feasibility region was specified in Theorems 4 and 5 a decay rate greater than or equal to 3 and in Theorem 6, the constraint on the norm of the controller gains by adopting and . Thus, from Figure 3 one observes that the proposed method has a less conservative feasible region than that obtained with Theorem 4, which shows its flexibility.
7. Switched Control Design of a Magnetic Levitator
To illustrate, the control of a magnetic levitator is designed, whose mathematical model [17, page 24] is given by: where is the mass of the ball; is the gravity acceleration; , , and are constant parameters of the levitator; is the electric current; and is the position of the ball.
Consider that during the required operation, , where
The goal of the simulation is to design a controller that keeps the ball in a desired position . Thus, the equilibrium point of the system (45) is .
From the second equation in (45), observe that in the equilibrium point, and , where .
Linearizing the system (45) around the equilibrium point , one has where
Considering the domain and the presented parameters of the levitator, one has the following vertices of the polytope for the system (47): Initially, the feasibility region of the decay rate by the constraint on the controller gains is found, that is, the vertices of the polytope, given in (51), used in Theorems 4 and 5 with decay rate greater than or equal to , varying in the range , and the LMIs that guarantee the constraint on the controller gains, given in Theorem 6, with and . As seen in Figure 4, the proposed method (Theorems 5 and 6) is more flexible than the method presented in the literature (Theorems 4 and 6).
Fixing the parameters related to decay rate in and constraint on the controller gains, and , the following gains and symmetric positive definite matrices were obtained: with the classical method (Theorems 4 and 6) and the proposed method (Theorems 5 and 6), respectively.
As the controller gains have been found, to implement the control law (30) one must find the maximum and minimum values of in the domain given in (49). As , it follows that Thus, setting the control law (30) for the levitator is given by where are given in (52),
For the numerical simulation, at it considered the initial condition , , and . Thus, . In , from Figure 5, the system is practically at the point . After changing from to and from to at , one can see that the system is practically at the point , which will be the new initial condition. Finally, changing from to and from to for . Thus, as seen in Figure 5, . Figure 5 illustrates the system response.
Note that the control law given in (30) and (31) ensures that the system (47) is uniformly ultimate bounded, where and are uncertain parameters and belong to the intervals and . Moreover, as can be seen in Figure 5, the new controller design presented in this paper is more efficient than the design commonly used in the literature. Note also that for certain values of the decay rate and the constraint on input such as and , the controller (30) can be designed and the controller (4) cannot be designed, as shown in Figure 4.
Observe that the function , given in (31), is important to ensure the uniform ultimate boundedness of the system and smoothness of the control input. Note that when is equal to zero, the function is a discontinuous function, and therefore the control input can also be discontinuous, as shown in Figure 6. Thus, the designer must choose according to the requirements.
This paper proposed a new switched control design method for some classes of linear systems with polytopic uncertainties. In the proposed controller, the gain is chosen by a switching law that returns the smallest time derivative value of the Lyapunov function.
The LMI used to find the gains are less conservative than that with only one state feedback gain , as seen in Figures 1 to 4. An application in the magnetic levitator control design illustrated the proposal. Thus, the authors believe that the proposed method can have useful practical applications on the control design of linear systems. Future studies on this subject include applications in power electronics .
The authors would like to thank the Brazilian agencies CAPES, CNPq, and FAPESP which have supported this research.
- M. A. Wicks, P. Peleties, and R. A. DeCarlo, “Construction of piecewise Lyapunov functions for stabilizing switched systems,” in Proceedings of the 33rd IEEE Conference on Decision and Control, vol. 4, pp. 3492–3497, December 1994.
- 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.
- R. A. Decarlo, M. S. Branicky, S. Pettersson, and B. Lennartson, “Perspectives and results on the stability and stabilizability of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7, pp. 1069–1082, 2000.
- J. P. Hespanha and A. S. Morse, “Switching between stabilizing controllers,” Automatica, vol. 38, no. 11, pp. 1905–1917, 2002.
- Z. Sun and S. S. Ge, “Analysis and synthesis of switched linear control systems,” Automatica, vol. 41, no. 2, pp. 181–195, 2005.
- A. Feuer, G. C. Goodwin, and M. Salgado, “Potential benefits of hybrid control for linear time invariant plants,” in Proceedings of the American Control Conference (ACC '97), vol. 5, pp. 2790–2794, June 1997.
- N. H. Mcclamroch and I. Kolmanovsky, “Performance benefits of hybrid control design for linear and nonlinear systems,” Proceedings of the IEEE, vol. 88, no. 7, pp. 1083–1096, 2000.
- H. Ishii and B. A. Francis, “Stabilizing a linear system by switching control with dwell time,” IEEE Transactions on Automatic Control, vol. 47, no. 12, pp. 1962–1973, 2002.
- D. J. Leith, R. N. Shorten, W. E. Leithead, O. Mason, and P. Curran, “Issues in the design of switched linear control systems: a benchmark study,” International Journal of Adaptive Control and Signal Processing, vol. 17, no. 2, pp. 103–118, 2003.
- S. Pettersson, “Controller design of switched linear systems,” in Proceedings of the American Control Conference (AAC '04), vol. 4, pp. 3869–3874, Boston, Mass, USA, July 2004.
- 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.
- J. C. Geromel and G. S. Deaecto, “Switched state feedback control for continuous-time uncertain systems,” Automatica, vol. 45, no. 2, pp. 593–597, 2009.
- N. Otsuka and T. Soga, “Quadratic stabilizability for polytopic uncertain continuoustime switched linear systems composed of two subsystems,” International Journal of Control and Automation, vol. 3, no. 1, pp. 35–42, 2010.
- G. S. Deaecto, J. C. Geromel, and J. Daafouz, “Switched state-feedback control for continuous time-varying polytopic systems,” International Journal of Control, vol. 84, no. 9, pp. 1500–1508, 2011.
- D. Xie and M. Yu, “Stability analysis of switched linear systems with polytopic uncertainties,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC '06), vol. 5, pp. 3749–3753, October 2006.
- 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.
- S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, vol. 15, Society for Industrial and Applied Mathematics, Philadelphia, Pa, USA, 1994.
- J. Löfberg, “YALMIP: a toolbox for modeling and optimization in MATLAB,” in Proceedings of the 2004 IEEE International Symposium on Computer Aided Control System Design, pp. 284–289, September 2004.
- J. F. Sturm, “Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones,” Optimization Methods and Software, vol. 11-12, no. 1, pp. 625–653, 1999.
- J. Bernussou, P. L. D. Peres, and J. C. Geromel, “A linear programming oriented procedure for quadratic stabilization of uncertain systems,” Systems and Control Letters, vol. 13, no. 1, pp. 65–72, 1989.
- D. D. Šiljak and D. M. Stipanović, “Robust stabilization of nonlinear systems: the LMI approach,” Mathematical Problems in Engineering, vol. 6, no. 5, pp. 461–493, 2000.
- R. Cardim, M. C. M. Teixeira, E. Assuncao et al., “Implementation of a DC-DC converter with variable structure control of switched systems,” in Proceedings of the IEEE International Electric Machines Drives Conference (IEMDC '11), pp. 872–877, Niagara Falls, Canada, May 2011.
- R. Cardim, M. C. M. Teixeira, E. Assunção, et al., “Design and implementation of a DC-DC converter based on variable structure control of switched systems,” in 18th IFAC World Congress, vol. 18, pp. 11048–11054, Milan, Italy, 2011.
- B. R. Barmish, “Stabilization of uncertain systems via linear control,” IEEE Transactions on Automatic Control, vol. 28, no. 8, pp. 848–850, 1983.
- M. J. Corless and G. Leitmann, “Continuous state feedback guaranteeing uniform ultimate boundedness for uncertain dynamic systems,” IEEE Transactions on Automatic Control, vol. 26, no. 5, pp. 1139–1144, 1981.
- M. P. A. Santim, M. C. M. Teixeira, W. A. de Souza, R. Cardim, and E. Assunção, “Design of a Takagi-Sugeno fuzzy regulator for a set of operation points,” Mathematical Problems in Engineering, vol. 2012, Article ID 731298, 17 pages, 2012.
- R. Cardim, M. C. M. Teixeira, E. Assunção, and M. R. Covacic, “Variable-structure control design of switched systems with an application to a DC-DC power converter,” IEEE Transactions on Industrial Electronics, vol. 56, no. 9, pp. 3505–3513, 2009.