Stability Verification of Neural Network Controllers Using Mixed-Integer Programming

DOI10.1109/tac.2023.3283213arXiv2206.13374MaRDI QIDQ6199930

Unnamed Author, Daniel Kuhn, Colin N. Jones

Publication date: 29 February 2024

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2206.13374

zbMATH Keywords

verificationneural networksmodel predictive controlmixed-integer programmingstability guarantees

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Stability Verification of Neural Network Controllers Using Mixed-Integer Programming