Login / Signup
Stability Verification of Neural Network Controllers Using Mixed-Integer Programming.
Roland Schwan
Colin N. Jones
Daniel Kuhn
Published in:
IEEE Trans. Autom. Control. (2023)
Keyphrases
</>
mixed integer programming
neural network
column generation
lot sizing
production planning
mixed integer
dantzig wolfe decomposition
unit commitment
control system
lagrangian relaxation
genetic algorithm
em algorithm
reinforcement learning
upper bound
linear programming
computationally expensive