{"id":"arxiv/2606.10045","url":"https://arxiv.org/abs/2606.10045","tags":["eess.SY","math.OC"],"score":0,"title":"A constrained symbolic regression approach for Lyapunov function discovery","domain":"eess.SY","source":"arxiv","authors":["Ilias Mitrai","Wentao Tang"],"reviews":0,"subject":"eess.SY","summary":"In this paper, we consider the data-driven discovery of Lyapunov functions for autonomous dynamical systems. We represent the Lyapunov function as an expression tree of fixed depth and formulate the Lyapunov discovery task as a constrained self-supervised symbolic regression problem. The constraints model the output of the Lyapunov function for a given input as well as the Lyapunov stability conditions. This modeling approach makes no a priori assumptions about the functional form of the Lyapunov function, is inherently interpretable since the function is obtained in a symbolic form, and, in…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-06-08","reactions":{}}