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

5 November 2019

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

5 / 5 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 38 66 0 14 Jan 2023
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers James Ferlez Yasser Shoukry 29 1 0 20 Sep 2022
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 24 11 0 17 Nov 2021
Assured Neural Network Architectures for Control and Identification of Nonlinear Systems James Ferlez Yasser Shoukry 33 0 0 21 Sep 2021