离散事件系统故障的极小观测序列
|
摘要
为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.
In order to improve the efficiency of online diagnose of faults in discrete event system,from the viewpoint of the observable events judging occurrence of faults,this paper proposed a method called minimal observation sequences of faults.The finite state automaton was selected to model the discrete event system.First,a fault model of system was established in the offline,which was used to exclude the path independent of the system failure.Then,a minimal observation sequence model of faults was established according to the fault model.When the discrete event system is diagnosed online,it is necessary to compare the observations received by sensors with the model of minimal observation sequences.If any path in the model is found to satisfy the online observations,the fault in the termination state of the path will be described.Otherwise,no fault occurs.By comparing with the experiment results,the model of minimal observation sequences of faults can be used to determine the occurrence of faults as soon as possible.That is to say,the model for the system can find the faults timely and save the cost of online diagnosis.
In order to improve the efficiency of online diagnose of faults in discrete event system,from the viewpoint of the observable events judging occurrence of faults,this paper proposed a method called minimal observation sequences of faults.The finite state automaton was selected to model the discrete event system.First,a fault model of system was established in the offline,which was used to exclude the path independent of the system failure.Then,a minimal observation sequence model of faults was established according to the fault model.When the discrete event system is diagnosed online,it is necessary to compare the observations received by sensors with the model of minimal observation sequences.If any path in the model is found to satisfy the online observations,the fault in the termination state of the path will be described.Otherwise,no fault occurs.By comparing with the experiment results,the model of minimal observation sequences of faults can be used to determine the occurrence of faults as soon as possible.That is to say,the model for the system can find the faults timely and save the cost of online diagnosis.
引文
[1]PENCOLE Y.Diagnosability analysis of distributed discrete event systems[C]//Proceedings of the 16th European Conference on Artificial Intelligence(ECAI-04).Valencia,Spain,2004:43-47.
[2]RIBOT P,PENCOLE Y,COMBACAU M.Design requirements for the diagnosability of distributed discrete event systems[C]//Proceedings of the 19th International Workshop on Principles of Diagnosis(DX-08).Blue Mountains:NSW,2008:98-106.
[3]张立明,赵剑,赵相福,等.基于因果关系的模型诊断[J].吉林大学学报:工学版,2009,39(4):1052-1056.ZHANG Li-ming,ZHAO Jian,ZHAO Xiang-fu,et al.New method of using causal relations for model-based fault diagnosis[J].Journal of Jilin University:Engineering and Technology Edition,2009,39(4):1052-1056.(In Chinese)
[4]CASSANDRAS G C,LAFORTUNE S.Introduction of discrete event systems[M].2nd ed.Springer Science+Business Media,2008.
[5]SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Daignosability of discrete event systems[J].IEEE Transactions on Automatic Control,1995,40(9):1555-1575.
[6]SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Failure diagnosis using discrete event systems[J].IEEE Transactions on Control Systems Technology,1996,4(2):105-124.
[7]李帅虎,曹一家,刘光晔,等.UHV对接入区域高压配电网安全稳定的影响[J].湖南大学学报:自然科学版,2014,41(10):71-76.LI Shuai-hu,CAO Yi-jia,LIU Guang-ye,et al.Influence of UHV on the security and stability of the high voltage distribution network of integration area[J].Journal of Hunan University:Natural Sciences Edition,2014,41(10):71-76.(In Chinese)
[8]SHCHEKOTYKHIN K,FRIEDRICH G,RODLER P,et al.A direct approach to sequential diagnosis of high cardinality faults in knowledge-bases[C]//Proceedings of the 25th International Workshop on Principles of Diagnosis(DX-14).Graz:Austria,2014.
[9]ZHAO Xiang-fu,LAMPERTI G,OU-YANG Dan-tong.Minimal sequential diagnosis of discrete-event systems[C]//Proceedings of Diagnosis(DX-13).Jerusalem:Palestine,2013:154-159.
[10]BASILIO J C,LINA S T S,LAFORTUNE S,et al.Computation of minimal event bases that ensure diagnosability[J].Discrete Event Dynamic Synst,2012:249-292.
[2]RIBOT P,PENCOLE Y,COMBACAU M.Design requirements for the diagnosability of distributed discrete event systems[C]//Proceedings of the 19th International Workshop on Principles of Diagnosis(DX-08).Blue Mountains:NSW,2008:98-106.
[3]张立明,赵剑,赵相福,等.基于因果关系的模型诊断[J].吉林大学学报:工学版,2009,39(4):1052-1056.ZHANG Li-ming,ZHAO Jian,ZHAO Xiang-fu,et al.New method of using causal relations for model-based fault diagnosis[J].Journal of Jilin University:Engineering and Technology Edition,2009,39(4):1052-1056.(In Chinese)
[4]CASSANDRAS G C,LAFORTUNE S.Introduction of discrete event systems[M].2nd ed.Springer Science+Business Media,2008.
[5]SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Daignosability of discrete event systems[J].IEEE Transactions on Automatic Control,1995,40(9):1555-1575.
[6]SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Failure diagnosis using discrete event systems[J].IEEE Transactions on Control Systems Technology,1996,4(2):105-124.
[7]李帅虎,曹一家,刘光晔,等.UHV对接入区域高压配电网安全稳定的影响[J].湖南大学学报:自然科学版,2014,41(10):71-76.LI Shuai-hu,CAO Yi-jia,LIU Guang-ye,et al.Influence of UHV on the security and stability of the high voltage distribution network of integration area[J].Journal of Hunan University:Natural Sciences Edition,2014,41(10):71-76.(In Chinese)
[8]SHCHEKOTYKHIN K,FRIEDRICH G,RODLER P,et al.A direct approach to sequential diagnosis of high cardinality faults in knowledge-bases[C]//Proceedings of the 25th International Workshop on Principles of Diagnosis(DX-14).Graz:Austria,2014.
[9]ZHAO Xiang-fu,LAMPERTI G,OU-YANG Dan-tong.Minimal sequential diagnosis of discrete-event systems[C]//Proceedings of Diagnosis(DX-13).Jerusalem:Palestine,2013:154-159.
[10]BASILIO J C,LINA S T S,LAFORTUNE S,et al.Computation of minimal event bases that ensure diagnosability[J].Discrete Event Dynamic Synst,2012:249-292.