<ul><li>Researchers propose a computationally efficient interval reachability method for performance verification of systems with optimization-based controllers.</li><li>The method involves approximating the optimization-based controller using a pre-trained neural network and leveraging state-of-the-art neural network verification algorithms.</li><li>The approach provides an over-approximation of the reachable set of the system with optimization-based controllers.</li><li>Numerical results are presented to support the technical findings.</li></ul>

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers

Discover more