Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F22%3A00360191" target="_blank" >RIV/68407700:21230/22:00360191 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1109/LCSYS.2022.3181806" target="_blank" >https://doi.org/10.1109/LCSYS.2022.3181806</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/LCSYS.2022.3181806" target="_blank" >10.1109/LCSYS.2022.3181806</a>

Result language
angličtina
Original language name
Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity
Original language description
This letter makes several contributions on stability and performance verification of nonlinear dynamical systems controlled by neural networks. First, we show that the stability and performance of a polynomial dynamical system controlled by a neural network with semialgebraically representable activation functions (e.g., ReLU) can be certified by convex semidefinite programming. The result is based on the fact that the semialgebraic representation of the activation functions and polynomial dynamics allows one to search for a Lyapunov function using polynomial sum-of-squares methods. Second, we remark that even in the case of a linear system controlled by a neural network with ReLU activation functions, the problem of verifying asymptotic stability is undecidable. Finally, under additional assumptions, we establish a converse result on the existence of a polynomial Lyapunov function for this class of systems. Numerical results with code available online on examples of state-space dimension up to 50 and neural networks with several hundred neurons and up to 30 layers demonstrate the method.
Czech name
—
Czech description
—

Type
J<sub>SC</sub> - Article in a specialist periodical, which is included in the SCOPUS database
CEP classification
—
OECD FORD branch
20205 - Automation and control systems

Project
<a href="/en/project/GJ20-11626Y" target="_blank" >GJ20-11626Y: Koopman operator framework for control of complex nonlinear dynamical systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)