A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913089733001216 |
|---|---|
| author | Teichrib, Dieter Darup, Moritz Schulze |
| author_facet | Teichrib, Dieter Darup, Moritz Schulze |
| contents | We present a method for representing the closed-loop dynamics of piecewise affine (PWA) systems with bounded additive disturbances and neural network-based controllers as mixed-integer (MI) linear constraints. We show that such representations enable the computation of robustly positively invariant (RPI) sets for the specified system class by solving MI linear programs. These RPI sets can subsequently be used to certify stability and constraint satisfaction. Furthermore, the approach allows to handle non-linear systems based on suitable PWA approximations and corresponding error bounds, which can be interpreted as the bounded disturbances from above. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_11125 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances Teichrib, Dieter Darup, Moritz Schulze Systems and Control Optimization and Control We present a method for representing the closed-loop dynamics of piecewise affine (PWA) systems with bounded additive disturbances and neural network-based controllers as mixed-integer (MI) linear constraints. We show that such representations enable the computation of robustly positively invariant (RPI) sets for the specified system class by solving MI linear programs. These RPI sets can subsequently be used to certify stability and constraint satisfaction. Furthermore, the approach allows to handle non-linear systems based on suitable PWA approximations and corresponding error bounds, which can be interpreted as the bounded disturbances from above. |
| title | A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances |
| topic | Systems and Control Optimization and Control |
| url | https://arxiv.org/abs/2504.11125 |