Guaranteed cost control for T-S fuzzy systems with time-varying delays

This paper deals with the problem of guaranteed cost control for nonlinear systems with time-varying delays which is represented by Takagi-Sugeno （T-S） fuzzy models with time-varying delays.The derivatives of time-varying delay are not necessary to be bounded.Based on the free weighting matrix method,sufficient conditions for the existence of fuzzy guaranteed cost controller via state feedback are given in terms of linear matrix inequalities （LMIs）.A minimizing method is also proposed to search the suboptimal upper bound of the guaranteed cost function.The results are delay-dependent but contain delay-independent criteria as a special case.A numerical example is presented to demonstrate the effectiveness and less conservativeness of our work.

Robust passive control for discrete-time T-S fuzzy systems with delays

This article deals with the robust stability analysis and passivity of uncertain discrete-time Takagi- Sugeno （T-S） fuzzy systems with time delays. The T-S fuzzy model with parametric uncertainties can approximate nonlinear uncertain systems at any precision. A sufficient condition on the existence of robust passive controller is established based on the Lyapunov stability theory. With the help of linear matrix inequality （LMI） method, robust passive controllers are designed so that the closed-loop system is robust stable and strictly passive. Furthermore, a convex optimization problem with LMI constraints is formulated to design robust passive controllers with the maximum dissipation rate. A numerical example illustrates the validity of the proposed method.

Stabilization of Discrete-time 2-D T-S Fuzzy Systems Based on New Relaxed Conditions

This paper is concerned with the problem of stabilization of the Roesser type discrete-time nonlinear 2-D system that plays an important role in many practical applications. First, a discrete-time 2-D T-S fuzzy model is proposed to represent the underlying nonlinear 2-D system. Second, new quadratic stabilization conditions are proposed by applying relaxed quadratic stabilization technique for 2-D case. Third, for sake of further reducing conservatism, new non-quadratic stabilization conditions are also proposed by applying a new parameter-dependent Lyapunov function, matrix transformation technique, and relaxed technique for the underlying discrete-time 2-D T-S fuzzy system. Finally, a numerical example is provided to illustrate the effectiveness of the proposed results.

Stability analysis and controller design of T-S fuzzy systems with time-delay under imperfect premise matching

The issue of the stability and controller design of Takagi-Sugeno（T-S） fuzzy control systems with time-delay is investigated under imperfect premise matching when the T-S fuzzy time-delay model and fuzzy controller do not share the same membership functions.A new stability criterion which contains the information of membership functions is derived.The new stability criterion is less conservative,and enhances the design flexibility.Two numerical examples are presented to illustrate the conservativeness and effectiveness of the proposed method.

New Stability Condition of T-S Fuzzy Systems and Design of Robust Flight Control Principle

Unlike the previous research works analyzing the stability of the T-S （Takagi-Sugeno） fuzzy model, an extension on the stability condition of T-S fuzzy systems with a different strategy is provided. In the strategy a new variable, which is relative to the grade of fuzzy membership function, is introduced to the stability analysis and a new stability conclusion is deduced. The definition of stability condition in this paper is different from previous works, though they are similar in form. With the proposed method, the simulation in flight control law shows a better effectiveness.

Precision control of inverter welding power sources by using T-S fuzzy systems

The functional relationship of approximation accuracy and number of fuzzy sets is used to find the rational balance point between the control accuracy and the control cost of fuzzy systems. This approach efficiently eliminates the drawback of rapid control cost increase caused by blind increase of fuzzy set number in practical engineering. The sufficient conditions for TS fuzzy systems as universal approximators are derived. A special T-S fuzzy system that satisfied these conditions is analyzed, and the simulation results show that when the number of fuzzy sets is increased moderately, the model parameters＇ training epochs can be effectually decreased while the model accuracy improved significantly. A practical welding power source controlled by a T-S fuzzy system is developed with satisfactory experimental results.

Asymptotically Necessary and Sufficient Quadratic Stability Conditions of T-S Fuzzy Systems Using Staircase Membership Function and Basic Inequality

Asymptotically necessary and sufficient quadratic stability conditions of Takagi-Sugeno (T-S) fuzzy systems are obtained by utilizing staircase membership functions and a basic inequality. The information of the membership functions is incorporated in the stability analysis by approximating the original continuous membership functions with staircase membership functions. The stability of the T-S fuzzy systems was investigated based on a quadratic Lyapunov function. The asymptotically necessary and sufficient stability conditions in terms of linear matrix inequalities were derived using a basic inequality. A fuzzy controller was also designed based on the stability results. The derivation process of the stability results is straightforward and easy to understand. Case studies confirmed the validity of the obtained stability results.

Event-triggered fault detection for T-S fuzzy systems with local nonlinear models in finite-frequency domain

This article investigates the issue of event-triggered fault detection(FD)filter design for T-S fuzzy systems with local nonlinear models.A novel H−/H∞FD filter subject to the event triggering transmission mechanism is designed in finite-frequency domain.Then,a novel lemma,in which the nonlinear part and the event triggering mechanism are dealt appropriately,is presented to capture the sensitivity and robustness performances.In addition,the slack matrices are utilised to derive optimal filter parameters by solving a convex optimisation problem.The less conservative FD method can get better detection performances than those entire-frequency methods.Finally,an example is introduced to verify the new results.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

A Survey on Type-3 Fuzzy Logic Systems and Their Control Applications

In this paper,we offer a review of type-3 fuzzy logic systems and their applications in control.The main objective of this work is to observe and analyze in detail the applications in the control area using type-3 fuzzy logic systems.In this case,we review their most important applications in control and other related topics with type-3 fuzzy systems.Intelligent algorithms have been receiving increasing attention in control and for this reason a review in this area is important.This paper reviews the main applications that make use of Intelligent Computing methods.Specifically,type-3 fuzzy logic systems.The aim of this research is to be able to appreciate,in detail,the applications in control systems and to point out the scientific trends in the use of Intelligent Computing techniques.This is done with the construction and visualization of bibliometric networks,developed with VosViewer Software,which it is a free Java-based program,mainly intended to be used for analyzing and visualizing bibliometric networks.With this tool,we can create maps of publications,authors,or journals based on a co-citation network or construct maps of keywords,countries based on a co-occurrence networks,research groups,etc.

Attribute Reduction of Hybrid Decision Information Systems Based on Fuzzy Conditional Information Entropy

The presence of numerous uncertainties in hybrid decision information systems(HDISs)renders attribute reduction a formidable task.Currently available attribute reduction algorithms,including those based on Pawlak attribute importance,Skowron discernibility matrix,and information entropy,struggle to effectively manages multiple uncertainties simultaneously in HDISs like the precise measurement of disparities between nominal attribute values,and attributes with fuzzy boundaries and abnormal values.In order to address the aforementioned issues,this paper delves into the study of attribute reduction withinHDISs.First of all,a novel metric based on the decision attribute is introduced to solve the problem of accurately measuring the differences between nominal attribute values.The newly introduced distance metric has been christened the supervised distance that can effectively quantify the differences between the nominal attribute values.Then,based on the newly developed metric,a novel fuzzy relationship is defined from the perspective of“feedback on parity of attribute values to attribute sets”.This new fuzzy relationship serves as a valuable tool in addressing the challenges posed by abnormal attribute values.Furthermore,leveraging the newly introduced fuzzy relationship,the fuzzy conditional information entropy is defined as a solution to the challenges posed by fuzzy attributes.It effectively quantifies the uncertainty associated with fuzzy attribute values,thereby providing a robust framework for handling fuzzy information in hybrid information systems.Finally,an algorithm for attribute reduction utilizing the fuzzy conditional information entropy is presented.The experimental results on 12 datasets show that the average reduction rate of our algorithm reaches 84.04%,and the classification accuracy is improved by 3.91%compared to the original dataset,and by an average of 11.25%compared to the other 9 state-of-the-art reduction algorithms.The comprehensive analysis of these research results clearly indicates that our algorithm is highly effective in managing the intricate uncertainties inherent in hybrid data.

New approaches to relaxed stabilization conditions and H-infinity control designs for T-S fuzzy systems

This paper focuses on the problem of fuzzy control for a class of continuous-time T-S fuzzy systems. New methods of stabilization design and H-infinity control are derived based on a relaxed approach in which both fuzzy Lyapunov functions and staircase membership functions are used. Through the staircase membership functions approx- imating the continuous membership functions of the given fuzzy model, the membership functions can be brought into the design conditions of fuzzy systems, thereby significantly reducing the conservativeness in the recent fuzzy controller design methods. Unlike some previous fuzzy Lyapunov function approaches reported in the literatures, the proposed design techniques of stabilization and H-infinity control do not depend on the time-derivative of the membership functions that may be pointed out as the main source of conservatism when considering fuzzy Lyapunov functions analysis. Moreover, conditions for the solvability of the controller design given here are written in the form of linear matrix inequalities, but not bilinear matrix inequalities, which are easier to be solved by convex optimization techniques. Simulation examples are given to demonstrate the validity and applicability of the proposed approaches.

Stability analysis of T-S fuzzy control systems with interval plants

The stability of a type of Takagi-Sugeno ( T-S) fuzzy control systems is considered. The plant of T-S fuzzy system has parameter uncertainties. By using the off-axis circle criterion and Kharitonov Theorem,a sufficient condition is derived to analyze the global asymptotic stability of T-S fuzzy control system. The proposed method has a graphical explanation which facilitates stability analysis. A numerical example is also given to demonstrate how to use our approach in analyzing certain T-S fuzzy control systems.

New approaches to delay-dependent robust H_(∞) control of uncertain discrete-time T-S fuzzy systems with time-varying delay

This paper investigates the problem of delaydependent robust H_(∞) state-feedback control for a class of uncertain discrete-time state-delayed T-S fuzzy systems.The state delay is assumed to be time-varying and of an interval-like type with the lower and upper bounds.The parameter uncertainties are assumed to have a structured linear-fractional form.Based on a novel fuzzy-basisdependent Lyapunov-Krasovskii functional incorporating a free-weighting matrix approach,some new delaydependent sufficient conditions for robust H_(∞) performance analysis and controller synthesis are derived in terms of linear matrix inequalities(LMIs).Numerical examples are also provided to illustrate the effectiveness of the proposed approaches.

Hybrid Dynamic Variables-Dependent Event-Triggered Fuzzy Model Predictive Control

This article focuses on dynamic event-triggered mechanism(DETM)-based model predictive control(MPC) for T-S fuzzy systems.A hybrid dynamic variables-dependent DETM is carefully devised,which includes a multiplicative dynamic variable and an additive dynamic variable.The addressed DETM-based fuzzy MPC issue is described as a “min-max” optimization problem(OP).To facilitate the co-design of the MPC controller and the weighting matrix of the DETM,an auxiliary OP is proposed based on a new Lyapunov function and a new robust positive invariant(RPI) set that contain the membership functions and the hybrid dynamic variables.A dynamic event-triggered fuzzy MPC algorithm is developed accordingly,whose recursive feasibility is analysed by employing the RPI set.With the designed controller,the involved fuzzy system is ensured to be asymptotically stable.Two examples show that the new DETM and DETM-based MPC algorithm have the advantages of reducing resource consumption while yielding the anticipated performance.

Passivity Control for Uncertain T-S Fuzzy Descriptor Systems

By means of matrix decomposition method a criterion is presented for the admissibility of T-S fuzzy descriptor system. Then, the problem of passivity control is studied for a kind of T-S fuzzy descriptor system with uncertain parameters, and sufficient conditions which make the closed-loop system admissible and strictly passive are obtained based on linear matrix inequality (LMI). The nonstrict LMIs restricted conditions which characterize the descriptor system are transformed into strict ones, so testing admissibility and passivity of the system can be finished simultaneously. The design scheme of state feedback controller is also obtained. Finally, a numerical example is given to show the validity and feasibility of the proposed approach.

Constrained predictive control based on T-S fuzzy model for nonlinear systems

A constrained generalized predictive control （GPC） algorithm based on the T-S fuzzy model is presented for the nonlinear system. First, a Takagi-Sugeno （T-S） fuzzy model based on the fuzzy cluster algorithm and the orthogonalleast square method is constructed to approach the nonlinear system. Since its consequence is linear, it can divide the nonlinear system into a number of linear or nearly linear subsystems. For this T-S fuzzy model, a GPC algorithm with input constraints is presented. This strategy takes into account all the constraints of the control signal and its increment, and does not require the calculation of the Diophantine equations. So it needs only a small computer memory and the computational speed is high. The simulation results show a good performance for the nonlinear systems.

Predictive functional control based on fuzzy T-S model for HVAC systems temperature control

In heating, ventilating and air-conditioning （HVAC） systems, there exist severe nonlinearity, time-varying nature, disturbances and uncertainties. A new predictive functional control based on Takagi-Sugeno （T-S） fuzzy model was proposed to control HVAC systems. The T-S fuzzy model of stabilized controlled process was obtained using the least squares method, then on the basis of global linear predictive model from T-S fuzzy model, the process was controlled by the predictive functional controller. Especially the feedback regulation part was developed to compensate uncertainties of fuzzy predictive model. Finally simulation test results in HVAC systems control applications showed that the proposed fuzzy model predictive functional control improves tracking effect and robustness. Compared with the conventional PID controller, this control strategy has the advantages of less overshoot and shorter setting time, etc.

Statistic PID Tracking Control for Non-Gaussian Stochastic Systems Based on T-S Fuzzy Model

A new robust proportional-integral-derivative （PID） tracking control framework is considered for stochastic systems with non-Gaussian variable based on B-spline neural network approximation and T-S fuzzy model identification. The tracked object is the statistical information of a given target probability density function （PDF）, rather than a deterministic signal. Following B-spline approximation to the integrated performance function, the concerned problem is transferred into the tracking of given weights. Different from the previous related works, the time delay T-S fuzzy models with the exogenous disturbances are applied to identify the nonlinear weighting dynamics. Meanwhile, the generalized PID controller structure and the improved convex linear matrix inequalities （LMI） algorithms are proposed to fulfil the tracking problem. Furthermore, in order to enhance the robust performance, the peak-to-peak measure index is applied to optimize the tracking performance. Simulations are given to demonstrate the efficiency of the proposed approach.