Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications
Kyunghoon Cho, Junghun Suh, Claire J. Tomlin, Songhwai Oh
Abstract
This letter presents a path planning algorithm for generating a cost-efficient path that satisfies mission requirements specified in linear temporal logic (LTL). We assume that a cost function is defined over the configuration space. Examples of a cost function include hazard levels, wireless connectivity, and energy consumption, to name a few. The proposed method consists of two parts: sampling-based cost-aware path planning considering the vehicle dynamics based on rapidly-exploring random trees (RRT*), and a high-level logic which determines how to extend the RRT tree based on spatiotemporal specifications of an LTL formula. In order to find a low-cost trajectory with computational efficiency, the proposed method expands the RRT tree with long extensions using cross entropy, while the rewiring step of RRT* is used to preserve the asymptotic optimality. In simulation and experiments, we show that the proposed method performs favorably compared to existing methods.
BibTeX
@inproceedings{ral2017_costawarepathpla,
title = {Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications},
author = {Kyunghoon Cho and Junghun Suh and Claire J. Tomlin and Songhwai Oh},
booktitle = {RA-L 2017},
year = {2017}
}