Evolutionary learning of a fuzzy controller for wall-following behavior in mobile robotics

The design of fuzzy controllers for the implementation of behaviors in mobile robotics is a complex and highly time-consuming task. The use of machine learning techniques such as evolutionary algorithms or artificial neural networks for the learning of these controllers allows to automate the design process. In this paper, the automated design of a fuzzy controller using genetic algorithms for the implementation of the wall-following behavior in a mobile robot is described. The algorithm is based on the iterative rule learning approach, and is characterized by three main points. First, learning has no restrictions neither in the number of membership functions, nor in their values. In the second place, the training set is composed of a set of examples uniformly distributed along the universe of discourse of the variables. This warrantees that the quality of the learned behavior does not depend on the environment, and also that the robot will be capable to face different situations. Finally, the trade off between the number of rules and the quality/accuracy of the controller can be adjusted selecting the value of a parameter. Once the knowledge base has been learned, a process for its reduction and tuning is applied, increasing the cooperation between rules and reducing its number.     

Design of a fuzzy controller in mobile robotics using genetic algorithms

The design of fuzzy controllers for the implementation of behaviors in mobile robotics is a complex and highly time-consuming task. The use of machine learning techniques, such as evolutionary algorithms or artificial neural networks for the learning of these controllers allows to automate the design process. In this paper, the automated design of a fuzzy controller using genetic algorithms for the implementation of the wall-following behavior in a mobile robot is described. The algorithm is based on the Iterative Rule Learning (IRL) approach, and a parameter (δ) is defined with the aim of selecting the relation between the number of rules and the quality and accuracy of the controller. The designer has to define the universe of discourse and the precision of each variable, and also the scoring function. No restrictions are placed neither in the number of linguistic labels nor in the values that define the membership functions.     

Analytical structures and analysis of the simplest fuzzy PDcontrollers

This paper deals with simplest fuzzy PD controllers which employ only two fuzzy sets on the universe of discourse of each input variable, and three fuzzy sets on the universe of discourse of output variable. First, analytical structures of the simplest fuzzy PD controllers are derived via triangular membership functions for fuzzification, intersection T-norm, Lukasiewicz OR and Zadeh (1965) OR T-conorms, Mamdani's minimum, Larsen's product and drastic product inference methods, and center of area method for defuzzification. Properties of such fuzzy PD controllers are investigated. Based on these properties a comparative study is made on fuzzy controllers derived, and also on the fuzzy controllers and their counterpart-conventional linear PD controller. Finally, sufficient conditions for bounded-input bounded-output stability of fuzzy PD control systems are established using the well known small gain theorem.     

Multiple Fuzzy Relation and Its Application to Coupled Fuzzy Control

Using semi‐tensor product (STP) of matrix, this paper investigates the fuzzy relation of multiple fuzzy and uses this to design coupled fuzzy control is designed. First of all, under the assumption that the universe of discourse is finite, a fuzzy logical variable can be expressed as a vector, which unifies the expression of elements, subsets, and fuzzy subsets of a universe of discourse. Then, the matrix expression of set mappings is naturally extended to fuzzy sets. Second, based on STP, logic‐based matrix addition and product are proposed. These are particulary useful for the calculation of compounded fuzzy relations. Third, a dual fuzzy structure is introduced, which assures the finiteness of the universe of discourse, and is used for fuzzification and defuzzification. Finally, using the results obtained, a new technique is developed to design a coupled fuzzy controller for multi‐input multi‐output (MIMO) systems with coupled multiple fuzzy relations.     

Designing fuzzy controllers from a variable structures standpoint

A procedure is presented for designing fuzzy controllers based upon variable structures techniques. Three such controllers are presented: the fuzzy equivalents of sliding-mode controllers, saturating controllers, and tanh controllers. By using an approach based upon variables structures (VSS) techniques, the stability of each of these controllers is assured. By using a sliding surface, the order of the rule base is reduced to size r×m, where r is the number of inputs and m is the number of fuzzification levels. This combination makes the proposed design procedure able to generate simple controllers with guaranteed stability properties. To illustrate the proposed design procedure, fuzzy controllers are designed for a ball-and-beam system. It is demonstrated that in spite of this system being a fourth-order unstable system, the proposed design procedure results in simple stable fuzzy controllers     

Analytical structures and analysis of the simplest fuzzy PI controllers

This paper deals with simplest fuzzy PI controllers which employ two fuzzy numbers on the universe of discourse (UOD) of each input variable, and three fuzzy numbers on the UOD of output variable. Analytical structures of such controllers are derived using triangular membership functions for fuzzification, different combinations of T-norms and T-conorms, different inference methods, and center of area (COA) method for defuzzification. Properties of these controllers are investigated. A comparative study is made on (i) the fuzzy PI controllers derived, and (ii) on the fuzzy PI controllers and their counterpart—conventional PI controller. Moreover, sufficient conditions for bounded-input bounded-output (BIBO) stability of fuzzy PI control systems are established using the well-known small gain theorem.     

变论域自适应模糊控制及其在Chua's混沌电路中的应用

本文研究输出反馈自适应变论域模糊控制方法.变论域模糊控制通过自适应调节伸缩因子,生成大量规则,提高了系统的控制精度.由于状态的不完全可测,本文首先通过构造状态观测器实现输出反馈控制.然后,为了抑制外部扰动和参数变化,通过监督控制将系统的状态约束在给定的范围之内,从而提高了控制器的精度和鲁棒性.进而利用Lyapunov函数证明了观测器-控制器系统的稳定性;在所有状态一致有界的前提下,整个自适应控制算法保证闭环系统的稳定性.最后将所提算法应用于Chua s混沌电路,仿真结果证明了控制方法的有效性.     

采用新的DNA进化算法自动设计Takagi-Sugeno模糊控制器

提出一种新颖的基于DNA的进化算法(DNA-EA)来自动设计一类Trakagi-Sugeno (TS)模糊控制器.TS模糊控制器采用带有线性规则后项的TS模糊规则,连续输 入模糊集,Zadeh模糊逻辑和常用的重心反模糊器.TS模糊控制器被证明是带有可变增 益的非线性PI控制器.DNA-EA被用于自动获取TS模糊规则,并同时优化模糊规则前 项和后项中的设计参数.DNA-EA采用由生物DNA结构启发得到的DNA编码方法来编 码模糊控制器的设计参数.在DNA-EA中,引入了受微生物进化现象启发的基因转移和细 菌变异操作.另外,也引入了基于DNA遗传操作的框构变异操作.DNA编码方法非常适 合于复杂知识的表达,基于基因水平的遗传操作也很容易引入到DNA-EA中.染色体的长 度是可变的,且可插入或删除部分碱基序列.作为示例,给出了采用DNA-EA来自动设计 TS模糊控制器用于控制一类非线性系统的方法.DNA-EA能自动地构造模糊控制器.计 算机仿真结果表明,DNA-EA是有效的,且优化得到的模糊控制器是满意的.     

Fuzzy controllers: synthesis and equivalences

It has been proved that fuzzy controllers are capable of approximating any real continuous control function on a compact set to arbitrary accuracy. In particular, any given linear control can be achieved with a fuzzy controller for a given accuracy. The aim of this paper is to show how to automatically build this fuzzy controller. The proposed design methodology is detailed for the synthesis of a Sugeno or Mamdani type fuzzy controller precisely equivalent to a given PI controller. The main idea is to equate the output of the fuzzy controller with the output of the PI controller at some particular input values, called modal values. The rule base and the distribution of the membership functions can thus be deduced. The analytic expression of the output of the generated fuzzy controller is then established. For Sugeno-type fuzzy controllers, precise equivalence is directly obtained. For Mamdani-type fuzzy controllers, the defuzzification strategy and the inference operators have to be correctly chosen to provide linear interpolation between modal values. The usual inference operators satisfying the linearity requirement when using the center of gravity defuzzification method are proposed     

A fuzzy neural network with fuzzy impact grades

Fuzzy rule derivation is often difficult and time-consuming, and requires expert knowledge. This creates a common bottleneck in fuzzy system design. In order to solve this problem, many fuzzy systems that automatically generate fuzzy rules from numerical data have been proposed. In this paper, we propose a fuzzy neural network based on mutual subsethood (MSBFNN) and its fuzzy rule identification algorithms. In our approach, fuzzy rules are described by different fuzzy sets. For each fuzzy set representing a fuzzy rule, the universe of discourse is defined as the summation of weighted membership grades of input linguistic terms that associate with the given fuzzy rule. In this manner, MSBFNN fully considers the contribution of input variables to the joint firing strength of fuzzy rules. Afterwards, the proposed fuzzy neural network quantifies the impacts of fuzzy rules on the consequent parts by fuzzy connections based on mutual subsethood. Furthermore, to enhance the knowledge representation and interpretation of the rules, a linear transformation from consequent parts to output is incorporated into MSBFNN so that higher accuracy can be achieved. In the parameter identification phase, the backpropagation algorithm is employed, and proper linear transformation is also determined dynamically. To demonstrate the capability of the MSBFNN, simulations in different areas including classification, regression and time series prediction are conducted. The proposed MSBFNN shows encouraging performance when benchmarked against other models.     

时变论域下的语言动力学轨迹

为了描述在不同时刻内涵发生变化的模糊集合, 本文通过综合模糊集合、语言动力系统(Linguistic dynamic systems,LDS) 及动态规划, 提出了时变论域与动态模糊规则理论, 将时变论域分为离散型与连续型两类, 每一类分为递增型、递减型及波动型三种, 并讨论如何在时变论域上建立动态模糊规则以及进行词计算, 最后给出时变论域下的语言动力学轨迹.     

A framework for the automatic synthesis of hybrid fuzzy/numerical controllers

In this paper, a framework for the automatic synthesis of hybrid fuzzy/numerical controllers is proposed. The methodology is based on model checking and on a very precise analysis of a system. This allows one to synthesize optimal numerical controllers and then use them to consistently improve fuzzy controllers. Moreover, we present a new approach that integrates the numerical and the fuzzy components and automatically outputs a hybrid controller. Such a hybrid controller exploits the optimality of numerical controllers and the robustness of fuzzy ones, and it is very compact and fast to read thanks to the use of OBDDs. We apply our methodology to two benchmark problems, the dc motor and the inverted pendulum. The results show that the hybrid controller can handle linear as well as nonlinear systems outperforming both the numerical and the fuzzy controllers.     

A neuro-fuzzy system modeling with self-constructing rule generationand hybrid SVD-based learning

We propose an approach for neuro-fuzzy system modeling. A neuro-fuzzy system for a given set of input-output data is obtained in two steps. First, the data set is partitioned automatically into a set of clusters based on input-similarity and output-similarity tests. Membership functions associated with each cluster are defined according to statistical means and variances of the data points included in the cluster. Then, a fuzzy IF-THEN rule is extracted from each cluster to form a fuzzy rule-base. Second, a fuzzy neural network is constructed accordingly and parameters are refined to increase the precision of the fuzzy rule-base. To decrease the size of the search space and to speed up the convergence, we develop a hybrid learning algorithm which combines a recursive singular value decomposition-based least squares estimator and the gradient descent method. The proposed approach has advantages of determining the number of rules automatically and matching membership functions closely with the real distribution of the training data points. Besides, it learns faster, consumes less memory, and produces lower approximation errors than other methods.     

输入采用广义梯形隶属函数的两维最简模糊控制器结构分析

总结了应用最为广泛的三角形和梯形隶属函数的共同特点, 明确定义了一种将以上两种隶属函数作为特例的广义梯形 (Generalized trapezoid-shaped, GTS) 隶属函数, 推导了输入变量采用 GTS 隶属函数的 I 类和 II 类两维最简模糊控制器的解析式. 基于此, 深入研究了模糊控制器的解析结构, 并证明了这两类模糊控制器等价于一种变结构的非线性 (或线性) PI 控制器与相应的非线性 (或定常) 控制偏置之和, 并且在其输入论域上是单调递增、连续且有界的. 最后, 将该类控制器应用于倒立摆控制系统, 通过仿真证明了其有效性, 同时揭示了此类控制器是一种更一般化的模糊控制器.     

Evolutionary design of a fuzzy classifier from data

Genetic algorithms show powerful capabilities for automatically designing fuzzy systems from data, but many proposed methods must be subjected to some minimal structure assumptions, such as rule base size. In this paper, we also address the design of fuzzy systems from data. A new evolutionary approach is proposed for deriving a compact fuzzy classification system directly from data without any a priori knowledge or assumptions on the distribution of the data. At the beginning of the algorithm, the fuzzy classifier is empty with no rules in the rule base and no membership functions assigned to fuzzy variables. Then, rules and membership functions are automatically created and optimized in an evolutionary process. To accomplish this, parameters of the variable input spread inference training (VISIT) algorithm are used to code fuzzy systems on the training data set. Therefore, we can derive each individual fuzzy system via the VISIT algorithm, and then search the best one via genetic operations. To evaluate the fuzzy classifier, a fuzzy expert system acts as the fitness function. This fuzzy expert system can effectively evaluate the accuracy and compactness at the same time. In the application section, we consider four benchmark classification problems: the iris data, wine data, Wisconsin breast cancer data, and Pima Indian diabetes data. Comparisons of our method with others in the literature show the effectiveness of the proposed method.     

Some approximation properties of adaptive fuzzy systems with variable universe of discourse

In the last 20 years, while most research on fuzzy approximation theory has focused on nonadaptive fuzzy systems, little work has been done on adaptive fuzzy systems. This paper introduces an algorithm for adaptive fuzzy systems with Variable Universe of Discourse (VUD). By means of contraction-expansion factors, universe of discourse can be modified online, and fuzzy rules can reproduce automatically to adapt to the modified universe of discourse. Thus, dependence on the size of initial rule base is greatly reduced. Using Stone-Weierstrass theorem, VUD adaptive fuzzy systems are proved to be universal approximators with two-order approximation accuracy. In addition, the convergence properties of approximation error are discussed, and a sufficient condition is presented to partition universe of discourse and to calculate the size of rule base. An example is also given to illustrate the approximation power of VUD adaptive fuzzy systems.     

Vague controller: A generalization of fuzzy logic controller

In this research, a vague controller (VC) is synthesized by using the notion of vague sets, which are a generalization of fuzzy sets and characterized by a truth-membership function and a falsity-membership function. The vague sets follow the basic set operations and logic operations defined for fuzzy sets, and are superior to fuzzy sets in that they could deal with the uncertainty encountered in real-world applications in a more natural way. Depending on the vague sets, the VC is developed as a generalization of fuzzy logic controller (FLC). The design procedures of the VC, which allow an arbitrary number of input variables, and each variable could have a distinct number of linguistic values, are outlined in this paper. In order to compensate the effort in constructing two series of membership functions for vague sets and to ease the difficulties in designing VCs, a new means of designating membership functions for VCs is also presented in this article. This method constructs a set of membership functions systematically by using only two parameters: number of linguistic values of a linguistic variable and shrinking factor. The membership functions generated by this method, shrinking-span membership functions (SSMFs), have different spans over the universe of discourse and, therefore, are more rational and more practical from the human expert's point of view.     

Fuzzy rough set on probabilistic approximation space over two universes and its application to emergency decision‐making

Probabilistic approaches to rough sets are still an important issue in rough set theory. Although many studies have been written on this topic, they focus on approximating a crisp concept in the universe of discourse, with less effort on approximating a fuzzy concept in the universe of discourse. This article investigates the rough approximation of a fuzzy concept on a probabilistic approximation space over two universes. We first present the definition of a lower and upper approximation of a fuzzy set with respect to a probabilistic approximation space over two universes by defining the conditional probability of a fuzzy event. That is, we define the rough fuzzy set on a probabilistic approximation space over two universes. We then define the fuzzy probabilistic approximation over two universes by introducing a probability measure to the approximation space over two universes. Then, we establish the fuzzy rough set model on the probabilistic approximation space over two universes. Meanwhile, we study some properties of both rough fuzzy sets and fuzzy rough sets on the probabilistic approximation space over two universes. Also, we compare the proposed model with the existing models to show the superiority of the model given in this paper. Furthermore, we apply the fuzzy rough set on the probabilistic approximation over two universes to emergency decision‐making in unconventional emergency management. We establish an approach to online emergency decision‐making by using the fuzzy rough set model on the probabilistic approximation over two universes. Finally, we apply our approach to a numerical example of emergency decision‐making in order to illustrate the validity of the proposed method.     

符号型自适应模糊控制器

伸缩因子设计是变论域模糊控制的关键, 也是设计的难点. 借助于Lyapunov综合分析方法, 提出一种符号型自适应模糊控制方案, 避免花费精力设计伸缩因子. 方案中使用符号函数替代输入的伸缩运算, 后件调整仍使用积分调节因子. 因此, 本质上它仍是一种论域可变的模糊控制. 相比较变论域模糊控制, 该方案所需规则少, 稳态精度高, 鲁棒性好. Lyapunov稳定性理论保证了跟踪误差的渐近收敛. 最后, 实例证实了方案的可行性.     

A Three-Dimensional Fuzzy Control Methodology for a Class of Distributed Parameter Systems

The traditional fuzzy set is two-dimensional (2-D) with one dimension for the universe of discourse of the variable and the other for its membership degree. This 2-D fuzzy set is not able to handle the spatial information. The traditional fuzzy logic controller (FLC) developed from this 2-D fuzzy set should not be able to control the distributed parameter system that has the tempo-spatial nature. A three-dimensional (3-D) fuzzy set is defined to be made of a traditional fuzzy set and an extra dimension for spatial information. Based on concept of the 3-D fuzzy set, a new fuzzy control methodology is proposed to control the distributed parameter system. Similar to the traditional FLC, it still consists of fuzzification, rule inference, and defuzzification operations. Different to the traditional FLC, it uses multiple sensors to provide 3-D fuzzy inputs and possesses the inference mechanism with 3-D nature that can fuse these inputs into a so called ldquospatial membership function.rdquo Thus, a simple 2-D rule base can still be used for two obvious advantages. One is that rules will not increase as sensors increase for the spatial measurement; the other is that computation of this 3-D fuzzy inference can be significantly reduced for real world applications. Using only a few more sensors, the proposed FLC is able to process the distributed parameter system with little complexity increased from the traditional FLC. The 3-D FLC is successfully applied to a catalytic packed-bed reactor and compared with the traditional FLC. The results demonstrate its effectiveness to the nonlinear unknown distributed parameter process and its potential to a wide range of engineering applications.