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.

Convergence Criteria for a Hopfield-type Neural Network

Convergence Analysis of General Neural Networks under Almost Periodic Stimuli

A Critical Analysis on Global Convergence of Hopfield-type Neural Networks.

Global Convergence and Asymptotic Stability of Asymmetric Hopfield Neural Networks

New delay-interval-dependent stability criteria for switched Hopfield neural networks of neutral type with successive time-varying delay components

Stability Analysis on a Class of Nonlinear Continuous Neural Networks

Title A new criterion of delay-dependent asymptotic stability forHopfield neural networks with time delay

Globally Exponential Stability for Hopfield Neural Networks

A New Criterion of Delay-Dependent Asymptotic Stability for Hopfield Neural Networks with Time Delay

Global Exponential Stability of Hopfield-Type Neural Networks

Stability of Solutions to Systems of Nonlinear Differential Equations with Discontinuous Right-Hand Sides: Applications to Hopfield Artificial Neural Networks

Global Convergence of a Class of Nonlinear Dynamical Networks

Convergence analysis of discrete time recurrent neural networks for linear variational inequality problem

Delay-independent and delay-dependent stability of a novel delayed neural network

A new Lyapunov functional for stability analysis of neutral-type Hopfield neural networks with multiple delays

On the Stability and Convergence of Physics Informed Neural Networks

New Necessary and Sufficient Conditions for Absolute Stability of Neural Networks

Discrete-time Convergent Nonlinear Systems

Nonlinear Dynamics of Three-Neurons-Based Hopfield Neural Networks (HNNs): Remerging Feigenbaum Trees, Coexisting Bifurcations and Multiple Attractors

A New Approach to Stability of Neural Networks with Time-Varying Delays.

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions