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