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.

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.

Robust adaptive fuzzy tracking control for a class of strict-feedback nonlinear systems based on backstepping technique

In this paper, the robust adaptive fuzzy tracking control problem is discussed for a class of perturbed strict-feedback nonlinear systems. The fuzzy logic systems in Mamdani type are used to approximate unknown nonlinear functions. A design scheme of the robust adaptive fuzzy controller is proposed by use of the backstepping technique. The proposed controller guarantees semi-global uniform ultimate boundedness of all the signals in the derived closed-loop system and achieves the good tracking performance. The possible controller singularity problem which may occur in some existing adaptive control schemes with feedback linearization techniques can be avoided. In addition, the number of the on-line adaptive parameters is not more than the order of the designed system. Finally, two simulation examples are used to demonstrate the effectiveness of the proposed control scheme.

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.

Adaptive Fuzzy Dynamic Surface Control for Uncertain Nonlinear Systems

In this paper, a robust adaptive fuzzy dynamic surface control for a class of uncertain nonlinear systems is proposed. A novel adaptive fuzzy dynamic surface model is built to approximate the uncertain nonlinear functions by only one fuzzy logic system. The approximation capability of this model is proved and the model is implemented to solve the problem that too many approximators are used in the controller design of uncertain nonlinear systems. The shortage of ＂explosion of complexity＂ in backstepping design procedure is overcome by using the proposed dynamic surface control method. It is proved by constructing appropriate Lyapunov candidates that all signals of closed-loop systems are semi-globally uniformly ultimate bounded. Also, this novel controller stabilizes the states of uncertain nonlinear systems faster than the adaptive sliding mode controller （SMC）. Two simulation examples are provided to illustrate the effectiveness of the control approach proposed in this paper.

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.

Finite Frequency Fuzzy H∞Control for Uncertain Active Suspension Systems With Sensor Failure

This paper investigates the problem of finite frequency fuzzy H_∞ control for uncertain active vehicle suspension systems, in which sensor failure is taken into account. TakagiSugeno(T-S) fuzzy model is established for considered suspension systems. In order to describe the sensor fault effectively, a corresponding model is introduced. A vital performance index,H_∞ performance, is utilized to measure the drive comfort. In the framework of Kalman-Yakubovich-Popov theory, the H_∞ norm from external perturbation to controlled output is optimized effectively in the frequency domain of 4 Hz-8 Hz to enhance ride comfort level. Meanwhile, three suspension constrained requirements, i.e., ride comfort level, manipulation stability,suspension deflection are also guaranteed. Furthermore, sufficient conditions are developed to design a fuzzy controller to guarantee the desired performance of active suspension systems. Finally, the proposed control scheme is applied to a quarter-vehicle active suspension, and simulation results are given to illustrate the effectiveness of the proposed approach.

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.

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.

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.

The Approach to Probabilistic Decision-Theoretic Rough Set in Intuitionistic Fuzzy Information Systems

For the moment, the representative and hot research is decision-theoretic rough set (DTRS) which provides a new viewpoint to deal with decision-making problems under risk and uncertainty, and has been applied in many fields. Based on rough set theory, Yao proposed the three-way decision theory which is a prolongation of the classical two-way decision approach. This paper investigates the probabilistic DTRS in the framework of intuitionistic fuzzy information system (IFIS). Firstly, based on IFIS, this paper constructs fuzzy approximate spaces and intuitionistic fuzzy (IF) approximate spaces by defining fuzzy equivalence relation and IF equivalence relation, respectively. And the fuzzy probabilistic spaces and IF probabilistic spaces are based on fuzzy approximate spaces and IF approximate spaces, respectively. Thus, the fuzzy probabilistic approximate spaces and the IF probabilistic approximate spaces are constructed, respectively. Then, based on the three-way decision theory, this paper structures DTRS approach model on fuzzy probabilistic approximate spaces and IF probabilistic approximate spaces, respectively. So, the fuzzy decision-theoretic rough set (FDTRS) model and the intuitionistic fuzzy decision-theoretic rough set (IFDTRS) model are constructed on fuzzy probabilistic approximate spaces and IF probabilistic approximate spaces, respectively. Finally, based on the above DTRS model, some illustrative examples about the risk investment of projects are introduced to make decision analysis. Furthermore, the effectiveness of this method is verified.

Cross-Domain TSK Fuzzy System Based on Semi-Supervised Learning for Epilepsy Classification

Through semi-supervised learning and knowledge inheritance,a novel Takagi-Sugeno-Kang(TSK)fuzzy system framework is proposed for epilepsy data classification in this study.The new method is based on the maximum mean discrepancy(MMD)method and TSK fuzzy system,as a basic model for the classification of epilepsy data.First,formedical data,the interpretability of TSK fuzzy systems can ensure that the prediction results are traceable and safe.Second,in view of the deviation in the data distribution between the real source domain and the target domain,MMD is used to measure the distance between different data distributions.The objective function is constructed according to the MMD distance,and the distribution distance of different datasets is minimized to find the similar characteristics of different datasets.We introduce semi-supervised learning to further explore the relationship between data.Based on the MMD method,a semi-supervised learning(SSL)-MMD method is constructed by using pseudo-tags to realize the data distribution alignment of the same category.In addition,the idea of knowledge dissemination is used to learn pseudo-tags as additional data features.Finally,for epilepsy classification,the cross-domain TSK fuzzy system uses the cross-entropy function as the objective function and adopts the back-propagation strategy to optimize the parameters.The experimental results show that the new method can process complex epilepsy data and identify whether patients have epilepsy.

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.

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_∞ 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.

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.

Adaptive Sliding Mode Control for MIMO Nonlinear Systems Based on Fuzzy Logic Scheme

In this study an indirect adaptive sliding mode control (SMC) based on a fuzzy logic scheme is proposed to strengthen the tracking control performance of a general class of multi-input multi-output (MIMO) nonlinear uncertain systems. Combining reaching law approach and fuzzy universal approximation theorem, the proposed design procedure combines the advantages of fuzzy logic control, adaptive control and sliding mode control. The stability of the control systems is proved in the sense of the Lyapunov second stability theorem. Two simulation studies are presented to demonstrate the effectiveness of our new hybrid control algorithm.

An Application Expert System for Evaluating Effective Factors on Trust in B2C WebsitesTrust, Security, ANFIS, Fuzzy Logic, Rule Based Systems, Electronic Commerce

In new environments of trading, customer's trust is vital for the extended progress and development of electronic commerce. This paper proposes that in addition to known factors of electronic commerce B2C websites such a design of websites, security of websites and familiarity of website influence customers trust in online transactions. This paper presents an application of expert system on trust in electronic commerce. Based on experts’ judgment, a frame of work was proposed. The proposed model applies ANFIS and Mamdani inference fuzzy system to get the desired results and then results of two methods were compared. Two questionnaires were used in this study. The first questionnaire was developed for e-commerce experts, and the second one was designed for the customers of electronic websites. Based on AHP method, Expert Choice software was used to determine the priority of factors in the first questionnaire, and MATLAB and Excel were used for developing the fuzzy rules. Finally, the fuzzy logical kit was used to analyze the generated factors in the model. Our study findings show that trust in EC transactions is strongly mediated by perceived security.

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.

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.