Parameter Invariant Monitoring for Signal Temporal Logic
Parameter Invariant Monitoring for Signal Temporal Logic
复制标题
信号时态逻辑的参数不变监控
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Insup Lee
中科院分区：
文献类型：
--
作者：
Nima Roohi;R. Kaur;James Weimer;O. Sokolsky;Insup Lee
信号时序逻辑（Signal Temporal Logic， STL）是实时系统的重要规范形式，监视这些规范非常重要，特别是当（由于不同的原因，例如学习）系统的行为可能随时间变化时。该领域面临三大挑战：(1)由于噪声或干扰参数的影响，无法对系统状态进行完整的观察；(2)监测过程中无法获得整个执行过程；(3)监测连续时间信号的计算复杂度很高。尽管这些挑战已经被不同的作品所解决，但据我们所知，还没有人能同时解决它们。在本文中，我们展示了如何将单时间点的任何参数不变测试过程扩展为参数不变测试过程，以便根据STL属性有效地监视系统的连续时间执行。我们还展示了如何将输入测试过程的概率错误保证扩展为构造测试过程的概率错误保证。
Signal Temporal Logic (STL) is a prominent specification formalism for real-time systems, and monitoring these specifications, specially when (for different reasons such as learning) behavior of systems can change over time, is quite important. There are three main challenges in this area: (1) full observation of system state is not possible due to noise or nuisance parameters, (2) the whole execution is not available during the monitoring, and (3) computational complexity of monitoring continuous time signals is very high. Although, each of these challenges has been addressed by different works, to the best of our knowledge, no one has addressed them all together. In this paper, we show how to extend any parameter invariant test procedure for single points in time to a parameter invariant test procedure for efficiently monitoring continuous time executions of a system against STL properties. We also show, how to extend probabilistic error guarantee of the input test procedure to a probabilistic error guarantee for the constructed test procedure.