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.

T-S-fuzzy-model-based quantized control for nonlinear networked control systems

In order to overcome data-quantization, networked-induced delay, network packet dropouts and wrong sequences in the nonlinear networked control system, a novel nonlinear networked control system model is built by the T-S fuzzy method. Two time-varying quantizers are added in the model. The key analysis steps in the method are to construct an improved interval-delay-dependent Lyapunov functional and to introduce the free-weighting matrix. By making use of the parallel distributed compensation technology and the convexity of the matrix function, the improved criteria of the stabilization and stability are obtained. Simulation experiments show that the parameters of the controllers and quantizers satisfying a certain performance can be obtained by solving a set of LMIs. The application of the nonlinear mass-spring system is provided to show that the proposed method is effective.

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.

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.

Controller design of uncertain nonlinear systems based on T-S fuzzy model

A robust control for uncertain nonlinear systems based on T-S fuzzy model is discussed in this paper. First, a T-S fuzzy system is adopted to model the uncertain nonlinear systems. Then, for the system with input variables adopting standard fuzzy partitions, the efficient maximal overlapped-rules group （EMORG） is presented, and a new sufficient condition to check the stability of T-S fuzzy system with uncertainty is derived, which is expressed in terms of Linear Matrix Inequalities. The derived stability condition, which only requires a local common positive definite matrix in each EMORG, can reduce the conservatism and difficulty in existing stability conditions. Finally, a simulation example shows the proposed approach is effective.

Fault tolerant synchronization of chaotic systems based on T-S fuzzy model with fuzzy sampled-data controller

In this paper the fault tolerant synchronization of two chaotic systems based on fuzzy model and sample data is investigated. The problem of fault tolerant synchronization is formulated to study the global asymptotical stability of the error system with the fuzzy sampled-data controller which contains a state feedback controller and a fault compensator. The synchronization can be achieved no matter whether the fault occurs or not. To investigate the stability of the error system and facilitate the design of the fuzzy sampled-data controller, a Takagi Sugeno （T-S） fuzzy model is employed to represent the chaotic system dynamics. To acquire good performance and produce a less conservative analysis result, a new parameter-dependent Lyapunov-Krasovksii functional and a relaxed stabilization technique are considered. The stability conditions based on linear matrix inequality are obtained to achieve the fault tolerant synchronization of the chaotic systems. Finally, a numerical simulation is shown to verify the results.

Impulsive Control for T-S Fuzzy Model Based Chaotic Systems Consisting of Van der Pol Oscillators Coupled to Linear Oscillators

This paper proposes an impulsive control scheme for chaotic systems consisting of Van der Pol oscillators coupled to linear oscillators （VDPL） based on their Takagi-Sugeno （T-S） fuzzy models. A T-S fuzzy model is utilized to represent the chaotic VDPL system. By using comparison method, a general asymptotical stability criterion by means of linear matrix inequality （LMI） is derived for the T-S fuzzy model of VDPL system with impulsive effects. The simulation results demonstrate the effectiveness of the proposed scheme.

Modeling and Stability Analysis for Non-linear Network Control System Based on T-S Fuzzy Model

Based on the T-S fuzzy model,this paper presents a new model of non-linear network control system with stochastic transfer delay.Sufficient criterion is proposed to guarantee globally asymptotically stability of this two-levels T-S fuzzy model.Also a T-S fuzzy observer of NCS is designed base on this two-levels T-S fuzzy model.All these results present a new approach for networked control system analysis and design.

Output regulation of nonlinear singularly perturbed systems based on T-S fuzzy model

Based on the T-S model, the output regulation of nonlinear singularly perturbed systems via state feedback is discussed. It is shown that, under standard assumptions, this problean is solvable if and only if certain linear matrix equations are solvable. Once these equations are solvable, the state feedback regulator can easily be constructed.

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.

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.

Controller Design for Electric Power Steering System Using T-S Fuzzy Model Approach

Pressure ripples in electric power steering （EPS） systems can be caused by the phase lag between the driver s steering torque and steer angle, the nonlinear frictions, and the disturbances from road and sensor noise especially during high-frequency maneuvers. This paper investigates the use of the robust fuzzy control method for actively reducing pressure ripples for EPS systems. Remarkable progress on steering maneuverability is achieved. The EPS dynamics is described with an eight-order nonlinear state-space model and approximated by a Takagi-Sugeno （T-S） fuzzy model with time-varying delays and external disturbances. A stabilization approach is then presented for nonlinear time-delay systems through fuzzy state feedback controller in parallel distributed compensation （PDC） structure. The closed-loop stability conditions of EPS system with the fuzzy controller are parameterized in terms of the linear matrix inequality （LMI） problem. Simulations and experiments using the proposed robust fuzzy controller and traditional PID controller have been carried out for EPS systems. Both the simulation and experiment results show that the proposed fuzzy controller can reduce the torque ripples and allow us to have a good steering feeling and stable driving.

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 Stabilization of Nonlinear Time Delay Discrete-time Systems Based on T-S Model

A robust stabilization problem is considered for time delay nonlinear discrete-time systems based on T-S fuzzy model. A necessary and sufficient condition for the existence of such controllers is given through Lyapunov stability theorem. And it is further shown that this condition is equivalent to the solvability of a certain linear matrix inequality, which can be solved easily by using the LMI toolbox of Matlab. At last, an illustrative example of truck-trailer is presented to show the feasibility and effectiveness of the proposed method.

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.

Robust Optimal Output Tracking Control of A Midwater Trawl System Based on T-S Fuzzy Nonlinear Model

A robust optimal output tracking control method for a midwater trawl system is investigated based on T-S fuzzy nonlinear model. A simplified nonlinear mathematical model is first employed to represent a midwater trawl system, and then a T-S fuzzy model is adopted to approximate the nonlinear system. Since the strong nonlinearities and the external disturbance of the trawling system, a mixed H2/H∞ fuzzy output tracking control strategy via T-S fuzzy system is proposed to regulate the trawl depth to follow a desired trajectory. The trawl depth can be regulated by adjusting the winch velocity automatically and the tracking error can be minimized according to the robust optimal criterion. In order to validate the proposed control method, a computer simulation is conducted. The simulation results indicate that the proposed fuzzy robust optimal controller make the trawl net rapidly follow the desired trajectory under the model uncertainties and the extemal disturbance caused by wave and current.