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

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

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

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