×
法沙德·哈里奇;内克米耶·奥扎伊

网络物理系统中基于保证模型的故障检测：一种模型失效方法。 （英语） 兹比尔1400.93129

Automatica公司 93476-488（2018）.
摘要：本文针对以具有时变参数不确定性的隐藏模式切换仿射模型为代表的网络物理系统，提出了一种完善的故障检测方法。故障检测方法基于模型失效技术。特别是，采用集合成员法，将噪声输入输出数据与标称模型的行为集进行比较。如我们所示，这种集员检查可以简化为混合整数线性规划（MILP）问题的可行性，利用最先进的MILP解算器可以有效地解决该问题。在本文的第二部分中，给出了系统模型和故障模型，引入了（T）-可检测性的概念。如果一对系统和故障模型满足有限（T）的（T）-可检测性，则可以在不影响检测保证的情况下，以滚动时域的方式实现模型失效算法。此外，引入了弱可检测性的概念，将所提出的方法扩展到更具表现力的故障模型类，该类故障模型捕获模式序列上的语言约束。最后，以智能建筑辐射系统为例说明了该方法的有效性。

引用于11文件

MSC公司：

93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）
93个B07 可观察性
90立方厘米 混合整数编程

关键词：

故障检测;计算机物理系统;切换仿射模型;参数不确定性;混合整数线性规划;\（T\）-可检测性

软件：

甲骨文公司;YALMIP公司;CPLEX公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Harirchi}和\textit{N.Ozay}，自动化93，476--488（2018；Zbl 1400.93129）
全文： 内政部 arXiv公司

参考文献：

[1] 阿德南，N。；伊扎迪，I。；Chen，T.，关于带有死区和延迟时间的报警系统的预期检测延迟，《过程控制杂志》，21，9，1318-1331，（2011）
[2] 巴巴利，M。；Egerstedt，M.，路径可观测性和可控性是可判定的，（IEEE决策和控制会议，（2003）），5771-5776
[3] 巴巴利，M。；Egerstedt，M.，切换线性系统的可观测性，（混合系统：计算和控制，（2004），Springer），48-63·Zbl 1135.93320号
[4] 拜尔，C。；Katoen，J.，《模型检验原理》，第26202649卷，（2008），麻省理工学院出版社剑桥·Zbl 1179.68076号
[5] Beard，R.，通过自组织在线性系统中的故障适应，（1971年），麻省理工学院，（博士论文）
[6] Bemporad，A。；Morari，M.，《集成逻辑、动力学和约束的系统控制》，Automatica，35，3，407-427，（1999）·Zbl 1049.93514号
[7] Bertsimas，D。；Sim，M.，鲁棒二次曲线优化问题的可追踪近似，数学规划，107，1-2，5-36，（2006）·Zbl 1134.90026号
[8] Burkart，R.、Margellos，K.和Lygeros，J.（2011年）。风力涡轮机的非线性控制：基于切换线性系统和反馈线性化的方法。在IEEE决策与控制会议和欧洲控制会议；Burkart，R.、Margellos，K.和Lygeros，J.（2011年）。风力涡轮机的非线性控制：一种基于切换线性系统和反馈线性化的方法。在IEEE决策与控制会议和欧洲控制会议
[9] Cheng，Y.、Wang，Y.Sznaier，M.、Ozay，N.和Lagoa，C.（2012）。具有未知开关的切换arx系统模型验证的凸优化方法。在IEEE决策和控制会议；Cheng，Y.、Wang，Y.Sznaier，M.、Ozay，N.和Lagoa，C.（2012）。具有未知开关的切换arx系统模型验证的凸优化方法。在IEEE决策和控制会议
[10] Chong，M.、Wakaiki，M.和Hespanha，J.（2015）。对抗攻击下线性系统的可观测性。在美国控制会议；Chong，M.、Wakaiki，M.和Hespanha，J.（2015）。对抗攻击下线性系统的可观测性。在美国控制会议
[11] 德佩西斯，C。；Isidori，A.，非线性故障检测和隔离的几何方法，IEEE自动控制汇刊，46，6，853-865，（2001）·Zbl 1009.93003号
[12] De Santis，E.，《开关系统的位置可观测性概念》，《系统与控制快报》，60，10，807-814，（2011）·Zbl 1226.93033号
[13] De Santis，E。；Di Benedetto，M.D.，混合动力系统的可观测性，系统和控制的基础和趋势，3，4，363-540，（2016）
[14] 邓，Y。；D'Inocenzo，A。；Di Benedetto，M。；Di Gennaro，S。；Julius，A.，《带测量不确定性的混合自动机可诊断性验证》，IEEE自动控制汇刊，61，4，982-993，（2016）·Zbl 1359.68163号
[15] Ding，S.，《基于模型的故障诊断技术：设计方案、算法和工具》（2008），Springer Science&Business Media
[16] Egerstedt，M.和Babaali，M..（2005年）。一类离散时间切换线性系统的可观测性和可达性。在美国控制会议；Egerstedt，M.和Babaali，M..（2005年）。一类离散时间切换线性系统的可观测性和可达性。在美国控制会议
[17] Frank，P.（1993）。基于观测器的故障诊断进展。在故障诊断国际会议：TOOLDIAG；Frank，P.（1993）。基于观测器的故障诊断进展。在故障诊断国际会议：TOOLDIAG
[18] 加西亚，E。；Frank，P.，《基于确定性非线性观测器的故障诊断方法：调查》，《控制工程实践》，5，5，663-670，（1997）
[19] Gertler，J.，使用奇偶关系进行故障检测和隔离，控制工程实践，5，5，653-661，（1997）
[20] 格雷瓦尔，M。；Glover，K.，线性和非线性动力系统的可辨识性，IEEE自动控制汇刊，21,6833-837，（1976）·Zbl 0344.93022号
[21] 哈穆里，H。；Kinnaert，M。；El Yaagoubi，E.，基于观测器的非线性系统故障检测和隔离方法，IEEE自动控制汇刊，44,101879-1884，（1999）·Zbl 0956.93005号
[22] Harirchi，F.、Luo，Z.和Ozay，N.（2016）。多项式状态空间模型系统的模型验证和故障检测。在美国控制会议；Harirchi，F.、Luo，Z.和Ozay，N.（2016）。具有多项式状态空间模型的系统的模型（in）验证和故障检测。在美国控制会议
[23] 哈里奇，F&IFAC混合系统分析和设计会议；哈里奇，F&IFAC混合系统分析和设计会议
[24] CPLEX用户手册，国际商用机器公司，46，53，157，（2009）
[25] Isermann，R.，《通过参数估计和知识处理进行机器故障诊断——教程》，Automatica，29，4，815-835，（1993）·Zbl 0800.93155号
[26] Isermann，R.，《故障诊断系统：从故障检测到容错的介绍》（2006），Springer Science&Business Media
[27] Jones，H.，线性系统中的故障检测，（1973），麻省理工学院，（博士论文）
[28] Löfberg，J.（2004年）。Yalmip：MATLAB中用于建模和优化的工具箱。在IEEE计算机辅助控制系统设计国际研讨会；Löfberg，J.（2004年）。Yalmip：MATLAB中用于建模和优化的工具箱。在IEEE计算机辅助控制系统设计国际研讨会
[29] 卢·H。；Si，P.，线性控制系统的可辨识性，非线性分析。混合动力系统，3，1，21-38，（2009）·Zbl 1157.93304号
[30] Mariton，M.，《检测延迟、虚警率和控制系统的重新配置》，《国际控制杂志》，49，3，981-992，（1989）·Zbl 0675.93069号
[31] McIlraith，S。；比斯瓦斯，G。；克兰西，D。；Gupta，V.，《混合系统诊断》（Hybrid systems:Computation and control，（2000），Springer），282-295·兹比尔0938.93553
[32] Narasimhan，S。；Biswas，G.，混合系统的基于模型的诊断，IEEE系统、人类和控制论汇刊，A部分，37，3348-361，（2007）
[33] Nghiem，T.、Pappas，G.和Mangharam，R.（2013）。建筑物辐射系统基于事件的绿色调度。在美国控制会议；Nghiem，T.、Pappas，G.和Mangharam，R.（2013）。建筑物辐射系统基于事件的绿色调度。在美国控制会议
[34] Nikoukhah，R.，线性动力系统的保证主动故障检测和隔离，Automatica，34，11，1345-1358，（1998）·Zbl 0961.93006号
[35] 尼库哈，R。；Campbell，S.，《具有先验信息的不确定线性系统主动故障检测的辅助信号设计》，Automatica，42，2，219-228，（2006）·Zbl 1099.93024号
[36] Ozay，N.、Sznaier，M.和Lagoa，C.（2010年）。具有未知交换机的交换ARX系统的模型验证及其在活动监测中的应用IEEE决策和控制会议；Ozay，N.、Sznaier，M.和Lagoa，C.（2010年）。具有未知交换机的交换ARX系统的模型验证及其在活动监测中的应用IEEE决策和控制会议
[37] Ozay，N。；Sznaier，M。；Lagoa，C.，具有未知开关的切换仿射系统模型（in）验证的凸证书，IEEE自动控制汇刊，59，11，2921-2932，（2014）·Zbl 1360.93080号
[38] 潘·W。；袁，Y。；桑德伯格，H。；Gonçalves，J。；Stan，G.，非线性电力系统在线故障诊断，Automatica，55，27-36，（2015）·Zbl 1378.93139号
[39] Pasqualetti，F。；Dörfler，F。；Bullo，F.，《网络物理系统中的攻击检测和识别》，IEEE自动控制事务，58，11，2715-2729，（2013）·Zbl 1369.93675号
[40] 巴顿，R。；Chen，J.，基于观测器的故障检测和隔离：鲁棒性和应用，控制工程实践，5，5，671-682，（1997）
[41] 巴顿，R。；弗兰克·P。；Clark，R.，《动态系统故障诊断问题》（2013年），Springer Science&Business Media
[42] 雷蒙多，D.M。；Marseglia，G.R。；R.D.布拉茨。；Scott，J.K.，使用集值观测器进行保证故障诊断的闭环输入设计，Automatica，74，107-117，（2016）·Zbl 1348.93098号
[43] Rajah，V.（2014）。遏制数据泛滥。网址：http://www.oracle.com/us/corporate/profit/big-ideas/010312-vrajah-1917698.html；Rajah，V.（2014）。遏制数据泛滥。网址：http://www.oracle.com/us/corporate/profit/big-idea/010312-vrajah-1917698.html
[44] 拉曼，V。；唐泽，A。；萨迪格，D。；默里，R.M。；Seshia，S.A.，基于信号时序逻辑规范的反应合成，（混合系统：计算与控制，（2015），ACM），239-248·Zbl 1366.68180号
[45] Raman，R。；Grossmann，I.，基于逻辑的整数规划建模和计算技术，计算机与化学工程，18，7，563-578，（1994）
[46] Rosa，P.和Silvestre，C.（2011年）。离散线性时不变动态系统的可分辨性。在IEEE决策与控制会议和欧洲控制会议；Rosa，P.和Silvestre，C.（2011年）。离散线性时不变动态系统的可分辨性。在IEEE决策与控制会议和欧洲控制会议
[47] 罗莎，P。；Silvestre，C.，使用集值观测器的LPV系统故障检测和隔离：固定翼飞机的应用，控制工程实践，21，3，242-252，（2013）
[48] Rosa，P.、Silvestre，C.、Shamma，J.和Athans，M.（2010年）。使用集值观测器对LTV系统进行故障检测和隔离。在IEEE决策与控制会议；Rosa，P.、Silvestre，C.、Shamma，J.和Athans，M.（2010年）。使用集值观测器对LTV系统进行故障检测和隔离。在IEEE决策和控制会议
[49] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE自动控制汇刊，40，9，1555-1575，（1995）·Zbl 0839.93072号
[50] 斯科特·J·K。；芬代森，R。；R.D.布拉茨。；Raimondo，D.M.，使用zonotopes保证故障诊断的输入设计，Automatica，50，6，1580-1589，（2014）·Zbl 1296.93019号
[51] 羞耻，I。；Teixeira，A。；桑德伯格，H。；Johansson，K.，互联二阶系统的分布式故障检测，Automatica，47，12，2757-2764，（2011）·Zbl 1235.93052号
[52] Shoukry，Y。；努佐，P。；Puggelli，A。；Sangiovanni-Vincentelli，A。；Seshia，S。；Tabuada，P.，传感器攻击下网络物理系统的安全状态估计：可满足性模理论方法，IEEE自动控制事务，62，10，4917-4932，（2017）·Zbl 1390.93532号
[53] Simani，S。；范图齐，C。；Patton，R.，《使用识别技术的动态系统基于模型的故障诊断》（2003），Springer Science&Business Media
[54] 史密斯，R。；Doyle，J.，模型验证：鲁棒控制和识别之间的联系，IEEE自动控制汇刊，37，7，942-952，（1992）·兹比尔0767.93020
[55] Stoorvogel，A.、Niemann，H.和Saberi，A.（2001）。故障检测和隔离延迟。在美国控制会议；Stoorvogel，A.、Niemann，H.和Saberi，A.（2001）。故障检测和隔离延迟。在美国控制会议
[56] Sun，Z.，《切换线性系统：控制与设计》（2006），Springer Science&Business Media
[57] Sznaier，M.、Camps，O.、Ozay，N.和Lagoa，C.（2014）。在即将到来的数据洪流中生存：系统和控制视角。在IEEE决策和控制会议；Sznaier，M.、Camps，O.、Ozay，N.和Lagoa，C.（2014）。在即将到来的数据洪流中生存：系统和控制视角。在IEEE决策和控制会议
[58] Vidal，R.、Chiuso，A.和Soatto，S.（2002年）。跳跃线性系统的可观测性和可辨识性。在IEEE决策和控制会议；Vidal，R.、Chiuso，A.和Soatto，S.（2002年）。跳跃线性系统的可观测性和可辨识性。在IEEE决策和控制会议
[59] Wang，Z.、Harirchi，F.、Anand，D.、Tang，C.、Moyne，J.和Tilbury，D.（2018年）。基于冲突驱动的混合观测器异常检测。在美国控制会议；Wang，Z.、Harirchi，F.、Anand，D.、Tang，C.、Moyne，J.和Tilbury，D.（2018年）。基于冲突驱动的混合观测器异常检测。在美国控制会议
[60] 韦默，J。；Araujo，J。；阿莫扎德，M。；艾哈迈迪，S。；桑德伯格，H。；Johansson，K.，《网络物理系统中的参数不变执行器故障诊断及其在建筑自动化中的应用》，（网络物理系统控制，（2013），施普林格国际出版社），179-196·Zbl 1300.94132号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。