Fetching the paper…
Reading the bibliography…
The estimation for the region of attraction (ROA) of an asymptotically stable equilibrium point is crucial in the analysis of nonlinear systems.
B. O. Koopman, “Hamiltonian systems and transformation in hilbert space,” Proceedings of the National Academy of Sciences
1931
Earlier work this paper cites.
US Atomic Energy Commission, 1961
V. I. Zubov, Methods of AM Lyapunov and Their Application · 1961
Earlier work this paper cites.
F. Wilson, “Smoothing derivatives of functions and applications,” Transactions of the American Mathematical Society
1969
Earlier work this paper cites.
A. Vannelli and M. Vidyasagar, “Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems,” Automatica
1985
Earlier work this paper cites.
Y. Lin, E. D. Sontag, and Y. Wang, “A smooth converse Lyapunov theorem for robust stability,” SIAM Journal on Control and Optimization
1996
Earlier work this paper cites.
Springer, 1997
M. Bardi and I. C. Dolcetta, Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations · 1997
Earlier work this paper cites.
F. H. Clarke, Y. S. Ledyaev, and R. J. Stern, “Asymptotic stability and smooth Lyapunov functions,” Journal of differential Equations
1998
Earlier work this paper cites.
A. R. Teel and L. Praly, “A smooth Lyapunov function from a class-estimate involving two positive semidefinite functions,” ESAIM: Control, Optimisation and Calculus of Variations
2000
Earlier work this paper cites.
Pearson, 2001
K. K. Hassan, Nonlinear systems · 2001
Earlier work this paper cites.
F. Camilli, L. Grüne, and F. Wirth, “A generalization of Zubov’s method to perturbed systems,” SIAM Journal on Control and Optimization
2001
Earlier work this paper cites.
Q. J. Zhu, “Lower semicontinuous Lyapunov functions and stability,” Journal of Nonlinear and Convex Analysis
2003
Earlier work this paper cites.
D. Blömker and M. Hairer, “Multiscale expansion of invariant measures for spdes,” Communications in mathematical physics
2004
Earlier work this paper cites.
I. Mezić, “Spectral properties of dynamical systems, model reduction and decompositions,” Nonlinear Dynamics
2005
Earlier work this paper cites.
P. J. Schmid and J. Sesterhenn, “Dynamic mode decomposition of experimental data,” in Proc. of ISPIV
2009
Earlier work this paper cites.
American Mathematical Society, 2010
L. C. Evans, Partial Differential Equations · 2010
Earlier work this paper cites.
U. Topcu, A. Packard, P. Seiler, and G. Balas, “Help on sos [ask the experts],” IEEE Control Systems Magazine
2010
Earlier work this paper cites.
A. Mauroy and I. Mezić, “A spectral operator-theoretic framework for global stability,” in Proc. of CDC
2013
Cited alongside, same era.
Y. Lan and I. Mezić, “Linearization in the large of nonlinear systems and Koopman operator spectrum,” Physica D: Nonlinear Phenomena
2013
Cited alongside, same era.
Springer Science & Business Media, 2013
B. Oksendal, Stochastic Differential Equations: An Introduction with Applications · 2013
Cited alongside, same era.
S. Gao, S. Kong, and E. M. Clarke, “dReal: An SMT solver for nonlinear theories over the reals,” in Proc. of CADE
2013
Cited alongside, same era.
P. Giesl and S. Hafstein, “Review on computational methods for Lyapunov functions,” Discrete & Continuous Dynamical Systems-B
2015
Cited alongside, same era.
M. Jones and M. M. Peet, “Converse Lyapunov functions and converging inner approximations to maximal regions of attraction of nonlinear systems,” in Proc. of CDC
2021
Later among the works it cites.
Y. Meng, Y. Li, and J. Liu, “Control of nonlinear systems with reach-avoid-stay specifications: A Lyapunov-barrier approach with an application to the moore-greizer model,” in Proc. of ACC
2021
Later among the works it cites.
S. A. Deka, A. M. Valle, and C. J. Tomlin, “Koopman-based neural Lyapunov functions for general attractors,” in 2022 IEEE 61st Conference on Decision and Control (CDC)
2022
Later among the works it cites.
R. Zhou, T. Quartz, H. De Sterck, and J. Liu, “Neural Lyapunov control of unknown nonlinear systems with stability guarantees,” Advances in Neural Information Processing Systems
2022
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
M. O. Williams, I. G. Kevrekidis, and C. W. Rowley, “A data–driven approximation of the Koopman operator: Extending dynamic mode decomposition,” Journal of Nonlinear Science
2015
Cited alongside, same era.
A. Mauroy and I. Mezić, “Global stability analysis using the eigenfunctions of the Koopman operator,” IEEE Transactions on Automatic Control
2016
Cited alongside, same era.
B. Lusch, J. N. Kutz, and S. L. Brunton, “Deep learning for universal linear embeddings of nonlinear dynamics,” Nature Communications
2018
Cited alongside, same era.
M. Raissi, P. Perdikaris, and G. E. Karniadakis, “Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations,” Journal of Computational physics
2019
Cited alongside, same era.
A. Mauroy and J. Goncalves, “Koopman-based lifting techniques for nonlinear systems identification,” IEEE Transactions on Automatic Control
2019
Cited alongside, same era.
Y. Li and J. Liu, “Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications,” IEEE Transactions on Automatic Control
2020
Cited alongside, same era.
O. Azencot, N. B. Erichson, V. Lin, and M. Mahoney, “Forecasting sequential data using consistent Koopman autoencoders,” in International Conference on Machine Learning
2020
Cited alongside, same era.
Y. Meng, Y. Li, M. Fitzsimmons, and J. Liu, “Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications,” Automatica
2022
Later among the works it cites.
S. L. Brunton, M. Budišić, E. Kaiser, and J. N. Kutz, “Modern Koopman theory for dynamical systems,” SIAM Review
2022
Later among the works it cites.
C. Dawson, S. Gao, and C. Fan, “Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction methods for robotics and control,” IEEE Transactions on Robotics
2023
Closest in time.
B. Yi and I. R. Manchester, “On the equivalence of contraction and Koopman approaches for nonlinear stability and control,” IEEE Transactions on Automatic Control
2023
Closest in time.
J. Liu, Y. Meng, M. Fitzsimmons, and R. Zhou, “Towards learning and verifying maximal neural Lyapunov functions,” in Proc. of CDC
2023
Closest in time.
Wiley-Blackwell, 2023
M. Farsi and J. Liu, Model-based Reinforcement Learning: From Data to Actions with Python-based Toolbox · 2023
Closest in time.
2023
Closest in time.
Y. Meng and J. Liu, “Lyapunov-barrier characterization of robust reach–avoid–stay specifications for hybrid systems,” Nonlinear Analysis: Hybrid Systems
2023
Closest in time.
2023
Closest in time.
Y. Meng, N. S. Namachchivaya, and N. Perkowski, “Hopf bifurcations of moore-greitzer pde model with additive noise,” Journal of Nonlinear Science
2023
Closest in time.
Z. Zeng, Z. Yue, A. Mauroy, J. Gonçalves, and Y. Yuan, “A sampling theorem for exact identification of continuous-time nonlinear dynamical systems,” IEEE Transactions on Automatic Control
2024
Closest in time.