Stability Analysis and Performance Design for Fuzzy-Model-Based Control System Under Imperfect Premise Matching

This paper investigates the stability analysis and performance design of nonlinear systems. To facilitate the stability analysis, the Takagi–Sugeno (T–S) fuzzy model is employed to represent the nonlinear plant. Under the imperfect premise matching in which T–S fuzzy model and fuzzy controller do not share the same membership functions, a fuzzy controller with enhanced design flexibility and robustness property is proposed to control the nonlinear plant. However, the nice characteristic given by the perfect premise matching, leading to conservative stability conditions, vanishes. In this paper, under the imperfect premise matching, information of membership functions of the fuzzy model and controller are considered in stability analysis. With the introduction of slack matrices, relaxed linear matrix inequality (LMI)-based stability conditions are derived using Lyapunov-based approach. Furthermore, LMI-based performance conditions are provided to guarantee system performance. Simulation examples are given to illustrate the effectiveness of the proposed approach.      

Quadratic-Stability Analysis of Fuzzy-Model-Based Control Systems Using Staircase Membership Functions

This paper presents the stability analysis of fuzzy-model-based (FMB) control systems. Staircase membership functions are introduced to facilitate the stability analysis. Through the staircase 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 (LMIs) are derived in a simple and easy-to-understand manner to guarantee the system stability. The proposed stability-analysis approach offers a nice property that includes the membership functions of both fuzzy model and fuzzy controller in the LMI-based stability conditions for a dedicated FMB control system. Furthermore, the proposed stability-analysis approach can be applied to the FMB control systems of which the membership functions of both fuzzy model and fuzzy controller are not necessarily the same. Greater design flexibility is allowed to choose 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 examples are given to illustrate the merits of the proposed approach.      

Adaptive controller design for uncertain fuzzy systems using variable structure control approach

Based on the variable structure control (VSC) theory, we develop an adaptive fuzzy control system design method for uncertain Takagi-Sugeno fuzzy models with norm-bounded uncertainties. We relax the restrictive assumptions that each nominal local system model shares the same input channel and the norm bound of the uncertainty is known, which are usually invoked in the traditional VSC-based fuzzy control design methods. As the local controller we use a VSC law with a switching feedback control term and an adaptation law to account for the norm-bounded uncertainties. In terms of LMIs, we derive a sufficient condition for the existence of linear sliding surfaces guaranteeing the asymptotic stability. We present an LMI characterization of such sliding surfaces. We also give an LMI-based design algorithm, together with a numerical design example.     

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.      

Robust Stabilization of Uncertain Fuzzy Systems Using Variable Structure System Approach

Based on the variable structure system (VSS) theory, we develop a fuzzy control system design method for a class of uncertain nonlinear multivariable systems that can be represented by a Takagi-Sugeno fuzzy model. We make the first attempt to relax the restrictive assumption that each nominal local system model shares the same input channel, which is required in the traditional VSS-based fuzzy control design methods. As the local controller we use a sliding mode controller with a switching feedback control term. In terms of linear matrix inequalities (LMIs), we derive a sufficient condition for the existence of linear sliding surfaces guaranteeing asymptotic stability of the reduced-order equivalent sliding mode dynamics. We present an LMI characterization of such sliding surfaces. We also give an LMI-based algorithm to design the switching feedback control term so that a stable sliding motion is induced in finite time. Finally, we give a numerical design example.     

Reducing the conservatism of LMI-based stabilisation conditions for TS fuzzy systems using fuzzy Lyapunov functions

In this article, the fuzzy Lyapunov function approach is considered for stabilising continuous-time Takagi-Sugeno fuzzy systems. Previous linear matrix inequality (LMI) stability conditions are relaxed by exploring further the properties of the time derivatives of premise membership functions and by introducing slack LMI variables into the problem formulation. The relaxation conditions given can also be used with a class of fuzzy Lyapunov functions which also depends on the membership function first-order time-derivative. The stability results are thus extended to systems with large number of rules under membership function order relations and used to design parallel-distributed compensation (PDC) fuzzy controllers which are also solved in terms of LMIs. Numerical examples illustrate the efficiency of the new stabilising conditions presented.     

Robust stability of uncertain fuzzy Cohen–Grossberg BAM neural networks with time-varying delays

In this paper, the Takagi–Sugeno (TS) fuzzy model representation is extended to the stability analysis for uncertain Cohen–Grossberg type bidirectional associative memory (BAM) neural networks with time-varying delays using linear matrix inequality (LMI) theory. A novel LMI-based stability criterion is obtained by using LMI optimization algorithms to guarantee the asymptotic stability of uncertain Cohen–Grossberg BAM neural networks with time varying delays which are represented by TS fuzzy models. Finally, the proposed stability conditions are demonstrated with numerical examples.     

T-S模糊系统的二次稳定

应用LMI(线性矩阵不等式)方法,研究了T-S模糊系统二次稳定性及控制器设计问题.首先,通过考虑模糊系统隶属函数的性质,将原系统进行变换,给出了T-S模糊系统二次稳定的新条件,并提出了基于LMI的控制器设计方法.与现有结果相比,该方法不仅考虑了各子系统间的关系,还考虑到隶属函数的性质,计算量和保守性较小.仿真算例验证了其有效性.     

Stability analysis of T–S fuzzy models for nonlinear multiple time-delay interconnected systems

In this paper, the Takagi–Sugeno (T–S) fuzzy model representation is extended to the stability analysis for nonlinear interconnected systems with multiple time-delays using linear matrix inequality (LMI) theory. In terms of Lyapunov’s direct method for multiple time-delay fuzzy interconnected systems, a novel LMI-based stability criterion which can be solved numerically is proposed. Then, the common P matrix of the criterion is obtained by LMI optimization algorithms to guarantee the asymptotic stability of nonlinear interconnect systems with multiple time-delay. Finally, the proposed stability conditions are demonstrated with simulations throughout this paper.     

Fuzzy regulators and fuzzy observers: relaxed stability conditionsand LMI-based designs

This paper presents new relaxed stability conditions and LMI- (linear matrix inequality) based designs for both continuous and discrete fuzzy control systems. They are applied to design problems of fuzzy regulators and fuzzy observers. First, Takagi and Sugeno's fuzzy models and some stability results are recalled. To design fuzzy regulators and fuzzy observers, nonlinear systems are represented by Takagi-Sugeno's (TS) fuzzy models. The concept of parallel distributed compensation is employed to design fuzzy regulators and fuzzy observers from the TS fuzzy models. New stability conditions are obtained by relaxing the stability conditions derived in previous papers, LMI-based design procedures for fuzzy regulators and fuzzy observers are constructed using the parallel distributed compensation and the relaxed stability conditions. Other LMI's with respect to decay rate and constraints on control input and output are also derived and utilized in the design procedures. Design examples for nonlinear systems demonstrate the utility of the relaxed stability conditions and the LMI-based design procedures     

基于线性矩阵不等式的参数不确定性关联模糊大系统的分散鲁棒镇定

讨论了参数不确定性关联模糊大系统的分散鲁棒镇定问题,所考虑的参数不确定性满足范数有界条件.基于李雅普诺夫稳定性理论及大系统分散控制理论,采用分散化PDC(parallel distributed compensation)控制器,给出了保证该关联模糊大系统闭环渐近稳定的LMI形式的充分条件,通过MATLAB软件中的LMI工具箱可求解出这些LMI中的控制器参数.仿真例子说明了所提方法的有效性.     

Fault detection for interval type-2 fuzzy stochastic systems with D stability constraint

This paper investigates the fault detection problem for interval type-2 (IT2) fuzzy stochastic systems with D stability constraint. In the design process, the constructed IT2 fuzzy stochastic system and fault detection filter use different membership functions and the number of fuzzy rules. The parameter uncertainties in the IT2 membership functions are captured through upper and lower membership functions. For relaxing the stability analysis and deriving the existence conditions of the fault detection filter that guarantee the mean-square asymptotically stable and H_∞ performance of the inferred IT2 fault detection system, the approach of dividing the state space and the values of upper and lower membership functions are exploited. Finally, simulation results are given to show the effectiveness of the presented results.     

基于多输入时滞脉冲模型的采样数据控制系统的随机镇定

针对具有非均匀采样的采样数据控制系统,把区间内连续分布的采样间隔序列描述为多元独立同分布随机过程,把闭环系统转化为多输入时滞脉冲模型,通过构造合适的非连续Lyapunov泛函,以及合理地利用在所有采样间隔内输入时滞的时间导数等于1的条件,结合自由权矩阵方法推导了基于LMIs的全局均方渐近稳定性条件,在此基础上运用调节因子法和锥补线性化方法,把控制器设计转化为具有LMI约束的非线性优化问题,并给出了基于LMIs的迭代求解算法.数值实例和实验表明了所得理论结果的优越性和有效性.     

Guaranteed Cost Control of Polynomial Fuzzy Systems via a Sum of Squares Approach

This paper presents the guaranteed cost control of polynomial fuzzy systems via a sum of squares (SOS) approach. First, we present a polynomial fuzzy model and controller that are more general representations of the well-known Takagi–Sugeno (T-S) fuzzy model and controller, respectively. Second, we derive a guaranteed cost control design condition based on polynomial Lyapunov functions. Hence, the design approach discussed in this paper is more general than the existing LMI approaches (to T-S fuzzy control system designs) based on quadratic Lyapunov functions. The design condition realizes a guaranteed cost control by minimizing the upper bound of a given performance function. In addition, the design condition in the proposed approach can be represented in terms of SOS and is numerically (partially symbolically) solved via the recent developed SOSTOOLS. To illustrate the validity of the design approach, two design examples are provided. The first example deals with a complicated nonlinear system. The second example presents micro helicopter control. Both the examples show that our approach provides more extensive design results for the existing LMI approach.      

离散模糊系统分析与设计的模糊Lyapunov方法

研究离散T-S模糊控制系统基于模糊Lyapunov函数的稳定性分析及控制器设计问 题.首先,构造出离散型模糊Lyapunov函数,模糊Lyapunov函数是系数与T-S模糊系统的模糊 规则权重相对应的复合型Lyapunov函数.然后,得到了开环系统新的稳定性充分条件,与公共 Lyapunov方法的结果相比,这一条件更为宽松.进而,基于一系列线性矩阵不等式设计出模糊 控制器.最后,仿真实例说明了该方法的算法和本文条件的优越性.     

Switching fuzzy controller design based on switching Lyapunov function for a class of nonlinear systems

This paper presents a switching fuzzy controller design for a class of nonlinear systems. A switching fuzzy model is employed to represent the dynamics of a nonlinear system. In our previous papers, we proposed the switching fuzzy model and a switching Lyapunov function and derived stability conditions for open-loop systems. In this paper, we design a switching fuzzy controller. We firstly show that switching fuzzy controller design conditions based on the switching Lyapunov function are given in terms of bilinear matrix inequalities, which is difficult to design the controller numerically. Then, we propose a new controller design approach utilizing an augmented system. By introducing the augmented system which consists of the switching fuzzy model and a stable linear system, the controller design conditions based on the switching Lyapunov function are given in terms of linear matrix inequalities (LMIs). Therefore, we can effectively design the switching fuzzy controller via LMI-based approach. A design example illustrates the utility of this approach. Moreover, we show that the approach proposed in this paper is available in the research area of piecewise linear control.     

Robust fuzzy control for uncertain discrete-time nonlinear Markovian jump systems without mode observations

This paper studies the robust fuzzy control problem of uncertain discrete-time nonlinear Markovian jump systems without mode observations. The Takagi and Sugeno (T-S) fuzzy model is employed to represent a discrete-time nonlinear system with norm-bounded parameter uncertainties and Markovian jump parameters. As a result, an uncertain Markovian jump fuzzy system (MJFS) is obtained. A stochastic fuzzy Lyapunov function (FLF) is employed to analyze the robust stability of the uncertain MJFS, which not only is dependent on the operation modes of the system, but also directly includes the membership functions. Then, based on this stochastic FLF and a non-parallel distributed compensation (non-PDC) scheme, a mode-independent state-feedback control design is developed to guarantee that the closed-loop MJFS is stochastically stable for all admissible parameter uncertainties. The proposed sufficient conditions for the robust stability and mode-independent robust stabilization are formulated as a set of coupled linear matrix inequalities (LMIs), which can be solved efficiently by using existing LMI optimization techniques. Finally, it is also demonstrated, via a simulation example, that the proposed design method is effective.     

LMI-based stability and performance conditions for continuous-time nonlinear systems in Takagi-Sugeno's form.

This correspondence presents the stability analysis and performance design of the continuous-time fuzzy-model-based control systems. The idea of the nonparallel-distributed-compensation (non-PDC) control laws is extended to the continuous-time fuzzy-model-based control systems. A nonlinear controller with non-PDC control laws is proposed to stabilize the continuous-time nonlinear systems in Takagi-Sugeno's form. To produce the stability-analysis result, a parameter-dependent Lyapunov function (PDLF) is employed. However, two difficulties are usually encountered: 1) the time-derivative terms produced by the PDLF will complicate the stability analysis and 2) the stability conditions are not in the form of linear-matrix inequalities (LMIs) that aid the design of feedback gains. To tackle the first difficulty, the time-derivative terms are represented by some weighted-sum terms in some existing approaches, which will increase the number of stability conditions significantly. In view of the second difficulty, some positive-definitive terms are added in order to cast the stability conditions into LMIs. In this correspondence, the favorable properties of the membership functions and nonlinear control laws, which allow the introduction of some free matrices, are employed to alleviate the two difficulties while retaining the favorable properties of PDLF-based approach. LMI-based stability conditions are derived to ensure the system stability. Furthermore, based on a common scalar performance index, LMI-based performance conditions are derived to guarantee the system performance. Simulation examples are given to illustrate the effectiveness of the proposed approach.