不完备模型下的离散事件系统诊断方法

被引：9

作者：

王晓宇 ^{[1
,2
]}

欧阳丹彤 ^{[1
,2
]}

赵剑 ^{[1
,2
]}

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学符号计算与知识工程教育部重点实验室

来源：

软件学报 | 2012年 / 23卷 / 03期

基金：

浙江省自然科学基金;

关键词：

动态诊断; 不完备模型;

D O I：

暂无

中图分类号：

TP181 [自动推理、机器学习];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法的适用范围,放松了对模型的约束要求.在因果不完备条件下,提出用因果图联系部件,解决分布式诊断中由于部件独立建模而导致的不彻底诊断,提高了诊断的精确性.通过实验验证,两种条件下的诊断方法均能在相应的不完备模型中得到预期诊断结果,并对模型进行局部修订,提高模型的完备性.

引用

页码：465 / 475

页数：11

共 24 条

[1]

On-Line diagnosis of discrete event systems with two successive temporal windows. Zhao XF,Ouyang DT. AI Communications . 2008

[2]

Research on some problems about model-based diagnosis of discrete event systems. Zhao XF. JilinUniversity . 2009

[3]

Fault diag-nosis in discrete event systems:Framework andmodel reduction. Zad S H,Kwong R H,Wonham W M. IEEE Trans on Automatic Con-trol . 2003

[4]

Failure Diagnosis Using Discrete-Event Models. Sampath M,Sengupta R,Lafortune S,Sinnamohideen K,Teneketzis D C. IEEE Transactions on Communications . 1996

[5]

Diagnosis of discrete-event systems using satisfiability algorithms. Grastien A,Anbulagan A,Rintanen J,Kelareva E. Proc.of the 22nd AAAI Conf.on Artificial Intelligence (AAAI 2007) . 2007

[6]

Incremental diagnosis of discrete-event systems. Grastien A,Cordier MO,Largouet C. Proc.of the 19th Int’’lJoint Conf.on Artificial Intelligence (IJCAI 2005) . 2005

[7]

Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft. Kurien J,R-Moreno MD. IEEE Trans.on Systems,Man,and Cybernetics-Part A:Systems and Humans . 2010

[8]

Diagnosis of discrete-event systems from uncertain temporal observations[J] . Gianfranco Lamperti,Marina Zanella. &nbspArtificial Intelligence . 2002 (1)

[9]

Exploiting independence in a decentralised and incremental approach of diagnosis. Cordier MO,Grastien A. Proc.of the 20th Int’’l Joint Conf.on Artificial Intelligence(IJCAI 2007) . 2007

[10]

Diagnosability of Discrete-Event Systems. Sampath M, Sengupta R, Lafortune S, et al. IEEE Transactions on Automatic Control . 1995

← 1 2 3 →