Related papers: Lyapunov functions, shadowing, and topological sta…
For general asymptotically sub-additive potentials (resp. asymptotically additive potentials) on general topological dynamical systems, we establish some variational relations between the topological entropy of the level sets of Lyapunov…
Lyapunov functions play a vital role in the context of control theory for nonlinear dynamical systems. Besides its classical use for stability analysis, Lyapunov functions also arise in iterative schemes for computing optimal feedback laws…
This paper deals with asymptotic stability of a class of dynamical systems in terms of smooth Lyapunov pairs. We point out that well known converse Lyapunov results for differential inclusions cannot be applied to this class of dynamical…
This paper presents a counterexample-guided iterative algorithm to compute convex, piecewise linear (polyhedral) Lyapunov functions for uncertain continuous-time linear hybrid systems. Polyhedral Lyapunov functions provide an alternative to…
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…
We extend the Lyapunov stability criterion to Euler discretizations of differential inclusions. It relies on a pair of Lyapunov functions, one in continuous time and one in discrete time. In the context of optimization, this yields…
We study the asymptotic stability properties of nonlinear switched systems under the assumption of the existence of a common weak Lyapunov function. We consider the class of nonchaotic inputs, which generalize the different notions of…
In this paper, we introduce and analyze several key dynamical properties-namely shadowing modulo an ideal, expansivity modulo an ideal, and topological stability modulo an ideal-within the framework of uniform transformation semigroups.…
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…
We review and give elementary proofs of Liouville type properties of harmonic and subharmonic functions in the plane endowed with a complete Riemannian metric, and prove a gap theorem for the possible growth of harmonic functions when this…
In this paper, we present an algorithm for stability analysis of systems described by coupled linear Partial Differential Equations (PDEs) with constant coefficients and mixed boundary conditions. Our approach uses positive matrices to…
In this contribution, we study an homogeneous class of nonlinear time delay systems with time-varying perturbations. Using the Lyapunov-Krasovskii approach, we introduce a functional that leads to perturbation conditions matching those…
This short expository note provides an introduction to the concept of chain recurrence in topological dynamics and a proof of the existence complete Lyapunov functions for homeomorphisms of compact metric spaces due to Charles Conley. I…
We extend some known results from smooth dynamical systems to the category of Lipschitz homeomorphisms of compact metric spaces. We consider dynamical properties as robust expansiveness and structural stability allowing Lipschitz…
In the context of mechanical Lagrangian dynamics, we prove a new Lyapunov instability criterion for a non strict local minimum equilibrium point of a smooth potential where the sufficient condition for instability is the existence of a…
We consider some local entropy properties of dynamical systems under the assumption of shadowing. In the first part, we give necessary and sufficient conditions for shadowable points to be certain entropy points. In the second part, we give…
We investigate the behavior of the Lyapunov spectrum of a linear discrete-time system under the action of small perturbations in order to obtain some verifiable conditions for stability and openness of the Lyapunov spectrum. To this end we…
A mathematical proof for the stability of mKdV breathers is announced. This proof involves the existence of a nonlinear equation satisfied by all breather profiles, and a new Lyapunov functional which controls the dynamics of small…
We investigate an example of noise-induced stabilization in the plane that was also considered in (Gawedzki, Herzog, Wehr 2010) and (Birrell, Herzog, Wehr 2011). We show that despite the deterministic system not being globally stable, the…
The aim of this (mostly expository) article is twofold. We first explore a variety of length functions on the space of currents, and we survey recent work regarding applications of length functions to counting problems. Secondly, we use…