2 papers
cs.LG2025
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…
eess.SY2023
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
Mohanad Odema, James Ferlez, Goli Vaisi +2
To mitigate the high energy demand of Neural Network (NN) based Autonomous Driving Systems (ADSs), we consider the problem of offloading NN controllers from the ADS to nearby edge-…