离散事件系统的可纠错性研究

On correctability of fault-tolerate discrete-event system

故障诊断及纠错是离散事件系统研究热点之一,主要研究在控制器实施控制的情况下,如何对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内.通过对可纠错状态的形式化,提出了一种基于系统状态圈的纠错方法,给出了构造纠错控制器的算法.在探讨多次状态转移时故障事件规律发生的基础上,给出了系统的最小可纠错状态集的具体计算方法,提出了在最小状态集下离散事件系统控制器的构造方法,并给出了一种控制器实施控制的方案.

Failure diagnosability and correctability of discrete-event systems are widely studied. In this paper,we mainly focus on how to correct failure events of discrete-event systems（ DESs） under the condition that the controller takes control,for making the system run within accepted states.With the formalization of correctable states and events,we propose a correct method based on cycles of system＇s states. Meanwhile,a controller-construct algorithm is proposed.After discussing the rule of failure event＇s occurrence while system＇s states change substantially,we present respectively a method to calculate the minimal set of states such that the system can be corrected and a feasible solution for the corrected system based on the minimal set of states.