Computing, Information and Control ICIC International c⃝2012 ISSN 1349-4198
Volume 8, Number 1(A), January 2012 pp. 403-418
DESIGN OF STABLE AND QUADRATIC-OPTIMAL STATIC OUTPUT FEEDBACK CONTROLLERS FOR TS-FUZZY-MODEL-BASED
CONTROL SYSTEMS: AN INTEGRATIVE COMPUTATIONAL APPROACH
Wen-Hsien Ho1, Shinn-Horng Chen2, I-Te Chen3, Jyh-Horng Chou2,4,∗ and Chun-Chin Shu4
1Department of Medical Information Management 3Center for General Education
Kaohsiung Medical University
No. 100, Shi-Chuan 1st Road, Kaohsiung 807, Taiwan
{ whho; itchen }@kmu.edu.tw
2Department of Mechanical Engineering
National Kaohsiung University of Applied Sciences No. 415, Chien-Kung Road, Kaohsiung 807, Taiwan
4Institute of System Information and Control
National Kaohsiung First University of Science and Technology No. 1, University Road, Yenchao, Kaohsiung 824, Taiwan
∗Corresponding author: [email protected]; [email protected]
Received September 2010; revised January 2011
Abstract. By integrating the stabilizability condition, the orthogonal-functions approach
(OFA) and the hybrid Taguchi-genetic algorithm (HTGA), an integrative computational method is presented in this paper to design the stable and quadratic-optimal static out-put feedback parallel-distributed-compensation (PDC) controller such that (i) the Takagi-Sugeno (TS) fuzzy-model-based control system can be stabilized, and (ii) a quadratic finite-horizon integral performance index for the TS-fuzzy-model-based control system can be minimized. In this paper, the stabilizability condition is proposed in terms of linear matrix inequalities (LMIs). By using the OFA and the LMI-based stabilizability condition, the stable and quadratic-finite-horizon-optimal static output feedback PDC con-trol problem for the TS-fuzzy-model-based dynamic systems is transformed into a static constrained-optimization problem represented by the algebraic equations with constraint of LMI-based stabilizability condition, thus greatly simplifying the optimal static output feedback PDC control design problem. Then, for the static constrained-optimization prob-lem, the HTGA is employed to find the stable and quadratic-optimal static output feedback PDC controllers of the TS-fuzzy-model-based control systems. A design example of sta-ble and quadratic-optimal static output feedback PDC controller for a nonlinear inverted pendulum system controlled by a separately excited direct-current (DC) motor is given to demonstrate the applicability of the proposed integrative computational approach.
Keywords: Quadratic optimal control, Static output feedback PDC controller, Takagi-Sugeno fuzzy model, Orthogonal-functions approach, Hybrid Taguchi-genetic algorithm, Linear matrix inequalities
1. Introduction. Recently, it has been shown that the fuzzy-model-based representa-tion proposed by Takagi and Sugeno [1], known as the TS fuzzy model, is a successful approach for dealing with the nonlinear control systems, and there are many successful applications of the TS-fuzzy-model-based approach to nonlinear control systems [2-15].
Unlike conventional modeling approaches where a single model is used to describe the global behavior of a nonlinear control system, the TS fuzzy modeling approach is essen-tially a multi-model approach in which the simple sub-models (typically linear models) are combined to describe the global behavior of the nonlinear control system. Each fuzzy rule for the TS fuzzy control system has a linear dynamic model as the consequent part that expresses the local dynamics of each fuzzy rule. Then, the overall fuzzy model is achieved by blending these rules. The advantage of controller synthesis for such a fuzzy model is that the linear control methods can be used.
Despite the success of applying the TS-fuzzy-model-based approach to nonlinear con-trol systems, it has become evident that many research issues remain to be addressed. In fact, in many cases, it is very difficult, if not impossible, to obtain a full order output feedback controller of a nonlinear control system. This is due to inaccessible measurement or overly expensive measurement. Therefore, recently, some research studies [16-19] have proposed the linear-matrix-inequality-based (LMI-based) approach to design the static output feedback parallel-distributed-compensation (PDC) controllers of the TS-fuzzy-model-based control systems for the infinite-horizon (i.e., infinite-time) control problems. On the other hand, only robust stability and stabilization are often not enough in control design. In control systems design, it is often of interest to synthesize a quadratic-optimal controller such that the control objective of minimizing a quadratic integral performance criterion is achieved [20]. Hence, recently, some researchers [2,21,22] have proposed some LMI-based approaches to design the quadratic-optimal controllers of TS-fuzzy-model-based control systems. Tanaka and Wang [2], Zheng et al. [21] and Li [22] designed the quadratic-optimal parallel-distributed-compensation (PDC) controllers by minimizing the upper bound of a quadratic infinite-horizon integral performance index. However, under the design consideration of directly minimizing a quadratic infinite-horizon integral per-formance index, it is not easy for the LMI-based approaches presented by Tanaka and Wang [2], Zheng et al. [21] and Li [22] to solve the quadratic-infinite-horizon-optimal PDC control problem of such systems. For some practical problems, we need to deal with the finite-horizon (i.e., finite-time) optimal control problems [23]. However, it is also difficult to apply the LMI-based approaches proposed by Tanaka and Wang [2], Zheng et al. [21] and Li [22] to directly minimize the finite-horizon performance index for solving the quadratic-finite-horizon-optimal PDC control problem of these systems. Besides, for solving the optimal PDC control problems, there are some issues that need to be resolved, such as how to simplify the computation for the above control problem of such systems and also ensure some characteristics of closed-loop systems [24]. Therefore, one of the most important issues is to develop computational methods for designing the quadratic-finite-horizon-optimal PDC controllers where the performance index is directly minimized. Very recently, Ho and Chou [25] have proposed a computational optimization method, which integrates the orthogonal-functions approach (OFA) [26] and the genetic algorithm [27,28], to design quadratic-optimal PDC controllers for the finite-horizon optimal control problem of the TS-fuzzy-model-based control systems where the performance index is di-rectly minimized. Since the method proposed by Ho and Chou [25] only involves algebraic computation and is straightforward and well-adapted to computer implementation, the design procedures of the controllers for these control systems may be either greatly reduced or much simplified accordingly. Ho and Chou [25] have also shown that the computational optimization method integrating the OFA and the genetic algorithm may obtain better results than the LMI-based approaches [2,21,22] for finding the quadratic-optimal PDC controllers of the TS-fuzzy-model-based control systems.
Summing up the above statements and reasons, although the LMI-based approach is successful in designing the static output feedback PDC controllers of the TS-fuzzy-model-based control systems for the infinite-horizon (i.e., infinite-time) control problems proposed by Fang et al. [16], Wu et al. [17], Chung et al. [18] and Huang and Nguang [19], to the authors’ best knowledge, there are no studies investigating the issue of design-ing stable and quadratic-finite-horizon-optimal static output feedback PDC controllers for the TS-fuzzy-model-based control systems by directly minimizing the performance index subject to the constraint of stabilizability. On the other hand, in practice, in order to avoid high gains, the controller gains must be considered to satisfy the constraints. The LMI-based approach proposed by Fang et al. [16], Wu et al. [17], Chung et al. [18] and Huang and Nguang [19] cannot deal with the design problem of the static output feedback PDC controller gains having constraints. Therefore, we can see that it is worth-while to present an efficiently numerical optimization approach accompanied with the stabilizability condition to design the stable and quadratic-finite-horizon-optimal static output feedback PDC controllers having constraints for the TS-fuzzy-model-based con-trol systems, where the performance index subject to the constraint of stabilizability is considered to be directly minimized.
The purpose of this paper is to propose a numerical optimization method accompanied with the stabilizability condition to design stable and quadratic-optimal static output feedback PDC controllers for the finite-horizon optimal control problem of the TS-fuzzy-model-based control systems by integrating the OFA, the hybrid Taguchi-genetic algo-rithm (HTGA) and the LMI technique, where the LMI technique is used to derive the stabilizability condition for ensuring that the closed-loop TS-fuzzy-model-based control systems can be stabilized. The proposed numerical optimization method can not only be applied to find the feedback gain matrices of the stable and quadratic-optimal static output feedback PDC controller for the TS-fuzzy-model-based control system under the minimization of a defined quadratic finite-horizon integral performance index, but also be applied to the case of the elements of the feedback gain matrices having constraints for practical consideration.
In this paper, by using the OFA and the LMI-based stabilizability condition, the stable and quadratic-finite-horizon-optimal static output feedback PDC control problem for the TS-fuzzy-model-based control systems is transformed into a static parameter constrained-optimization problem represented by algebraic equations with constraint of LMI-based stabilizability condition, thus greatly simplifying the optimal static output feedback PDC control design problem. The computational complexity for both differential and integral in the optimal static output feedback PDC control design of the original dynamic sys-tems may therefore be reduced remarkably. Then, for the static constrained-optimization problem, the HTGA is employed to find the stable and quadratic-optimal static output feedback PDC controllers of the TS-fuzzy-model-based control systems. The proposed in-tegrative computational method considers directly minimizing the quadratic finite-horizon integral performance index subject to the constraint of stabilizability in designing the sta-ble and quadratic-optimal static output feedback PDC controllers. The reason why the HTGA is applied in this paper is that Tsai et al. [29,30] have shown that the HTGA may obtain better results than those existing improved genetic algorithms reported in the literature. An illustrative example is also given in this paper to demonstrate the applicability of the proposed integrative computational method.
5. Conclusions. Based on the OFA, an algorithm has been presented in this paper for solving the TS-fuzzy-model-based feedback dynamic equations. Then, the presented alge-braic algorithm is integrated with the HTGA to design the stable and quadratic-optimal static output feedback PDC controllers of the TS-fuzzy-model-based control systems such that the control objective of directly minimizing a quadratic finite-horizon integral per-formance index subject to the constraint of LMI-based stabilizability condition can be achieved, where the quadratic integral performance index is also converted into the al-gebraic form by using the OFA. Since, by using the OFA and the LMI-based stabiliz-ability condition, the stable and quadratic-finite-horizon-optimal static output feedback PDC control problem for the TS-fuzzy-model-based control systems can be replaced by a static parameter constrained-optimization problem represented by the algebraic equations with constraint of LMI-based stabilizability condition, and since the new proposed algo-rithm only involves the algebraic computation, the design procedures of the stable and quadratic-optimal static output feedback PDC controllers for the TS-fuzzy-model-based control systems may be either greatly reduced or much simplified accordingly. In addi-tion, the presented integrative computational approach, which integrates the presented LMI-based stabilizability condition, the OFA and the HTGA, is differential, non-integral, straightforward, and well-adapted to computer implementation. Therefore, this proposed approach facilitates the design task of the stable and quadratic-optimal static output feedback PDC controllers for the TS-fuzzy-model-based control systems. On the other hand, the problem of determining the stabilizability has been turned into a LMI feasibility problem that can be easily solved by means of numerically efficient convex programming algorithms. The illustrative example regarding the nonlinear inverted pen-dulum system controlled by a separately excited DC motor has shown that the proposed approach is effective for designing stable and quadratic optimal static output feedback PDC controllers of the TS-fuzzy-model-based control systems. In future work, the LMI-based stabilizability criterion in (6) may be improved in order to make our results less conservative.
Acknowledgment. This work was in part supported by the National Science Council,
Taiwan, under grant numbers NSC 98-2221-E-037-006 and NSC 99-2320-B-037-026-MY2.
REFERENCES
[1] T. Takagi and M. Sugeno, Fuzzy identification of systems and its applications to modeling and control, IEEE Trans. on Systems, Man and Cybernetics, vol.15, pp.116-132, 1985.
[2] K. Tanaka and H. O. Wang, Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality
Approach, John Wiley and Sons, New York, 2001.
[3] W. J. Chang, C. C. Ku, W. Chang and P. H. Huang, Passive fuzzy control with relaxed conditions for discrete affine T-S fuzzy systems, International Journal of Innovative Computing, Information
and Control, vol.3, no.4, pp.853-871, 2007.
[4] W. H. Ho, J. T. Tsai, T. K. Liu and J. H. Chou, Optimal state-feedback control of time-varying TS-fuzzy-model-based systems by using an integrative computational approach, International Journal
of Innovative Computing, Information and Control, vol.3, no.4, pp.873-885, 2007.
[5] H. Y. Chung and S. C. Chan, An alternate approach to the analysis of a T-S fuzzy model,
In-ternational Journal of Innovative Computing, Information and Control, vol.4, no.11, pp.3067-3077,
2008.
[6] H. Han, Fuzzy controller design with input saturation, International Journal of Innovative
Comput-ing, Information and Control, vol.4, no.10, pp.2507-2521, 2008.
[7] W. H. Ho, J. T. Tsai and J. H. Chou, Robust quadratic-optimal control of TS-fuzzy-model-based dynamic systems with both elemental parametric uncertainties and norm-bounded approximation error, IEEE Trans. on Fuzzy Systems, vol.17, pp.518-531, 2009.
[8] L. Luoh, Control design of T-S fuzzy large-scale systems, International Journal of Innovative
[9] D. Wang, W. Wang and X. Wang, Controller failure analysis for T-S fuzzy systems with time-varying delay via a switched approach, International Journal of Innovative Computing, Information
and Control, vol.5, no.10(B), pp.3329-3340, 2009.
[10] Y. Yi and L. Guo, Constrained PI tracking control for the output PDFs based on T-S fuzzy model,
International Journal of Innovative Computing, Information and Control, vol.5, no.2, pp.349-358,
2009.
[11] W. Zhang, T. Wang and S. Tong, Delay-dependent stabilization conditions and control of T-S fuzzy systems with time-delay, ICIC Express Letters, vol.3, no.4(A), pp.871-876, 2009.
[12] S. He and F. Liu, Robust finite-time stabilization of uncertain fuzzy jump systems, International
Journal of Innovative Computing, Information and Control, vol.6, no.9, pp.3853-3862, 2010.
[13] X. Huang, K. Cao, X. Ban and X. Z. Gao, Some further results on the stability analysis of a type of T-S fuzzy control systems in the frequency domain, ICIC Express Letters, vol.4, no.3(A), pp.659-666, 2010.
[14] H. Wu and M. Bai, Stochastic stability analysis and synthesis for nonlinear fault tolerant control systems based on the T-S fuzzy model, International Journal of Innovative Computing, Information
and Control, vol.6, no.9, pp.3989-4000, 2010.
[15] I. Zamani and M. H. Zarif, An approach for stability analysis of T-S fuzzy systems via piecewise quadratic stability, International Journal of Innovative Computing, Information and Control, vol.6, no.9, pp.4041-4054, 2010.
[16] C. H. Fang, Y. S. Liu, S. W. Kan, L. Hong and C. H. Lee, A new LMI-based approach to relaxed quadratic stabilization of T-S fuzzy control systems, IEEE Trans. on Fuzzy Systems, vol.14, pp.386-397, 2006.
[17] S. M. Wu, F. M. Yu, C. C. Sun and H. Y. Chung, Static output feedback fuzzy controller design via a mixed approach for region T-S fuzzy system, Proc. of the 2006 IEEE International Conference on
Systems, Man, and Cybernetics, Taipei, Taiwan, pp.3074-3079, 2006.
[18] H. Y. Chung, S. M. Wu, F. M. Yu and W. J. Chang, Evolutionary design of static output feedback controller for Takagi-Sugeno fuzzy systems, IET Control Theory and Applications, vol.1, pp.1096-1103, 2007.
[19] D. Huang and S. K. Nguang, Static output feedback controller design for fuzzy systems: An ILMI approach, Information Sciences, vol.177, pp.3005-3015, 2007.
[20] G. C. Goodwin, S. F. Graebe and M. E. Salgado, Control System Design, Prentice-Hall, New Jersey, 2001.
[21] K. Zheng, J. M. Xu and L. Yu, Takagi-Sugeno model-based optimal guaranteed cost fuzzy control for inverted pendulums, Control Theory and Applications, vol.21, pp.703-708, 2004.
[22] D. Q. Li, Optimal fuzzy guaranteed cost control for delta-operator based nonlinear systems, Systems
Engineering and Electronics, vol.27, pp.883-888, 2005.
[23] B. Friedland, Control System Design: An Introduction to State-Space Methods, McGraw-Hill, New York, 1986.
[24] C. Song and T. Chai, Comment on discrete-time optimal fuzzy controller design: Global concept approach, IEEE Trans. on Fuzzy Systems, vol.13, pp.285-286, 2005.
[25] W. H. Ho and J. H. Chou, Design of optimal controller for Takagi-Sugeno fuzzy model based systems,
IEEE Trans. on Systems, Man and Cybernetics, Part A, vol.37, pp.329-339, 2007.
[26] W. H. Ho, C. H. Hsieh and J. H. Chou, Optimal course handling control for nonlinear ship ma-neuvering systems, International Journal of Innovative Computing, Information and Control, vol.6, no.10, pp.4379-4388, 2010.
[27] C. H. Hsieh, W. H. Ho and J. H. Chou, Optimal PID controllers design of PWM feedback time-varying systems using orthogonal-functions approach and genetic algorithm, International Journal
of Innovative Computing, Information and Control, vol.5, no.2, pp.387-397, 2009.
[28] W. H. Ho, S. H. Chen, J. H. Chou and T. C. Wang, Design of robust optimal eigenvalue-assignable output feedback PID controllers for linear uncertain multivariable systems via orthogonal function approach and genetic algorithm, International Journal of Innovative Computing, Information and
Control, vol.6, no.1, pp 409-422, 2010.
[29] J. T. Tsai, T. K. Liu and J. H. Chou, Hybrid Taguchi-genetic algorithm for global numerical opti-mization, IEEE Trans. on Evolutionary Computation, vol.8, pp.365-377, 2004.
[30] J. T. Tsai, J. H. Chou and T. K. Liu, Tuning the structure and parameters of a neural network by using hybrid Taguchi-genetic algorithm, IEEE Trans. on Neural Networks, vol.17, pp.69-80, 2006. [31] N. S. Nise, Control Systems Engineering, John Wiley and Sons, New York, 2000.
[33] R. E. Skelton, Dynamic Systems Control, John Wiley and Sons, New York, 1988.
[34] W. H. Ho and J. H. Chou, Solutions of Takagi-Sugeno fuzzy-model-based dynamic equations via orthogonal functions, IEICE Trans. on Fundamentals of Electronics, Communications and Computer
Sciences, vol.E87-A, pp.3439-3442, 2004.
[35] W. H. Ho and J. H. Chou, Solutions of time-varying TS-fuzzy-model-based dynamic equations using shifted Chebyshev series approach, Int. J. of Systems Science, vol.36, pp.767-776, 2005.
[36] S. Barnett, Matrix Methods for Engineers and Scientists, McGraw-Hill, New York, 1979.
[37] M. Gen and R. Cheng, Genetic Algorithms and Engineering Design, John Wiley and Sons, New York, 1997.
[38] G. Taguchi, S. Chowdhury and S. Taguchi, Robust Engineering, McGraw-Hill, New York, 2000. [39] Y. Wu, Taguchi Methods for Robust Design, The American Society of Mechanical Engineers, New
York, 2000.
[40] W. H. Ho, J. H. Chou and C. Y. Guo, Parameter identification of chaotic systems using improved differential evolution algorithm, Nonlinear Dynamics, vol.61, pp.29-41, 2010.
[41] W. H. Ho and C. S. Chang, Genetic-algorithm-based artificial neural network modeling for platelet transfusion requirements on acute myeloblastic leukemia patients, Expert Systems With Applications, vol.38, pp.6319-6323, 2011.
[42] K. Tanaka, T. Ikeda and H. O. Wang, Fuzzy regulators and fuzzy observers: Relaxed stability conditions and LMI-based designs, IEEE Trans. on Fuzzy Systems, vol.6, pp.250-265, 1998.
[43] P. Gahinet, A. Nemirovski, A. J. Laub and M. Chilali, LMI Control Toolbox, The Math Works Inc., Massachusetts, 1995.
Appendix A. Proof of Theorem 2.1. Let V (x (t)) = xT(t) P x (t) be a quadratic
Lyapunov function candidate for the system (4), then we have ˙ V (x(t)) =xT(t) (∑N i=1 N ∑ j=1 N ∑ k=1 hi(z(t))hj(z(t))hk(z(t)) ( Ai− BiFjCk )T) P x(t) + xT(t)P (∑N i=1 N ∑ j=1 N ∑ k=1 hi(z(t))hj(z(t))hk(z(t)) ( Ai− BiFjCk )) x(t) = N ∑ i=1 N ∑ j=1 N ∑ k=1 hi(z(t))hj(z(t))hk(z(t))xT(t) (( Ai − BiFjCk )T P + P ( Ai− BiFjCk )) x(t) = N ∑ i=1 N ∑ j=1 N ∑ k=1 hi(z(t))hj(z(t))hk(z(t))xT(t) ( GTijkP + P Gijk ) x(t) =h1(z(t)) N ∑ i=1 N ∑ j=1 hi(z(t))hj(z(t))xT(t) ( GT1ijP + P G1ij ) x(t) + . . . + hN(z(t)) N ∑ i=1 N ∑ j=1 hi(z(t))hj(z(t))xT(t) ( GTN ijP + P GN ij ) x(t) =h1(z(t)) [∑N i=1 h2i(z(t))xT(t) ( GT1iiP + P G1ii ) x(t) + N ∑ i<j 2hi(z(t))hj(z(t))xT(t) (( G1ij+ G1ji 2 )T P + P ( G1ij+ G1ji 2 )) x(t) ] (A.1)
+ . . . + hN(z(t)) [∑N i=1 h2i(z(t))xT(t) ( GTN iiP + P GN ii ) x(t) + N ∑ i<j 2hi(z(t))hj(z(t))xT(t) (( GN ij+ GN ji 2 )T P + P ( GN ij+ GN ji 2 )) x(t) ] , where Gijk= Ai− BiFjCk.
From the condition (6a) and Lemma 2.1, we have ˙ V (x (t))≤h1(z (t)) [ N ∑ i=1 h2i (z (t)) xT(t)(GT1iiP + P G1ii ) x (t) + N ∑ i<j 2hi(z (t)) hj(z (t)) xT(t) Q1x (t) ] + . . . + hN(z (t)) [ N ∑ i=1 h2i (z (t)) xT(t) (GTN iiP + P GN ii ) x (t) + N ∑ i<j 2hi(z (t)) hj(z (t)) xT(t) QNx (t) ] ≤h1(z (t)) [ N ∑ i=1 h2i (z (t)) xT(t)(GT1iiP + P G1ii ) x (t) + (¯s− 1) N ∑ i=1 h2i (z (t)) xT(t) Q1x (t) ] + . . . + hN(z (t)) [ N ∑ i=1 h2i (z (t)) xT(t)(GTN iiP + P GN ii ) x (t) + (¯s− 1) N ∑ i=1 h2i (z (t)) xT(t) QNx (t) ] =h1(z (t)) [ N ∑ i=1 h2i (z (t)) xT(t)(GT1iiP + P G1ii+ (¯s− 1) Q1 ) x (t) ] + . . . + hN(z (t)) [ N ∑ i=1 h2i (z (t)) xT(t)(GTN iiP + P GN ii+ (¯s− 1) QN ) x (t) ] = N ∑ i=1 N ∑ k=1 h2i (z (t)) hk(z (t)) xT(t) ( GTkiiP + P Gkii+ (¯s− 1) Qk ) x (t). (A.2)
It is obvious that ˙V (x (t)) < 0, ∀x (t) ̸= 0, if, for the specified static output feedback
gain matrices Fj (j = 1, 2, . . . , N ) in (3), there exists a symmetric positive definite matrix
P and the symmetric positive semi-definite matrices Qk (k = 1, 2, . . . , N ) such that
GTkiiP + P Gkii+ (¯s− 1) Qk < 0, (A.3a)
and ( Gkij + Gkji 2 )T P + P ( Gkij + Gkji 2 ) − Qk ≤ 0, (A.3b)
So, from the result mentioned above, we can derive the closed-loop TS-fuzzy-model-based dynamic system (4) is stable if, for the specified static output feedback gains matri-ces Fj (j = 1, 2,· · · , N) in (3), a symmetric positive definite matrix P and the symmetric
positive semi-definite matrices Qk (k = 1, 2, . . . , N ) exist such that the LMIs in (6) are
