A practical reachability-based collision avoidance algorithm for sampled-data systems: Application to ground robots

We describe a practical collision avoidance algorithm that synthesizes provably safe piecewise constant control laws (compatible with the sampled-data nature of the system), and demonstrate the results on an experimental platform, the Pioneer ground robots. Our application is formulated in a pursuer-evader framework in which an automated unmanned vehicle navigates its environment while avoiding a moving obstacle that acts as a malicious agent. Offline, we employ reachability analysis to characterize the evolution of trajectories so as to determine what control inputs can preserve safety over every sampling interval. The moving obstacle is considered unpredictable with nearly no restrictions on its control policies (although we do take into account the physical constraints due to limited dynamical and actuation capacities of both robots). Online, the controller executes computationally inexpensive operations based only on an easy-to-store lookup table. The results of the experiment as well as the proposed algorithm are presented and discussed in detail.

[1]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[2]  Claire J. Tomlin,et al.  Reachability-based synthesis of feedback policies for motion planning under bounded disturbances , 2011, 2011 IEEE International Conference on Robotics and Automation.

[3]  Claire J. Tomlin,et al.  Robust reach-avoid controller synthesis for switched nonlinear systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[4]  Joshua A. Levine,et al.  Sampling-based planning, control and verification of hybrid systems , 2000 .

[5]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[6]  Ian M. Mitchell,et al.  A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems , 2005, HSCC.

[7]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[8]  Jean-Claude Latombe,et al.  Randomized Kinodynamic Motion Planning with Moving Obstacles , 2002, Int. J. Robotics Res..

[9]  Alexandre M. Bayen,et al.  Computational Techniques for the Verification and Control of Hybrid Systems , 2005 .

[10]  Ian M. Mitchell,et al.  Safety preserving control synthesis for sampled data systems , 2013 .

[11]  Jonathan P. How,et al.  Guaranteed infinite horizon avoidance of unpredictable, dynamically constrained obstacles , 2012, Autonomous Robots.

[12]  Paolo Fiorini,et al.  Motion Planning in Dynamic Environments Using Velocity Obstacles , 1998, Int. J. Robotics Res..

[13]  Yi Guo,et al.  Optimal trajectory generation for nonholonomic robots in dynamic environments , 2008, 2008 IEEE International Conference on Robotics and Automation.

[14]  Zvi Shiller,et al.  Motion planning in dynamic environments: obstacles moving along arbitrary trajectories , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[15]  G. M.,et al.  Partial Differential Equations I , 2023, Applied Mathematical Sciences.