Viability-Based Guaranteed Safe Robot Navigation

Mohamed Bouguerra 1 Thierry Fraichard 2 Mohamed Fezari 1
2 PERVASIVE - Interaction située avec les objets et environnements intelligents
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble, Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology, UGA - Université Grenoble Alpes
Abstract : Guaranteeing safe, i.e. collision-free, motion for robotic systems is usually tackled in the Inevitable Collision State framework. This paper explores the use of the more general Viability theory as an alternative when safe motion involves multiple motion constraints and not just collision avoidance. Central to Viability is the so-called viability kernel, i.e. the set of states of the robotic system for which there is at least one trajectory that satisfies the motion constraints forever. The paper presents an algorithm that computes off-line an approximation of the viability kernel that is both conservative and able to handle time-varying constraints such as moving obstacles. Then it demonstrates, for different robotic scenarios involving multiple motion constraints (collision avoidance, visibility, velocity), how to use the viability kernel computed off-line within an on-line reactive navigation scheme that can drive the robotic system without ever violating the motion constraints at hand.
Document type :
Reports
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/hal-01901675
Contributor : Thierry Fraichard <>
Submitted on : Tuesday, October 23, 2018 - 3:53:47 PM
Last modification on : Thursday, October 24, 2019 - 10:35:59 AM
Long-term archiving on : Thursday, January 24, 2019 - 4:13:41 PM

File

RR-9217.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01901675, version 2

Collections

Citation

Mohamed Bouguerra, Thierry Fraichard, Mohamed Fezari. Viability-Based Guaranteed Safe Robot Navigation. [Research Report] RR-9217, INRIA. 2018. ⟨hal-01901675v2⟩

Share

Metrics

Record views

136

Files downloads

464