Simulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we provide sound and complete logical characterizations for simulation and bisimulation, which are defined over fuzzy labeled transition systems via two variants of the Hennessy-Milner Logic. The logic for characterizing fuz...

Fuzzy{logic theory is a valuable tool to structure ad{hoc designs where model{based designs are not suitable or even not available. There exist numerous examples of industry proven fuzzy{logic solutions in the domain of control, pattern recognition and expert systems. The design of fuzzy systems demand a great deal of experience and intuition. Due to the many degrees of freedom in the design of...

This project was both a practical implementation of an online fuzzy logic software system, and a research piece into the optimal design of a fuzzy logic system, and how fuzzy logic can be best introduced to novices of the field. This report details the implementation of an online system for the creation and evaluation of fuzzy logic sets and systems, using mostly JavaScript and JQuery, with an ...

The performance of many components in intelligent transportation systems depends heavily on the quality of short-term traffic forecasts. We propose a new method for forecasting traffic based on type-2 fuzzy logic. Type-2 fuzzy logic is powerful in handling uncertainties, including uncertainties in measurements and data used to calibrate the parameters. In our formulation, the value of a members...

This paper describes the design of Compact, accurate and inexpensive Fuzzy Logic Controllers and Fuzzy Inference Systems which estimates the attitude of Unmanned Aerial Vehicles(UAV).Attitude refers to parameters of Unmanned Aerial Vehicle such as latitude, longitude and altitude and angles of rotation known as pitch and roll. A Soft Computing technique called Fuzzy Logic is used to design the ...

Fuzzy Logic (FL) and fuzzy sets in a wide interpretation of FL (in terms in which fuzzy logic is coextensive with the theory of fuzzy sets, that is, classes of objects in which the transition from membership to non membership is gradual rather than abrupt) have placed modelling into a new and broader perspective by providing innovative tools to cope with complex and ill-defined systems. The are...

This study analyzes the absolute stability in P and PD type fuzzy logic control systems with both certain and uncertain linear plants. Stability analysis includes the reference input, actuator gain and interval plant parameters. For certain linear plants, the stability (i.e. the stable equilibriums of error) in P and PD types is analyzed with the Popov or linearization methods under various ref...

the idea of this paper is designing an automatic fault detection system based on fuzzy logic, therefore two signals of pmsm in fault condition are analyzed for inter turn fault detection: current and torque. in this fault type there is some distortion in these signals, but it is not good enough to detecting with fuzzy logic solely, so with combination of wavelet transform and fcm a new method f...