A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties
A novel 'duality-based' optimization reduces conservatism in safety filters by up to 40% in simulations.
A team from Caltech and UC Berkeley, led by Xiao Tan, Rahal Nanayakkara, Paulo Tabuada, and Aaron D. Ames, has published a new paper titled 'A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties.' The research tackles a core problem in robotics and autonomous systems: how to guarantee safety when sensors provide imperfect, uncertain data about the robot's state. Current methods, which rely on Control Barrier Functions (CBFs), often become overly conservative to account for this uncertainty, unnecessarily limiting a robot's performance.
The team's breakthrough is a more direct mathematical approach. Instead of strengthening safety conditions, they analyze the entire set of possible states a robot could be in (the 'image set') and prove that its convex hull can be used without changing the valid control inputs. By leveraging duality theory, they reformulate this into a tractable optimization problem, specifically for cases where the set is a polytope or ellipsoid. The result, demonstrated in simulations, is a robust safety filter that is provably safe but significantly less restrictive, allowing for more capable and efficient robot behavior in uncertain environments.
- Directly addresses state estimation uncertainty, a major hurdle for real-world AI control systems.
- Uses convex hull and duality theory to create a tractable, less conservative safety filter.
- Simulation results show the method outperforms existing alternatives by being less restrictive while maintaining safety guarantees.
Why It Matters
Enables more capable and trustworthy autonomous robots, drones, and vehicles by reducing overly cautious AI behavior.