Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1911.01608
Cited By
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems
International Conference on Hybrid Systems: Computation and Control (HSCC), 2019
5 November 2019
James Ferlez
Yasser Shoukry
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems"
12 / 12 papers shown
Mapping back and forth between model predictive control and neural networks
Ross Drummond
P. R. B. Monasterios
Giorgio Valmorbida
191
1
0
18 Apr 2024
Reachability-based Trajectory Design via Exact Formulation of Implicit Neural Signed Distance Functions
Jonathan Michaux
Qingyi Chen
Challen Enninful Adu
Jinsun Liu
Ram Vasudevan
196
3
0
18 Mar 2024
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
788
47
0
29 Apr 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
International Journal on Software Tools for Technology Transfer (STTT) (STTT), 2023
Christopher Brix
Mark Niklas Muller
Stanley Bak
Taylor T. Johnson
Changliu Liu
NAI
311
85
0
14 Jan 2023
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers
IEEE Control Systems Letters (L-CSS), 2022
James Ferlez
Yasser Shoukry
181
2
0
20 Sep 2022
Tailored max-out networks for learning convex PWQ functions
European Control Conference (ECC), 2022
Dieter Teichrib
M. S. Darup
250
4
0
14 Jun 2022
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
James Ferlez
Haitham Khedr
Yasser Shoukry
168
13
0
17 Nov 2021
Assured Neural Network Architectures for Control and Identification of Nonlinear Systems
James Ferlez
Yasser Shoukry
128
0
0
21 Sep 2021
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
Engineering applications of artificial intelligence (EAAI), 2021
Nicola Bernini
M. Bessa
R. Delmas
A. Gold
Eric Goubault
R. Pennec
S. Putot
Franccois Sillion
189
17
0
27 Jul 2021
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers
IEEE Conference on Decision and Control (CDC), 2021
Ulices Santa Cruz
James Ferlez
Yasser Shoukry
211
10
0
06 Apr 2021
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach
IEEE Conference on Decision and Control (CDC), 2020
James Ferlez
Yasser Shoukry
272
9
0
22 Dec 2020
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems
IEEE Conference on Decision and Control (CDC), 2020
James Ferlez
Xiaowu Sun
Yasser Shoukry
165
7
0
20 Apr 2020
1
Page 1 of 1
