Behavior-modulation technique in mobile robotics using fuzzy discrete event system

This paper presents a novel behavior-modulation technique using a fuzzy discrete event system (FDES) for behavior-based robotic control. The method exploits the multivalued feature of fuzzy logic (FL) and event-driven property of a discrete event system (DES) to generate the activity of a behavior using fuzzy state vectors. State-based prediction of an activity is accomplished using fuzzily defined event matrices. A central arbiter employs priority-based arbitration among the activity state vectors and generates new event matrices to modify the activity states of the behaviors. The method combines aspects of both command fusion and behavior arbitration. Furthermore, the proposed approach has the ability to define state-based observability and controllability to handle sensory uncertainty and environmental dynamics. Observability describes decision vagueness associated with sensory data, whereas controllability specifies undesirable state-reach within the observed environment. Real-time results of FDES-based mobile robot navigation are presented and compared against four different modulation methods to validate its superior performance.     

模糊离散事件系统的可测性

针对模糊离散事件系统的可测性问题，提出一种基于不可区分串的可测性判定方法。首先引入不可区分串概念以刻画对任一极小可观测事件具有相同的可观察行为；然后构造一个基于极小可观测事件的观察器，建立不可区分串与观察器中非单元循环的一一对应关系，并由此得到模糊可测性的充要条件。同时，也给出一个验证模糊离散事件系统可测性算法。通过实例分析，说明模糊离散事件系统可测性的应用。     

模糊离散事件系统监督控制理论

为了将经典离散事件系统 (Discrete event systems, DES) 中的监控理论扩展到模糊离散事件系统 (Fuzzy discrete event systems, FDES) 中, 总结了目前 FDES 建模和监控理论方面的成果, 进一步讨论了 FDES 的能控性, 给出了非阻塞监控的条件. 对 FDES 的能控子语言与优化监控进行了分析, 得到了能控子语言的性质. 以模糊自动机作为监控的一种形式, 给出了监督控制具体的实现方法, 这对于进一步开展 FDES 的研究工作是有益的.     

Diagnosability of fuzzy discrete event systems

In this paper, discrete event systems (DESs) are reformulated as fuzzy discrete event systems (FDESs) and fuzzy discrete event dynamical systems (FDEDSs). These frameworks include fuzzy states, events and IF-THEN rules. In these frameworks, all events occur at the same time with different membership degrees. Fuzzy states and events have been introduced to describe uncertainties that occur often in practical problems, such as fault diagnosis applications. To measure a diagnoser’s fault discrimination ability, a fuzzy diagnosability degree is proposed. If the diagnosability of the degree of the system yields one a diagnoser can be implemented to identify all possible fault types related to a system. For any degree less than one, researchers should not devote their time to distinguish all possible fault types correctly. Thus, two different diagnosability definitions FDEDS and FDES are introduced. Due to the specialized fuzzy rule-base embedded in the FDEDS, it is capable of representing a class of non-linear dynamic system. Computationally speaking, the framework of diagnosability of the FDEDS is structurally similar to the framework of diagnosability of a non-linear system. The crisp DES diagnosability has been turned into the term fuzzy diagnosability for the FDES. The newly proposed diagnosability definition allows us to define a degree of diagnosability in a class of non-linear systems. In addition, a simple fuzzy diagnosability checking method is introduced and some numerical examples are provided to illustrate this theoretical development. Finally, the potential applications of the proposed method are discussed.     

一类动态联盟组织的结构及运行保障

结合具体对象提出了在不断变化的一类动态联盟运行结构中保持系统受控性能连续性和一致性的一种解决方案;根据离散事件动态系统监控理论的构造性方法,提出了规范化的联盟构建和重组的操作方法及对应的计算机描述;提出动态联盟运行可靠性保障的概念和组成,把技术和人文两个方面紧密联系起来,为动态联盟的组建、重组和运行提供了一种有效的方法.     

基于规则的模糊离散事件系统建模与控制研究

用模糊离散事件系统（FDES）从离散事件的角度描述一类包含“具有确定性的不确定／模糊”问题以及与人的主观观察／判断密切相关的复杂系统。提出了基于规则的FDES描述方法及自寻优监督控制策略,为FDES的实际应用提供了一种方法,提高了FDES在具体应用中的可操作性,并介绍了其在纺织染整控制过程中的具体应用．     

DISCRETE OUTPUT FUZZY CONTROLLER DESIGN FOR ACHIEVING COMMON CONTROLLABILITY GRAMIAN

In control theory, the robust properties of linear systems can be related directly to properties of the controllability or observability Gramian. In this paper, a discrete fuzzy controller for a class of nonlinear systems is developed to achieve a common controllability Gramian. We assume that the nonlinear system is represented by the Takagi‐Sugeno fuzzy model. The purpose of this paper is to find the output feedback gains for the T‐S fuzzy controller after assigning a certain common controllability Gramian. Finally, we provide a numerical example to verify the effects of the proposed method.     

Decision making in fuzzy discrete event systems

The primary goal of the study presented in this paper is to develop a novel and comprehensive approach to decision making using fuzzy discrete event systems (FDES) and to apply such an approach to real-world problems. At the theoretical front, we develop a new control architecture of FDES as a way of decision making, which includes a FDES decision model, a fuzzy objective generator for generating optimal control objectives, and a control scheme using both disablement and enforcement. We develop an online approach to dealing with the optimal control problem efficiently. As an application, we apply the approach to HIV/AIDS treatment planning, a technical challenge since AIDS is one of the most complex diseases to treat. We build a FDES decision model for HIV/AIDS treatment based on expert’s knowledge, treatment guidelines, clinic trials, patient database statistics, and other available information. Our preliminary retrospective evaluation shows that the approach is capable of generating optimal control objectives for real patients in our AIDS clinic database and is able to apply our online approach to deciding an optimal treatment regimen for each patient. In the process, we have developed methods to resolve the following two new theoretical issues that have not been addressed in the literature: (1) the optimal control problem has state dependent performance index and hence it is not monotonic, (2) the state space of a FDES is infinite.     

From classic observability to a simple fuzzy observability for fuzzy discrete-event systems

In order to determine uncertainties from restricted available information, fuzzy discrete-event systems (FDESs), or fuzzy discrete-event dynamic systems (FDEDSs), were recently proposed. These frameworks include fuzzy states and events occurring simultaneously with different membership degrees. Fuzzy states and events have been used to describe uncertainties that occur often in practical problems, such as treatment planning for HIV/AIDS patients, sensory information processing for robotic control, and fault diagnosis problems. In order to measure information associated with FDESs or FDEDSs, the classical discrete event system (DES) observability has been turned into fuzzy observability for FDESs or FDEDSs. The newly proposed method allows ease of defining degrees of observability so that uncertainties in FDESs or FDEDSs can be dealt with effectively. This gives an opportunity to design better decision-making systems. To calculate the observability degree, a simple fuzzy observability checking method is introduced, and two examples are elaborated upon to illustrate the presented method. Finally, the newly proposed method is tested on a heating, ventilating, and air-conditioning (HVAC) system.     

Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation

In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. The behavior of the system is described by a language over the simultaneous event set. First, we prove that L_m(G)-closure, controllability, observability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. Next, we synthesize a supervisor that achieves the infimal closed, controllable, observable, and concurrently well-posed superlanguage of a specification language. Finally, we synthesize a supervisor that achieves a maximal closed, controllable, observable, and concurrently well-posed sublanguage of a closed specification language.     

Robust supervisory control of a class of timed discrete event systems under partial observation

This paper studies robust supervisory control of timed discrete event systems proposed by Brandin and Wonham. Given a set of possible models which includes the exact model of the plant, the objective is to synthesize a robust supervisor such that it achieves legal behavior for all possible models. We show that controllability for each possible model and observability for a suitably defined aggregate model are necessary and sufficient conditions for the existence of a solution to the robust supervisory control problem. Moreover, when there does not exist a solution, a maximally permissive robust supervisor is synthesized under the assumption that all controllable events are observable.     

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

In this paper, the bisimilarity control of discrete event systems (DESs) under partial observations is investigated, where the plant and the specification are allowed to be nondeterministic. A notation of simulation-based controllability and a synchronization scheme for the supervised system are formalized based on the simulation relation between the specification and the plant. It is shown that the existence of bisimilarity supervisors is characterized by the notions of the simulation-based controllability and the language observability, which extends the traditional results of supervisory control from language equivalence to bisimulation equivalence. In addition, a polynomial algorithm to test the simulation-based controllability is developed by constructing a computing tree. This algorithm together with the test of language observability can be used to check the existence of bisimilarity supervisors.     

陶瓷窑变结构温度控制系统的设计

针对陶瓷明焰窑温度控制中存在的状态能观性、能控性问题,采用模糊控制与时 间比例分割控制相结合的控制策略;提出了一种基于系统过程状态的变结构控制方法,并设 计出了以这种变结构控制为核心的陶瓷明焰窑温度控制系统;经工业现场的实际应用表明, 该方法应用于陶瓷明焰窑温度控制是可行的,系统设计是成功的.     

基于分段模糊Lyapunov方法的离散模糊系统分析与设计

研究了基于分段模糊Lyapunov函数的离散T-S模糊控制系统稳定性分析及控制器设计问题．首先,在定义离散型分段模糊Lyapunov函数的基础上,提出了一个新的判定开环离散T-S模糊系统稳定性的充分条件．该条件仅需在每个最大交叠规则组内分别满足模糊Lyapunov方法中的条件,从而降低了公共Lyapunov方法和模糊Lyapunov方法的保守性和难度．然后,利用并行分布补偿方法对闭环系统的稳定性进行了分析并设计了模糊控制器．最后,一个仿真示例说明了本文方法的有效性和优越性．     

基于模糊专家规则的离散事件辨识及其在交通诱导中的应用

传统离散事件动态系统中的离散事件状态的转换具有不确定性,其不确定性主要来自状态转向发生时刻的不确定性,而所转向的状态一般具有确定性。本文对具有状态转向时刻和转向状态的二重不确定性的离散事件动态系统进行了讨论,用模糊专家系统来对未来状态和状态迁移时刻二重不确定性的离散事件动态系统进行评价,并以智能交通系统中车辆诱导技术为例,说明了此类模糊专家规则的应用价值。本文提出了一种模拟淬火算法,通过模拟物质加温后急剧冷却的过程来求得目标函数的局部极值,以模拟淬火算法的转向概率作为模糊专家系统中的规则选择概率。该方法有效地保证了事件转换的实时性,提高了交通疏导的效率。     

Polynomial-time verification of diagnosability of fuzzy discrete event systems

A fuzzy approach to perform diagnosis of fuzzy discrete event systems(FDESs)is proposed by constructing diagnosers,which may more effectively cope with the problems of vagueness and fuzziness arising from failure diagnosis of fuzzy systems.However,the complexity of constructing this kind of diagnosers is exponential in the state space and the number of fuzzy events of the system.In this paper,we present an algorithm for verifying the diagnosability of FDESs based on the construction of a nondeterministic automaton called F-verifier instead of diagnosers.Both the construction of F-verifiers and the verification of diagnosability of FDESs can be realized with a polynomial-time complexity.     

完全和部分可观察离散事件系统状态反馈控制间的关系

讨论完全和部分可观察离散事件系统状态反馈控制间的关系,首先讨论了控制方案集及最大控制方案在两个系统这间的关系,由此通过重新定义可观察谓词,较为简单地证明了谓词Ｐ可综合的充要条件是它既可控又可观察。其次,我们在一定条件下将部分可观察ＤＥＳ转化为一个完全可观察ＤＥＳ,并探讨了两者之间的关系。     

分布式模糊离散事件系统的故障预测

本文研究分布式模糊离散事件系统的故障预测问题.先根据系统的模糊特性,提出一种分布式模糊离散事件系统的协同可预测性的形式化方法,使分布式模糊离散事件系统的协同可预测度不小于各分站点的局部可预测度.通过构造协同预测验证器,提出一种基于协同预测验证器的协同预测算法,并得到一个关于分布式模糊离散事件系统协同可预测性的充分必要条件.     

基于矩阵方法的有界Petri网系统的能观性分析

Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.     

Supervisory control of discrete event systems with state-dependent controllability

This article studies the supervisory control problem of discrete event systems (DES) with state-dependent controllability. The new problem is given with the background of operating systems where the processes and the interrupt service routines (ISR) are supervised and coordinated. The new model is novel because the controllability of an event is changeable in the lifetime of system evolution, and dependent on the system state. Two fundamental problems are concerned with the new model: supervisor existence problem and supervisor synthesis problem. We derive a necessary and sufficient condition for the existence of the supervisor, and introduce an algorithm to synthesise the supremal supervisor in a given specification. With the background of process and ISR management in operating systems, some examples are given to show how the new model can be applied to practical computing.