RTAMT: Online Robustness Monitors from STL
RTAMT: Online Robustness Monitors from STL
复制标题
RTAMT：STL 的在线稳健性监视器
DOI：
10.1007/978-3-030-59152-6_34
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Tomoya Yamaguchi
中科院分区：
文献类型：
--
作者：
D. Ničković;Tomoya Yamaguchi
我们提出了RTAMT，信号时序逻辑（STL）及其接口感知变体（IA-STL）的在线监测库，提供离散和密集时间的逻辑解释。我们还介绍了RTAMT 4 ROS，一个工具，它集成了RTAMT与机器人操作系统（ROS），一个共同的环境，用于开发机器人应用程序。我们在两个机器人案例研究中评估了RTAMT和RTAMT 4 ROS。
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.