摘要
尤金·阿萨林(Eugene Asarin)、亚历山大·唐泽(Alexandre Donzé)、奥德德·马勒(Oded Maler)和德扬·尼科维奇(Dejan Nickovic)。 2011.时间特性的参数识别。 在 国际运行时核查会议。 斯普林格,147-160。 谷歌学者 数字图书馆 P.Frank和X.Ding。 1997年。基于观测器的故障检测系统中鲁棒残差生成和评估方法综述。 过程控制杂志 7, 6 (1997), 403--424. 谷歌学者 交叉引用 F.Harirchi和N.Ozay。 2018.网络物理系统中基于模型的有保障故障检测:模型失效方法。 Automatica公司 93 (2018), 476 -- 488. 谷歌学者 数字图书馆 克劳斯·哈维隆德和格里戈尔·罗什乌。 2004.运行时验证工具Java PathExplorer概述。 系统设计中的形式化方法 24, 2 (2004), 189--215. 谷歌学者 数字图书馆 R.Isermann。 2006 故障诊断系统:从故障检测到容错的介绍。 施普林格科技与商业媒体。 谷歌学者 Reza Olfati-Saber和Richard M Murray。 2004.具有切换拓扑和延迟的代理网络中的共识问题。 IEEE传输。 自动化。 控制 49, 9 (2004), 1520--1533. 谷歌学者 交叉引用 托马斯·莱因巴赫(Thomas Reinbacher)、克里斯汀·伊冯·罗泽尔(Kristin Yvonne Rozier)和约翰·舒曼(Johann Schumann)。 2014.实时系统系统健康管理的基于时间逻辑的运行时观测器对。 在 系统构造和分析工具和算法国际会议。 施普林格,357-372。 谷歌学者 交叉引用 Meera Sampath、Raja Sengupta、Stephane Lafortune、Kasim Sinnamohideen和Demostennis C Teneketzis。 1996.使用离散事件模型进行故障诊断。 IEEE控制系统技术汇刊 4,2(1996),105-124。 谷歌学者 交叉引用 罗伊·史密斯和约翰·多伊尔。 1992.模型验证:鲁棒控制和识别之间的联系。 IEEE传输。 自动垫。 控制 37, 7 (1992), 942--952. 谷歌学者 交叉引用 G.J.特雷特曼。 1992 一种正式的一致性测试方法。 荷兰特温特大学博士论文。 谷歌学者 J.特雷特曼。 1996.使用输入、输出和静止进行测试生成。 在 系统构建和分析工具和算法国际研讨会论文集。 127--146. 谷歌学者 数字图书馆
索引术语
将LTL监控与模型失效相结合以改进混合系统的故障检测能力分析:海报摘要
建议
光伏能量采集系统的在线故障检测与容错 ICCAD’12:计算机辅助设计国际会议论文集 光伏集能系统(PV系统)容易发生光伏电池故障,这会降低光伏系统的效率,甚至缩短光伏系统的寿命。 手动光伏电池故障检测和排除成本高昂,几乎不可能。。。