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

摘要：

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

关键词：离散事件系统、容错系统、可纠错性

分类号：TP301.1(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60974019，61273118；广东省自然科学基金资助项目 S2012010010570；广东省高校省级重大科研资助项目2014KZDXM033

在线出版日期：2015-06-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：53-57