Related papers: Algebraic Lyapunov Functions for Homogeneous Dynam…
A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalities between these pieces. It provides a stability certificate…
Energy (or Lyapunov) functions are used to prove stability of equilibria, or to indicate a gradient-like structure of a dynamical system. Matano constructed a Lyapunov function for quasilinear non-degenerate parabolic equations. We modify…
Deep networks are commonly used to model dynamical systems, predicting how the state of a system will evolve over time (either autonomously or in response to control inputs). Despite the predictive power of these systems, it has been…
Lyapunov functions provide a tool to analyze the stability of nonlinear systems without extensively solving the dynamics. Recent advances in sum-of-squares methods have enabled the algorithmic computation of Lyapunov functions for…
This paper investigates the problem of synchronization for nonlinear systems. Following a Lyapunov approach, we firstly study global synchronization of nonlinear systems in canonical control form with both distributed…
Lyapunov exponents are indicators for the chaotic properties of a classical dynamical system. They are most naturally defined in terms of the time evolution of a set of so-called covariant vectors, co-moving with the linearized flow in…
Complete Lyapunov functions for a dynamical system, given by an autonomous ordinary differential equation, are scalar-valued functions that are strictly decreasing along orbits outside the chain-recurrent set. In this paper we show that we…
We investigate the formal synthesis of global polynomial Lyapunov functions for polynomial vector fields. We establish that a sign-definite polynomial must satisfy specific algebraic constraints, which we leverage to develop a set of…
We propose an automatic and formally sound method for synthesising Lyapunov functions for the asymptotic stability of autonomous non-linear systems. Traditional methods are either analytical and require manual effort or are numerical but…
We propose and analyze a new candidate Lyapunov function for relaxation towards general nonequilibrium steady states. The proposed functional is obtained from the large time asymptotics of time-symmetric fluctuations. For driven Markov jump…
This article proposes an approach to construct a Lyapunov function for a linear coupled impulsive system consisting of two time-invariant subsystems. In contrast to various variants of small-gain stability conditions for coupled systems,…
We exhibit a large class of Lyapunov functionals for nonlinear drift-diffusion equations with non-homogeneous Dirichlet boundary conditions. These are generalizations of large deviation functionals for underlying stochastic many-particle…
We prove that if a homogeneous, continuously differentiable vector field is asymptotically stable, then it admits a Lyapunov function which is the ratio of two polynomials (i.e., a rational function). We further show that when the vector…
We propose a single time-scale stochastic subgradient method for constrained optimization of a composition of several nonsmooth and nonconvex functions. The functions are assumed to be locally Lipschitz and differentiable in a generalized…
In this note, two generalized corollaries to the LaSalle-Yoshizawa Theorem are presented for nonautonomous systems described by nonlinear differential equations with discontinuous right-hand sides. Lyapunov-based analysis methods are…
In this work, we present the equivalent of many theorems available for continuous time systems. In particular, the theory is applied to Averaging Theory and Separation of time scales. In particular the proofs developed for Averaging Theory…
Time evolution equations for dynamical systems can often be derived from generating functionals. Examples are Newton's equations of motion in classical dynamics which can be generated within the Lagrange or the Hamiltonian formalism. We…
This paper is devoted to constructing and studying exactly solvable dynamical systems in discrete time obtained from some algebraic operations on matrices, to reductions of such systems leading to classical field theory models in…
This work presents an approach to synthesize a Lyapunov-like function to ensure incrementally input-to-state stability ($\delta$-ISS) property for an unknown discrete-time system. To deal with challenges posed by unknown system dynamics, we…
A powerful tool for studying long-term convergence of a Markov process to its stationary distribution is a Lyapunov function. In some sense, this is a substitute for eigenfunctions. For a stochastically ordered Markov process on the…