James Ferlez | DeepAI

DeepAI AI Chat

Featured Co-authors

Mohammad Abdullah Al Faruque
33 publications
Yasser Shoukry
24 publications
Mohanad Odema
8 publications
Cody Fleming
7 publications
Xiaowu Sun
5 publications
Haitham Khedr
5 publications
Ulices Santa Cruz
3 publications
Goli Vaisi
1 publication
Mahmoud Elnaggar
1 publication

∙ 02/24/2023

SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge

Runtime energy management has become quintessential for multi-sensor aut...

0 Mohanad Odema, et al. ∙

∙ 02/13/2023

EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency

To mitigate the high energy demand of Neural Network (NN) based Autonomo...

0 Mohanad Odema, et al. ∙

∙ 09/20/2022

Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers

In this paper, we consider the computational complexity of bounding the ...

7 James Ferlez, et al. ∙

∙ 11/17/2021

Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks

In this paper, we present the tool Fast Box Analysis of Two-Level Lattic...

5 James Ferlez, et al. ∙

∙ 09/21/2021

Assured Neural Network Architectures for Control and Identification of Nonlinear Systems

In this paper, we consider the problem of automatically designing a Rect...

17 James Ferlez, et al. ∙

∙ 04/06/2021

Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers

In this paper, we consider the problem of repairing a data-trained Recti...

5 Ulices Santa Cruz, et al. ∙

∙ 12/22/2020

Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach

In this paper, we consider the computational complexity of formally veri...

4 James Ferlez, et al. ∙

∙ 06/18/2020

Effective Formal Verification of Neural Networks using the Geometry of Linear Regions

Neural Networks (NNs) have increasingly apparent safety implications com...

0 Haitham Khedr, et al. ∙

∙ 06/16/2020

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers

In this paper, we consider the problem of creating a safe-by-design Rect...

0 James Ferlez, et al. ∙

∙ 04/20/2020

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems

In this paper, we consider the problem of automatically designing a Rect...

0 James Ferlez, et al. ∙

∙ 11/05/2019

AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems

In this paper, we consider the problem of automatically designing a Rect...

0 James Ferlez, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world