×
克劳斯·施密特

离散事件系统基于抽象的故障诊断。 （英语） Zbl 1186.93044号

系统。控制信函。 59，第1期，42-47页（2010年）.
摘要：我们介绍了由多个子系统组成的大规模组合离散事件系统的基于抽象的可诊断性思想。为此，我们确定了充分条件，使得原始系统的可诊断性遵循较小状态空间上抽象系统模型的可诊断性能。此外，我们还证明了，如果满足了抽象的附加要求，那么反向蕴涵也是正确的。然后，我们展示了如何在不枚举整个系统状态空间的情况下，将我们的方法应用于计算用于组合系统可诊断性验证的抽象模型。通过这种方式，可以实现相当大的计算节省，如一个小型制造系统示例所示。

引用于6文件

MSC公司：

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

关键词：

离散事件系统;可诊断性;抽象
PDF格式BibTeX公司 XML格式引用
\textit{K.Schmidt}，系统。控制信函。59，编号1，42-47（2010；Zbl 1186.93044）
全文： 内政部

参考文献：

[1] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE自动控制汇刊，40，9，1555-1575（1995）·Zbl 0839.93072号
[2] Hashtrudi Zad，S。；Kwong，R。；Wonham，W.，《离散事件系统的故障诊断：框架和模型简化》，IEEE自动控制汇刊，48，7，1199-1212（2003）·Zbl 1364.93464号
[3] 邱伟。；Kumar，R.，离散事件系统的分散故障诊断，IEEE系统汇刊，人与控制论，A部分：系统与人，36，2，384-395（2006）
[4] 周，C。；库马尔，R。；Sreenivas，R.，并发离散事件系统的分散模块化诊断，（离散事件系统，国际研讨会，2008年），388-393
[5] Yoo，T.-S。；Garcia，H.E.，《部分观察到的离散事件系统中相关行为的诊断》，《系统与控制快报》，57，12，1023-1029（2008）·Zbl 1148.93024号
[6] 江，S。；黄，Z。；Chandra，V.公司。；Kumar，R.，测试离散事件系统可诊断性的多项式算法，IEEE自动控制汇刊，46，8，1318-1321（2001）·兹比尔1008.93053
[7] Yoo，T.-S。；Lafortune，S.，部分观测离散事件系统可诊断性的多项式时间验证，IEEE自动控制汇刊，47，9，1491-1495（2002）·兹比尔1364.93176
[8] Takai，S.，大型离散事件系统可诊断性的充分条件，（国际电路/系统、计算机和通信技术会议（2008）），321-324
[9] 保利，A。；Lafortune，S.，一类分层状态机的可诊断性分析，离散事件动态系统，18,3385-413（2008）·Zbl 1171.93357号
[10] W.M.Wonham，离散事件系统的监督控制，多伦多大学电气与计算机工程系，URLhttp://www.control.utoronto.ca/DES; W.M.Wonham，离散事件系统的监督控制，多伦多大学电气与计算机工程系，URLhttp://www.control.utoronto.ca/DES ·Zbl 0595.93047号
[11] Wong，K.C.，《离散事件系统投影的复杂性》，（在IEE离散事件系统研讨会（1998年）上），201-208
[12] Wong，K.C。；Wonham，W.M.，离散事件系统的分层控制，离散事件动态系统：理论与应用，6，3，241-273（1996）·Zbl 0898.93005号
[13] 施密特，K。；穆尔，T。；Perk，S.，分散离散事件系统的非阻塞分层控制，IEEE自动控制事务，53，10，2252-2265（2008）·Zbl 1367.93373号
[14] L.Feng，W.Wonham，《离散事件系统中自然观测器的计算》，离散事件动态系统：理论与应用，网址http://dx.doi.org/10.1007/s10626-008-0054-3; L.Feng，W.Wonham，《离散事件系统中自然观测器的计算》，离散事件动态系统：理论与应用，网址http://dx.doi.org/10.1007/s10626-008-0054-3 ·Zbl 1195.93081号
[15] 伯杰，B。；Shor，P.W.，最大非循环子图问题的紧界，算法杂志，25，1，1-18（1997）·Zbl 0888.68088号
[16] libFAUDES，Friedrich-Alexander大学离散事件系统库，2009，URLhttp://www.rt.eei.uni-erlangen.de/FGdes/faudes/index.php; libFAUDES，Friedrich-Alexander大学离散事件系统库，2009，URLhttp://www.rt.eei.uni-erlangen.de/FGdes/faudes/index.php
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。