research
∙
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...
share
research
∙
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...
research
∙
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 ...
research
∙
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...
research
∙
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...
research
∙
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...
research
∙
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...
research
∙
06/18/2020
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions
Neural Networks (NNs) have increasingly apparent safety implications com...
research
∙
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...
research
∙
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...
research
∙
11/05/2019