[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 …
in theory and applications. They provide sufficient conditions for the stability of equilibria or …
[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 …
using Lyapunov theory. This requires the construction of an energy-like function, termed a …
Review on contraction analysis and computation of contraction metrics
Contraction analysis considers the distance between two adjacent trajectories. If this
distance is contracting, then trajectories have the same long-term behavior. The main …
distance is contracting, then trajectories have the same long-term behavior. The main …
Common Lyapunov functions for switched linear systems: Linear programming-based approach
S Andersen, P Giesl, S Hafstein - IEEE Control Systems Letters, 2022 - ieeexplore.ieee.org
We study the stability of an equilibrium of arbitrarily switched, autonomous, continuous-time
systems through the computation of a common Lyapunov function (CLF). The switching …
systems through the computation of a common Lyapunov function (CLF). The switching …
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 …
Dynamical Systems through their sublevel sets. Recently, several numerical construction …
Polynomial optimization with applications to stability analysis and control-alternatives to sum of squares
In this paper, we explore the merits of various algorithms for polynomial optimization
problems, focusing on alternatives to sum of squares programming. While we refer to …
problems, focusing on alternatives to sum of squares programming. While we refer to …
Computation of Lyapunov functions for nonlinear discrete time systems by linear programming
P Giesl, S Hafstein - Journal of Difference Equations and …, 2014 - Taylor & Francis
Given an autonomous discrete time system with an equilibrium at the origin and a
hypercube containing the origin, we state a linear programming problem, of which any …
hypercube containing the origin, we state a linear programming problem, of which any …
Construction of a Lyapunov function for a linear large-scale periodic system with possibly unstable subsystems
V Slynko, O Tunç, I Atamas - Journal of the Franklin Institute, 2022 - Elsevier
This article proposes an approach to construct a Lyapunov function for a linear large-scale
periodic system. In this case, in contrast to various variants of small-gain stability conditions …
periodic system. In this case, in contrast to various variants of small-gain stability conditions …
Construction of a CPA contraction metric for periodic orbits using semidefinite optimization
P Giesl, S Hafstein - Nonlinear Analysis: Theory, Methods & Applications, 2013 - Elsevier
A Riemannian metric with a local contraction property can be used to prove existence and
uniqueness of a periodic orbit and determine a subset of its basin of attraction. While the …
uniqueness of a periodic orbit and determine a subset of its basin of attraction. While the …
[PDF][PDF] Computation of Lyapunov functions for systems with multiple local attractors
We present a novel method to compute Lyapunov functions for continuous-time systems with
multiple local attractors. In the proposed method one first computes an outer approximation …
multiple local attractors. In the proposed method one first computes an outer approximation …