×
王寅;你，泰西;圣菲拉福顿

使用分散架构诊断离散事件系统。 （英语） Zbl 1115.93065号

离散事件动态。系统。 17，第2期，233-263（2007）; 勘误表同上，25，第4号，601-603（2015）。
摘要：离散事件系统的分散诊断在处理分布式系统或可能太大而无法由一个集中站点进行诊断的系统时受到了很多关注。本文将分散诊断问题投射到一个新的层次结构框架中。一个关键特征是利用不同的局部决策及其适当的规则进行融合。这包括可以解释为“条件决策”的本地诊断决策在这个新框架下，定义并研究了一系列新的分散体系结构。描述了它们相应的分散可诊断性概念的性质，并描述了它们与现有工作的关系。给出了相应的验证算法，并讨论了在线诊断策略。

引用于1审查
引用于19文件

MSC公司：

93元65角 离散事件控制/观测系统
90B25型 运筹学中的可靠性、可用性、维护和检查
93甲14 分散的系统

关键词：

离散事件系统;诊断;分散的系统

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}等人，离散事件动态。系统。17，第2号，233--263（2007；Zbl 1115.93065）
全文： 内政部

参考文献：

[1] Baroni P、Lamperti G、Pogliano P、Zanella M（1999）《大型主动系统的诊断》。Artif英特尔110:135-183·Zbl 0996.68209号 ·doi:10.1016/S0004-3702（99）00019-3
[2] Boel RK，Jiroveanu G（2004）《超大系统的分布式上下文诊断》。In：程序。2004年离散事件系统国际研讨会-WODES’04，法国兰斯，9月
[3] Boel RK，van Schuppen JH（2002）离散事件系统的分散故障诊断，诊断者之间的通信成本很高。In：程序。2002年离散事件系统国际研讨会-WODES’02。西班牙萨拉戈萨，十月·Zbl 1365.93309号
[4] Cassandras CG，Lafortune S（1999）离散事件系统简介。荷兰多德雷赫特：Kluwer·Zbl 0934.93001号 ·doi:10.1007/978-1-4757-4070-7
[5] Debouk R、Lafortune S、Teneketzis D（2000）离散事件系统故障诊断的协调分散协议。非事件动态系统理论应用10（1-2）：33-86，1月·Zbl 0959.93039号 ·doi:10.1023/A:1008335115538
[6] Fabre E、Benveniste A、Haar S、Jard C（2005）并发和异步系统的分布式监控。Dis Event动态系统理论应用15（1）：33-841月·Zbl 1077.68059号 ·doi:10.1007/s10626-005-5238-5
[7] Fabre E，Benveniste A，Jard C，Ricker L，Smith M（2000）离散事件系统的分布式状态重构。In：程序。第39届IEEE决策与控制会议。第2252-2257页，12月·Zbl 1048.93067号
[8] Genc S，Lafortune S（2005）位置有序petri网在线诊断的分布式算法。In：程序。第16届IFAC世界大会·Zbl 0778.93002号
[9] Kumar R，Takai S（2006）使用基于推理的模糊管理对离散事件系统的非故障进行分散诊断。在：2006年离散事件系统国际研讨会，密歇根州安娜堡，7月·Zbl 0996.68209号
[10] Lafortune S、Teneketzis D、Sampath M、Sengupta R、Sinnamohideen K（2001）《动态系统的故障诊断：基于离散事件系统的方法》。In：程序。2001年美国控制会议，第2058-2071页，6月·Zbl 0941.68613号
[11] Lamperti G，Zanella M（2003）《主动系统诊断：原理和技术》。荷兰Kluwer Dordrecht·Zbl 1044.93002号 ·doi:10.1007/978-94-017-0257-7
[12] PencoléY，Cordier M-O（2005）大型离散事件系统分散诊断的正式框架及其在电信网络中的应用。Artif英特尔164:121-170·Zbl 1132.93336号 ·doi:10.1016/j.artint.2005.01.002
[13] 邱伟，库马尔R（2004）离散事件系统的分散故障诊断。摘自：2004年离散事件系统国际研讨会论文集——WODES’04，法国兰斯，9月
[14] Rohloff K，Yoo T-S，Lafortune S（2003），决定合作可观测性是PSPACE完成的。IEEE Trans Autom Control 48（11）：1995年至1999年11月·Zbl 1364.93481号 ·doi:10.1109/TAC.2003.819285
[15] RozéL，Cordier M-O（2002）诊断离散事件系统：将“诊断器方法”扩展到处理电信网络。非事件动态系统理论应用12（1）：43-81·Zbl 0993.93022号 ·doi:10.1023/A:1013335803945
[16] Rudie K，Wonham WM（1992）《全球思考，局部行动：分散的监管控制》。IEEE Trans Autom Control 37（11）：1692-170811月·Zbl 0778.93002号 ·数字对象标识代码：10.1109/9.173140
[17] Sampath M、Sengupta R、Sinnamohideen K、Lafortune S、Teneketzis D（1995）离散事件系统的可诊断性。IEEE Trans-Atom Control 40（9）：1555-1575，9月·Zbl 0839.93072号 ·doi:10.1109/9.412626
[18] Sampath M、Sengupta R、Sinnamohideen K、Lafortune S、Teneketzis D（1996）《使用离散事件模型进行故障诊断》。IEEE变速器控制系统技术4（2）：105-124，3月·doi:10.1009/87.486338
[19] Sengupta R（1998）分布式系统中的诊断和通信。In：程序。1998年离散事件系统国际研讨会-WODES’98，意大利卡利亚里
[20] Sengupta R，Tripakis S（2002）正则语言的分散可诊断性是不可判定的。In：程序。第40届IEEE决策与控制会议。第423-428页，12月
[21] Su R，Wonham WM（2004）全球一致性下的分布式诊断。In：程序。第42届IEEE决策与控制会议，12月
[22] Su R、Wonham WM、Kurien J、Koutsoukos X（2002）《定性系统的分布式诊断》。In：程序。2002年离散事件系统国际研讨会WODES’02，西班牙萨拉戈萨，第169-174页，10月
[23] Wang Y，Yoo T-S，Lafortune S（2004）离散事件系统分散诊断的新结果。In：程序。2004年度Allerton大会·Zbl 0959.93039号
[24] Wang Y，Yoo T-S，Lafortune S（2005）使用条件和无条件决策对离散事件系统进行分散诊断。In：程序。第44届IEEE决策与控制会议·Zbl 1077.68059号
[25] Yoo T-S，Lafortune S（2002a）离散事件系统分散监督控制的一般架构。事件动态系统理论应用12（3）：335-377，7月·Zbl 1048.93067号 ·doi:10.1023/A:1015625600613
[26] Yoo T-S，Lafortune S（2002b）部分观测离散事件系统可诊断性的多项式时间验证。IEEE Trans Autom Control 47（9）：1491-1495，9月·Zbl 1364.93176号 ·doi:10.1109/TAC.2002.802763
[27] Yoo T-S，Lafortune S（2004）《有条件决策的分散监督控制：监督人的存在》。IEEE Trans Autom Control 49（11）：1886-1904，11月·Zbl 1365.93309号 ·doi:10.1109/TAC.2004.837595
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。