具有多项式时间复杂性的离散事件系统安全诊断

摘要：

离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.

关键词：离散事件系统、故障诊断、安全诊断、多项式时间复杂性

所属期刊栏目：34

分类号：TP13(自动化基础理论)

资助基金：国家自然科学基金项目61673122, 61273118;广东省教育厅省级重大项目2014KZDXM033;广东省公益研究与能力建设专项资金项目2015A 030402006;广东工业大学计算机学院重大奖项培育项目资助2016PY01. Supported by National Natural Science Foundation of China61673122, 61273118;Provincial Major Program of Guangdong2014KZDXM033;Public Welfare Research and Capacity Building Project of Guangdong2015A030402006;Major Awards Incubation Project of School of Comput-ers of Guangdong University of Technology2016PY01

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

页数：共6页

页码：717-722