将LTL监控与模型失效相结合以改进混合系统的故障检测能力分析：海报摘要

在这项工作中，我们考虑了切换仿射动力学控制系统中故障的可检测性分析。所谓故障，是指系统动力学的突然和永久变化。给定健康系统的模型，可以通过模型失效方法来检测这种故障，即，通过收集有限范围内的历史观测值，并检查这些观测值是否可以由健康系统模型生成。只要故障系统模型也可用，就可以找到T、，地平线的最小长度，保证最终检测到故障（具有T型-最多延迟）。这项工作的主要贡献是显示降低T处，通过对开关信号（如果有）附加线性时序逻辑（LTL）约束来增强故障可检测性分析。我们用非确定性有限自动机（NFA）表示LTL约束（限制在有限范围内），然后将其转换为一组混合整数线性约束，可以很容易地集成到可检测性分析中。