离散事件系统基于状态树的可纠错性及其算法研究

Correctability and Algorithm of Discrete-Event System Based on State Tree

故障诊断及纠错是离散事件系统研究热点之一.主要研究在故障可诊断但不可控的情况下,控制器对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内的相关问题.通过对可纠错状态的形式化,提出了一种基于状态树的可纠错模型,并得到在此模型下关于可纠错状态必要条件的性质.同时具体给出了可纠错状态的判定算法.

Failure diagnosability and correctability of discrete-event systems are widely studied .This pa-per mainly focus on the question about correcting failure events of discrete-event systems （ DESs） under the condition that failure events are diagnosable but uncontrollable , for making the system run within ac-cepted states .With the formalization of correctable states , A correcting model based on state tree is pro-posed .Meanwhile , the necessity of correctable states is derived and an algorithm for checking correctable states is proposed .