期刊
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
卷 42, 期 6, 页码 356-370出版社
SAGE PUBLICATIONS LTD
DOI: 10.1177/02783649221082115
关键词
Signal Temporal Logic; backpropagation; computation graphs; gradient-based methods
类别
This paper presents a technique called STLCG that computes the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a platform for integrating logical specifications into robotics problems that benefit from gradient-based solutions. It translates STL robustness formulas into computation graphs and leverages off-the-shelf automatic differentiation tools to efficiently backpropagate through the formulas. Through examples, it is shown that STLCG is versatile, computationally efficient, and capable of incorporating human-domain knowledge into the problem formulation.
This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a platform which enables the incorporation of logical specifications into robotics problems that benefit from gradient-based solutions. Specifically, STL is a powerful and expressive formal language that can specify spatial and temporal properties of signals generated by both continuous and hybrid systems. The quantitative semantics of STL provide a robustness metric, that is, how much a signal satisfies or violates an STL specification. In this work, we devise a systematic methodology for translating STL robustness formulas into computation graphs. With this representation, and by leveraging off-the-shelf automatic differentiation tools, we are able to efficiently backpropagate through STL robustness formulas and hence enable a natural and easy-to-use integration of STL specifications with many gradient-based approaches used in robotics. Through a number of examples stemming from various robotics applications, we demonstrate that STLCG is versatile, computationally efficient, and capable of incorporating human-domain knowledge into the problem formulation.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据