3 papers
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
Safe Decentralized Multi-Agent Control using Black-Box Predictors, Conformal Decision Policies, and Control Barrier Functions
Sacha Huriot, Hussein Sibai
We address the challenge of safe control in decentralized multi-agent robotic settings, where agents use uncertain black-box models to predict other agents' trajectories. We use th…
eess.SY2025
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
Hussein Sibai, Sacha Huriot, Tyler Martin +1
We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications. The algorithm exploits dynamic…