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