赋时离散事件系统的安全诊断
来源期刊：控制与决策2017年第11期
论文作者：刘富春 蔡家德
文章页码：2081 - 2084
关键词：赋时离散事件系统;故障诊断;安全诊断;安全诊断器;
摘 要：针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
刘富春，蔡家德
广东工业大学计算机学院
摘 要：针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
关键词：赋时离散事件系统;故障诊断;安全诊断;安全诊断器;
