Fetching the paper…
Reading the bibliography…
In this paper, we describe a lightweight Python framework that provides integrated learning and verification of neural Lyapunov functions for stability analysis.
Construction of Global Lyapunov Functions Using Radial Basis Functions . Vol. 1904
Peter Giesl. 2007 · 1904
Earlier work this paper cites.
Methods of A. M. Lyapunov and Their Application
V. I. Zubov. 1964 · 1964
Earlier work this paper cites.
Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
Anthony Vannelli and Mathukumalli Vidyasagar. 1985 · 1985
Earlier work this paper cites.
The general problem of the stability of motion
Aleksandr Mikhailovich Lyapunov. 1992 · 1992
Earlier work this paper cites.
Feedback stabilization: control Lyapunov functions modelled by neural networks. In Proc. of CDC . 2812–2814 vol.3
Y. Long and M.M. Bayoumi. 1993 · 1993
Earlier work this paper cites.
A Lyapunov machine for stability analysis of nonlinear systems. In Proceedings of 1994 IEEE International Conference on Neural Networks (ICNN’94) , Vol. 2. IEEE, 1028–1031
Danil V Prokhorov. 1994 · 1994
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 · 1998
Earlier work this paper cites.
On the construction of Lyapunov functions using the sum of squares decomposition. In Proceedings of IEEE Conference on Decision and Control , Vol. 3. IEEE, 3482–3487
Antonis Papachristodoulou and Stephen Prajna. 2002 · 2002
Earlier work this paper cites.
A tutorial on sum of squares techniques for systems analysis. In Proc. of ACC . IEEE, 2686–2700
Antonis Papachristodoulou and Stephen Prajna. 2005 · 2005
Earlier work this paper cites.
Z3: An efficient SMT solver. In Proc. of TACAS . Springer, 337–340
Leonardo De Moura and Nikolaj Bjørner. 2008 · 2008
Earlier work this paper cites.
Nonlinear Dynamical Systems and Control: A Lyapunov-based Approach
Wassim M Haddad and VijaySekhar Chellaboina. 2008 · 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 · 2008
Earlier work this paper cites.
Local stability analysis using simulations and sum-of-squares programming
Ufuk Topcu, Andrew Packard, and Peter Seiler. 2008 · 2008
Earlier work this paper cites.
Help on SOS
Andy Packard, Ufuk Topcu, Peter J Seiler Jr, and Gary Balas. 2010 · 2010
Earlier work this paper cites.
Constructive Nonlinear Control
Rodolphe Sepulchre, Mrdjan Jankovic, and Petar V Kokotovic. 2012 · 2012
Cited alongside, same era.
dReal: an SMT solver for nonlinear theories over the reals. In Proceedings of International Conference on Automated Deduction . 208–214
Sicun Gao, Soonho Kong, and Edmund M Clarke. 2013 · 2013
Cited alongside, same era.
Simulation-guided Lyapunov analysis for hybrid dynamical systems. In Proc. of HSCC . 133–142
James Kapinski, Jyotirmoy V Deshmukh, Sriram Sankaranarayanan, and Nikos Arechiga. 2014 · 2014
Cited alongside, same era.
Estimation of region of attraction for polynomial nonlinear systems: A numerical method
Larissa Khodadadi, Behzad Samadi, and Hamid Khaloozadeh. 2014 · 2014
Cited alongside, same era.
Review on computational methods for Lyapunov functions
Peter Giesl and Sigurdur Hafstein. 2015 · 2015
Cited alongside, same era.
SymPy: symbolic computing in Python
FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks. In Proceedings of the International Conference on Hybrid Systems: Computation and Control . 1–11
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, and Andrea Peruffo. 2021 · 2021
Later among the works it cites.
Lyapunov-stable neural-network control. In Proc. of RSS
Hongkai Dai, Benoit Landry, Lujie Yang, Marco Pavone, and Russ Tedrake. 2021 · 2021
Later among the works it cites.
Computing Lyapunov functions using deep neural networks
Lars Grüne. 2021a · 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. 2021b · 2021
Later among the works it cites.
Converse Lyapunov functions and converging inner approximations to maximal regions of attraction of nonlinear systems. In Proc. of CDC . IEEE, 5312–5319
Morgan Jones and Matthew M Peet. 2021 · 2021
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Aaron Meurer, Christopher P Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B Kirpichev, Matthew Rocklin, AMiT Kumar, Sergiu Ivanov, Jason K Moore, Sartaj Singh, et al · 2017
Cited alongside, same era.
Neural Lyapunov control
Ya-Chien Chang, Nima Roohi, and Sicun Gao. 2019 · 2019
Cited alongside, same era.
Pytorch: An imperative style, high-performance deep learning library
Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, et al · 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 · 2019
Cited alongside, same era.
Formal synthesis of Lyapunov neural networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo. 2020 · 2020
Cited alongside, same era.
Automated and sound synthesis of Lyapunov functions with SMT solvers. In Proc. of TACAS . Springer, 97–114
Daniele Ahmed, Andrea Peruffo, and Alessandro Abate. 2020 · 2020
Cited alongside, same era.
Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. In Proc. of CDC . 1274–1281
Hongkai Dai, Benoit Landry, Marco Pavone, and Russ Tedrake. 2020 · 2020
Cited alongside, same era.
Later among the works it cites.
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees. In Advances in Neural Information Processing Systems
Ruikun Zhou, Thanin Quartz, Hans De Sterck, and Jun Liu. 2022 · 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 · 2023
Later among the works it cites.
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Alec Edwards, Andrea Peruffo, and Alessandro Abate. 2023 · 2023
Later among the works it cites.
Joblib: running Python functions as pipeline jobs
Joblib Development Team. 2023 · 2023
Later among the works it cites.
Data-Driven Computational Methods for the Domain of Attraction and Zubov’s Equation
Wei Kang, Kai Sun, and Liang Xu. 2023 · 2023
Later among the works it cites.
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, and Ruikun Zhou. 2023a · 2023
Later among the works it cites.
Yiming Meng, Ruikun Zhou, and Jun Liu. 2023 · 2023
Later among the works it cites.
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, and Jun Liu. 2024b · 2024
Closest in time.
Lyapunov-Net: A deep neural network architecture for Lyapunov function approximation. In Proceedings of the IEEE Conference on Decision and Control . IEEE, 2091–2096
Nathan Gaby, Fumin Zhang, and Xiaojing Ye. 2022 · 2096
Closest in time.