Fetching the paper…
Reading the bibliography…
We provide a systematic investigation of using physics-informed neural networks to compute Lyapunov functions.
Methods of A. M. Lyapunov and Their Application
V. I. Zubov · 1964
Earlier work this paper cites.
Dynamical Systems: Stability Theory and Applications
Nam P Bhatia and George P Szegö · 1967
Earlier work this paper cites.
Viscosity solutions of hamilton-jacobi equations
Michael G Crandall and Pierre-Louis Lions · 1983
Earlier work this paper cites.
Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
Anthony Vannelli and Mathukumalli Vidyasagar · 1985
Earlier work this paper cites.
The general problem of the stability of motion
Aleksandr Mikhailovich Lyapunov · 1992
Earlier work this paper cites.
Feedback stabilization: control Lyapunov functions modelled by neural networks
Y. Long and M.M. Bayoumi · 1993
Earlier work this paper cites.
A Lyapunov machine for stability analysis of nonlinear systems
Danil V Prokhorov · 1994
Earlier work this paper cites.
Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations
Martino Bardi, Italo Capuzzo Dolcetta, et al · 1997
Earlier work this paper cites.
Artificial neural networks for solving ordinary and partial differential equations
Isaac E Lagaris, Aristidis Likas, and Dimitrios I Fotiadis · 1998
Earlier work this paper cites.
Optimality principles and representation formulas for viscosity solutions of hamilton-jacobi equations i. equations of unbounded and degenerate control problems without uniqueness
Pierpaolo Soravia · 1999
Earlier work this paper cites.
A generalization of Zubov’s method to perturbed systems
Fabio Camilli, Lars Grüne, and Fabian Wirth · 2001
Earlier work this paper cites.
On the construction of Lyapunov functions using the sum of squares decomposition
Antonis Papachristodoulou and Stephen Prajna · 2002
Earlier work this paper cites.
A tutorial on sum of squares techniques for systems analysis
Antonis Papachristodoulou and Stephen Prajna · 2005
Earlier work this paper cites.
Construction of Global Lyapunov Functions Using Radial Basis Functions
Peter Giesl · 2007
Earlier work this paper cites.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Nonlinear Dynamical Systems and Control: A Lyapunov-based Approach
Wassim M Haddad and VijaySekhar Chellaboina · 2008
Earlier work this paper cites.
Stability region analysis using polynomial and composite polynomial Lyapunov functions and sum-of-squares programming
Weehong Tan and Andrew Packard · 2008
Earlier work this paper cites.
Local stability analysis using simulations and sum-of-squares programming
Ufuk Topcu, Andrew Packard, and Peter Seiler · 2008
Cited alongside, same era.
Partial Differential Equations
Lawrence C Evans · 2010
Cited alongside, same era.
Help on SOS
Andy Packard, Ufuk Topcu, Peter J Seiler Jr, and Gary Balas · 2010
Cited alongside, same era.
Constructive Nonlinear Control
Rodolphe Sepulchre, Mrdjan Jankovic, and Petar V Kokotovic · 2012
Cited alongside, same era.
dreal: an SMT solver for nonlinear theories over the reals
Sicun Gao, Soonho Kong, and Edmund M Clarke · 2013
Cited alongside, same era.
Simulation-guided Lyapunov analysis for hybrid dynamical systems
James Kapinski, Jyotirmoy V Deshmukh, Sriram Sankaranarayanan, and Nikos Arechiga · 2014
Cited alongside, same era.
Learning region of attraction for nonlinear systems
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J Pappas, and Victor M Preciado · 2021
Later among the works it cites.
Lyapunov-stable neural-network control
Hongkai Dai, Benoit Landry, Lujie Yang, Marco Pavone, and Russ Tedrake · 2021
Later among the works it cites.
Computing Lyapunov functions using deep neural networks
Lars Grüne · 2021
Later among the works it cites.
Overcoming the curse of dimensionality for approximating Lyapunov functions with deep neural networks under a small-gain condition
Lars Grüne · 2021
Later among the works it cites.
Converse Lyapunov functions and converging inner approximations to maximal regions of attraction of nonlinear systems
Morgan Jones and Matthew M Peet · 2021
Later among the works it cites.
Lyapunov-Net: A deep neural network architecture for Lyapunov function approximation
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Estimation of region of attraction for polynomial nonlinear systems: A numerical method
Larissa Khodadadi, Behzad Samadi, and Hamid Khaloozadeh · 2014
Cited alongside, same era.
Review on computational methods for Lyapunov functions
Peter Giesl and Sigurdur Hafstein · 2015
Cited alongside, same era.
A sum-of-squares approach to the stability and control of interconnected systems using vector Lyapunov functions
Soumya Kundu and Marian Anghel · 2015
Cited alongside, same era.
Neural Lyapunov control
Ya-Chien Chang, Nima Roohi, and Sicun Gao · 2019
Cited alongside, same era.
Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations
Maziar Raissi, Paris Perdikaris, and George E Karniadakis · 2019
Cited alongside, same era.
Formal synthesis of Lyapunov neural networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo · 2020
Cited alongside, same era.
Nathan Gaby, Fumin Zhang, and Xiaojing Ye · 2022
Later among the works it cites.
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
Yiming Meng, Yinan Li, Maxwell Fitzsimmons, and Jun Liu · 2022
Later among the works it cites.
Neural Lyapunov control of unknown nonlinear systems with stability guarantees
Ruikun Zhou, Thanin Quartz, Hans De Sterck, and Jun Liu · 2022
Later among the works it cites.
Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction methods for robotics and control
Charles Dawson, Sicun Gao, and Chuchu Fan · 2023
Closest in time.
Data-driven computational methods for the domain of attraction and Zubov’s equation
Wei Kang, Kai Sun, and Liang Xu · 2023
Closest in time.
Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, and Ruikun Zhou · 2023
Closest in time.
Towards learning and verifying maximal neural Lyapunov functions
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, and Ruikun Zhou · 2023
Closest in time.
Yiming Meng, Ruikun Zhou, and Jun Liu · 2023
Closest in time.
Compositionally verifiable vector neural Lyapunov functions for stability analysis of interconnected nonlinear systems
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, and Ruikun Zhou · 2024
Closest in time.
LyZNet: A lightweight python tool for learning and verifying neural Lyapunov functions and regions of attraction
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, and Ruikun Zhou · 2024
Closest in time.
Physics-informed neural network policy iteration: Algorithms, convergence, and verification
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, and Jun Liu · 2024
Closest in time.