| 离散事件系统基于状态树的可纠错性及其算法研究 |
| |
| 引用本文： | 莫日翔,刘富春. 离散事件系统基于状态树的可纠错性及其算法研究[J]. 广东工业大学学报, 2015, 0(2) |
| |
| 作者姓名： | 莫日翔 刘富春 |
| |
| 作者单位： | 广东工业大学计算机学院,广东广州,510006 |
| |
| 基金项目： | 国家自然科学基金资助项目(60974019，61273118)；广东省自然科学基金资助项目( S2012010010570)；广东省高校省级重大科研资助项目 |
| |
| 摘 要： | 故障诊断及纠错是离散事件系统研究热点之一。主要研究在故障可诊断但不可控的情况下，控制器对离散事件系统的故障实行纠错，使系统运行在可接受状态范围内的相关问题。通过对可纠错状态的形式化，提出了一种基于状态树的可纠错模型，并得到在此模型下关于可纠错状态必要条件的性质。同时具体给出了可纠错状态的判定算法。
|
| 关 键 词： | 离散事件系统 容错系统 可纠错性 |
Correctability and Algorithm of Discrete-Event System Based on State Tree |
| |
| 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, 0(2) |
| |
| Authors: | Mo Ri-xiang Liu Fu-chun |
| |
| Abstract: | |
| |
| Keywords: | discrete-event system fault-tolerate system correctability |
| 本文献已被 万方数据 等数据库收录！ |
|
