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

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