Related papers: A Conley-type Lyapunov function for the strong cha…
We introduce a notion of $\varepsilon$-chains for continuous-time semiflows inspired by the shadow-orbit property. Although this definition differs from the $(\varepsilon,T)$-chains introduced by Conley, we prove that, for semiflows with…
Inspired by the widespread concept of Lyapunov-Krasovskii functionals of complete type, this article proposes an alternative class of functionals, termed Lyapunov-Krasovskii functionals of robust type. Their construction aims at improving…
We develop a practical approach to establish the stability, that is, the recurrence in a given set, of a large class of controlled Markov chains. These processes arise in various areas of applied science and encompass important numerical…
We study convergence of nonlinear systems in the presence of an `almost Lyapunov' function which, unlike the classical Lyapunov function, is allowed to be nondecreasing---and even increasing---on a nontrivial subset of the phase space.…
The Conley index theory is a powerful topological tool for obtaining information about invariant sets in continuous dynamical systems. A key feature of Conley theory is that the index is robust under perturbation; given a continuous family…
The paper is a continuation of research in the direction of energy function (a smooth Lyapunov function whose set of critical points coincides with the chain recurrent set of a system) construction for discrete dynamical systems. The…
In 2019 Anthony Quas, Philippe Thieullen and Mohamed Zarrabi introduced the concept of strong fast invertibility for linear cocycles. It relates the growth of volumes between different initial times and, together with a condition on…
In this paper, we generalize Conley's fundamental theorem of dynamical systems in Conley index theory. We also conclude the existence of regular index filtration for every Morse decomposition.
We consider the method of Reduction of Dissipativity Domain to prove global Lyapunov stability of Discrete Time Recurrent Neural Networks. The standard and advanced criteria for Absolute Stability of these essentially nonlinear systems…
Pesin's formula relates the entropy of a dynamical system with its positive Lyapunov exponents. It is well known, that this formula holds true for random dynamical systems on a compact Riemannian manifold with invariant probability measure…
In the present paper we give a positive answer to some questions posed by Viana on the existence of positive Lyapunov exponents for Hamiltonian linear differential systems. We prove that there exists an open and dense set of Hamiltonian…
In this paper, we report several new geometric and Lyapunov characterizations of incrementally stable systems on Finsler and Riemannian manifolds. A new and intrinsic proof of an important theorem in contraction analysis is given via the…
According to a previous conjecture, spatial and temporal Lyapunov exponents of chaotic extended systems can be obtained from derivatives of a suitable function: the entropy potential. The validity and the consequences of this hypothesis are…
We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentimes more readily available Lyapunov functions for the limiting…
In this work, we give sufficient conditions for the almost global asymptotic stability of a cascade in which the subsystems are only almost globally asymptotically stable. The result is extended to upper triangular systems of arbitrary…
In this short note, we prove positivity of the Lyapunov exponent for 1D continuum Anderson models by leveraging some classical tools from inverse spectral theory. The argument is much simpler than the existing proof due to…
We consider a Hamiltonian chain of rotators (in general nonlinear) in which the first rotator is damped. Being motivated by problems of nonequilibrium statistical mechanics of crystals, we construct a strict Lyapunov function that allows us…
Fixed-time stable dynamical systems are capable of achieving exact convergence to an equilibrium point within a fixed time that is independent of the initial conditions of the system. This property makes them highly appealing for designing…
We prove a converse Lyapunov theorem for boundedness of reachability sets for a general class of control systems whose flow is Lipschitz continuous on compact intervals with respect to trajectory-dominated inputs. We show that this…
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…