Table of Contents
Fetching ...

Safe Dynamic Motion Generation in Configuration Space Using Differentiable Distance Fields

Xuemin Chi, Yiming Li, Jihao Huang, Bolun Dai, Zhitao Liu, Sylvain Calinon

TL;DR

The paper tackles safe, real-time motion generation for high-dimensional manipulators operating in dynamic environments by introducing velocity-aware safety via time-varying control barrier functions (TVCBFs) and a time-varying control Lyapunov function (TVCLF) within a unified QP framework. It leverages differentiable distance fields to map obstacle dynamics into configuration space, enabling a velocity-informed safety constraint and a singularity-free path to target via the configuration-distance $d_c(p_g,q)$. The key contributions include TVCLF design in configuration space, TVCBF development with both SDF and configuration-space distance representations, and cohesive QP formulations that respect joint limits and physical constraints; validated through 2D planar and 7-DOF Franka experiments showing improved safety and responsiveness over state-of-the-art baselines. This approach enables robust, real-time, whole-body manipulation in dynamic environments and lays groundwork for extensions to MPC-based planning and more complex manipulation tasks in configuration space.

Abstract

Generating collision-free motions in dynamic environments is a challenging problem for high-dimensional robotics, particularly under real-time constraints. Control Barrier Functions (CBFs), widely utilized in safety-critical control, have shown significant potential for motion generation. However, for high-dimensional robot manipulators, existing QP formulations and CBF-based methods rely on positional information, overlooking higher-order derivatives such as velocities. This limitation may lead to reduced success rates, decreased performance, and inadequate safety constraints. To address this, we construct time-varying CBFs (TVCBFs) that consider velocity conditions for obstacles. Our approach leverages recent developments on distance fields for articulated manipulators, a differentiable representation that enables the mapping of objects' position and velocity into the robot's joint space, offering a comprehensive understanding of the system's interactions. This allows the manipulator to be treated as a point-mass system thus simplifying motion generation tasks. Additionally, we introduce a time-varying control Lyapunov function (TVCLF) to enable whole-body contact motions. Our approach integrates the TVCBF, TVCLF, and manipulator physical constraints within a unified QP framework. We validate our method through simulations and comparisons with state-of-the-art approaches, demonstrating its effectiveness on a 7-axis Franka robot in real-world experiments.

Safe Dynamic Motion Generation in Configuration Space Using Differentiable Distance Fields

TL;DR

The paper tackles safe, real-time motion generation for high-dimensional manipulators operating in dynamic environments by introducing velocity-aware safety via time-varying control barrier functions (TVCBFs) and a time-varying control Lyapunov function (TVCLF) within a unified QP framework. It leverages differentiable distance fields to map obstacle dynamics into configuration space, enabling a velocity-informed safety constraint and a singularity-free path to target via the configuration-distance . The key contributions include TVCLF design in configuration space, TVCBF development with both SDF and configuration-space distance representations, and cohesive QP formulations that respect joint limits and physical constraints; validated through 2D planar and 7-DOF Franka experiments showing improved safety and responsiveness over state-of-the-art baselines. This approach enables robust, real-time, whole-body manipulation in dynamic environments and lays groundwork for extensions to MPC-based planning and more complex manipulation tasks in configuration space.

Abstract

Generating collision-free motions in dynamic environments is a challenging problem for high-dimensional robotics, particularly under real-time constraints. Control Barrier Functions (CBFs), widely utilized in safety-critical control, have shown significant potential for motion generation. However, for high-dimensional robot manipulators, existing QP formulations and CBF-based methods rely on positional information, overlooking higher-order derivatives such as velocities. This limitation may lead to reduced success rates, decreased performance, and inadequate safety constraints. To address this, we construct time-varying CBFs (TVCBFs) that consider velocity conditions for obstacles. Our approach leverages recent developments on distance fields for articulated manipulators, a differentiable representation that enables the mapping of objects' position and velocity into the robot's joint space, offering a comprehensive understanding of the system's interactions. This allows the manipulator to be treated as a point-mass system thus simplifying motion generation tasks. Additionally, we introduce a time-varying control Lyapunov function (TVCLF) to enable whole-body contact motions. Our approach integrates the TVCBF, TVCLF, and manipulator physical constraints within a unified QP framework. We validate our method through simulations and comparisons with state-of-the-art approaches, demonstrating its effectiveness on a 7-axis Franka robot in real-world experiments.

Paper Structure

This paper contains 16 sections, 14 equations, 5 figures, 2 tables.

Figures (5)

  • Figure 1: The distance and gradient information of CDF and SDF. (a) Object velocity captured in the configuration space. (b) The object is reachable. (c) Partial gradient information. (d) The object velocity is directly employed in the task space.
  • Figure 2: Illustration of the CDF/SDF-based TVCBF formulation. Arrows indicate the obstacle's motion direction. In the task space, the trajectories of the end-effector and the first joint are depicted in distinct colors.
  • Figure 3: The illustration of collision-free and whole-body reaching in dynamic environments. The first two figures are a snapshot at $t=2.2 \, [per-mode=symbol]{\second}$. The values of TVCLF and control variables are full-time horizons to show the quantitative details.
  • Figure 4: The 2D and 7D setup for benchmarking. Dynamic obstacles are randomly generated from the 2D and 7D box-shape region.
  • Figure 5: CDF-TVCBF-QP: snapshots of the collision-avoidance task with different velocities of obstacles. (a) The obstacle moves slowly at $0.05~[per-mode=symbol]{\metre\per\second}$. (b) The robot reaches the goal early, as it is aware of the obstacle's dynamics. (c) Due to the slow movement of the obstacle, the robot arm stays nearby. (d)-(e) The robot returns to the goal and maintains its position as the obstacle moves far away. (f) The obstacle moves slowly at $0.15~[per-mode=symbol]{\metre\per\second}$. (g)-(h) The robot behaves in a safety-aware manner and stays farther away due to the high velocity of the obstacle. (i)-(j) The robot arm reaches the goal while prioritizing safety.

Theorems & Definitions (4)

  • Definition 1: Classes $\mathcal{K}$ and $\mathcal{K}_{\infty}$ Functions ames2019control
  • Definition 2: Forward Invariance
  • Remark 1
  • Remark 2