赋时离散事件系统的安全诊断
CSTR:
作者:
作者单位:

(广东工业大学计算机学院,广州510006)

作者简介:

刘富春(1971-), 男, 教授, 博士生导师, 从事控制理论与应用、算法设计等研究;蔡家德(1989-), 男, 硕士生, 从事控制理论与应用、算法设计的研究.

通讯作者:

E-mail: 452085874@qq.com

中图分类号:

TP13

基金项目:

国家自然科学基金项目(61273118, 61673122);广东省教育厅省级重大项目(2014KZDXM033);广东省公益研究与能力建设专项资金项目(2015A030402006);广东工业大学计算机学院重大奖项培育项目.


Safe diagnosability of timed discrete-event systems
Author:
Affiliation:

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

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.

    Abstract:

    An approach for safe diagnosis of timed discrete-event systems(TDESs) is proposed. Firstly, the notion of safe diagnosability of TDESs is formalized. Then by constructing the recognizer of illegal language, the sequences of the forbidden unsafe operations are identified, and the safe diagnoser is constructed to perform the safe diagnosis. In particular, a necessary and sufficient condition for safe diagnosability is deduced, and the safe diagnosis of TDES is realized.

    参考文献
    相似文献
    引证文献
引用本文

刘富春,蔡家德.赋时离散事件系统的安全诊断[J].控制与决策,2017,32(11):2081-2084

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2017-10-12
  • 出版日期:
文章二维码