国内刊号:51-1196/TP
国际刊号:1001-3695
发布日期:
作者:谭健欣,刘富春,
单位:1.广东工业大学计算机学院,广州510006;2.广东财经大学网络信息与教育技术中心,广州510300;
关键词:离散事件系统,故障诊断,不确定观测,可诊断性,
基金:国家自然科学基金资助项目(61673122);广东省自然科学基金资助项目(2019A1515010548);广东工业大学交叉学科培育项目;;
在实际应用系统中,由于传感器故障、传感器限制和网络中的数据包丢失等原因,事件的可观测值变得不确定,使得观测系统行为变得尤为复杂。针对离散事件系统中,同个事件串可能有多个观测值以及不同状态下同个事件观测值也可能不同的问题,提出一种不确定观测下故障诊断验证的方法。首先对不确定观测的离散事件系统的可诊断性进行形式化,然后构建出用于上述故障诊断验证的验证器;基于验证器提出了系统基于不确定观测下可诊断的充要条件及验证算法;最后,实例说明不确定观测下故障诊断验证算法的应用。与现有研究相比,提出的方法对故障事件的观测值没有约束,可以为0个或多个观测值,使此方法应用的场景更为广泛。
来源:2023年第1期
《计算机应用研究》期刊编辑部