Motion Planning with Safety Constraints and High-Level Task Specifications

Seyedshams Feyzabadi; Stefano Carpin

Motion Planning with Safety Constraints and High-Level Task Specifications

Robotics 2015-06-16 v2

Authors: Seyedshams Feyzabadi , Stefano Carpin

Abstract

We present a method to solve planning problems involving sequential decision making in unpredictable environments while accomplishing a high level task specification expressed using the formalism of linear temporal logic. Our method improves the state of the art by introducing a pruning step that preserves correctness while significantly reducing the time needed to compute an optimal policy. Our theoretical contribution is coupled with simulations substantiating the value of the proposed method.

Keywords

motion planning temporal logic path planning

Cite

@article{arxiv.1505.05946,
  title  = {Motion Planning with Safety Constraints and High-Level Task Specifications},
  author = {Seyedshams Feyzabadi and Stefano Carpin},
  journal= {arXiv preprint arXiv:1505.05946},
  year   = {2015}
}

Related papers

View all related →

Systems and Control · Computer Science

Optimal Mission Planner with Timed Temporal Logic Constraints

Yuchen Zhou, Dipankar Maity, John S. Baras

2016-04-29