Stability Verification of Neural Network Controllers Using Mixed-Integer Programming

We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP) representable control policies. This framework compares a fixed candidate policy, which admits an efficient parameterization and can be evaluated at a low computational cost, against a fixed baseline pol...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on automatic control Vol. 68; no. 12; pp. 1 - 16
Main Authors:	Schwan, Roland, Jones, Colin N., Kuhn, Daniel
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.12.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Approximation Approximation error Artificial neural networks Closed loops Computing costs Integer programming Linear programming Mathematical analysis Mixed integer Neural networks Numerical stability Parameterization Policies Power converters Power electronics Predictive control Programming Quadratic programming Stability analysis Symmetric matrices Verification
ISSN:	0018-9286, 1558-2523
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!