{"id":"arxiv/2606.19669","url":"https://arxiv.org/abs/2606.19669","tags":["math.OC","eess.SY"],"score":0,"title":"Learning Neural Maximal Lyapunov Functions on $\\mathsf{SO}(n)$","domain":"math.OC","source":"arxiv","authors":["Adeel Akhtar","Matthieu Barreau"],"reviews":0,"subject":"math.OC","summary":"Establishing stability guarantees for dynamical systems on Lie groups is a fundamental challenge, as classical Lyapunov methods developed for Euclidean spaces do not directly transfer to curved geometries. In this paper, we propose a framework for learning maximal Lyapunov functions for systems evolving on the special orthogonal group $\\mathsf{SO}(n)$. Theoretically, we introduce a neural Lyapunov architecture based on the logarithmic map with proven approximation capabilities, and we formulate the learning problem via a Zubov-type characterization of the maximal region of attraction. A key…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-18","reactions":{}}