Abstract:Neural-based, data-driven analysis and control of dynamical systems have been recently investigated and have shown great promise, e.g. for safety verification or stability analysis. Indeed, not only do neural networks allow for an entirely model-free, data-driven approach, but also for handling arbitrary complex functions via their power of representation (as opposed to, e.g. algebraic optimization techniques that are restricted to polynomial functions). Whilst classical Lyapunov techniques allow to provide a formal and robust guarantee of stability of a switched dynamical system, very little is yet known about correctness guarantees for Neural Lyapunov functions, nor about their performance (amount of data needed for a certain accuracy). We thus formally introduce neural Lyapunov functions for the stability analysis of switched linear systems: we benchmark them on this paradigmatic problem, which is notoriously difficult (and in general Turing-undecidable), but which admits recently-developed technologies and theoretical results. Inspired by switched systems theory, we provide theoretical guarantees on the representative power of neural networks, leveraging recent results from the ML community. We additionally experimentally display how neural Lyapunov functions compete with state-of-the-art results and techniques, while admitting a wide range of improvement, both in theory and in practice. This study intends to improve our understanding of the opportunities and current limitations of neural-based data-driven analysis and control of complex dynamical systems.

Remarks on the Stability of Asymmetric Dynamical Neural Networks.

Dynamics Analysis and Analog Associative Memory of Networks with LT Neurons.

Stability of the Dynamics of an Asymmetric Neural Network

Stability of a Class of Neural Networks with Asymmetric Connection Weights

Exponential Stability of Neural Networks with Asymmetric Connection Weights

A Novel Stabilizing Control for Neural Nonlinear Systems with Time Delays by State and Dynamic Output Feedback

A New Neural Network Model for the Feedback Stabilization of Nonlinear Systems

On convergence properties of the brain-state-in-a-convex-domain

Asymptotical Stability in Discrete-Time Neural Networks

LMI-based Approach for Global Asymptotic Stability Analysis of Continuous BAM Neural Networks

Stability of asymmetric Hopfield networks

A Simple Proof of a Necessary and Sufficient Condition for Absolute Stability of Symmetric Neural Networks

New Necessary and Sufficient Conditions for Absolute Stability of Neural Networks

On a Class of Globally Stable Neural Circuits

Stability and bifurcation of a class of discrete-time neural networks

Stability Analysis Of Dynamic Systems In Neural Network

Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variability

On-line Stable Nonlinear Modelling by Structurally Adaptive Neural Nets

A Neural Stabilizing Control For Discrete-Time Nonlinear Systems By Dynamic Output Feedback

Stability and Spatiotemporal Bifurcations in Spatially Distributed Neural Networks with Nonlocal Delay

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions