References & Citations
Computer Science > Robotics
Title: Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization
(Submitted on 1 Oct 2021)
Abstract: Signal Temporal Logic (STL) is an efficient technique for describing temporal constraints. It can play a significant role in robotic manipulation, for example, to optimize the robot performance according to task-dependent metrics. In this paper, we evaluate several STL robustness metrics of interest in robotic manipulation tasks and discuss a case study showing the advantages of using STL to define complex constraints. Such constraints can be understood as cost functions in task optimization. We show how STL-based cost functions can be optimized using a variety of off-the-shelf optimizers. We report initial results of this research direction on a simulated planar environment.
Submission history
From: Akshay Dhonthi Ramesh Babu [view email][v1] Fri, 1 Oct 2021 12:10:08 GMT (1334kb,D)
Link back to: arXiv, form interface, contact.