Table of Contents
Fetching ...

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets

Ratnangshu Das, Siddhartha Upadhyay, Pushpak Jagtap

TL;DR

The paper tackles safe, prescribed-time control for nonlinear systems with unknown dynamics navigating dynamic environments. It introduces a real-time, spherical spatiotemporal tube (STT) whose center and radius adapt online based on sensory input, paired with a closed-form, model-free controller to keep the system within the evolving tube. Formal guarantees ensure obstacle avoidance and on-time target reach, validated through simulations and hardware experiments on a 2D mobile robot and a 3D quadrotor. The work demonstrates real-time efficiency, scalability to dense obstacle fields, and favorable comparisons to baseline methods, while acknowledging offline STT synthesis drawbacks and outlining directions for integration with global planning. Overall, it provides a practical framework for real-time safety-critical control in uncertain, dynamic settings.

Abstract

This paper presents a real-time control framework for nonlinear pure-feedback systems with unknown dynamics to satisfy reach-avoid-stay tasks within a prescribed time in dynamic environments. To achieve this, we introduce a real-time spatiotemporal tube (STT) framework. An STT is defined as a time-varying ball in the state space whose center and radius adapt online using only real-time sensory input. A closed-form, approximation-free control law is then derived to constrain the system output within the STT, ensuring safety and task satisfaction. We provide formal guarantees for obstacle avoidance and on-time task completion. The effectiveness and scalability of the framework are demonstrated through simulations and hardware experiments on a mobile robot and an aerial vehicle, navigating in cluttered dynamic environments.

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets

TL;DR

The paper tackles safe, prescribed-time control for nonlinear systems with unknown dynamics navigating dynamic environments. It introduces a real-time, spherical spatiotemporal tube (STT) whose center and radius adapt online based on sensory input, paired with a closed-form, model-free controller to keep the system within the evolving tube. Formal guarantees ensure obstacle avoidance and on-time target reach, validated through simulations and hardware experiments on a 2D mobile robot and a 3D quadrotor. The work demonstrates real-time efficiency, scalability to dense obstacle fields, and favorable comparisons to baseline methods, while acknowledging offline STT synthesis drawbacks and outlining directions for integration with global planning. Overall, it provides a practical framework for real-time safety-critical control in uncertain, dynamic settings.

Abstract

This paper presents a real-time control framework for nonlinear pure-feedback systems with unknown dynamics to satisfy reach-avoid-stay tasks within a prescribed time in dynamic environments. To achieve this, we introduce a real-time spatiotemporal tube (STT) framework. An STT is defined as a time-varying ball in the state space whose center and radius adapt online using only real-time sensory input. A closed-form, approximation-free control law is then derived to constrain the system output within the STT, ensuring safety and task satisfaction. We provide formal guarantees for obstacle avoidance and on-time task completion. The effectiveness and scalability of the framework are demonstrated through simulations and hardware experiments on a mobile robot and an aerial vehicle, navigating in cluttered dynamic environments.

Paper Structure

This paper contains 12 sections, 3 theorems, 35 equations, 4 figures, 3 tables.

Key Result

Theorem 3.2

The STT $\Gamma(t)$ in eqn:stt_ball meets the following to ensure satisfaction of the T-RAS specification:

Figures (4)

  • Figure 1: Omnidirectional Mobile Robot. (a)--(c) System trajectory at different time instants. (d) STT evolution. https://youtu.be/BjgmxghPdWk
  • Figure 2: Mobile Robot Hardware Results. (a) Robot trajectory. (b) STT evolution. https://youtu.be/BjgmxghPdWk
  • Figure 3: Quadrotor Simulation. System trajectory at different time instants. https://youtu.be/BjgmxghPdWk
  • Figure 4: Trajectory Comparison Between Baseline Methods and the Proposed Real-Time STT Approach

Theorems & Definitions (11)

  • Definition 2.1: Temporal Reach-Avoid-Stay (T-RAS) task
  • Remark 2.2
  • Definition 2.4
  • Remark 2.5
  • Remark 3.1
  • Theorem 3.2
  • Lemma 3.3
  • Remark 3.4
  • Remark 3.5
  • Theorem 4.1
  • ...and 1 more