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

莫日翔; 刘富春

doi:10.3969/j.issn.1007-7162.2015.02.010

欢迎来到能源电力期刊网！

English Version 期刊登录

您当前的位置：

首页 >

文章列表页 >

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

综合研究 | 更新时间：2026-05-27

- 离散事件系统基于状态树的可纠错性及其算法研究
- Correctability and Algorithm of DiscreteEvent System Based on State Tree
- 广东工业大学学报 2015年32卷第2期页码：53-57
- 作者机构：
- 作者简介：
  
  莫日翔（1988-），男，硕士研究生，主要研究方向为自动机理论.刘富春(1971-)，教授
- 基金信息：
  
  国家自然科学基金资助项目（60974019,61273118）;广东省自然科学基金资助项目（S2012010010570）;广东省高校省级重大科研资助项目(2014KZDXM033)
- DOI：10.3969/j.issn.1007-7162.2015.02.010
  中图分类号：
- 网络首发：2015-05-30，
  
  纸质出版：2015
- 稿件说明：
移动端阅览
莫日翔, 刘富春. 离散事件系统基于状态树的可纠错性及其算法研究[J]. 广东工业大学学报, 2015, 32(2): 53-57.

Mo Ri-xiang, Liu Fu-chun. Correctability and Algorithm of DiscreteEvent System Based on State Tree[J]. 2015, 32(2): 53-57.
莫日翔, 刘富春. 离散事件系统基于状态树的可纠错性及其算法研究[J]. 广东工业大学学报, 2015, 32(2): 53-57. DOI： 10.3969/j.issn.1007-7162.2015.02.010.

Mo Ri-xiang, Liu Fu-chun. Correctability and Algorithm of DiscreteEvent System Based on State Tree[J]. 2015, 32(2): 53-57. DOI： 10.3969/j.issn.1007-7162.2015.02.010.

摘要

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

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.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

面向灾后救援的多无人机通感算一体化资源分配优化方法

基于PSI技术的福州市地面形变监测与影响因素分析

SCA-YOLO: 基于可变形卷积与上下文感知注意力的实时目标检测

多套餐共享储能模式下考虑功率互济的社区联盟优化运行策略

多尺度对比嵌入增强的自适应入侵检测模型