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

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

IEEE Conference on Decision and Control (CDC), 2021

6 April 2021

Ulices Santa Cruz

ArXiv (abs)PDF HTML

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

6 / 6 papers shown

Title
Causal Repair of Learning-enabled Cyber-physical SystemsInternational Conference on Applied Algorithms (ICAA), 2023 Pengyuan Lu I. Ruchkin Matthew Cleaveland O. Sokolsky Insup Lee 149 4 0 06 Apr 2023
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network ControllersIEEE Control Systems Letters (L-CSS), 2022 James Ferlez Yasser Shoukry 100 2 0 20 Sep 2022
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft LandingNASA Formal Methods (NFM), 2022 Ulices Santa Cruz Yasser Shoukry 250 39 0 29 Mar 2022
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 101 12 0 17 Nov 2021
Local Repair of Neural Networks Using Optimization K. Majd Siyu Zhou H. B. Amor Georgios Fainekos S. Sankaranarayanan 139 6 0 28 Sep 2021
Constrained Feedforward Neural Network Training via Reachability Analysis Long Kiu Chung Adam Dai Derek Knowles Shreyas Kousik Grace Gao 129 9 0 16 Jul 2021