HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Viability-Based Guaranteed Safe Robot Navigation

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 :
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download

Contributor : Thierry Fraichard Connect in order to contact the contributor
Submitted on : Tuesday, October 23, 2018 - 3:53:47 PM
Last modification on : Friday, February 4, 2022 - 3:12:32 AM
Long-term archiving on: : Thursday, January 24, 2019 - 4:13:41 PM


Files produced by the author(s)


  • HAL Id : hal-01901675, version 2


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



Record views


Files downloads