Provably Safe Navigation for Mobile Robots with Limited Field-of-Views in 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 in a provably safe manner a mobile robot with a limited field-of-view placed in a unknown dynamic environment. In such a situation, absolute motion safety (in the sense that no collision will ever take place whatever happens in the environment) is impossible to guarantee in general. 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. The primary contribution of this paper is the concept of Braking Inevitable Collision States (ICS), i.e. a version of the ICS corresponding to passive motion safety. Braking ICS are defined as states such that, whatever the future braking trajectory followed by the robot, a collision occurs before it is at rest. Passive motion safety is obtained by avoiding Braking ICS at all times. It is shown that Braking ICS verify properties that allow the design of an efficient Braking ICS-Checking algorithm, i.e. an algorithm that determines whether a given state is a Braking ICS or not. To validate the Braking ICS concept and demonstrate its usefulness, the Braking ICS-Checking algorithm is integrated in a reactive navigation scheme called PassAvoid. It is formally established that PassAvoid is provably passively safe in the sense that it is guaranteed that the robot will always stay away from Braking ICS no matter what happens in the environment.
Document type :
Journal articles
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-00733913
Contributor : Thierry Fraichard <>
Submitted on : Thursday, September 20, 2012 - 10:14:41 AM
Last modification on : Monday, August 19, 2019 - 4:42:03 PM
Long-term archiving on : Friday, December 21, 2012 - 3:49:29 AM

File

12-auro-bouraine-etal-author.p...
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 Dynamic Environments. Autonomous Robots, Springer Verlag, 2012, 32 (3), pp.267-283. ⟨10.1007/s10514-011-9258-8⟩. ⟨hal-00733913⟩

Share

Metrics

Record views

685

Files downloads

602