SOURCE-LINKED INTELLIGENCE

Timely Activation of Safety Filters via One-Step Reachability Expansion

arXiv · AI, language, vision and robotics · article · Sep 15, 2026 · UTC

Least-restrictive safety filters based on Hamilton-Jacobi reachability provide strong safety guarantees by overriding a nominal controller only when the system reaches the boundary of the set of unsafe states defined as a Backward Reachable Tube (BRT). These guarantees, however, rely on the continuous-time nature of the underlying formulation. In practice, robotic systems apply control at discrete sampling intervals, which creates a mismatch where the system may jump into the unsafe BRT between updates, allowing failures that are theoretically avoidable. This work introduces a principled solut

Read original source ↗ Open in workspace

recordType

paper

region

Global