6 citations · 6 across the 2 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
Ratnangshu Das, Subhodeep Choudhury, Pushpak Jagtap
This paper introduces a new framework for synthesizing time-varying control barrier functions (TV-CBFs) for general Signal Temporal Logic (STL) specifications using spatiotemporal…
eess.SY2025★ 6 cited
Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
Ratnangshu Das, Subhodeep Choudhury, Pushpak Jagtap
This paper presents a spatiotemporal tube (STT)-based control framework for satisfying Signal Temporal Logic (STL) specifications in unknown control-affine systems. We formulate ST…