时序逻辑鲁棒性的在线监测
系统与控制
2014-08-04 v1
摘要
本文提供了一种动态规划算法，用于在线监测带有过去时间算子的度量时序逻辑（Metric Temporal Logic, MTL）规范的状态鲁棒性。我们计算了具有无界过去和有界未来时间算子的 MTL 在信息物理系统（Cyber-Physical Systems）采样轨迹上的鲁棒性。我们将该工具实现为 Matlab 中的 Simulink 模块，可用于任何 Simulink 模型。实验表明，对于某些类别的实际规范，MTL 鲁棒性监测的开销是可以接受的。
引用
@article{arxiv.1408.0045,
title = {On-Line Monitoring for Temporal Logic Robustness},
author = {Adel Dokhanchi and Bardh Hoxha and Georgios Fainekos},
journal= {arXiv preprint arXiv:1408.0045},
year = {2014}
}