Title | ||
---|---|---|
A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints |
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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/ICRA.2014.6907707 | Robotics and Automation |
Keywords | Field | DocType |
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 | Mathematical optimization,Any-angle path planning,Shortest path problem,Boolean satisfiability problem,Robot path planning,Longest path problem,Mathematics | Conference |
Volume | Issue | ISSN |
2014 | 1 | 1050-4729 |
Citations | PageRank | References |
5 | 0.43 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frank Imeson | 1 | 53 | 3.74 |
Stephen L Smith | 2 | 1163 | 83.01 |