×
詹弗兰科·兰佩蒂;玛丽娜·扎内拉;赵祥福

深层离散排气系统的诊断。 （英语） Zbl 1497.68314号

J.阿蒂夫。智力。研究（JAIR） 69, 1473-1532 (2020).
摘要：提出了一种用于一类离散事件系统（DES）的基于诱拐的诊断技术，称为深度DES（DDES）。DDES具有树状结构，其中每个节点是一个通信自动机网络，称为活动单元（AU）。非盟内部各组成部分的相互作用会引发突发事件。当特定组件共同执行与给定正则语言匹配的转换序列时，会发生紧急事件。出现在AU中的任何事件都会触发父AU中组件的转换。我们说DDES具有深层行为，即AU的行为不仅受AU内组件交换的事件控制，还受子AU中出现的事件控制。深层行为不仅是生物（包括人类）的特征，也是人工制品的特征，例如在不同抽象级别的上下文中操作的机器人。令人惊讶的是，实验结果表明，系统的层次复杂性转化为诊断任务的计算复杂性的降低。因此，诊断技术被证明是（形式上）正确的以及（经验上）有效的。

引用于1文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
65年第68季度 形式语言和自动机
93元65角 离散事件控制/观测系统

关键词：

诊断

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\文本{G.Lamperti}等人，J.Artif。智力。研究（JAIR）69，1473-1532（2020；Zbl 1497.68314）
全文： 内政部

参考文献：

[1] Atay，F.和Jost，J.（2004）。在复杂系统出现的基础上，协调其要素的复杂行为：同步性和复杂性。复杂性，10（1），17-22。
[2] Baroni，P.、Lamperti，G.、Pogliano，P.和Zanella，M.（1998年）。主动系统诊断。第十三届欧洲人工智能会议（ECAI 1998），第274-278页，英国布莱顿·Zbl 0996.68209号
[3] Baroni，P.、Lamperti，G.、Pogliano，P.和Zanella，M.（1999）。大型主动系统的诊断。人工智能，110（1），135-183·Zbl 0996.68209号
[4] Baroni，P.、Lamperti，G.、Pogliano，P.和Zanella，M.（2000年）。一类分布式离散事件系统的诊断。IEEE系统、人与控制论汇刊-A部分：系统与人，30（6），731-752。
[5] Bossomaier，T.和Green，D.（2007年）。复杂系统。剑桥大学出版社，剑桥。
[6] Brand，D.和Zafiropulo，P.（1983年）。关于通信有限状态机。美国医学会杂志，30（2），323-342·Zbl 0512.68039号
[7] Cassandras，C.和Lafortune，S.（2008年）。离散事件系统简介（第二版）。纽约州施普林格·Zbl 1165.93001号
[8] Chittaro，L.和Ranon，R.（2004）。基于结构抽象的层次化模型诊断。人工智能，155（1-2），147-182·Zbl 1085.68723号
[9] Console，L.、Picardi，C.和Dupr´e，D.T.（2003）。时态决策树：车载动态系统的基于模型的诊断。《人工智能研究杂志》，19469-512·Zbl 1026.68123号
[10] Darwiche，A.（1998年）。使用结构化系统描述进行基于模型的诊断。人工智能研究杂志，8165-222·兹伯利0891.68098
[11] Darwiche，A.和Provan，G.（1996年）。在离散事件系统的基于模型诊断中开发系统结构。第七届诊断原理国际研讨会（DX 1996），第95-105页，加拿大蒙特利尔。
[12] de Kleer，J.、Mackworth，A.K.和Reiter，R.（1992年）。描述诊断和系统。人工智能，56（2-3），197-222·Zbl 0772.68085号
[13] de Kleer，J.和Williams，B.（1987年）。诊断多个故障。人工智能，32（1），97-130·Zbl 0642.94045号
[14] Dechter，R.（2003）。约束处理。摩根-考夫曼人工智能系列。Morgan Kaufmann出版社，加利福尼亚州旧金山。
[15] Goles，E.和Martinez，S.（编辑）。(2001).复杂系统。施普林格，多德雷赫特，荷兰。
[16] Hamscher，W.、Console，L.和de Kleer，J.（编辑）。(1992).基于模型的诊断中的读数。Morgan Kaufmann，加利福尼亚州圣马特奥。
[17] Harel，D.（1987）。状态图：复杂系统的可视化形式主义。计算机程序设计科学，8（3），231-274·Zbl 0637.68010号
[18] Huang，C.和Darwiche，A.（1996年）。信念网络中的推理：程序指南。国际近似推理杂志，15（3），225-263·Zbl 0941.68767号
[19] Idghamishi，A.和Zad，S.（2004年）。分层离散事件系统的故障诊断。第43届IEEE决策与控制会议，第63-68页，巴哈马天堂岛。
[20] J´eron，T.、Marchand，H.、Pinchinat，S.和Cordier，M.（2006）。离散事件系统诊断中的监督模式。第十七届诊断原理国际研讨会（DX 2006），第117-124页，西班牙杜埃罗佩纳兰达。
[21] Jiang，S.、Huang，Z.、Chandra，V.和Kumar，R.（2001）。测试离散事件系统可诊断性的多项式算法。IEEE自动控制汇刊，46（8），1318-1321·Zbl 1008.93053号
[22] Kan John，P.和Grastien，A.（2008年）。用于离散系统诊断的局部一致性和连接树。第十八届欧洲人工智能会议（ECAI 2008），第209-213页，希腊帕特拉斯。阿姆斯特丹IOS出版社。
[23] Khalastchi，E.和Kalech，M.（2018年）。机器人系统中的故障检测和诊断。ACM计算。调查。，51（1）中。
[24] Lamperti，G.和Quarenghi，G.（2016年）。复杂离散通风系统的智能监测。在Czarnowski，I.、Caballero，A.、Howlett，R.和Jain，L.（编辑），智能决策技术2016，《智能创新、系统和技术》第56卷，第215-229页。瑞士施普林格国际出版公司。
[25] Lamperti，G.和Zanella，M.（2010年）。将语义注入离散事件系统的诊断中。第21届诊断原理国际研讨会（DX 2010），第233-240页，俄勒冈州波特兰。
[26] Lamperti，G.和Zanella，M.（2011年）。离散事件系统的上下文敏感诊断。Walsh，T.（Ed.），第二十二届国际人工智能联合会议（IJCAI 2011），第2卷，第969-975页，西班牙巴塞罗那。AAAI出版社。
[27] Lamperti，G.和Zanella，M.（2013年）。离散事件系统诊断复杂性的初步介绍。第24届诊断原理国际研讨会（DX 2013），第192-197页，以色列耶路撒冷。
[28] Lamperti，G.、Zanella，M.和Zhao，X.（2018a）。利用汇编知识对复杂主动系统进行诱骗性诊断。Thielscher，M.、Toni，F.和Wolter，F.（编辑），《知识表示和推理原则：第十六届国际会议论文集》（KR 2018），第464-473页，亚利桑那州坦佩。AAAI出版社。
[29] Lamperti，G.、Zanella，M.和Zhao，X.（2018b）。主动系统诊断简介。查姆施普林格·Zbl 1400.68011号
[30] Lamperti，G.、Zanella，M.和Zhao，X.（2018c）。复杂主动系统基于模型诊断的知识编译技术。在Holzinger，A.、Kieseberg，P.、Tjoa，A.M.和Weipple，E.（编辑），机器学习和知识提取，计算机科学讲稿第11015卷，第43-64页。查姆施普林格。
[31] Lamperti，G.和Zhao，X.（2013a）。高阶离散排气系统的诊断。在Cuzzocrea，A.、Kittl，C.、Simos，D.、Weipple，E.和Xu，L.（编辑）《信息系统和HCI中的可用性、可靠性和安全性》，计算机科学讲义第8127卷，第162-177页。施普林格，柏林，海德堡。
[32] Lamperti，G.和Zhao，X.（2013b）。高阶离散事件系统的规范和基于模型的诊断。IEEE系统、人与控制论国际会议（SMC 2013），第2342-2347页，英国曼彻斯特。
[33] Lamperti，G.和Zhao，X.（2014）。通过语义模式诊断主动系统。IEEE系统、人与控制论汇刊：系统，44（8），1028-1043。
[34] Lamperti，G.和Zhao，X.（2016a）。具有不确定时间观测的复杂主动系统的诊断。Buccafurri，F.、Holzinger，A.、Tjoa，A.M.和Weippl，E.（编辑），《信息系统中的可用性、可靠性和安全性》，第9817卷，《计算机科学体系结构笔记》，第45-62页。瑞士施普林格国际出版公司。
[35] Lamperti，G.和Zhao，X.（2016年b）。复杂主动系统的可行诊断。在IEEE系统、人与控制论国际会议（SMC 2016），第457-462页，布达佩斯。
[36] Licata，I.和Sakaji，A.（2008年）。涌现与组织物理学。世界科学·Zbl 1144.81005号
[37] Mozeti c，I.（1992年）。分层诊断。在Hamscher，W.、Console，L.和de Kleer，J.（编辑），基于模型的诊断中的阅读。摩根·考夫曼。
[38] Paoli，A.和Lafortune，S.（2008年）。一类分层状态机的可诊断性分析。离散事件动态系统杂志：理论与应用，18（3），385-413·Zbl 1171.93357号
[39] Pencol´e，Y.、Steinbauer，G.、M¨uhlbacher，C.和Trav´e-Massuy'es，L.（2018）。仅使用标称模型诊断离散事件系统。在Zanella，M.、Pill，I.和Cimatti，A.（编辑）中，
[40] Pill，I.和Quaritsch，T.（2013年）。操作员层面LTL规范的行为诊断。第二十届国际人工智能联合会议（IJCAI 2013），第1053-1059页。AAAI出版社。
[41] Pnueli，A.（1977年）。程序的时间逻辑。在第八届计算机科学基础年度研讨会上，SFCS’77，第46-57页，华盛顿特区，美国IEEE计算机学会。
[42] Reiter，R.（1987年）。从第一原理诊断的理论。人工智能，32（1），57-95·Zbl 0643.68122号
[43] Sampath，M.、Sengupta，R.、Lafortune，S.、Sinnamohideen，K.和Teneketzis，D.（1995）。离散通风系统的可诊断性。IEEE自动控制汇刊，40（9），1555-1575·Zbl 0839.93072号
[44] Sampath，M.、Sengupta，R.、Lafortune，S.、Sinnamohideen，K.和Teneketzis，D.（1996）。使用离散事件模型进行故障诊断。IEEE控制系统技术汇刊，4（2），105-124·Zbl 0941.68613号
[45] 舒曼，A.和黄，J.（2008）。可诊断性的可扩展连接树算法。第二十三届全国人工智能会议（AAAI 2008），第535-540页，伊利诺伊州芝加哥。
[46] Schuppan，V.（2012年）。关于LTL的不可满足和不可实现核心的概念。科学。计算。程序。，77（7-8），908-939·Zbl 1242.68075号
[47] Shenoy，P.和Shafer，G.（1986年）。通过局部计算传播信念函数。IEEE专家，1（3），43-52。
[48] Siddiqi，S.和Huang，J.（2007）。多故障的分层诊断。第20届国际人工智能联合会议（IJCAI 2007），第581-586页，印度海得拉巴。
[49] Siddiqi，S.和Huang，J.（2011）。通过抽象的顺序诊断。《人工智能研究杂志》，41329-365·Zbl 1221.68235号
[50] Stumptner，M.和Wotawa，F.（2001年）。诊断树结构系统。人工智能，127（1），1-29·Zbl 0971.68157号
[51] Su，R.和Wonham，W.（2005）。离散事件系统分布式故障诊断中的全局和局部一致性。IEEE自动控制汇刊，50（12），1923-1935·Zbl 1365.93303号
[52] Yoo，T。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。