A Sum-of-Squares Approach to Modeling and Control of Nonlinear Dynamical Systems With Polynomial Fuzzy Systems

This paper presents a sum of squares (SOS) approach for modeling and control of nonlinear dynamical systems using polynomial fuzzy systems. The proposed SOS-based framework provides a number of innovations and improvements over the existing linear matrix inequality (LMI)-based approaches to Takagi-Sugeno (T-S) fuzzy modeling and control. First, we propose a polynomial fuzzy modeling and control framework that is more general and effective than the well-known T--S fuzzy modeling and control. Secondly, we obtain stability and stabilizability conditions of the polynomial fuzzy systems based on polynomial Lyapunov functions that contain quadratic Lyapunov functions as a special case. Hence, the stability and stabilizability conditions presented in this paper are more general and relaxed than those of the existing LMI-based approaches to T-S fuzzy modeling and control. Moreover, the derived stability and stabilizability conditions are represented in terms of SOS and can be numerically (partially symbolically) solved via the recently developed SOSTOOLS. To illustrate the validity and applicability of the proposed approach, a number of analysis and design examples are provided. The first example shows that the SOS approach renders more relaxed stability results than those of both the LMI-based approaches and a polynomial system approach. The second example presents an extensive application of the SOS approach in comparison with a piecewise Lyapunov function approach. The last example is a design exercise that demonstrates the viability of the SOS-based approach to synthesizing a stabilizing controller.

[1]  Wen-June Wang,et al.  Stability and stabilization of fuzzy large-scale systems , 2004, IEEE Transactions on Fuzzy Systems.

[2]  N. Z. Shor Class of global minimum bounds of polynomial functions , 1987 .

[3]  Peng Shi,et al.  Fault Detection for Uncertain Fuzzy Systems: An LMI Approach , 2007, IEEE Transactions on Fuzzy Systems.

[4]  T. Furnhashi,et al.  New fuzzy inference method for symbolic stability analysis of fuzzy control system , 2000, 6th International Workshop on Advanced Motion Control. Proceedings (Cat. No.00TH8494).

[5]  Yeung Yam,et al.  SVD-based reduction to MISO TS models , 2003, IEEE Trans. Ind. Electron..

[6]  Huaguang Zhang,et al.  Fuzzy $H_\infty$ Filter Design for a Class of Nonlinear Discrete-Time Systems With Multiple Time Delays , 2007, IEEE Transactions on Fuzzy Systems.

[7]  Peter J Seiler,et al.  SOSTOOLS: Sum of squares optimization toolbox for MATLAB , 2002 .

[8]  Wen-June Wang,et al.  A relaxed stability criterion for T-S fuzzy discrete systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[9]  P. Baranyi,et al.  Numerical Reconstruction of the HOSVD Based Canonical Form of Polytopic Dynamic Models , 2007, 2006 International Conference on Intelligent Engineering Systems.

[10]  Kazuo Tanaka,et al.  T-S fuzzy model with linear rule consequence and PDC controller: a universal framework for nonlinear control systems , 2000, Ninth IEEE International Conference on Fuzzy Systems. FUZZ- IEEE 2000 (Cat. No.00CH37063).

[11]  Thierry-Marie Guerra,et al.  Continuous Takagi–Sugeno's Models: Reduction of the Number of LMI Conditions in Various Fuzzy Control Design Technics , 2007, IEEE Transactions on Fuzzy Systems.

[12]  Gang Feng,et al.  Fuzzy Constrained Min-Max Model Predictive Control Based on Piecewise Lyapunov Functions , 2007, IEEE Transactions on Fuzzy Systems.

[13]  Witold Pedrycz,et al.  A stability analysis of fuzzy control system using a generalized fuzzy Petri net model , 1998, 1998 IEEE International Conference on Fuzzy Systems Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36228).

[14]  Dimitar Petrov Filev Algebraic design of fuzzy logic controllers , 1996, Proceedings of the 1996 IEEE International Symposium on Intelligent Control.

[15]  Kazuo Tanaka,et al.  A Descriptor System Approach to Fuzzy Control System Design via Fuzzy Lyapunov Functions , 2007, IEEE Transactions on Fuzzy Systems.

[16]  M. Fu,et al.  Piecewise Lyapunov functions for robust stability of linear time-varying systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[17]  Péter Baranyi,et al.  TP model transformation as a way to LMI-based controller design , 2004, IEEE Transactions on Industrial Electronics.

[18]  Sheng-Luen Chung,et al.  Robust static output-feedback stabilization for nonlinear discrete-time systems with time delay via fuzzy control approach , 2005, IEEE Trans. Fuzzy Syst..

[19]  Farid Sheikholeslam,et al.  Stability analysis and design of fuzzy control systems , 1998, 1998 IEEE International Conference on Fuzzy Systems Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36228).

[20]  Mrdjan J. Jankovic,et al.  Constructive Nonlinear Control , 2011 .

[21]  Michio Sugeno,et al.  Fuzzy identification of systems and its applications to modeling and control , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[22]  Xiefu. Jiang,et al.  Robust H-inf control for uncertain Takagi–Sugeno fuzzy systems With interval time-varying delay , 2005 .

[23]  Han Ho Choi,et al.  LMI-Based Nonlinear Fuzzy Observer-Controller Design for Uncertain MIMO Nonlinear Systems , 2007, IEEE Transactions on Fuzzy Systems.

[24]  S. Hong Synthesis of an LMI-based fuzzy control system with guaranteed optimal H/sub /spl infin// performance , 1998, 1998 IEEE International Conference on Fuzzy Systems Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36228).

[25]  Tsu-Tian Lee,et al.  Hybrid compensation control for affine TSK fuzzy control systems , 2004, IEEE Trans. Syst. Man Cybern. Part B.

[26]  P. Parrilo Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[27]  Han-Xiong Li,et al.  New Approach to Delay-Dependent Stability Analysis and Stabilization for Continuous-Time Fuzzy Systems With Time-Varying Delay , 2007, IEEE Transactions on Fuzzy Systems.

[28]  G. Feng,et al.  A Survey on Analysis and Design of Model-Based Fuzzy Control Systems , 2006, IEEE Transactions on Fuzzy Systems.

[29]  Wen-June Wang,et al.  Stabilizability of linear quadratic state feedback for uncertain fuzzy time-delay systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[30]  S. Farinwata,et al.  Stability analysis of the fuzzy logic controller designed by the phase portrait assignment algorithm , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[31]  Masayoshi Tomizuka,et al.  A framework for analysis and synthesis of fuzzy linguistic control systems , 1991 .

[32]  Ji-Chang Lo,et al.  Existence of Similarity Transformation Converting BMIs to LMIs , 2007, IEEE Transactions on Fuzzy Systems.

[33]  Qing-Long Han,et al.  Robust $H_{\infty}$ Control for Uncertain Takagi–Sugeno Fuzzy Systems With Interval Time-Varying Delay , 2007, IEEE Transactions on Fuzzy Systems.

[34]  Kazuo Tanaka,et al.  Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality Approach , 2008 .

[35]  A. Papachristodoulou,et al.  Nonlinear control synthesis by sum of squares optimization: a Lyapunov-based approach , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[36]  Michio Sugeno,et al.  On stability of fuzzy systems expressed by fuzzy rules with singleton consequents , 1999, IEEE Trans. Fuzzy Syst..

[37]  Witold Pedrycz,et al.  Fuzzy Control Stability Analysis Using a Generalized Fuzzy Petri Net Model , 1999, J. Adv. Comput. Intell. Intell. Informatics.

[38]  Yeung Yam,et al.  SVD-based complexity reduction to TS fuzzy models , 2002, IEEE Trans. Ind. Electron..