×
谢多·塞巴斯蒂安;克里斯托夫·莫尔万;苏菲·平奇纳特;埃尔文·马尔坎德

递归分片系统建模的无限状态系统的诊断和不透明度问题。 （英文） Zbl 1328.93166号

离散事件动态。系统。 25，编号1-2，271-294（2015）.
摘要：部分观测下离散事件系统的分析是一个重要的课题，具有信息流检测和故障行为诊断等重要应用。大多数情况下，递归系统的经典模型（如下推系统和递归状态机）都没有解决这些问题。在本文中，我们考虑递归平铺系统，它们是由有限集合生成的递归无限系统瓷砖，确定性图形语法的简化变体（比下推系统更通用）。由于这些系统在一般情况下都是无限状态的，因此用于监测的电力装置结构并不总是适用。我们展示了递归tile系统的可计算条件，并给出了产生监控器有效计算的非平凡构造。我们将这些结果应用于基于状态的不透明度和可诊断性的经典问题（不透明度和诊断性的离线验证，以及运行时监控这些属性）。对于递归瓷砖系统的一个可判定子类，我们还建立了基于状态的不透明度和可诊断性问题的可判定性。

引用于7文件

MSC公司：

93元65角 离散事件控制/观测系统
93个B07 可观察性

关键词：

可诊断性;不透明度;离散事件系统;递归系统

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Chédor}等人，离散事件动态。系统。25，编号1--2，271--294（2015；Zbl 1328.93166）
全文： 内政部 哈尔

参考文献：

[1] Alur R，Etessami K，Yannakakis M（2001）递归状态机分析。包含：CAV，第2102卷。LNCS，第207-220页·Zbl 0991.68535号
[2] Alur R，Madhusudan P（2004）《明显的下推语言》。包含：STOC 04。ACM，第202-211页·Zbl 1192.68396号
[3] Badouel E、Bednarczyk M、Borzyszkowski A、Caillaud B、Darondeau P（2007）《并发秘密》。离散事件动态系统17:425-446·兹比尔1125.93320 ·doi:10.1007/s10626-007-0020-5
[4] Baldan P、Chatain T、Haar S、König B（2010）《基于展开的演化拓扑系统诊断》。信息计算208（10）：1169-1192。doi:10.1016/j.ic.2009.11.009·Zbl 1214.68242号 ·doi:10.1016/j.ic.2009.11.009
[5] Bouyer P、Chevalier F、D’Souza D（2005）《使用时间自动机进行故障诊断》。收录：FoSSaCS’05，第3441卷。爱丁堡LNCS，第219-233页·Zbl 1118.68374号
[6] Bryans J、Koutny M、MazaréL、Ryan P Y A（2008）《过渡系统的不透明度》。国际J Inf第7（6）节：421-435·doi:10.1007/s10207-008-0058-x
[7] Cassandras CG，Lafortune S（1999）离散事件系统简介。施普林格·Zbl 0934.93001号
[8] Cassez F（2009）时间不透明的黑暗面。摘自：第三届信息安全与保证国际会议记录（ISA’09），第5576卷。LNCS，首尔，第21-30页·Zbl 1214.68242号
[9] Cassez F、Dubreil J、Marchand H（2012）《静态和动态掩模不透明系统的合成》。表734方法系统设计40（1）：88-115·Zbl 1247.68161号
[10] Caucal D（2007）确定性图文法。收录：逻辑和游戏2文本，第169-250页·Zbl 1230.68121号
[11] Caucal D，Hassen S（2008）语法的同步。在：Hirsch E，Razborov A，Semenov A，Slissenko A（编辑）CSR，第5010卷。LNCS，Springer，第110-121页·Zbl 1142.68413号
[12] Chédor S，Jéron T，Morvan C（2013）递归瓷砖系统的测试生成。RIA RR-8206 Report de recherche公司。http://hal.iria.fr/hal-00778134 ·Zbl 1354.68056号
[13] Chédor S，Jéron T，Morvan C（2012）递归瓷砖系统的测试生成。摘自：Brucker A，Julliand J（eds）第六届国际测试与证明会议，第7305卷。LNCS，捷克共和国布拉格，第99-114页。http://hal.iria.fr/hal-00743941，捷克共和国布拉格，第99114页·兹比尔1354.68056
[14] Courcelle B（1990）《理论计算机科学手册》，第章，图重写：代数和逻辑方法。爱思唯尔·Zbl 1214.68242号
[15] Dubreil J，Jéron T，Marchand H（2009）《通过诊断技术监测保密性》。输入：ECC。匈牙利布达佩斯，第2584-2590页
[16] Hélouet L，Gazagnaire T，Genest B（2006）《情景诊断》。摘自：第八届离散事件系统国际研讨会论文集，WODES’06，第307-312页·Zbl 1302.93147号
[17] Hélouet L、Marchand H、Genest B、Gazagnaire T（2013）《情景诊断与应用》。离散事件动态系统、理论与应用·Zbl 1302.93147号
[18] Jéron T，Marchand H，Pinchinat S，Cordier M O（2006）离散事件系统诊断中的监督模式。包含：WODES'06，第262-268页
[19] 姜S，黄Z，Chandra V，Kumar R（2000）离散事件系统可诊断性测试的多项式算法。IEEE变速器自动控制46:1318-1321·Zbl 1008.93053号 ·数字对象标识代码：10.1109/9.940942
[20] Kobayashi K，Hiraishi K（2013），下推系统的不透明度和可诊断性验证。应用数学杂志·Zbl 1266.93096号
[21] Morvan C，Pinchinat S（2009），下推系统的可诊断性。在：HVC2009，海法验证会议，第6405卷。LNCS，海法，第21-33页·Zbl 1272.93084号
[22] Saboori A，Hadjicostis C（2008）des安全应用中初始状态不透明性的验证。2008年：第九届离散事件系统国际研讨会。WODES 2008，第328-333页
[23] Saboori A.，Hadjicostis C.N.（2012）《无限步不透明度和复杂性考虑的验证》。IEEE Trans Automat控制57（5）：1265-1269·Zbl 1369.93110号 ·doi:10.1109/TAC.2011.2173774
[24] Sampath M、Sengupta R、Lafortune S、Sinaamohideen K、Teneketzis D（1995）离散事件系统的可诊断性。IEEE Trans Autom Control 40（9）：1555-1575·Zbl 0839.93072号 ·doi:10.1109/9.412626
[25] Sampath M、Sengupta R、Lafortune S、Sinaamohideen K、Teneketzis D（1996）《使用离散事件模型进行故障诊断》。IEEE变速器控制系统技术4（2）：105-124·doi:10.1009/87.486338
[26] Tripakis S（2002）《时间自动机的故障诊断》。收录：Damm W，Olderog ER（eds）FTRTFT，第2469卷。LNCS，Springer，第205-224页·Zbl 1278.68140号
[27] Ushio T，Onishi I，Okuda K（1998）基于错误行为的petri网模型的故障检测。IEEE Int-Conf Syst Man Cybernet 1（1）：113-118
[28] Wu YC，Lafortune S（2013）集中与协调建筑中不透明相关概念的比较分析。离散事件动态系统23:307-339·Zbl 1272.93084号 ·doi:10.1007/s10626-012-0145-z
[29] Yoo TS，Lafortune S（2002）部分观测离散事件系统可诊断性的多项式时间验证。IEEE Trans Autom Control 47（3）：1491-1495·Zbl 1364.93176号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。