Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions

Goli Vaisi, James Ferlez, Yasser Shoukry

Training Neural Networks (NNs) to serve as Barrier Functions (BFs) is a popular way to improve the safety of autonomous dynamical systems. Despite significant practical success, th…