Determining states of inevitable collision using reachability analysis

In this paper the states of inevitable collision for mobile robots are determined using reachable set theory. With this theory the safety for robotic platforms can be guaranteed, still allowing maximum flexibility for navigation. Making use of reachability analysis, limitations due to input sampling as in previous approaches are avoided. Using reachability analysis the obstacles are grown in the state space. The mathematical background is shown in this paper and an exemplary algorithm is given for static environments. This implementation can handle arbitrary environments with multiple obstacles and different high-dimensional linear and non-linear system dynamics including the car-like kinematic model. By means of experimental results in simulated environments, the validity of the proposed concept is shown.

[1]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[2]  Ian M. Mitchell.  Comparing Forward and Backward Reachability as Tools for Safety Analysis , 2007, HSCC.

[3]  Steven M. LaValle,et al.  Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[4]  Simon Parsons,et al.  Principles of Robot Motion: Theory, Algorithms and Implementations by Howie Choset, Kevin M. Lynch, Seth Hutchinson, George Kantor, Wolfram Burgard, Lydia E. Kavraki and Sebastian Thrun, 603 pp., $60.00, ISBN 0-262-033275 , 2007, The Knowledge Engineering Review.

[5]  Julius Ziegler,et al.  Fast collision checking for intelligent vehicle motion planning , 2010, 2010 IEEE Intelligent Vehicles Symposium.

[6]  Hassen Salhi,et al.  Provably safe navigation for mobile robots with limited field-of-views in dynamic environments , 2012, Auton. Robots.

[7]  Thierry Fraichard,et al.  An efficient and generic 2D Inevitable Collision State-checker , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[8]  Hajime Asama,et al.  Inevitable collision states — a step towards safer robots? , 2004, Adv. Robotics.

[9]  Martin Buss,et al.  Lane-based safety assessment of road scenes using Inevitable Collision States , 2012, 2012 IEEE Intelligent Vehicles Symposium.

[10]  Martin Buss,et al.  Computing unions of Inevitable Collision States and increasing safety to unexpected obstacles , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[11]  Oded Maler,et al.  Recent progress in continuous and hybrid reachability analysis , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[12]  Matthias Althoff,et al.  Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars , 2010 .

[13]  E. Gilbert,et al.  Theory and computation of disturbance invariant sets for discrete-time linear systems , 1998 .

[14]  Darren Liccardo,et al.  Automatic collision avoidance using model-predictive online optimization , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[15]  J. Ackermann,et al.  Robust Control: The Parameter Space Approach , 2012 .

[16]  J. Kuffner,et al.  Improved Motion Planning Speed and Safety using Regions of Inevitable Collision , 2008 .

[17]  Jonas Sjöberg,et al.  Predictive Threat Assessment via Reachability Analysis and Set Invariance Theory , 2011, IEEE Transactions on Intelligent Transportation Systems.

[18]  Wolfram Burgard,et al.  The dynamic window approach to collision avoidance , 1997, IEEE Robotics Autom. Mag..