Provably Safe Navigation for Mobile Robots with Limited Field-of-Views in Unknown Dynamic Environments

Sara Bouraine 1 Thierry Fraichard 2, * Hassen Salhi 3
* Corresponding author
2 PRIMA - Perception, recognition and integration for observation of activity
Inria Grenoble - Rhône-Alpes, UJF - Université Joseph Fourier - Grenoble 1, INPG - Institut National Polytechnique de Grenoble , CNRS - Centre National de la Recherche Scientifique : UMR5217
Abstract : This paper addresses the problem of navigating a mobile robot with a limited field-of-view in a unknown dynamic environment. In such a situation, absolute motion safety, i.e. such that no collision will ever take place whatever happens, is impossible to guarantee. It is therefore settled for a weaker level of motion safety dubbed passive motion safety: it guarantees that, if a collision takes place, the robot will be at rest. Passive motion safety is tackled using a variant of the Inevitable Collision State (ICS) concept called Braking ICS, i.e. states such that, whatever the future braking trajectory of the robot, a collision occurs before it is at rest. Passive motion safety is readily obtained by avoiding Braking ICS at all times. Building upon an existing Braking ICS-Checker, i.e. an algorithm that checks if a given state is a Braking ICS or not, this paper presents a reactive collision avoidance scheme called PASSAVOID. The main contribution of this paper is the formal proof of PASSAVOID's passive motion safety. Experiments in simulation demonstrates how PASSAVOID operates.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00768527
Contributor : Thierry Fraichard <>
Submitted on : Friday, December 21, 2012 - 5:55:32 PM
Last modification on : Monday, August 19, 2019 - 4:42:03 PM
Long-term archiving on : Sunday, December 18, 2016 - 10:32:13 AM

File

12-icra-bouraine-etal.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Sara Bouraine, Thierry Fraichard, Hassen Salhi. Provably Safe Navigation for Mobile Robots with Limited Field-of-Views in Unknown Dynamic Environments. ICRA 2012 - IEEE International Conference on Robotics and Automation, May 2012, Saint Paul, MN, United States. pp.174-179, ⟨10.1109/ICRA.2012.6224932⟩. ⟨hal-00768527⟩

Share

Metrics

Record views

761

Files downloads

329