Home/Theoretical Limits of Speed and Resolution for Kinodynamic Planning in a Poisson Forest

Theoretical Limits of Speed and Resolution for Kinodynamic Planning in a Poisson Forest

Sanjiban Choudhury, Sebastian Scherer and J. Andrew (Drew) Bagnell
Conference Paper, Proceedings of Robotics Science and Systems, July, 2015

View Publication

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


The performance of a state lattice motion planning algorithm depends critically on the resolution of the lattice to ensure a balance between solution quality and computation time. There is currently no theoretical basis for selecting the resolution because of its dependence on the robot dynamics and the distribution of obstacles. In this paper, we examine the problem of motion planning on a resolution constrained lattice for a robot with non-linear dynamics operating in an environment with randomly generated disc shaped obstacles sampled from a homogeneous Poisson process. We present a unified framework for computing explicit solutions to two problems – i) the critical planning resolution which guarantees the existence of an infinite collision free trajectory in the search graph ii) the critical speed limit which guarantees infinite collision free motion. In contrast to techniques used by Karaman and Frazzoli [11], we use a novel approach that maps the problem to parameters of directed asymmetric hexagonal lattice bond percolation. Since standard percolation theory offers no results for this lattice, we map the lattice to an infinite absorbing Markov chain and use results pertaining to its survival to obtain bounds on the parameters. As a result, we are able to derive theoretical expressions that relate the non-linear dynamics of a robot, the resolution of the search graph and the density of the Poisson process. We validate the theoretical bounds using Monte-Carlo simulations for single integrator and curvature constrained systems and are able to validate the previous results presented by Karaman and Frazzoli [11] independently using the novel connections introduced in this paper.

author = {Sanjiban Choudhury and Sebastian Scherer and J. Andrew (Drew) Bagnell},
title = {Theoretical Limits of Speed and Resolution for Kinodynamic Planning in a Poisson Forest},
booktitle = {Proceedings of Robotics Science and Systems},
year = {2015},
month = {July},
} 2017-09-13T10:38:38-04:00