×
Lilian K·卡瓦略。;乔昂·C·巴西利奥。;马科斯·莫雷拉五世。

针对观测值的间歇性丢失对离散事件系统进行稳健诊断。 （英语） Zbl 1258.93077号

Automatica公司 48，第9期，2068-2078（2012）.
摘要：在离散事件系统故障诊断的常用方法中，假设不仅所有传感器都能正常工作，而且传感器报告的所有信息都能到达诊断器。传感器和诊断仪之间的任何不良传感器操作或通信故障都可以被视为初始假设为可观测事件的观测丢失。在这种情况下，可能是诊断人员静止不动，或者报告有关故障发生的错误信息。在本文中，我们假设观测值可能会出现间歇性丢失，并且我们提出了一个基于新的语言操作（语言膨胀）的自动机模型，该模型考虑了这一点。我们将此问题称为针对间歇性观测损失的稳健诊断能力（简单地说就是稳健诊断能力）。我们根据原始自动机生成的语言提出了鲁棒可诊断性的充分必要条件，并提出了两种鲁棒语言可诊断性测试，一种是部署诊断器的测试，另一种是使用验证器的测试。我们还将结果扩展到针对间歇性观测损失的稳健共同诊断性。

引用于23文件

MSC公司：

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

关键词：

离散事件系统;故障诊断;鲁棒可诊断性;自动机;间歇性观测损失;健壮的语言;语言膨胀

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{L.K.Carvalho}等人，Automatica 48，第9期，2068--2078（2012；Zbl 1258.93077）
全文： 内政部

参考文献：

[1] Athanasopoulou，E。；Lingxi，L。；Hadjicostis，C.，不可靠观测下有限状态机的最大似然故障诊断，IEEE自动控制事务，55，3，579-593（2010）·Zbl 1368.93365号
[2] Basilio，J.C.和Lafortune，S.（2009年）。离散事件系统的鲁棒协诊断性。在程序。美国控制会议; Basilio，J.C.和Lafortune，S.（2009年）。离散事件系统的鲁棒协诊断性。在程序。美国控制会议
[3] 巴西利奥，J.C。；利马，S.T.S。；Lafortune，S。；Moreira，M.V.，《确保可诊断性的最小事件基的计算》，《离散事件动态系统：理论与应用》（2012）·Zbl 1252.93082号
[4] Carvalho，L.K.、Basilio，J.C.和Moreira，M.V.（2010年）。传感器间歇性故障下离散事件系统的鲁棒诊断能力。在程序。第十届离散事件系统国际研讨会; Carvalho，L.K.、Basilio，J.C.和Moreira，M.V.（2010年）。传感器间歇性故障下离散事件系统的鲁棒诊断能力。在程序。第十届离散事件系统国际研讨会
[5] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》（2008），Springer:Springer New York·Zbl 1165.93001号
[6] 康坦特，O。；Lafortune，S。；Teneketzis，D.，模块化结构离散事件系统的可诊断性，离散事件动态系统：理论与应用，16，1，9-37（2006）·Zbl 1134.93306号
[7] Debouk，R。；Lafortune，S。；Teneketzis，D.，离散事件系统故障诊断的协调分散协议，离散事件动态系统：理论与应用，10，33-86（2000）·Zbl 0959.93039号
[8] 库马尔，R。；Takai，S.，《分散决策中基于推理的模糊管理：离散事件系统的分散诊断》，IEEE自动化科学与工程学报，6，3，479-491（2009）
[9] Lima，S.T.S.、Basilio，J.C.、Lafortune，S.和Moreira，M.V.（2010年）。针对传感器永久性故障的离散事件系统进行稳健诊断。在程序。第十届离散事件系统国际研讨会; Lima，S.T.S.、Basilio，J.C.、Lafortune，S.和Moreira，M.V.（2010年）。针对传感器永久性故障的离散事件系统进行稳健诊断。在程序。第十届离散事件系统国际研讨会
[10] Lin，F.，离散事件系统的可诊断性及其应用，离散事件动态系统：理论与应用，4，2197-212（1994）·Zbl 0800.93030号
[11] Moreira，M.V.、Jesus，T.C.和Basilio，J.C.（2010年）。离散事件系统分散可诊断性的多项式时间验证。在程序。美国控制会议; Moreira，M.V.、Jesus，T.C.和Basilio，J.C.（2010年）。离散事件系统分散可诊断性的多项式时间验证。在程序。美国控制会议
[12] 莫雷拉，M.V。；耶稣，T.C。；Basilio，J.C.，离散事件系统分散可诊断性的多项式时间验证，IEEE自动控制汇刊，56，7，1679-1684（2011）·Zbl 1368.93384号
[13] 邱伟。；Kumar，R.，离散事件系统的分散故障诊断，IEEE系统、人与控制论汇刊，A部分：系统与人，36，2，384-395（2006）
[14] Ramadge，P.J。；Wonham，W.M.，《离散事件系统的控制》，IEEE会议录，77，81-98（1989）·Zbl 0595.93047号
[15] Rohloff，K.R.（2005）。传感器容错监控。在第44届IEEE决策与控制会议和欧洲控制会议; Rohloff，K.R.（2005）。传感器容错监控。在第44届IEEE决策与控制会议和欧洲控制会议
[16] Sampath，M。；森古普塔，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE自动控制汇刊，401555-1575（1995）·Zbl 0839.93072号
[17] 盛兵，J。；中东，H。；Chandra，V。；Kumar，R.，测试离散事件系统可诊断性的多项式算法，IEEE自动控制汇刊，46，8，1318-1321（2001）·Zbl 1008.93053号
[18] Takai，S.（2010年）。部分观测离散事件系统的鲁棒故障诊断。在程序。第十届离散事件系统国际研讨会; Takai，S.（2010年）。部分观测离散事件系统的鲁棒故障诊断。在程序。第十届离散事件系统国际研讨会
[19] Thorsley博士。；Teneketzis，D.，随机离散事件系统的可诊断性，IEEE自动控制汇刊，50476-492（2005）·Zbl 1365.93478号
[20] Tripakis，S.，《时间自动机的故障诊断》（Damm，W.；Olderog，E.-R.，《实时和容错系统中的形式化技术》，计算机科学讲义，第2469卷（2002），Springer-Verlag），205-221·Zbl 1278.68140号
[21] Wang，Y。；Yoo，T.S。；Lafortune，S.，使用分散体系结构诊断离散事件系统，离散事件动态系统：理论与应用，17，2，233-263（2007）·Zbl 1115.93065号
[22] Yoo，T.S。；Lafortune，S.，部分观测离散事件系统可诊断性的多项式时间验证，IEEE自动控制汇刊，47，9，1491-1495（2002）·Zbl 1364.93176号
[23] 扎德·S·H。；Kwong，R.H。；Wonham，W.M.，《离散事件系统的故障诊断：框架和模型简化》，IEEE自动控制汇刊，48，7，1199-1212（2003）·Zbl 1364.93464号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。