Constructing Lyapunov functions for nonlinear dynamical systems is a central problem in stability analysis, yet remains challenging. Lyapunov functions are commonly characterized as solutions to first-order partial differential equations (PDEs), but these solutions are typically obtained for single systems, limiting th...
Amartya Mukherjee, Maxwell Fitzsimmons, D. C. Del Rey Fernández et al.· 0 citations
SAILOR, a proof-of-concept system that detects such unsupported numerical choices, asks the user targeted follow-up questions, and updates the optimization model before returning a solution, is presented.
Shaghayegh Sadeghi, Steve Smith, D. C. Del Rey Fernández· 0 citations
It is proved that when neural approximations lie in a compact subset of the solution space, vanishing residual error guarantees convergence to the true solution.
Amartya Mukherjee, Maxwell Fitzsimmons, D. C. Del Rey Fernández et al.· arXiv.org· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.