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 <>
Submitted on : Tuesday, October 23, 2018 - 3:53:47 PM
Last modification on : Thursday, November 19, 2020 - 1:01:27 PM
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