Research Article | Open Access
Wallysonn Alves de Souza, Marcelo Carvalho Minhoto Teixeira, Máira Peres Alves Santim, Rodrigo Cardim, Edvaldo Assunção, "Robust Switched Control Design for Nonlinear Systems Using Fuzzy Models", Mathematical Problems in Engineering, vol. 2014, Article ID 721537, 11 pages, 2014. https://doi.org/10.1155/2014/721537
Robust Switched Control Design for Nonlinear Systems Using Fuzzy Models
The paper proposes a new switched control design method for some classes of uncertain nonlinear plants described by Takagi-Sugeno fuzzy models. 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 eliminates the need to find the membership function expressions to implement the control laws. The control designs of a ball-and-beam system and of a magnetic levitator illustrate the procedure.
There has been much interest in recent years to study switched systems, mainly linear systems, as can be seen in [1–8]. This interest has also increased for nonlinear systems and several papers have been published on switched Takagi-Sugeno fuzzy systems. In general, these studies use switching rules based on regions that depend on the premise variables and/or membership functions and/or state variables [9–18].
Results on switching laws based on the premise variable can be seen in [9, 10, 17]. In [9, 10], a switched fuzzy system was used to represent the nonlinear dynamical model of a hovercraft vehicle and to design a switching fuzzy controller. Then, in  smoothness conditions were established, which avoid the phenomenon of discontinuity in the control signal. The problem of dynamic output feedback control was addressed in . Switching laws based on the values of the membership functions are considered in [11, 12, 14–16], where the switched control scheme presented in  is an extension of the parallel distributed compensation (PDC). A dynamic output feedback controller, which is based on switched dynamic parallel distributed compensation, was proposed in .
Switching laws based on the plant state vector were proposed, for instance, in [13, 18]. The control design presented in  uses local state feedback gains obtained from the solution of an optimization problem that assures a guaranteed cost performance. LMIs conditions for robust switched fuzzy parallel distributed compensation controller design and a criterion were obtained in . The procedure to design switching controllers described in  was based on the switched quadratic Lyapunov function proposed in .
This paper proposes a new method of switched control for some classes of uncertain nonlinear systems described by Takagi-Sugeno fuzzy models. This new control law, which also depends on the state variables, generalizes the results given in , which considered only linear plants. 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 enables us to design the set of gains based on LMIs and on the parallel distributed compensation, as proposed, for instance, in [20–26].
The main advantage of this new procedure is its practical application because it eliminates the need to find the explicit expressions of the membership functions, which can often have long and/or complex expressions or may not be known due to the uncertainties. Furthermore, for certain classes of nonlinear systems, the switched controller can operate even with an uncertain reference control signal. Additionally, with the proposed methodology the closed-loop systems usually present a settling time that is smaller than those obtained with fuzzy controllers, without using switching, that are widely studied in the literature. Moreover, performance indices such as decay rate and constraints on the plant's input and output can be added in the control design procedure.
Simulation results of the control of a ball-and-beam system and of a magnetic levitator are presented to compare the performance of the proposed control law with the traditional PDC fuzzy control law [20, 22]. The computational implementations were carried out using the modeling language YALMIP  with the solver LMILab .
The paper is organized as follows. Section 2 presents the preliminary results on Takagi-Sugeno fuzzy model, fuzzy regulator design, and stability of the Takagi-Sugeno fuzzy systems via LMIs. Section 3 offers a new switching control method for some classes of nonlinear systems described by Takagi-Sugeno fuzzy models. Some examples to illustrate the performance of the new proposed method are given in Section 4. Finally, Section 5 draws the conclusions.
For convenience, in some places, the following notation is used:
2. Takagi-Sugeno Fuzzy Systems and Fuzzy Regulator
Consider the Takagi-Sugeno fuzzy model as described in [29–31]: where is the fuzzy set of the rule , and , is the state vector, is the input vector, is the output vector, , , , and are premise variables that in this paper are the state variables.
2.1. Stability of Takagi-Sugeno Fuzzy Systems via LMIs
Theorem 1. The equilibrium point of the continuous-time fuzzy control system given in (6) is asymptotically stable in the large if there exist a common symmetric positive definite matrix and such that, for all , the following LMIs hold: excepting the pairs (i,j) such that , for all . If (7) are feasible, the controller gains are given by .
Remark 2. In this paper, for simplicity, the new design method of the controller gains was based on Theorem 1. However, the proposed methodology does not exclude the use of other relaxed control design methods also based on LMIs, for plants described by Takagi-Sugeno fuzzy models, as those presented in [20, 22, 23, 32–35].
3. Main Result
3.1. Case 1: Fuzzy System with Constant Matrix
In this section the design of a switched controller for the Takagi-Sugeno fuzzy system (3) is proposed, assuming that is a constant matrix now given by
Theorem 3. Assume that the conditions of Theorem 1, related to the system (8) with the control law (5), hold and obtain , and . Then, the switched control law (9) makes the equilibrium point , of the system (8), asymptotically stable in the large.
Proof. Consider a quadratic Lyapunov candidate function . Define and as the time derivatives of for the system (8), with the control laws (5) and (9), respectively. Then, from (10), Thus, note that, from (1) and (9), Therefore, from (11) and the laws given in (9) and (5) observe that Then, . Furthermore, from Theorem 1 for . Thus, the proof is concluded.
Remark 4. Theorem 3 shows that if the conditions of Theorem 1 are satisfied, then for all and thus for , ensuring that the equilibrium point of the controlled system (8) and (9) is asymptotically stable in the large. Thus, Theorem 1 can be used to project the gains and the matrix of the switched control law (9). Additionally, note that the switched control law (9) does not use the membership functions , , which would be necessary to implement the control law (5) and may thus offer a relatively simple alternative for implementing the controller.
3.2. Case 2: Fuzzy System with Nonlinearity in the Matrix
Let be the time derivative of the control input vector . Define and , such that . Thus one obtains the following system: or equivalently  where
After the aforementioned considerations, note that the system (16) is similar to the system (8) 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 .
3.3. Case 3: Fuzzy System with Uncertainty in the Control Signal
In this case, it is assumed that the plant given by has an equilibrium point and the respective control input is , such that . Suppose that is known, is uncertain, but , where and are known, and the plant can be described by the Takagi-Sugeno fuzzy system (1)–(3), where is the state vector of the plant and is the control input of the plant.
Now consider that can be written as follows: where is a known constant matrix and , for all , is an uncertain nonlinear function. Thus, the system (18) can be written as follows:
Assume that the gains , and the matrix have been obtained using the vertices of the polytope of the system (18) in the LMIs (7) from Theorem 1, as proposed in . Now, given a constant , define the control law as where
Within this context the following theorem is proposed.
Theorem 5. Suppose that the conditions from Theorem 1 hold, for the system (18) with the control law (5), and obtain , , and . Then the switched control law (21) and (22) makes the system (18) and (19) uniformly ultimately bounded.
Proof. Consider a quadratic Lyapunov candidate function . Define and as the time derivatives of for the system (18), (19), with the control laws (5) and (21), and (22), respectively. Then, Remembering that and , , and and noting that , from (23) Now, if , then from (22), . Thus, from (24) for , since the system (18) with the control law (5) is globally asymptotically stable. Otherwise, if , one obtains from (24) and (22) where denotes the maximum eigenvalue of for all defined in (1), , and . Therefore, , if . Thus, according to  the controlled system is uniformly ultimately bounded and the proof is concluded.
Remark 6. Observe that the function given in (22) 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 can be seen in . Thus, the designer must choose according to the requirements.
4.1. Example of Case 1
To illustrate this case, presented is the control design of a ball-and-beam system, in Figure 1, whose mathematical model [38, page 26] is given by the following equations: where is the position of the ball; is the angle of the beam relative to the ground; is the torque applied to the beam and the control input; m/ is the acceleration of the gravity; and is an uncertain parameter of the system which depends on the mass , the radius , and the moment of inertia of the ball.
Define the state variables , , , and . Then, by defining the state vector , the system (26) can be written as follows: or equivalently where
Note that, for implementing the switched controller (9), the controller gains will be designed using the generalized form proposed in , and therefore the following domain will be considered for the system (28) and (29):
After the calculations the following maximum and minimum values of the functions and were obtained:
Thus, the nonlinear function can be represented by a Takagi-Sugeno fuzzy model, considering that there exists a convex combination with membership functions and and constant values and given in (31) such that  with
Therefore, from (32) note that
The goal of the simulation is to keep the ball at the origin . Considering, , the initial condition , and the equilibrium point , the simulation of the controlled systems (28), (29), (9), (41) and (28), (29), (5), (31)–(41) presented the responses shown in Figures 2 and 3.
Note that the controller gains have been found using the generalized form proposed in . However, the switched controller given in (9) does not use the membership functions and therefore it is not necessary to find and implement such functions. Thus, an advantage of this new methodology is that one can eliminate all the steps of the project given in (32)–(39) that are needed to find the membership functions, which can sometimes have long and/or complex expressions or may not be known due to the uncertainties and so their practical implementations are not possible, as is the case of this example.
4.2. Example of Case 2
To illustrate this case, consider the control system design of a magnetic levitator presented in Figure 4, whose mathematical model [38, page 24] is given by where Kg is the mass of the ball; m/ is the gravity acceleration; H, , and Ns/m are positive constants; is the electric current; and is the position of the ball.
The objective of the paper is to design a controller that keeps the ball in a desired position , after a transient response. Thus, the equilibrium point of the system (43) is .
From the second equation in (43), observe that, in the equilibrium point, and , where
Note that the equilibrium point is not in the origin . Thus, for the stability analysis the following change of coordinates is necessary: that is,
Therefore, and and from (45), .
After this adjustment it is seen that the problem falls into Case 1. Thus, the procedure stated in Case 1 can be used for designing a switched control law .
Thus, to find the local models, the maximum and minimum values of functions and must be obtained. In this case the methodology proposed in  will be used. Then, suppose that the desired position is known and belongs to the set and consider as a new variable for the specification of the domain of the nonlinear functions and :
Therefore, from (53) one has the following local models:
For numerical simulation, at s the initial condition was and m. Since and A2 (assuming that , the initial condition for the system (51) is ; that is, ), at s, from Figure 5, the system is practically at the point and . After changing from m to m at s, one can see that the system is practically at the point and , which will be the new initial condition. Finally, changes from m to m at s. Thus, as shown in Figure 5, and . Figures 5 and 6 illustrate the system response.
4.3. Example of Case 3
After the calculations, the maximum and minimum values of the functions , , , and , in the domain , were obtained as follows: From (59), define the following local models of the plant (57) and (58): where , , , and .
For the simulation illustrated in Figure 7, the initial condition was and, at s, m and Kg. In s, from Figure 7, the system is practically at the point . After changing from m to m and from Kg to Kg at s, one can see that the system is practically at the point , which will be the new initial condition. Finally, the last changes occur at s: from m to m and from Kg to Kg. Thus, observe that in Figure 7, .
Note that in this case it is not possible to obtain the membership functions, since the mass is uncertain, but the proposed method overcomes this problem, because it does not depend on such functions. Observe also that even with uncertainty in the reference control signal (because and given in (45) is uncertain considering that is uncertain), the proposed methodology was efficient and provided an appropriate transient response, as shown in Figure 7.
Remark 7. In a control design it is important to assure stability and usually other indices of performance for the controlled system, such as the settling time (related to the decay rate), constraints on input control and output signals. The proposed methodology allows specifying these performance indices, without changing the LMIs given in  or their relaxations as presented, for instance, in [20, 23], by adding a new set of LMIs.
This paper proposed a new switched control design method for some classes of uncertain nonlinear plants described by Takagi-Sugeno fuzzy models. The proposed controller is based on LMIs and the gain is chosen by a switching law that returns the smallest time derivative value of the Lyapunov function. An advantage of the proposed methodology is that it does not change the LMIs given in the control design methods commonly used for plants described by Takagi-Sugeno fuzzy models as proposed, for instance, in [20, 22, 23, 34]. Furthermore, it eliminates the need to obtain the explicit expressions of the membership functions, to implement the control law. This fact is relevant in cases where the membership functions depend on uncertain parameters or are difficult to implement. Simulating the implementation of this new procedure in the control design of a ball-and-beam system and of a magnetic levitator, the controlled system presented an appropriate transient response, as seen in Figures 2, 3, 5, 6, and 7. Thus, the authors consider that the proposed method can be useful in practical applications for the control design of uncertain nonlinear systems.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors gratefully acknowledge the financial support by FAPESP (Grant 2011/17610-0), CNPq, and CAPES from Brazil.
- Z. Ji, L. Wang, G. Xie, and F. Hao, “Linear matrix inequality approach to quadratic stabilisation of switched systems,” IEE Proceedings: Control Theory and Applications, vol. 151, no. 3, pp. 289–294, 2004.
- J. P. Hespanha, “Uniform stability of switched linear systems: extensions of LaSalle's invariance principle,” IEEE Transactions on Automatic Control, vol. 49, no. 4, pp. 470–482, 2004.
- G. Xie and L. Wang, “Periodical stabilization of switched linear systems,” Journal of Computational and Applied Mathematics, vol. 181, no. 1, pp. 176–187, 2005.
- J. C. Geromel and P. Colaneri, “Stability and stabilization of continuous-time switched linear systems,” SIAM Journal on Control and Optimization, vol. 45, no. 5, pp. 1915–1930, 2006.
- 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.
- G. S. Deaecto, J. C. Geromel, F. S. Garcia, and J. A. Pomilio, “Switched affine systems control design with application to DC-DC converters,” IET Control Theory and Applications, vol. 4, no. 7, pp. 1201–1210, 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.
- W. A. De Souza, M. C. M. Teixeira, M. P. A. Santim, R. Cardim, and E. Assunção, “On switched control design of linear time-invariant systems with polytopic uncertainties,” Mathematical Problems in Engineering, vol. 2013, Article ID 595029, 10 pages, 2013.
- K. Tanaka, M. Iwasaki, and H. O. Wang, “Stable switching fuzzy control and its application to a hovercraft type vehicle,” in Proceedings of the 9th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE '00), vol. 2, pp. 804–809, May 2000.
- K. Tanaka, M. Iwasaki, and H. O. Wang, “Stability and smoothness conditions for switching fuzzy systems,” in Proceedings of the American Control Conference, vol. 4, pp. 2474–2478, June 2000.
- G. Feng, “ℋ∞ controller design of fuzzy dynamic systems based on piecewise lyapunov functions,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 34, no. 1, pp. 283–292, 2004.
- B. Yang, D. Yu, G. Feng, and C. Chen, “Stabilisation of a class of nonlinear continuous time systems by a fuzzy control approach,” IEE Proceedings. Control Theory & Applications, vol. 153, no. 4, pp. 427–436, 2006.
- N. S. D. Arrifano, V. A. Oliveira, and L. V. Cossi, “Synthesis of an LMI-based fuzzy control system with guaranteed cost performance: a piecewise Lyapunov approach,” Sba: Controle & Automação Sociedade Brasileira de Automatica, vol. 17, pp. 213–225, 2006.
- J. Dong and G.-H. Yang, “State feedback control of continuous-time T-S fuzzy systems via switched fuzzy controllers,” Information Sciences, vol. 178, no. 6, pp. 1680–1695, 2008.
- J. Dong and G.-H. Yang, “Dynamic output feedback control synthesis for continuous-time T-S fuzzy systems via a switched fuzzy control scheme,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 38, no. 4, pp. 1166–1175, 2008.
- S. Yan and Z. Sun, “Study on separation principles for T-S fuzzy system with switching controller and switching observer,” Neurocomputing, vol. 73, no. 13–15, pp. 2431–2438, 2010.
- G.-H. Yang and J. Dong, “Switching fuzzy dynamic output feedback ℋ∞ control for nonlinear systems,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 40, no. 2, pp. 505–516, 2010.
- D. Jabri, K. Guelton, N. Manamanni, A. Jaadari, and C. D. Chinh, “Robust stabilization of nonlinear systems based on a switched fuzzy control law,” Control Engineering and Applied Informatics, vol. 14, no. 2, pp. 40–49, 2012.
- H. Ohtake, K. Tanaka, and H. O. Wang, “A construction method of switching lyapunov function for nonlinear systems,” in Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE '02), vol. 1, pp. 221–226, May 2002.
- K. Tanaka, T. Ikeda, and H. O. Wang, “Fuzzy regulators and fuzzy observers: relaxed stability conditions and LMI-based designs,” IEEE Transactions on Fuzzy Systems, vol. 6, no. 2, pp. 250–265, 1998.
- M. C. M. Teixeira and S. H. Żak, “Stabilizing controller design for uncertain nonlinear systems using fuzzy models,” IEEE Transactions on Fuzzy Systems, vol. 7, no. 2, pp. 133–142, 1999.
- T. Taniguchi, K. Tanaka, H. Ohtake, and H. O. Wang, “Model construction, rule reduction, and robust compensation for generalized form of Takagi-Sugeno fuzzy systems,” IEEE Transactions on Fuzzy Systems, vol. 9, no. 4, pp. 525–538, 2001.
- M. C. M. Teixeira, E. Assunção, and R. G. Avellar, “On relaxed LMI-based designs for fuzzy regulators and fuzzy observers,” IEEE Transactions on Fuzzy Systems, vol. 11, no. 5, pp. 613–623, 2003.
- T. M. Guerra and L. Vermeiren, “LMI-based relaxed nonquadratic stabilization conditions for nonlinear systems in the Takagi-Sugeno's form,” Automatica, vol. 40, no. 5, pp. 823–829, 2004.
- L. A. Mozelli, R. M. Palhares, F. O. Souza, and E. M. A. M. Mendes, “Reducing conservativeness in recent stability conditions of TS fuzzy systems,” Automatica, vol. 45, no. 6, pp. 1580–1583, 2009.
- M. Klug, E. B. Castelan, and V. J. S. Leite, “A dynamic compensator for parameter varying systems subject to actuator limitations applied to a T-S Fuzzy system,” in Proceedings of the 18th IFAC World Congress, pp. 14495–14500, Milan, Italy, September 2011.
- J. Löfberg, “YALMIP: a toolbox for modeling and optimization in MATLAB,” in Proceedings of the IEEE International Symposium on Computer Aided Control System Design, pp. 284–289, September 2004.
- P. Gahinet, A. Nemirovski, A. J. Laub, and M. Chilali, LMI Control Toolbox—For Use with Matlab, The Math Works, 1995.
- T. Takagi and M. Sugeno, “Fuzzy identification of systems and its applications to modeling and control,” IEEE Transactions on Systems, Man and Cybernetics, vol. 15, no. 1, pp. 116–132, 1985.
- M. C. M. Teixeira and E. Assunção, “Extensão para sistemas não-lineares,” in Enciclopédia de Automática: Controle & Automação, vol. 1, chapter 9, pp. 218–246, Blucher, São Paulo, Brazil, 2007 (Portuguese).
- R. Tanscheit, F. Gomide, and M. C. M. Teixeira, “Modelagem e controle nebuloso,” in Enciclopédia de Automática: Controle & Automação, vol. 3, chapter 10, pp. 283–324, Blucher, São Paulo, Brazil, 2007 (Portuguese).
- M. C. M. Teixeira, H. C. Pietrobom, and E. Assunção, “Novos resultados sobre estabilidade e controle de sistemas não-lineares utilizando modelos fuzzy e LMI,” Sba: Controle & Automação Sociedade Brasileira de Automatica, vol. 11, no. 1, pp. 37–48, 2000 (Portuguese).
- V. F. Montagner, R. C. L. F. Oliveira, V. J. S. Leite, and P. L. D. Peres, “LMI approach for ℋ∞ linear parameter-varying state feedback control,” IEE Proceedings. Control Theory and Applications, vol. 152, no. 2, pp. 195–201, 2005.
- V. F. Montagner, R. C. L. F. Oliveira, and P. L. D. Peres, “Convergent LMI relaxations for quadratic stabilizability and ℋ∞ control of Takagi-Sugeno fuzzy systems,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 4, pp. 863–873, 2009.
- V. F. Montagner, R. C. L. F. Oliveira, and P. L. D. Peres, “Relaxações convexas de convergência garantida para o projeto de controladores para sistemas nebulosos de Takagi Sugeno,” Sba: Controle & Automação Sociedade Brasileira de Automatica, vol. 21, pp. 82–95, 2010 (Portuguese).
- 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.
- H. J. Marquez, Nonlinear Control Systems—Analysis and Design, John Wiley & Sons, Hoboken, NJ, USA, 2003.
- M. P. A. Santim, M. C. M. Teixeira, W. A. 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. 2011, Article ID 731298, 17 pages, 2011.
- S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, vol. 15 of SIAM Studies in Applied Mathematics, SIAM, Philadelphia, Pa, USA, 1994.
Copyright © 2014 Wallysonn Alves 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.