期刊
IFAC PAPERSONLINE
卷 53, 期 2, 页码 15537-15543出版社
ELSEVIER
DOI: 10.1016/j.ifacol.2020.12.2397
关键词
Temporal Logic; Trajectory Planning; Path Planning; Formal Methods; Robotics
资金
- EU H2020 Research and Innovation Programme [731869]
- Swedish Research Council (VR)
While motion planning under temporal logic specifications has been addressed in several state-of-the-art works, spatial aspects have been so far largely neglected. In this work, we enrich the semantics of robot motion specifications by including preferences on spatial relations between its trajectory and various elements in its environment. The spatial preferences are given in a fragment of Signal Temporal Logic (STL) on top of complex missions in syntactically co-safe Linear Temporal Logic (scLTL). We propose a cost function with user-specified parameters, which determines the compromise between efficiency and spatial robustness of a trajectory. The proposed modification of the incremental sampling-based RRT* driven by this cost function guarantees that the motion plan (if found) simultaneously satisfies the mission and asymptotically minimize the cost. The paper includes several case studies showcasing the effects of the user-adjustable parameters on the resulting trajectories. Copyright (C) 2020 The Authors.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据