混成系统的分布式诊断方法

›› 2012, Vol. ›› Issue (06): 1498-1504.

混成系统的分布式诊断方法

赵剑^1,2,3, 欧阳丹彤^1,2, 王晓宇^1,2, 张立明^1,2

1. 吉林大学计算机科学与技术学院, 长春 130012;
2. 吉林大学符号计算与知识工程教育部重点实验室, 长春 130012;
3. 长春大学计算机科学技术学院, 长春 130022

收稿日期:2011-11-30 出版日期:2012-11-01
通讯作者: 欧阳丹彤(1968-),女,教授,博士生导师.研究方向:基于模型诊断和定理机证明.E-mail:ouyangdantong@163.com E-mail:ouyangdantong@163.com
基金资助:
国家自然科学基金项目(60973089,60873148,60773097,61003101);吉林省科技发展计划基金项目(20101501,20100185,20090108,20080107,201101039);教育部博士学科点专项科研基金项目(20100061110031);浙江省自然科学基金项目(Y1100191);欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12);吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05).

Method to distributed diagnosis of hybrid systems

ZHAO Jian^1,2,3, OUYANG Dan-tong^1,2, WANG Xiao-yu^1,2, ZHANG Li-ming^1,2

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;
2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China;
3. College of Computer Science and Technology, Changchun University, Changchun 130022, China

Received:2011-11-30 Online:2012-11-01

摘要/Abstract

摘要： 提出了一种基于分布式自动机模型的混成系统故障诊断方法。在分布式自动机模拟的混合键合图方法下,设计并实现了系统诊断。能够在系统模式动态改变时根据相应的时间因果图模型自动生成分布式时间因果图和分布式自动机。故障发生时,根据生成的时间因果图在分布自动机内进行诊断。分布式自动机将诊断空间分解成较小规模,从而提高了诊断效率。最后,在三容水箱模型标准测试样例上进行了系统测试,结果验证了本文方法具有较高的正确性及处理效率。

关键词: 人工智能, 基于模型的诊断, 混成系统, 混合键合图, 分布式诊断

Abstract: A diagnosis method of hybrid systems based on distributed automaton was proposed, and a distributed automaton diagnosis system was designed based on hybrid band graph. Under the dynamic change of the system status, this method can generate a distributed temporal casual graph and distributed automaton according to the corresponding temporal casual graph. Corresponding diagnosis system can improve the solving efficiency by diagnosis on the distributed automaton. Distributed real-time diagnosis test on the three Tank Water Control System benchmark problems was carried out. Results show that the proposed method can deal with diagnosis problems of hybrid system by lower complexity with higher efficiency.

Key words: artificial intelligence, model-based diagnosis, hybrid system, hybrid bond graphs, distributed diagnosis0 引言

中图分类号:

TP18

赵剑, 欧阳丹彤, 王晓宇, 张立明. 混成系统的分布式诊断方法[J]. , 2012, (06): 1498-1504.

ZHAO Jian, OUYANG Dan-tong, WANG Xiao-yu, ZHANG Li-ming. Method to distributed diagnosis of hybrid systems[J]. , 2012, (06): 1498-1504.

参考文献

[1] Lunze J. Diagnosis of quantised systems by means of timed discrete-event representations[J]. Lecture Notes in Computer Science, 2000, 1790:258-271.
[2] Zad S H, Kwong R H, Wonham W M. Fault diagnosis and consistency in hybrid systems[C]//Proc 38th Annual Allerton Conference on Communication, Control, and Computing, Illinois,USA,2000,1135-1144.
[3] Zad S H, Kwong R H, Wonham W M. Fault diagnosis in discrete event systems: Framework and model reduction[J]. IEEE Trans on Automatic Control,2003,48(7):1199-1212.
[4] Zhao F, Koutsoukos X, Haussecker H, et al. Monitoring and fault diagnosis of hybrid systems[J]. IEEE Trans on Systems, Man and Cybernetics, 2005,35(6):1225-1240.
[5] Mosterman P J, Biswas G. Diagnosis of continuous valued systems in transient operating regions[J]. IEEE Trans on Systems, Man, and Cybernetics, 1999,29(6):554-565.
[6] Manders E J, Narasimhan S, Biswas G, et al. A combined qualitative/quantitative approach for ecient fault isolation in complex dynamic systems[C]//Proc of the 4th Symposium on Fault Detection, Supervision, and Safety Processes, Budapest, Hungary, 2000: 512-517.
[7] Narasimhan S, Biswas G. Model-based diagnosis of hybrid systems[J]. IEEE Tran on System, Man, and Cybernetics, 2007, 37(3):348-361.
[8] Ye L,Dague P, Yan Y. A distributed approach for pattern diagnosability[C]//In Proc 20th International Workshop on Principles of Diagnosis, Stockholm, Sweden, 2009:189-197.
[9] Fourlas G K. Multiple faults diagnosability criteria in hybrid control systems[C]//In Proc 20th International Workshop on Principles of Diagnosis, Stockholm, Sweden, 2009:75-82.
[10] Zhao F, Koutsoukos X, Haussecker H, et al. Distributed monitoring of hybrid systems: A model-directed approach[C]//In Proceedings of the International Joint Conference on Artificial Intelligence(IJCAI'01), Seattle, Washington, USA,2001: 557-564.
[11] Roychoudhury I, Biswas G, Koutsoukos X. Distributed diagnosis of dynamic systems using dynamic bayesian networks[C]//In Proc 20th International Workshop on Principles of Diagnosis, Stockholm, Sweden, 2009: 339-346.
[12] Mosterman P J, Biswas G. Behavior generation using model switching: a hybrid bond graph modeling technique[J]. Trans Soc Simul,1995,27(1):177-182.
[13] Mosterman P J. Hybrid dynamic systems: A hybrid bond graph modeling paradigm and its application in diagnosis. Nashville,Tennessee, USA:Verderbilt University, 1999.
[14] Mosterman P J, Biswas G, Sztipanovits J. A hybrid modeling and verification paradigm for embedded control systems[J]. Control Engineering Practice,1998,6(4):511-521.

相关文章 15

[1]	董飒, 刘大有, 欧阳若川, 朱允刚, 李丽娜. 引入二阶马尔可夫假设的逻辑回归异质性网络分类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1571-1577.
[2]	顾海军, 田雅倩, 崔莹. 基于行为语言的智能交互代理[J]. 吉林大学学报(工学版), 2018, 48(5): 1578-1585.
[3]	王旭, 欧阳继红, 陈桂芬. 基于垂直维序列动态时间规整方法的图相似度度量[J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4]	张浩, 占萌苹, 郭刘香, 李誌, 刘元宁, 张春鹤, 常浩武, 王志强. 基于高通量数据的人体外源性植物miRNA跨界调控建模[J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5]	黄岚, 纪林影, 姚刚, 翟睿峰, 白天. 面向误诊提示的疾病-症状语义网构建[J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6]	李雄飞, 冯婷婷, 骆实, 张小利. 基于递归神经网络的自动作曲算法[J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7]	刘杰, 张平, 高万夫. 基于条件相关的特征选择方法[J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8]	王旭, 欧阳继红, 陈桂芬. 基于多重序列所有公共子序列的启发式算法度量多图的相似度[J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9]	杨欣, 夏斯军, 刘冬雪, 费树岷, 胡银记. 跟踪-学习-检测框架下改进加速梯度的目标跟踪[J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10]	刘雪娟, 袁家斌, 许娟, 段博佳. 量子k-means算法[J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11]	曲慧雁, 赵伟, 秦爱红. 基于优化算子的快速碰撞检测算法[J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12]	李嘉菲, 孙小玉. 基于谱分解的不确定数据聚类方法[J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13]	邵克勇, 陈丰, 王婷婷, 王季驰, 周立朋. 无平衡点分数阶混沌系统全状态自适应控制[J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14]	王生生, 王创峰, 谷方明. OPRA方向关系网络的时空推理[J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15]	马淼, 李贻斌. 基于多级图像序列和卷积神经网络的人体行为识别[J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed