一种基于信号时态逻辑在线监测器的统计模型检测方法

摘要

本发明公开了一种基于信号时态逻辑（Signal Temporal Logic,STL）在线监测器的统计模型检测方法，旨在有效验证信息物理融合系统的性质。具体实施步骤如下：对系统需要满足的性质约束用概率信号时态逻辑（Probabilistic STL，PRSTL）描述，解析出性质中STL描述的部分；根据STL的鲁棒性语义实现基于Simulink的STL在线监测器；使用STL在线监测器实时验证系统满足性质约束的鲁棒性值，并使用统计分析器对验证结果评估，得到满足系统性质的概率区间。本发明针对使用传统统计模型检测方法验证信息物理融合系统时，所面临的系统性质描述能力不足以及模型检测效率不高的问题，提出使用PRSTL描述系统性质，基于在线监测器验证单条仿真迹。该方法有效减少了模型验证单条仿真迹的时间，能够有效提高模型验证的效率。