Related papers: Lyapunov's theorem via Baire category
We study harmonic functions on general weighted graphs which allow for a compatible intrinsic metric. We prove an $L^{p}$ Liouville type theorem which is a quantitative integral $L^{p}$ estimate of harmonic functions analogous to Karp's…
In this manuscript, we study the properties of a family of second-order differential equations with damping, its discretizations and their connections with accelerated optimization algorithms for $m$-strongly convex and $L$-smooth…
For systems evolving on a Riemannian manifold, we propose converse Lyapunov theorems for asymptotic and exponential stability. The novelty of the proposed approach is that is does not rely on local Euclidean coordinate, and is thus valid on…
Lyapunov functions with exponential weights have been used successfully as a powerful tool for the stability analysis of hyperbolic systems of balance laws. In this paper we extend the class of weight functions to a family of hyperbolic…
This note presents an extension to the adaptive control strategy presented in [1] able to counter eventual instability due to disturbances at the input of an otherwise $\mathcal{L}_2$ stable closed-loop system. These disturbances are due to…
We provide a constructive proof on the equivalence of two fundamental concepts: the global Lyapunov function in engineering and the potential function in physics, establishing a bridge between these distinct fields. This result suggests new…
We prove a Logvinenko-Sereda Theorem for vector valued functions. That is, for an arbitrary Banach space $X$, all $p \in [1,\infty]$, all $\lambda \in (0,\infty)^d$, all $f \in L^p (\mathbb{R}^d ; X)$ with $\operatorname{supp} \mathcal{F} f…
Some integration techniques for real-valued functions with respect to vector measures with values in Banach spaces (and viceversa) are investigated in order to establish abstract versions of classical theorems of Probability and Stochastic…
In this technical communique, we generalize the well-known Lyapunov-based stabilizability and detectability tests for discrete-time linear time-invariant systems to polytopic linear parameter-varying systems using the class of so-called…
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 presents new sufficient conditions for convergence and asymptotic or exponential stability of a stochastic discrete-time system, under which the constructed Lyapunov function always decreases in expectation along the system's…
We show that a linear Young differential equation generates a topological two-parameter flow, thus the notions of Lyapunov exponents and Lyapunov spectrum are well-defined. The spectrum can be computed using the discretized flow and is…
The paper describes a novel method for studying the stability of nonautonomous dynamical systems. This method based on the flow and divergence of the vector field with coupling to the method of Lyapunov functions. The necessary and…
Finding Lyapunov functions to certify the stability of control systems has been an important topic for verifying safety-critical systems. Most existing methods on finding Lyapunov functions require access to the dynamics of the system.…
In the article$^a$, the authors introduced a time-varying Lyapunov function for the stability analysis of nonlinear systems whose motion is governed by standard Newton-Euler equations. The authors established asymptotic stability with the…
A family of non-conjugate chaotic maps generalizing the well-known logistic function is defined, and some of its basic properties studied. A simple formula for the Lyapunov exponents of all the maps contained in this family is given based…
Sum of Squares programming has been used extensively over the past decade for the stability analysis of nonlinear systems but several questions remain unanswered. In this paper, we show that exponential stability of a polynomial vector…
We prove a classification theorem for conformal maps with respect to the control distance generated by a system of diagonal vector fields. It turns out that all such maps can be obtained as compositions of suitable dilations, inversions and…
This paper presents a novel scalable framework to solve the optimization of a nonlinear system with differential algebraic equation (DAE) constraints that enforce the asymptotic stability of the underlying dynamic model with respect to…
We prove a model theoretic Baire category theorem for $\tilde\tau_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in…