×
汤马斯·马斯托普斯；尹、香

模块化离散事件系统的可检测性、不透明性和A-可诊断性的复杂性。 （英语） Zbl 1415.93062号

Automatica公司 101, 290-295 (2019).
摘要：模块化离散事件系统被建模为有限自动机的并行组合。虽然确定单片系统的弱可检测性、不透明度和A诊断性是PSPACE完成的，但模块化系统的复杂性未知。我们证明，对于模块化系统，问题是EXPSPACE完备的，因此既没有多项式时间算法，也没有多项式空间算法来求解它们。虽然上限是对用于单片系统的PSPACE算法的自然修改，但下限需要一种新颖且非平凡的构造。我们进一步讨论了复杂性下降到PSPACE-complete的情况。

引用于9文件

MSC公司：

93个B07 可观察性
93元65角 离散事件控制/观测系统
68问题80 细胞自动机（计算方面）
65年第68季度 算法和问题复杂性分析
68瓦40 算法分析

关键词：

离散事件系统；有限自动机；可探测性；不透明度；A-可诊断性；复杂性

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit｛T.Masopust｝和\textit｛X.Yin｝，自动化101290-295（2019；Zbl 1415.93062）
全文： 内政部 arXiv公司

参考文献：

[1] 北伯特兰。；哈达德，S。；Lefaucheux，E.，概率系统诊断和可预测性基础，（FSTTCS.FSTTCS，LIPIcs，第29卷（2014）），417-429·Zbl 1360.68627号
[2] 卡桑德拉斯，C.G。；Lafortune，S.，离散事件系统简介（2008），Springer·Zbl 1165.93001号
[3] 卡塞兹，F。；Dubreil，J。；Marchand，H.，《带有静态和动态掩模的不透明系统的合成》，系统设计中的形式方法，40，1，88-115（2012）·Zbl 1247.68161号
[4] 陈，J。；科洛格鲁，C。；Hadjicostis，C.N。；Kumar，R.，离散事件系统随机可诊断性的修订测试，IEEE自动化科学与工程学报，15，1，404-408（2018）
[5] Feng，L.，离散事件系统的计算效率监督设计（2007），多伦多大学（博士论文）
[6] 冯·L。；Wonham，W.M.，《离散事件系统的监控体系结构》，IEEE自动控制汇刊，53，6，1449-1461（2008）·Zbl 1367.93361号
[7] 戈哈里，P。；Wonham，W.M.，《关于RW框架中监督控制设计的复杂性》，IEEE系统、人与控制论汇刊，B部分，30，5，643-652（2000）
[8] Gummadi，R。；辛格，N。；Sreenivas，R.S.，《模块化监控的可处理实例》，IEEE自动控制事务，56，7，1621-1635（2011）·Zbl 1368.93373号
[9] 希尔，R.C。；居里，J.E.R。；de Queiroz，M.H。；蒂尔伯里，D。；Lafortune，S.，基于多级分层接口的监控，Automatica，46，7，1152-1164（2010）·Zbl 1194.93136号
[10] 雅各布·R。；Lesage，J.-J。；Faure，J.-M.，《离散事件系统不透明度概述：模型、验证和量化》，《控制中的年度审查》，41135-146（2016）
[11] Komenda，J。；Masopus，T。；van Schuppen，J.H.，《重新审视离散事件系统的协调控制》，《离散事件动态系统：理论与应用》，25，1-2，65-94（2014）·Zbl 1417.93207号
[12] 勒杜克，R。；劳福德，M。；Wonham，W.M.，基于分层接口的监控第二部分：并行案例，IEEE自动控制事务，50，9，1336-1348（2005）·Zbl 1365.93297号
[13] Lin，F.，离散事件系统的不透明度及其应用，Automatica，47，3，496-503（2011）·Zbl 1216.93020号
[14] Masopust，T.，模块化监督控制中验证非阻塞性的复杂性，IEEE自动控制汇刊，63，2602-607（2017）·Zbl 1390.93529号
[15] Masopus，T.，《决定离散事件系统可检测性的复杂性》，Automatica，93，257-261（2018）·Zbl 1400.93188号
[16] Masopus，T.和Yin，X.（2017年）。模块化离散事件系统的可检测性、不透明度和可诊断性的复杂性，ArXiv报告，abs/1710.02877，URLhttp://arxiv.org/abs/1710.02877; Masopus，T.和Yin，X.（2017年）。模块化离散事件系统的可检测性、不透明度和可诊断性的复杂性，ArXiv报告，abs/1710.02877，URLhttp://arxiv.org/abs/1710.02877
[17] Meyer，A.R。；Stockmeyer，L.J.，带平方的正则表达式的等价问题需要指数空间，（SWAT（1972）），125-129
[18] 罗洛夫，K。；Lafortune，S.，PSPACE-模块监控问题的完备性，离散事件动态系统：理论与应用，15，2，145-167（2005）·Zbl 1059.93092号
[19] 萨布里，A。；Hadjicostis，C.N.，《离散事件系统中的安全和不透明概念》（IEEE决策和控制会议（2007）），5056-5061
[20] 萨布里，A。；Hadjicostis，C.N.，模块化离散事件系统中初始状态不透明度的降低复杂性验证，（WODES（2010）），78-83
[21] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE自动控制汇刊，40，9，1555-1575（1995）·Zbl 0839.93072号
[22] 施密特，K。；Cury，J.E.R.，模块化离散事件系统监控的高效抽象，IEEE自动控制汇刊，57，12，3224-3229（2012）·Zbl 1369.93383号
[23] 舒，S。；Lin，F.，离散事件系统的广义可检测性，《系统与控制快报》，60，5，310-317（2011）·Zbl 1214.93066号
[24] 舒，S。；林，F。；Ying，H.，离散事件系统的可检测性，IEEE自动控制汇刊，52，12356-2359（2007）·Zbl 1366.93366号
[25] 斯特恩斯，R.E。；Hartmanis，J。；Lewis I.I.，P.M.，《内存有限计算的层次结构》（FOCS（1965）），179-190年·Zbl 0229.02033号
[26] 托斯利，D。；Teneketzis，D.，随机离散事件系统的可诊断性，IEEE自动控制汇刊，50，4，476-492（2005）·Zbl 1365.93478号
[27] 尹，X。；Lafortune，S.，模块离散事件系统一类观测属性的验证复杂性，Automatica，83，199-205（2017）·Zbl 1373.93220号
[28] 扎伊顿，J。；Lafortune，S.，《离散事件系统故障诊断方法概述》，《控制年度回顾》，37，2，308-320（2013）
[29] Zhang，K.，《确定离散事件系统弱（周期）可检测性的问题是PSPACE-complete，Automatica，81，217-220（2017）》·Zbl 1372.93143号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。