SOS-Based Stability Analysis of Polynomial Fuzzy-Model-Based Control Systems Via Polynomial Membership Functions

A review on stability analysis of continuous-time fuzzy-model-based control systems: From membership-function-independent to membership-function-dependent analysis

This paper presents the stability analysis of fuzzy-model-based control systems. Stepwise membership functions are introduced to facilitate the stability analysis. Through the stepwise membership functions approximating those of the fuzzy model and fuzzy controller, the information of the membership functions can be brought into the stability analysis. Based on the Lyapunov stability theory, stability conditions in terms of linear matrix inequalities are derived in a simple and easy-to-understand manner to guarantee the system stability. The proposed stability analysis approach offers a nice property to include the membership functions of both fuzzy model and fuzzy controller in the LMI-based stability conditions for a dedicated fuzzy-model-based control system. Furthermore, the proposed stability analysis approach can be applied to the fuzzy-model-based control systems of which the membership functions of both fuzzy model and fuzzy controller are not necessarily the same. Greater design flexibility is allowed by choosing the membership functions during the design of fuzzy controllers. By employing membership functions with simple structure, it is possible to lower the structural complexity and the implementation cost. Simulation example is given to illustrate the merits of the proposed approach.

This paper investigates the stability of a polynomial-fuzzy-model-based (PFMB) control system formed by a nonlinear plant represented by a polynomial fuzzy model and a polynomial fuzzy controller connected in a closed loop. Three cases of polynomial fuzzy controllers are proposed for the control process with the consideration of a matched/mismatched number of rules and/or premise membership functions, which demonstrate different levels of controller complexity, design flexibility, and stability analysis results. A general polynomial Lyapunov function candidate is proposed to investigate the system stability. Unlike the published work, there is no constraint on the polynomial Lyapunov function candidate, which is independent of the form of the polynomial fuzzy model. Thus, it can be applied to a wider class of PFMB control systems and potentially produces more relaxed stability analysis results. Two-step stability conditions in terms of sum-of-squares (SOS) are obtained to numerically find a feasible solution. To facilitate the stability analysis and relax the stability analysis result, the boundary information of membership functions is taken into account in the stability analysis and incorporated into the SOS-based stability conditions. Simulation examples are given to illustrate the effectiveness of the proposed approach.

This chapter investigates the stability of polynomial fuzzy model-based control systems by treating the membership functions and system states as symbolic variables. The information of membership functions is considered in the stability analysis and brought to the SOS-based stability conditions. Techniques are proposed to introduce slack matrix variables carrying the information of membership functions, including the property of membership functions, boundary information of membership functions and boundary information of premise variables, to the SOS-based stability conditions without increasing much the computational demand. Details of mathematical derivation are shown to help readers follow easily the analysis. A simulation example is given to show how to apply the obtained stability conditions during the control design and demonstrate the merits of the proposed stability analysis results.

In this paper, the stability analysis for interval type-2 (IT2) polynomial fuzzy-model-based (PFMB) control system using the information of membership functions is investigated. To tackle uncertainties, IT2 membership functions are used in the IT2 polynomial fuzzy model and IT2 polynomial fuzzy controller. The stability of IT2 PFMB control system is investigated based on the Lyapunov stability theory and both sets of membership function independent (MFI) and membership function dependent (MFD) stability conditions are derived on the basis of the sum-of-squares (SOS) approach. To make the stability conditions MFD, the boundary information of IT2 membership functions is used in the stability analysis. To extract richer information of IT2 membership functions, the operating domain is partitioned into sub-domains. In each sub-domain, the boundary information of IT2 membership functions and those of the upper and lower membership function are obtained. Furthermore, to further relax the conservativeness, a switching polynomial fuzzy controller, together with the informations obtained in each sub-domain, is employed in investigating the stability analysis. Numerical examples and simulation results are given to demonstrate the validity of MFD and MFD switching methods.

This study investigates the stability of fuzzy‐model‐based (FMB) control system, which is formed by a Takagi–Sugeno (T–S) fuzzy model representing a non‐linear plant and a fuzzy controller connected in a closed loop. The proposed fuzzy controller considers a higher design flexibility that the premise membership functions and the number of fuzzy rules are allowed to be not the same as those of the T–S fuzzy model. By employing simple membership functions and a smaller number of fuzzy rules, the complexity of the fuzzy controller can be reduced to facilitate its implementation. Based on the Lyapunov stability theory, a membership‐function‐dependent (MFD) stability analysis is proposed to develop stability conditions in the form of linear matrix inequalities (LMIs) to determine the system stability and facilitate the control synthesis. The information of the membership functions is brought to the MFD LMI‐based stability conditions, which are dedicated to the FMB control system under consideration. It is thus the proposed MFD stability analysis result is more relaxed compared with the existing membership‐function‐independent stability analysis results. A simulation example is given to illustrate the effectiveness of the proposed approach.

This paper investigates the output regulation problem of polynomial-fuzzy-model-based (PFMB) control systems with the consideration of system stability and control synthesis using the sum-of-squares (SOS)-based approach. A PFMB control system is formed by a polynomial fuzzy model and a polynomial fuzzy controller with integral action connected in a closed loop. Three cases of PFMB control systems regarding the premise membership functions and number of fuzzy rules, which have their own properties and advantages, are considered. The stability of the PFMB control systems is investigated based on the Lyapunov stability theory. With consideration of the information of membership functions, SOS-based stability conditions corresponding to each case are obtained to guarantee system stability and to realize output regulation. Simulation examples are given to compare the three cases and illustrate the effectiveness of the proposed approach.

This paper presents the stability analysis of interval type-2 fuzzy-model-based (FMB) control systems. To investigate the system stability, an interval type-2 Takagi-Sugeno (T-S) fuzzy model, which can be regarded as a collection of a number of type-1 T-S fuzzy models, is proposed to represent the nonlinear plant subject to parameter uncertainties. With the lower and upper membership functions, the parameter uncertainties can be effectively captured. Based on the interval type-2 T-S fuzzy model, an interval type-2 fuzzy controller is proposed to close the feedback loop. To facilitate the stability analysis, the information of the footprint of uncertainty is used to develop some membership function conditions, which allow the introduction of slack matrices to handle the parameter uncertainties in the stability analysis. Stability conditions in terms of linear matrix inequalities are derived using a Lyapunov-based approach. Simulation examples are given to illustrate the effectiveness of the proposed interval type-2 FMB control approach.

More relaxed stability analysis and positivity analysis for positive polynomial fuzzy systems via membership functions dependent method

Stability analysis of discrete-time systems with arbitrary delay kernels based on kernel-related summation inequality and model transformation

Tracking control design of interval type-2 polynomial-fuzzy-model-based systems with time-varying delay

Stability analysis and stabilization of LPV systems with jumps and (piecewise) differentiable parameters using continuous and sampled-data controllers

This paper is concerned with the problem of stability analysis of nonlinear Roesser-type two-dimensional (2D) systems. Firstly, the fuzzy modeling method for the usual one-dimensional (1D) systems is extended to the 2D case so that the underlying nonlinear 2D system can be represented by the 2D Takagi—Sugeno (TS) fuzzy model, which is convenient for implementing the stability analysis. Secondly, a new kind of fuzzy Lyapunov function, which is a homogeneous polynomially parameter dependent on fuzzy membership functions, is developed to conceive less conservative stability conditions for the TS Roesser-type 2D system. In the process of stability analysis, the obtained stability conditions approach exactness in the sense of convergence by applying some novel relaxed techniques. Moreover, the obtained result is formulated in the form of linear matrix inequalities, which can be easily solved via standard numerical software. Finally, a numerical example is also given to demonstrate the effectiveness of the proposed approach.

Presents the stability and robustness analysis of digital fuzzy control systems subject to parameter uncertainties. To carry out the analysis, we first describe exactly a digital nonlinear system with parameter uncertainties with a fuzzy plant model. Second, a digital fuzzy controller is proposed to close the feedback loop. Three design approaches are introduced. Based on the resultant fuzzy control system, a stability condition is derived for each design approach. A numerical example is given to show the merits.

Fuzzy inference has a multigranular architecture consisting of symbols and continuous values, and has worked well to incorporate experts' know-how into fuzzy controls. Stability analysis of fuzzy control systems is one of the main topics of fuzzy control. A recently proposed stability analysis method on the symbolic level opened the door to the design of stable fuzzy controller using symbols. However the validity of the stability analysis in the symbolic system is not guaranteed in the continuous system. To guarantee this validity, a nonseparate condition has been introduced. If the fuzzy control system is asymptotically stable in the symbolic system and the system satisfies the nonseparate condition, the continuous system is also asymptotically stable. However this condition is too conservative. The new condition called a relaxed nonseparate condition has been proposed and the class of control systems with guaranteed discretization has been expanded. However the relaxed condition has been applicable only to controf systems having symmetric membership functions. This paper presents a new fuzzy inference method that makes the relaxed condition applicable to fuzzy control systems with asymmetric membership functions. Simulations are done to demonstrate the effectiveness of the new fuzzy inference method. The proof of the expansion of the relaxed nonseparate condition is also given.