Title :
A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints
Author :
Imeson, Frank ; Smith, Stephen L.
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
fDate :
May 31 2014-June 7 2014
Abstract :
In this paper we introduce a new language in which discrete path planning problems for mobile robots can be specified and solved. Given an environment represented as a graph and a Boolean variable for each vertex to represent its inclusion/exclusion on the path, we consider the problem of finding the shortest path (or tour) in the graph subject to a Boolean satisfiability (Sat) formula defined over the vertex variables. We call this problem Sat-Tsp. We show the expressiveness of this language for specifying complex motion planning objectives in a discrete environment. We then present three solution techniques for this problem, including a novel reduction to the well known travelling salesman problem (Tsp). We present extensive simulation results which compare the performance of the three solvers on standard benchmarks from Tsp, Sat, and Generalized Tsp (Gtsp) literature.
Keywords :
Boolean algebra; computability; formal languages; graph theory; mobile robots; path planning; travelling salesman problems; Boolean satisfiability constraints; Boolean variable; Sat-TSP; discrete environments; discrete path planning problems; generalized TSP; graph; language; mobile robots; motion planning objectives; robot path planning; shortest path problem; travelling salesman problem; vertex variables; Cities and towns; Complexity theory; Measurement; Path planning; Planning; Robots; Silicon;
Conference_Titel :
Robotics and Automation (ICRA), 2014 IEEE International Conference on
Conference_Location :
Hong Kong
DOI :
10.1109/ICRA.2014.6907707