Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Safe Control using Learned Safety Filters and Adaptive Conformal Inference
Sacha Huriot, Ihab Tabbara, Hussein Sibai
Safety filters have been shown to be effective tools to ensure the safety of control systems with unsafe nominal policies. To address scalability challenges in traditional synthesi…
eess.SY2025
Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
Ihab Tabbara, Eliya Badr, Hussein Sibai
Hamilton-Jacobi (HJ) reachability analysis is a fundamental tool for the safety verification and control synthesis of nonlinear control systems. Classical HJ reachability analysis…