[HTML][HTML] Review on computational methods for Lyapunov functions

P Giesl, S Hafstein - Discrete and Continuous Dynamical Systems …, 2015 - aimsciences.org
Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both
in theory and applications. They provide sufficient conditions for the stability of equilibria or …

LMI techniques for optimization over polynomials in control: a survey

G Chesi - IEEE transactions on Automatic Control, 2010 - ieeexplore.ieee.org
Numerous tasks in control systems involve optimization problems over polynomials, and
unfortunately these problems are in general nonconvex. In order to cope with this difficulty …

Universal approximation property of invertible neural networks

I Ishikawa, T Teshima, K Tojo, K Oono, M Ikeda… - Journal of Machine …, 2023 - jmlr.org
Invertible neural networks (INNs) are neural network architectures with invertibility by
design. Thanks to their invertibility and the tractability of their Jacobians, INNs have various …

Learning control lyapunov functions from counterexamples and demonstrations

H Ravanbakhsh, S Sankaranarayanan - Autonomous Robots, 2019 - Springer
We present a technique for learning control Lyapunov-like functions, which are used in turn
to synthesize controllers for nonlinear dynamical systems that can stabilize the system, or …

Monte Carlo with determinantal point processes

R Bardenet, A Hardy - 2020 - projecteuclid.org
We show that repulsive random variables can yield Monte Carlo methods with faster
convergence rates than the typical N^-1/2, where N is the number of integrand evaluations …

[PDF][PDF] ADVANCES IN COMPUTATIONAL LYAPUNOV ANALYSIS USING SUM-OF-SQUARES PROGRAMMING.

J Anderson, A Papachristodoulou - Discrete & Continuous Dynamical …, 2015 - columbia.edu
The stability of an equilibrium point of a nonlinear dynamical system is typically determined
using Lyapunov theory. This requires the construction of an energy-like function, termed a …

LMI stability conditions for uncertain rational nonlinear systems

A Trofino, TJM Dezuo - International Journal of Robust and …, 2014 - Wiley Online Library
This paper presents LMI conditions for local, regional, and global robust asymptotic stability
of rational uncertain nonlinear systems. The uncertainties are modeled as real time varying …

[HTML][HTML] Revised CPA method to compute Lyapunov functions for nonlinear systems

PA Giesl, SF Hafstein - Journal of Mathematical Analysis and Applications, 2014 - Elsevier
The CPA method uses linear programming to compute Continuous and Piecewise Affine
Lyapunov functions for nonlinear systems with asymptotically stable equilibria. In [14] it was …

[PDF][PDF] A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function

AA Ahmadi, M Krstic, PA Parrilo - 2011 50th IEEE Conference on Decision …, 2011 - mit.edu
A Globally Asymptotically Stable Polynomial Vector Field with No Polynomial Lyapunov
Function Page 1 A Globally Asymptotically Stable Polynomial Vector Field with no Polynomial …

Computation and verification of Lyapunov functions

P Giesl, S Hafstein - SIAM Journal on Applied Dynamical Systems, 2015 - SIAM
Lyapunov functions are an important tool to determine the basin of attraction of equilibria in
Dynamical Systems through their sublevel sets. Recently, several numerical construction …