×

混合系统可诊断性分析的抽象细化。 (英语) Zbl 1461.93236号

Sayed-Mouchaweh,Moamar(编辑),混合动态和网络物理系统的可诊断性、安全性和安全性。查姆:施普林格。279-318 (2018).
在本章中,作者提出了混合系统可诊断性分析的抽象细化。作者首先提出了混合自动机形式,并定义了混合系统的可诊断性。给出了在定义精化关系的同时构造混合自动机抽象的形式化框架。给出了适用于可诊断性验证的反例引导抽象求精(CUGAR)方案,并给出了一个实例来说明该方案。
关于整个系列,请参见[Zbl 1417.68011号].

MSC公司:

93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统)
93个B07 可观测性
93元65角 离散事件控制/观测系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] M.Althoff,O.Stursberg,M.Buss,使用分区和多面体的组合计算混合系统的可达集。非线性分析。混合系统。4(2), 233-249 (2010) ·Zbl 1201.93017号
[2] R.Alur,D.L.Dill,时间自动机理论。西奥。计算。科学。126(2), 183-235 (1994) ·Zbl 0803.68071号
[3] R.Alur,T.Dang,F.Ivančić,混合系统的反例引导谓词抽象。西奥。计算。科学。354(2)、250-271(2006)·Zbl 1088.68096号
[4] S.Ault,E.Holmgreen,布鲁塞尔人动力学。学术界(2009年)
[5] M.Basseville,M.Kinnaert,M.Nyberg,关于故障可检测性和可隔离性。Eur.J.控制。7(6), 625-641 (2001) ·Zbl 1293.68062号 ·doi:10.3166/ejc.7.625-637
[6] M.Bayoudh,L.Travé-Massuyès,离散事件框架中混合系统的可诊断性分析。离散事件动态。系统。24(3),309-338(2014)·Zbl 1307.93247号 ·doi:10.1007/s10626-012-0153-z
[7] M.Bayoudh,L.Travé-Massuyès,X.Olive,通过抽象故障连续动力学的混合系统可诊断性,第17届诊断原理国际研讨会论文集(DX'06)(2006),第9-15页
[8] M.Bayoudh,L.Travé-Massuyès,X.Olive,混合系统可诊断性分析的耦合连续和离散事件系统技术,《第18届欧洲人工智能会议论文集》(ECAI-08),Patras(2008),第219-223页
[9] M.Bayoudh,L.Travé-Massuyès,X.Olive,由可诊断性属性指导的混合系统主动诊断。IFAC程序。第42卷(8),1498-1503(2009)·doi:10.3182/20090630-4-ES-2003.00244
[10] G.Behrmann、A.David、K.G.Larsen,《Uppaal教程》,摘自《实时系统设计的形式方法》(Springer,柏林,2004),第200-236页·Zbl 1105.68350号 ·doi:10.1007/978-3-540-30080-97
[11] S.Biswas、D.Sarkar、S.Mukhopadhyay、A.Patra,实时混合系统的可诊断性分析,《IEEE国际工业技术会议论文集》(ICIT’06),孟买(2006),第104-109页
[12] O.Botchkarev,S.Tripakis,使用椭球近似验证线性微分包含的混合系统,《第三届混合系统:计算与控制国际研讨会论文集》(HSCC'00)。LNCS,第1790卷(施普林格,柏林,2000),第73-88页·Zbl 1037.93510号
[13] M.Bozga、C.Daws、O.Maler、A.Olivero、S.Tripakis、S.Yovine、Kronos:实时系统的模型检查工具,《实时和容错系统中的形式化技术国际研讨会》(Springer,柏林,1998),第298-302页·doi:10.1007/BFb0055357
[14] L.Brandán Briones,A.Lazovik,P.Dague,为可诊断性优化系统可观测性水平,第三届利用形式方法应用、验证和确认国际研讨会论文集(ISoLA08),Chalkidiki,Kassandra(2008)
[15] J.Chen,R.Patton,《重审奇偶空间和基于观测器的故障诊断方法之间的关系》,载于《IFAC技术系统安全过程故障检测、监督和安全研讨会论文集》94,赫尔辛基(1994),第590-596页
[16] A.Cimatti,C.Pecheur,R.Cavada,《通过符号模型检查对可诊断性进行形式验证》,载于《第十八届国际人工智能联合会议论文集》(IJCAI-03)(2003年),第363-369页
[17] A.Cimatti、S.Mover、S.Tonetta,混合系统基于SMT的场景验证。形式方法系统。设计。42(1), 46-66 (2013) ·Zbl 1284.03216号 ·doi:10.1007/s10703-012-0158-0
[18] A.Cimatti,A.Griggio,S.Mover,S.Tonetta,HyComp:基于SMT的混合系统模型检查器,《第21届系统构建和分析工具与算法国际会议论文集》(TACAS-2015),伦敦(2015),第52-67页
[19] V.Cockempot,T.E.Mezyani,M.Staroswiecki,使用结构化奇偶校验残差的混合系统故障检测和隔离,《IEEE/IFC-ASCC:亚洲控制会议论文集》,第2卷,墨尔本(2004),第1204-1212页
[20] M.J.Daigle,基于事件的混合系统故障诊断定性方法。范德比尔特大学博士论文,2008年
[21] M.Daigle,X.Koutsoukos,G.Biswas,《基于事件的混合系统可诊断性方法》,第19届诊断原理国际研讨会论文集(DX'08)(2008),第47-54页
[22] M.J.Daigle,D.Koutsoukos,G.Biswas,混合系统中基于事件的综合参数和离散故障诊断方法。事务处理。仪器测量。控制。(混合动力和开关系统特刊)32(5),487-510(2010)
[23] M.J.Daigle、I.Roychoudhury、G.Biswas、D.Koutsoukos、A.Patterson-Hine、S.Poll,《复杂混合系统的综合诊断方法:航天器配电系统的案例研究》。IEEE传输。系统。人类网络。A部分(基于模型的诊断专刊:现实世界应用面临的挑战)4(5),917-931(2010)
[24] Y.Deng,A.D’Innocenzo,M.D.Di Benedetto,S.Di Gennaro,A.A.Julius,《混合自动机可诊断性与测量不确定性的验证》。IEEE传输。自动。控制61(4),982-993(2016)·Zbl 1359.68163号 ·doi:10.10109/TAC.2015.245111
[25] O.Diene,E.R.Silva,M.V.Moreira,《混合系统可诊断性的分析与验证》,载于第53届IEEE决策与控制会议(CDC-14)(IEEE,纽约,2014),第1-6页·doi:10.1109/CDC.2014.7039350
[26] O.Diene,M.V.Moreira,V.R.Alvarez,E.R.Silva,混合系统可诊断性验证的计算方法,《IEEE控制应用会议论文集》(CCA-15)(IEEE,纽约,2015),第382-387页
[27] S.Ding,《基于模型的故障诊断技术:设计方案、算法和工具》(Springer,伦敦,2008)
[28] C.Edmund,F.Ansgar,H.Zhi,K.Bruce,S.Olaf,T.Michael,《基于反例引导的抽象求精的混合系统验证》,载于《系统构建和分析工具和算法国际会议论文集》(TACAS-2003),由H.Garavel,J.Hatcliff编辑。计算机科学讲义,第2619卷(Springer,Cham,2003),第192-207页·Zbl 1031.68078号
[29] G.Forlas,K.Kyriakopoulos,N.Krikelis,混合系统的可诊断性,《第十届地中海控制与自动化会议论文集》(MED-2002),里斯本(2002),第3994-3999页
[30] J.-P.Gallois,J.-Y.Pierron,复杂混合系统的定性模拟和验证,《第八届欧洲嵌入式实时软件和系统大会论文集》(ERTS-2016),图卢兹(2016)
[31] S.Gao,S.Kong,E.Clarke,模ODE的可满足性,《计算机辅助设计的形式化方法》(FMCAD)(2013)
[32] V.Germanos,S.Haar,V.Khomenko,S.Schwoon,《弱公平下的可诊断性》,载于《第十四届系统设计并行应用国际会议论文集》(ACSD’14),突尼斯(IEEE计算机社会出版社,纽约,2014)
[33] J.Gertler,《工程系统中的故障检测和诊断》(Marcel Dekker,纽约,1998)
[34] A.Grastien,可诊断性的符号测试,载于《第20届诊断原理国际研讨会论文集》(DX-09)(2009年),第131-138页
[35] A.Grastien,L.Travé-Massuyès,V.Puig,通过抽象和离散事件技术解决混合系统的可诊断性,第27届诊断原理国际研讨会论文集(DX-16)(2016)
[36] S.Gulwani,A.Tiwari,《基于约束的混合系统分析方法》,载于《第20届计算机辅助验证国际会议论文集》(CAV-2008)(2008),第190-203页·Zbl 1155.68437号
[37] E.Hainry,动力系统中的可决定性和不可决定性。Recerche关系(CiteSeer,2009年)。http://hal.inria.fr/inria-00429965/en/
[38] T.A.Henzinger,《混合自动机理论》,载于第十一届IEEE计算机科学逻辑研讨会论文集(IEEE计算机社会出版社,加利福尼亚州洛斯阿拉米托斯,1996),第278-292页·Zbl 0959.68073号
[39] T.A.Henzinger,P.W.Kopke,A.Puri,P.Varaiya,混合自动机的决定因素是什么?,第27届计算理论年度研讨会论文集(ACM出版社,纽约,1995),第373-382页·Zbl 0978.68534号
[40] S.Jiang,Z.Huang,V.Chandra,R.Kumar,测试离散事件系统可诊断性的多项式算法。IEEE传输。自动。控制46(8),1318-1321(2001)·Zbl 1008.93053号 ·数字对象标识代码:10.1109/9.940942
[41] E.Kilic,模糊离散事件系统的可诊断性。信息科学。178(3), 858-870 (2008) ·Zbl 1128.93037号 ·doi:10.1016/j.ins.2007.09.009
[42] K.-D.Kim,S.Mitra,P.R.Kumar,用有限精度计算计算一类线性混合自动机的有界ε可达集,《ACM混合系统国际会议论文集:计算与控制》(2011)·Zbl 1362.68144号
[43] B.Kuipers,《定性推理:不完全知识的建模与仿真》(麻省理工学院出版社,马萨诸塞州剑桥,1994年)
[44] F.Liu,D.Qiu,随机离散事件系统的安全可诊断性。IEEE传输。自动。控制53(5),1291-1296(2008)·兹比尔1367.93620 ·doi:10.1109/TAC.2008.921035
[45] O.Maler,G.Batt,用时间自动机逼近连续系统,收录于《系统生物学的形式方法》(Springer,Berlin,2008),第77-89页·Zbl 1374.68262号 ·doi:10.1007/978-3-540-68413-86
[46] T.Melliti,P.Dague,《通用可诊断性定义和开放系统的检查:博弈结构方法》,《第21届诊断原理国际研讨会论文集》(DX'10),俄勒冈州波特兰(2010),第103-110页
[47] M.Nyberg,线性系统故障的可检测性和强可检测性准则。国际期刊控制。75(7), 490-501 (2002) ·Zbl 1031.93048号 ·doi:10.1080/00207170110121303
[48] Y.Pencolé,分布式离散事件系统的可诊断性分析,《第16届欧洲人工智能会议论文集》(ECAI-04)(2004),第43-47页
[49] Y.Pencolé,A.Subias,《离散时间事件系统的基于历史的可诊断性方法:网络服务应用》。J.通用计算。科学。15(17), 3246-3272 (2009) ·Zbl 1217.68046号
[50] P.Ribot,Y.Pencolé,分布式离散事件系统可诊断性的设计要求,第19届诊断原理国际研讨会论文集(DX'08),蓝山(2008),第347-354页
[51] J.Rintanen,《简洁过渡系统的诊断者和可诊断性》,载于《第20届国际人工智能联合会议论文集》(IJCAI-07),海得拉巴(2007),第538-544页
[52] M.Sampath,R.Sengupta,S.Lafortune,K.Sinnamohideen,D.Teneketzis,离散事件系统的可诊断性。事务处理。自动。控制40(9),1555-1575(1995)·Zbl 0839.93072号 ·doi:10.1109/9.412626
[53] A.Schumann,J.Huang,《可诊断性的可扩展联合树算法》,载于《第23届美国人工智能全国会议论文集》(AAAI-08)(2008),第535-540页
[54] D.Thorsley,D.Teneketzis,随机离散事件系统的可诊断性。IEEE传输。自动。控制50(4),476-492(2005)·Zbl 1365.93478号 ·doi:10.1109/TAC.2005.844722
[55] L.Travé-Massuyès、P.Dague、Modèles et rainstonments qualitatifs(爱马仕,巴黎,2003)
[56] L.Travé-Massuyès,M.Cordier,X.Pucel,《比较连续系统和离散事件系统中的可诊断性标准》,第六届IFAC技术过程故障检测、监督和安全研讨会论文集(2006年),北京(2006),第55-60页
[57] L.Travé-Massuyès,T.Escobet,X.Olive,基于组件支持的分析冗余关系的可诊断性分析。IEEE传输。系统。人类网络。A部分36(6),1146-1160(2006)·doi:10.1109/TSMCA.2006.878984
[58] S.Tripakis,时间自动机的故障诊断,发表在《实时和容错系统中的形式化技术国际研讨会论文集》(FTRTFT-2002)上。计算机科学讲义,第2469卷(柏林斯普林格,2002),第205-221页·Zbl 1278.68140号
[59] Y.Yan,L.Ye,P.Dague,分布式离散事件系统模式的可诊断性,《第21届诊断原理国际研讨会论文集》(DX'10),俄勒冈州波特兰(2010),第345-352页
[60] L.Ye,P.Dague,具有自主组件的离散事件系统的可诊断性分析,《第19届欧洲人工智能会议论文集》(ECAI-10)(2010),第105-110页·Zbl 1211.90063号
[61] T.-S.Yoo,S.Lafortune,部分观测离散事件系统可诊断性的多项式时间验证。IEEE传输。自动。控制47(9),1491-1495(2002)·Zbl 1364.93176号 ·doi:10.1109/TAC.2002.802763
[62] M.Yu,D.Wang,M.Luo,D.Zhang,Q.Chen,具有未知模式变化和故障模式的混合系统的故障检测、隔离和识别。专家系统。申请。39(11), 9955-9965 (2012) ·doi:10.1016/j.eswa.2012.01.103
[63] doi:10.1016/j.arcontrol.2013.09.009
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。