×
阿尔班·格雷斯廷;玛丽娜·扎内拉

观测值不确定的离散故障的可诊断性。 （英语） Zbl 1458.93162号

Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。253-278 (2018).
小结：本章重点讨论混合系统（HS）基于离散事件的转换，即它不处理状态内的故障，而是考虑状态间的故障。因此，所考虑的模型实际上是一个离散事件系统（DES），例如HS下的DES，根据该系统，（类型）故障是离散事件之一，通常是不可观测的，并且系统可能会受到几种类型的故障的影响。可诊断性是指DES在故障发生后发生的有限数量（可观察）事件中能够检测和隔离每个故障时所表现出的特性。在文献中，DES的可诊断性依赖于特定观察的可用性，该观察等于DES中发生的可观察事件的序列。但是，即使观察结果不确定，也能实现诊断吗？当观测值在时间和/或逻辑上不确定时，即当观测事件的顺序和/或其（离散）值部分未知时，本章提供了对此问题的答案。复合可观测事件的原始概念使得文献中DES可诊断性的定义和检查这种性质的双工厂方法得以顺利扩展。直觉是以与处理单个事件相同的方式处理复合可观察事件。如果DES可以诊断，即使其观察结果不确定，也可以执行诊断任务（不损失识别每个故障的能力），尽管可用的测量设备无法获得特定的观察结果。
关于整个系列，请参见[Zbl 1417.68011号].

MSC公司：

93元65角 离散事件控制/观测系统
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）
93个B07 可观察性

关键词：

不确定观测;双工厂;可观测效应;离散通风系统;诊断任务

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Grastien}和\textit{M.Zanella}，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。253-278（2018年；兹比尔1458.93162）
全文： 内政部 链接

参考文献：

[1] P.Baroni，G.Lamperti，P.Pogliano，M.Zanella，《大型主动系统的诊断》。Artif公司。智力。110(1), 135-183 (1999) ·兹比尔0996.68209 ·doi:10.1016/S0004-3702（99）00019-3
[2] A.Bauer，A.Botea，A.Grastien，P.Haslum，J.Rintanen，《离散事件系统基于模型诊断的报警处理》，载《智能行星的人工智能》（AIIP-11）（2011年），第2:1-2:8页
[3] M.Bayoudh，L.Travé-Massuyès，离散事件框架中混合系统的可诊断性分析，《离散事件动力学杂志》。系统。24(3), 309-338 (2014) ·Zbl 1307.93247号 ·doi:10.1007/s10626-012-0153-z
[4] C.Cassandras，S.Lafortune，《离散事件系统导论》，第2版。（施普林格，纽约，2008）·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7
[5] A.Cimatti，C.Pecheur，R.Cavada，通过符号模型检查对可诊断性进行形式验证，第18届国际人工智能联合会议（IJCAI-03）（2003），第363-369页
[6] O.Contant，S.Lafortune，D.Teneketzis，模块化结构离散事件系统的可诊断性。J.离散事件动态。系统。16, 9-37 (2006) ·Zbl 1134.93306号 ·doi:10.1007/s10626-006-6177-5
[7] A.Grastien，M.O.Cordier，C.Largouöt，《扩展分散离散事件建模以诊断可重构系统》，第15届诊断原理国际研讨会（DX-04）（2004）·Zbl 1121.68351号
[8] A.Grastien、A.Anbulagan、J.Rintanen、E.Kelareva，使用可满足性算法诊断离散事件系统，第22届人工智能会议（AAAI-07）（2007），第305-310页
[9] A.Grastien，P.Haslum，S.Thiébaux，《离散事件系统的基于冲突的诊断：理论与实践》，第十三届知识表示与推理原则国际会议（KR-12）（2012）
[10] A.Grastien，L.Travé-Massuyès，V.Puig，通过抽象和离散事件技术解决混合系统的可诊断性，国际自动控制联合会第20届世界大会（WC-17）（2017年），第5174-5179页
[11] T.A.Henzinger，混合自动机理论，《数字和混合系统验证》，M.K.Inan，R.P.Kurshan编辑。北约ASI系列（F系列：计算机和系统科学），第170卷（施普林格，柏林，2000年），第265-292页·Zbl 0959.68073号
[12] T.Jéron，H.Marchand，S.Pinchinat，M.O.Cordier，离散事件系统诊断中的监督模式，第17届诊断原理国际研讨会（DX-06）（2006），第117-124页
[13] S.Jiang，Z.Huang，V.Chandra，R.Kumar，测试离散事件系统可诊断性的多项式算法。IEEE传输。自动。控制46（8），1318-1321（2001）·Zbl 1008.93053号 ·doi:10.1009/9.940942
[14] G.Lamperti，M.Zanella，从不确定的时间观测中诊断离散事件系统。Artif公司。智力。137(1-2), 91-163 (2002) ·Zbl 0995.68103号 ·doi:10.1016/S0004-3702（02）00123-6
[15] G.Lamperti，M.Zanella，主动系统诊断-原理和技术。《Kluwer工程与计算机科学国际丛书》，第741卷（Kluwer-Accessional Publishers，Dordrecht，2003）·Zbl 1044.93002号
[16] G.Lamperti，M.Zanella，《关于离散事件系统监测中的时间观测处理》，载于《企业信息系统VIII》，由Y.Manolopoulos，J.Filipe，P.Constantopoulos和J.Cordeiro编辑。商业信息处理讲座笔记，第3卷（施普林格，柏林，2008），第135-146页
[17] G.Lamperti，M.Zanella，《利用惰性技术诊断主动系统》，第十二届企业信息系统国际会议（ICEIS-10），马德拉省文查尔市（2010），第171-180页
[18] G.Lamperti，M.Zanella，用分层不确定观测值监测主动系统。IEEE传输。系统。人类网络。A部分系统。人类41（2），356-369（2011）·doi:10.1109/TSMCA.2010.2069096
[19] Y.Pencolé，M.O.Cordier，大型离散事件系统分散诊断的正式框架及其在电信网络中的应用。Artif公司。智力。164(1-2), 121-170 (2005) ·兹比尔1132.93336 ·doi:10.1016/j.artint.2005.01.002
[20] B.Pulido，C.Alonso González，《可能的冲突：基于一致性诊断的编译技术》。IEEE传输。系统。人类网络。B部分Cybern。34(5), 2192-2206 (2004) ·doi:10.1109/TSMCB.2004.835007
[21] M.Sampath、R.Sengupta、S.Lafortune、K.Sinnamohideen、D.Teneketzis，离散事件系统的可诊断性。IEEE传输。自动。控制40（9），1555-1575（1995）·Zbl 0839.93072号 ·doi:10.1109/9.412626
[22] A.Schumann，Y.Pencolé，S.Thiébaux，符号在线诊断方法谱，第22届人工智能会议（AAAI-07）（2007），第335-340页
[23] R.Sengupta，S.Tripakis，正则语言的分散可诊断性不可判定，第43届IEEE决策与控制会议（2004年），第423-428页
[24] M.Staroswiecki，G.Comtet Varga，代数动态系统中故障检测和隔离的分析冗余关系。Automatica 37（5），687-699（2001）·Zbl 1007.93029号 ·doi:10.1016/S0005-1098（01）00005-X
[25] X.Su，A.Grastien，《验证诊断算法的精度》，第21届欧洲人工智能会议（2014年），第861-866页
[26] R.Su，W.Wonham，离散事件系统分布式故障诊断中的全局和局部一致性。IEEE传输。自动。控制50（12），1923-1935（2005）·Zbl 1365.93303号 ·doi:10.1109/TAC.2005.860291
[27] X.Su，M.Zanella，A.Grastien，具有不确定观测值的离散事件系统的可诊断性，第25届国际人工智能联合会议（IJCAI-16）（2016），第1265-1271页
[28] T.Yoo，S.Lafortune，部分观测离散事件系统可诊断性的多项式时间验证。IEEE传输。自动。控制47（9），1491-1495（2002）·Zbl 1364.93176号 ·doi:10.1109/TAC.2002.802763
[29] H。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。