2 papers
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…