[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 …

[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 …

Review on contraction analysis and computation of contraction metrics

P Giesl, S Hafstein, C Kawan - arXiv preprint arXiv:2203.01367, 2022 - arxiv.org
Contraction analysis considers the distance between two adjacent trajectories. If this
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 …

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 …

Polynomial optimization with applications to stability analysis and control-alternatives to sum of squares

R Kamyar, M Peet - arXiv preprint arXiv:1408.5119, 2014 - arxiv.org
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 …

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 …

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 …

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 …

[PDF][PDF] Computation of Lyapunov functions for systems with multiple local attractors

J Björnsson, P Giesl, SF Hafstein… - Discrete and …, 2015 - pdfs.semanticscholar.org
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 …