论文标题
RTAMT：STL的在线鲁棒性监视器
RTAMT: Online Robustness Monitors from STL
论文作者
论文摘要
我们提出RTAMT，这是一个用于信号时间逻辑（STL）及其接口感知变体（IA-STL）的在线监视库，可同时提供逻辑的离散时间解释和密集的时间解释。我们还介绍了RTAMT4ROS，该工具将RTAMT与机器人操作系统（ROS）集成在一起，这是一个开发机器人应用的常见环境。我们在两个机器人案例研究中评估了RTAMT和RTAMT4ROS。
We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface-aware variant (IA-STL), providing both discrete- and dense-time interpretation of the logic. We also introduce RTAMT4ROS, a tool that integrates RTAMT with Robotic Operating System (ROS), a common environment for developing robotic applications. We evaluate RTAMT and RTAMT4ROS on two robotic case studies.
