Related papers: Lyapunov functions via Whitney's size functions
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…
Lyapunov functions are used to prove stability of equilibria, or to indicate a gradient-like structure of a dynamical system. Zelenyak (1968) and Matano (1988) constructed a Lyapunov function for quasilinear parabolic equations. We modify…
We present a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems (LSS). This allows us to decide the stability of LSS and to compute the Lyapunov exponent with a good precision in…
In this article, we introduce Lyapunov-type results to investigate the stability of the trivial solution of a Stieltjes dynamical system. We utilize prolongation results to establish the global existence of the maximal solution. Using…
Stability of stationary solutions of parabolic equations is conventionally studied by linear stability analysis, Lyapunov functions or lower and upper functions. We discuss here another approach based on differential inequalities written…
Monotone systems preserve a partial ordering of states along system trajectories and are often amenable to separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a scalar argument. In this paper,…
Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for constructing explicit ranges where quadratic Lyapunov functions…
This paper is concerned with stability analysis of nonlinear time-varying systems by using Lyapunov function based approach. The classical Lyapunov stability theorems are generalized in the sense that the time-derivative of the Lyapunov…
Stability analysis plays a crucial role in studying the behavior of dynamical systems with theoretical and engineering applications. Among various kinds of stability, the stability of equilibrium points is of the greatest importance which…
We discuss the existence of solutions with oblique asymptotes to a class of second order nonlinear ordinary differential equations by means of Lyapunov functions. The approach is new in this field and allows for simpler proofs of general…
We provide general methods for explicitly constructing strict Lyapunov functions for fully nonlinear slowly time-varying systems. Our results apply to cases where the given dynamics and corresponding frozen dynamics are not necessarily…
While there has been increasing interest in using neural networks to compute Lyapunov functions, verifying that these functions satisfy the Lyapunov conditions and certifying stability regions remain challenging due to the curse of…
In the present paper, a novel vector field decomposition based approach for constructing Lyapunov functions is proposed. For a given dynamical system, if the defining vector field admits a decomposition into two mutually orthogonal vector…
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…
It is a paper about models for isolated sets and the construction of special hyperbolic Lyapunov functions. We prove that after a suitable surgery every isolated set is the intersection of an attractor and a repeller. We give linear models…
We consider constructing Lyapunov functions for systems that are both monotone and contractive with respect to a weighted one norm or infinity norm. This class of systems admits separable Lyapunov functions that are either the sum or the…
This paper considers a sampling-based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of…
The aim of this short note is to show how to construct a complete Lyapunov function of a semiflow by using a complete Lyapunov function of its time-one map. As a byproduct we assure the existence of complete Lyapunov functions for semiflows…
We address the classic problem of stability and asymptotic stability in the sense of Lyapunov of the equilibrium point of autonomic differential equations using discrete approach. This new approach includes a consideration of a family of…
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…