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

Sara Bouraine 1 Thierry Fraichard 2, * Hassen Salhi 3
* Auteur correspondant
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.
Type de document :
Article dans une revue
Autonomous Robots, Springer Verlag, 2012, 32 (3), pp.267-283. 〈10.1007/s10514-011-9258-8〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00733913
Contributeur : Thierry Fraichard <>
Soumis le : jeudi 20 septembre 2012 - 10:14:41
Dernière modification le : lundi 17 septembre 2018 - 11:46:11
Document(s) archivé(s) le : vendredi 21 décembre 2012 - 03:49:29

Fichier

12-auro-bouraine-etal-author.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

596

Téléchargements de fichiers

345