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.

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.

A Stable Fuzzy-Based Computational Model and Control for Inductions Motors

In this paper,a stable and adaptive sliding mode control(SMC)method for induction motors is introduced.Determining the parameters of this system has been one of the existing challenges.To solve this challenge,a new self-tuning type-2 fuzzy neural network calculates and updates the control system parameters with a fast mechanism.According to the dynamic changes of the system,in addition to the parameters of the SMC,the parameters of the type-2 fuzzy neural network are also updated online.The conditions for guaranteeing the convergence and stability of the control system are provided.In the simulation part,in order to test the proposed method,several uncertain models and load torque have been applied.Also,the results have been compared to the SMC based on the type-1 fuzzy system,the traditional SMC,and the PI controller.The average RMSE in different scenarios,for type-2 fuzzy SMC,is 0.0311,for type-1 fuzzy SMC is 0.0497,for traditional SMC is 0.0778,and finally for PI controller is 0.0997.

Adaptive control using interval Type-2 fuzzy logic for uncertain nonlinear systems

A new adaptive Type-2 （T2） fuzzy controller was developed and its potential performance advantage over adaptive Type-1 （T1） fuzzy control was also quantified in computer simulation. Base on the Lyapunov method, the adaptive laws with guaranteed system stability and convergence were developed. The controller updates its parameters online using the laws to control a system and tracks its output command trajectory. The simulation study involving the popular inverted pendulum control problem shows theoretically predicted system stability and good tracking performance. And the comparison simulation experiments subjected to white noige or step disturbance indicate that the T2 controller is better than the T1 controller by 0--18%, depending on the experiment condition and performance measure.

Adaptive Fuzzy Observer Backstepping Control for a Class of Uncertain Nonlinear Systems with Unknown Time-delay

In this paper, a new adaptive fuzzy backstepping control approach is developed for a class of nonlinear systems with unknown time-delay and unmeasured states. Using fuzzy logic systems to approximate the unknown nonlinear functions, a fuzzy state observer is designed for estimating the unmeasured states. On the basis of the state observer and applying the backstepping technique, an adaptive fuzzy observer control approach is developed. The main features of the proposed adaptive fuzzy control approach not only guarantees that all the signals of the closed-loop system are semiglobally uniformly ultimately bounded, but also contain less adaptation parameters to be updated on-line. Finally, simulation results are provided to show the effectiveness of the proposed approach.

New delay-dependent robust stability and stabilization for uncertain T-S fuzzy time-delay systems under imperfect premise matching

To alleviate the conservativeness of the stability criterion for Takagi-Sugeno （T-S） fuzzy time-delay systems, a new delay-dependent stability criterion was proposed by introducing a new augmented Lyapunov function with an additional triple-integral term, which was firstly u3ed to derive the stability criterion for T-S fuzzy time-delay systems. By the same approach, the robust stability issue for fuzzy time-delay systems with uncertain parameters was also considered. On the other hand, in order to enhance the design flexibility, a new design approach for uncertain fuzzy time-delay systems under imperfect premise matching was also proposed, which allows the fuzzy controller to employ different membership functions from the fuzzy time-delay model. By the numerical examples, the proposed stability conditions are less conservative in the sense of getting larger allowable time-delay and obtaining smaller feedback control gains. For instance, when the allowable time-delay increases from 7.3 s to 12 s for an uncertain T-S fuzzy control system with time-delay, the norm of the feedback gains decreases from （34.299 2, 38.560 3） to （10.073 3, 11.349 0）, respectively. Meanwhile, the effectiveness of the proposed design method was illustrated by the last example with the robustly stable curves of system state under the initial condition of x（0） = [3 -1].

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.

Robust Controller Design of a Class of Uncertain Switched Fuzzy Systems with Delays

The robust control problem for a class of uncertain switched fuzzy systems with delays is investigated. Firstly,the model of the switched fuzzy system is presented and the parallel distributed compensation( PDC) technology is employed to design fuzzy controllers. Then, based on the convex combination method, a sufficient condition for robust stabilization in terms of linear matrix inequalities( LMIs) is obtained and a switching law is presented.Meanwhile,the Lyapunov-Krasovskii functional is taken to deal with time varying delays. Moreover,an algorithm is applied to finding a solution for a group of convex combination coefficient. Finally,a numerical example is given to demonstrate the effectiveness of the proposed method.

Fuzzy inference systems with no any rule base and linearly parameter growth

A class of new fuzzy inference systems New-FISs is presented.Compared with the standard fuzzy system, New-FIS is still a universal approximator and has no fuzzy rule base and linearly parameter growth. Thus, it effectively overcomes the second "curse of dimensionality":there is an exponential growth in the number of parameters of a fuzzy system as the number of input variables,resulting in surprisingly reduced computational complexity and being especially suitable for applications,where the complexity is of the first importance with respect to the approximation accuracy.

Optimal guaranteed cost control for fuzzy descriptor systems with time-varying delay

Based on the delay-independent rule, the problem of optimal guaranteed cost control for a class of Takagi-Sugeno （T-S） fuzzy descriptor systems with time-varying delay is studied. A linear quadratic cost function is considered as the performance index of the closed-loop system. Sufficient conditions for the existence of guaranteed cost controllers via state feedback are given in terms of linear matrix inequalities （LMIs）, and the design of an optimal guaranteed cost controller can be reduced to a convex optimization problem. It is shown that the designed controller not only guarantees the asymptotic stability of the closed-loop fuzzy descriptor delay system, but also provides an optimized upper bound of the guaranteed cost. At last, a numerical example is given to illustrate the effectiveness of the proposed method and the perfect performance of the optimal guaranteed cost controller.

Robust H_∞ control for fuzzy descriptor systems with state delay

The problem of robust H ∞ fuzzy state feedback control for uncertain fuzzy descriptor systems with state delay is solved. In the case that time-varying uncertainties are in all parameter matrices, sufficient conditions for the existence of fuzzy state feedback controller are presented in terms of linear matrix inequality (LMI). The proposed robust H ∞ control laws guarantee that the resulting closed-loop system is regular, impulse free, and stable with prescribed H ∞ norm bounded constraint for all admissible uncertainties. Finally, a numerical example is provided to demonstrate the validity of the proposed method.

Delay-dependent robust H_∞control of convex polyhedral uncertain fuzzy systems

The robust H∞ control problem for a class of uncertain Takagi-Sugeno fuzzy systems with timevarying state delays is studied. The uncertain parameters are supposed to reside in a polytope. Based on the delay-dependent Lyapunov functional method, a new delay-dependent robust H∞ fuzzy controller, which depends on the size of the delays and the derivative of the delays, is presented in term of linear matrix inequalities （LMIs）. For all admissible uncertainties and delays, the controller guarantees not only the asymptotic stability of the system but also the prescribed H∞ attenuation level. In addition, the effectiveness of the proposed design method is demonstrated by a numerical example.

On Methodology of Fuzzy Systems

Fuzziness is one of the general characteristics of human thinking and objective things.Fuzzy systems are efficient tools to simulate human thinking and execute fuzzy information processing. This paper discusses several fundamental problems on methodology of fuzzy systems briefly,including generalized fuzzy entropy, generalized defuzzification strategies and fuzzy consistent relation.

Robust H_∞ controller design for a class of nonlinear fuzzy time-delay systems

The problem of fuzzy modeling for state and input time-delays systems with a class of nonlinear uncertainties by fuzzy T-S model is addressed.By using the linear matrix inequality（LMI） method, the problem of fuzzy robust H ∞ controller design for the system is studied.Assuming that the nonlinear uncertain functions in the model considered are gain-bounded, a sufficient condition for the robustly asymptotic stability of the closed-loop system is obtained via Lyapunov stability theory.By solving the LMI, a feedback control law which guarantees the robustly asymptotic stability of the closed-loop system is constructed and the effect of the disturbance input on the controlled output is ruduced to a prescribed level.

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.

A Non-Singleton Type-3 Fuzzy Modeling: Optimized by Square-Root Cubature Kalman Filter

In many problems,to analyze the process/metabolism behavior,a mod-el of the system is identified.The main gap is the weakness of current methods vs.noisy environments.The primary objective of this study is to present a more robust method against uncertainties.This paper proposes a new deep learning scheme for modeling and identification applications.The suggested approach is based on non-singleton type-3 fuzzy logic systems(NT3-FLSs)that can support measurement errors and high-level uncertainties.Besides the rule optimization,the antecedent parameters and the level of secondary memberships are also adjusted by the suggested square root cubature Kalmanfilter(SCKF).In the learn-ing algorithm,the presented NT3-FLSs are deeply learned,and their nonlinear structure is preserved.The designed scheme is applied for modeling carbon cap-ture and sequestration problem using real-world data sets.Through various ana-lyses and comparisons,the better efficiency of the proposed fuzzy modeling scheme is verified.The main advantages of the suggested approach include better resistance against uncertainties,deep learning,and good convergence.

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.

Robust control for a class of uncertain switched fuzzy systems

A model of uncertain switched fuzzy systems whose subsystems are uncertain fuzzy systems is presented. Robust controllers for a class of switched fuzzy systems are designed by using the Lyapunov function method. Stability conditions for global asymptotic stability are developed and a switching strategy is proposed. An example shows the effectiveness of the method.

Relaxed delay-dependent stabilization criteria for discrete-time fuzzy systems based on a switching fuzzy model and piecewise Lyapunov functions

This paper presents delay-dependent stability analysis and controller synthesis methods for discrete-time Takagi-Sugeno （T-S） fuzzy systems with time delays. The T-S fuzzy system is transformed to an equivalent switching fuzzy system. Consequently, the delay-dependent stabilization criteria are derived for the switching fuzzy system based on the piecewise Lyapunov function. The proposed conditions are given in terms of linear matrix inequalities （LMIs）. The interactions among the fuzzy subsystems are considered in each subregion, and accordingly the proposed conditions are less conservative than the previous results. Since only a set of LMIs is involved, the controller design is quite simple and numerically tractable. Finally, a design example is given to show the validity of the proposed method.

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.