15 citations · 18 across the 12 of their papers we have counts for
13 papers
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…
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge
Mohanad Odema, James Ferlez, Yasser Shoukry +1
Runtime energy management has become quintessential for multi-sensor autonomous systems at the edge for achieving high performance given the platform constraints. Typical for such…
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-…
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers
James Ferlez, Yasser Shoukry
In this paper, we consider the computational complexity of bounding the reachable set of a Linear Time-Invariant (LTI) system controlled by a Rectified Linear Unit (ReLU) Two-Level…
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
James Ferlez, Haitham Khedr, Yasser Shoukry
In this paper, we present the tool Fast Box Analysis of Two-Level Lattice Neural Networks (Fast BATLLNN) as a fast verifier of box-like output constraints for Two-Level Lattice (TL…
Assured Neural Network Architectures for Control and Identification of Nonlinear Systems
James Ferlez, Yasser Shoukry
In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture (number of layers and number of neurons per layer)…