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

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

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.