Time-Invariant Control Barrier Functions for Bounded STL Safety

arXiv:2609.29606 · eess.SY, cs.SY · Submitted 2026-08-28 · Read on arXiv

eess.SY, cs.SY

Submitted: 2026-08-28

Updated: 2026-08-28

Terminology

• Signal Temporal Logic — 6× in this paper
• Level-Set Inversion — 5× in this paper · explained in 2 episodes
• Robustness — 4× in this paper · explained in 5 episodes
• Anisotropy — 3× in this paper · explained in 3 episodes
• Ablation — 2× in this paper · explained in 1 episode
• Autonomous Persistence Barrier — 2× in this paper
• Benchmark — 2× in this paper · explained in 2 episodes
• Core — 2× in this paper · explained in 2 episodes
• Signal Temporal Logic (STL) — 2× in this paper · explained in 4 episodes
• Ablation Studies — 1× in this paper · explained in 1 episode
• Alignment — 1× in this paper · explained in 1 episode
• Control Barrier Functions (CBFs) — 1× in this paper · explained in 4 episodes
• Decoupling — 1× in this paper · explained in 2 episodes
• Local Optimization — 1× in this paper · explained in 2 episodes
• Multi-Agent System — 1× in this paper · explained in 6 episodes
• Network Time Protocol — 1× in this paper
• Quadratic Program — 1× in this paper

Sources

• Robust Time-Varying Control Barrier Functions with Sector-Bounded Nonlinearities

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
• Minimal Experiments for Robust Stabilization: Information, Spectral Geometry, and Duration
• Decentralized Power-Optimal Coordination for Spacecraft Swarms Using Time-Varying Magnetorquer Actuation