Stability Verification of Neural Network Controllers using Mixed-Integer Programming

27 June 2022

Papers citing "Stability Verification of Neural Network Controllers using Mixed-Integer Programming"

8 / 8 papers shown

Title
Synthesis of Model Predictive Control and Reinforcement Learning: Survey and Classification Rudolf Reiter Jasper Hoffmann D. Reinhardt Florian Messerer Katrin Baumgärtner Shamburaj Sawant Joschka Boedecker Moritz Diehl S. Gros 77 5 0 04 Feb 2025
PlanNetX: Learning an Efficient Neural Network Planner from MPC for Longitudinal Control Jasper Hoffmann Diego Fernandez Clausen Julien Brosseit Julian Bernhard Klemens Esterle M. Werling Michael Karg Joschka Boedecker 25 1 0 29 Apr 2024
Mapping back and forth between model predictive control and neural networks Ross Drummond P. R. B. Monasterios Giorgio Valmorbida 24 1 0 18 Apr 2024
Correctness Verification of Neural Networks Approximating Differential Equations Petros Ellinas Rahul Nellikkath Ignasi Ventura Jochen Stiasny Spyros Chatzivasileiadis 32 1 0 12 Feb 2024
MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control Yiwen Lu Zishuo Li Yihan Zhou Na Li Yilin Mo 25 2 0 08 Dec 2023
Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems Truong X. Nghiem Ján Drgoňa Colin N. Jones Zoltán Nagy Roland Schwan ... J. Paulson Andrea Carron M. Zeilinger Wenceslao Shaw-Cortez D. Vrabie PINN AI4CE 32 30 0 24 Jun 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 91 32 0 29 Apr 2023
Imitation Learning from Nonlinear MPC via the Exact Q-Loss and its Gauss-Newton Approximation Andrea Ghezzi Jasper Hoffmann Jonathan Frey Joschka Boedecker Moritz Diehl 24 4 0 03 Apr 2023