Related papers: Constructive Proof of Global Lyapunov Function as …
We propose a deep neural network architecture and a training algorithm for computing approximate Lyapunov functions of systems of nonlinear ordinary differential equations. Under the assumption that the system admits a compositional…
In this article, we provide a general strategy based on Lyapunov functionals to analyse global asymptotic stability of linear infinite-dimensional systems subject to nonlinear dampings under the assumption that the origin of the system is…
We study path-complete Lyapunov functions, which are stability criteria for switched systems, described by a combinatorial component (namely, an automaton), and a functional component (a set of candidate Lyapunov functions, called the…
This paper provides a novel definition for Lyapunov functions for difference inclusions defined by convex processes. It is shown that this definition reflects stability properties of nonstrict convex processes better than previously used…
An approach for computing Lyapunov functions for nonlinear continuous-time differential equations is developed via a new, Massera-type construction. This construction is enabled by imposing a finite-time criterion on the integrated…
This paper is concerned with the problem of finding a quadratic common Lyapunov function for a family of stable linear systems. We present gradient iteration algorithms which give deterministic convergence for finite system families and…
Polyhedral Lyapunov functions can approximate any norm arbitrarily well. Because of this, they are used to study the stability of linear time varying and linear parameter varying systems without being conservative. However, the…
Lyapunov's theorem is a classical result in convex analysis, concerning the convexity of the range of nonatomic measures. Given a family of integrable vector functions on a compact set, this theorem allows to prove the equivalence between…
When one tries to take into account the non-trivial vacuum structure of Quantum Field Theory, the standard functional-integral tools such as generating functionals or transitional amplitudes, are often quite inadequate for such purposes.…
We give two kinds of approximation of Lyapunov exponents of rational functions of degree more than one on the projective line over more general fields than that of complex numbers.
We introduce the concept of sos-convex Lyapunov functions for stability analysis of both linear and nonlinear difference inclusions (also known as discrete-time switched systems). These are polynomial Lyapunov functions that have an…
It is well know that for globally contractive autonomous systems, there exists a unique equilibrium and the distance to the equilibrium evaluated along any trajectory decreases exponentially with time. We show that, additionally, the…
This paper presents a proof that existence of a polynomial Lyapunov function is necessary and sufficient for exponential stability of sufficiently smooth nonlinear ordinary differential equations on bounded sets. The main result states that…
We present a technique for learning control Lyapunov (potential) functions, which are used in turn to synthesize controllers for nonlinear dynamical systems. The learning framework uses a demonstrator that implements a black-box, untrusted…
In this paper quotients of control systems which are generalizations of system reductions are used to study the stabilizability property of non-linear systems. Given a control system and its quotient we study under what conditions…
We consider the problem of constructing Lyapunov functions for linear differential equations with delays. For such systems it is known that exponential stability implies the existence of a positive Lyapunov function which is quadratic on…
In 1961, R\'enyi discovered a rich family of non-classical Lyapunov functions for kinetics of the Markov chains, or, what is the same, for the linear kinetic equations. This family was parameterised by convex functions on the positive…
This paper studies the relationship between the Lyapunov function of a macrosystem whose dynamics is governed by the laws of stochastic chemical kinetics and the invariant measure of this macrosystem arising at large times. A necessary and…
The so-called Fundamental Theorem of Dynamical Systems -- which(1) relates attractors and repellers to the chain recurrent set and (2) gives the existence of a complete Lyapunov function -- can be seen as a means of separating out…
We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies…