具有多项式时间复杂性的离散事件系统安全诊断
刘富春
罗苹
1.广东工业大学计算机学院,广东广州,5100062.广东工业大学计算机学院,广东广州,510006
摘要：离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.
关键词：离散事件系统故障诊断安全诊断多项式时间复杂性
分类号：TP13(自动化基础理论)
资助基金：国家自然科学基金项目(61673122)国家自然科学基金项目( 61273118)广东省教育厅省级重大项目(2014KZDXM033)能力建设专项资金项目(2015A 030402006)广东工业大学计算机学院重大奖项培育项目资助(2016PY01)Supported by National Natural Science Foundation of China(61673122)Supported by National Natural Science Foundation of China( 61273118)Provincial Major Program of Guangdong(2014KZDXM033)Public Welfare Research and Capacity Building Project of Guangdong(2015A030402006)Major Awards Incubation Project of School of Comput-ers of Guangdong University of Technology(2016PY01)
论文发表日期：2017-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 717-722 )
英文信息