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

doi:10.3969/j.issn.1007

广东工业大学学报 ›› 2015, Vol. 32 ›› Issue (2): 53-57.doi: 10.3969/j.issn.1007

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

莫日翔，刘富春

广东工业大学计算机学院，广东广州 510006

收稿日期:2014-11-03 出版日期:2015-05-30 发布日期:2015-05-30
作者简介:莫日翔（1988-），男，硕士研究生，主要研究方向为自动机理论. 刘富春(1971-)，教授
基金资助:
国家自然科学基金资助项目（60974019,61273118）；广东省自然科学基金资助项目（S2012010010570）;广东省高校省级重大科研资助项目(2014KZDXM033)

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

Mo Ri-xiang，Liu Fu-chun

School of Computers, Guangdong University of Technology, Guangzhou 510006, China

Received:2014-11-03 Online:2015-05-30 Published:2015-05-30

摘要/Abstract

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

关键词: 离散事件系统; 容错系统; 可纠错性

Abstract: Failure diagnosability and correctability of discreteevent systems are widely studied. This paper 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 accepted states. With the formalization of correctable states, A correcting model based on state tree is proposed. Meanwhile, the necessity of correctable states is derived and an algorithm for checking correctable states is proposed.

Key words: discreteevent system; faulttolerate system; correctability

莫日翔, 刘富春. 离散事件系统基于状态树的可纠错性及其算法研究[J]. 广东工业大学学报, 2015, 32(2): 53-57.

MO Ri-Xiang, LIU Fu-Chun. Correctability and Algorithm of DiscreteEvent System Based on State Tree[J]. Journal of Guangdong University of Technology, 2015, 32(2): 53-57.

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

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

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

HTML

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0