Skip to Main content Skip to Navigation
Journal articles

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
CNRS - Centre National de la Recherche Scientifique : UMR5217, INPG - Institut National Polytechnique de Grenoble , UJF - Université Joseph Fourier - Grenoble 1, Inria Grenoble - Rhône-Alpes
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 metadata

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-00733913
Contributor : Thierry Fraichard Connect in order to contact the contributor
Submitted on : Thursday, September 20, 2012 - 10:14:41 AM
Last modification on : Thursday, June 3, 2021 - 4:28: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

818

Files downloads

973