4 papers · 1 filter
Learning Neural Maximal Lyapunov Functions on
Adeel Akhtar, Matthieu Barreau
Establishing stability guarantees for dynamical systems on Lie groups is a fundamental challenge, as classical Lyapunov methods developed for Euclidean spaces do not directly trans…
Locally Stable Neural ODEs with Characterized Region of Attraction
Alice Harting, Karl Henrik Johansson, Sophie Tarbouriech +1
We propose a class of neural ODEs that universally approximates locally exponentially stable dynamics and the region of attraction from trajectory data. The model dynamics are cons…
(Un)supervised Learning of Maximal Lyapunov Functions
Matthieu Barreau, Nicola Bastianello
In this paper, we address the problem of discovering maximal Lyapunov functions, as a means of determining the region of attraction of a dynamical system. To this end, we design a…
Integral Quadratic Constraints on Linear Infinite-dimensional Systems for Robust Stability Analysis
Matthieu Barreau, Carsten W. Scherer, Frederic Gouaisbaut +1
This paper proposes a framework to assess the stability of an ordinary differential equation which is coupled to a 1D-partial differential equation (PDE). The stability theorem is…