The Geometry of Time: Horizon-Independent Feasibility and Repair for STL

Name: The Geometry of Time: Horizon-Independent Feasibility and Repair for STL
Uploaded: 2026-10-04T09:27:15.184975+00:00
Duration: 439 s
Description: This work introduces a geometric decision procedure to check if Signal Temporal Logic (STL) control specifications are physically possible, regardless of how long the time horizon is. It transforms temporal constraints into continuous spatial boundaries, allowing feasibility checks using simple matrix evaluations. If infeasible, it provides an exact temporal delay correction to fix the problem.

This work introduces a geometric decision procedure to check if Signal Temporal Logic (STL) control specifications are physically possible, regardless of how long the time horizon is. It transforms temporal constraints into continuous spatial boundaries, allowing feasibility checks using simple matrix evaluations. If infeasible, it provides an exact temporal delay correction to fix the problem.

Open the full episode