Related papers: Lyapunov criteria for robust forward completeness …
Stability and safety are crucial in safety-critical control of dynamical systems. The reach-avoid-stay objectives for deterministic dynamical systems can be effectively handled by formal methods as well as Lyapunov methods with soundness…
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…
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…
Statistical properties of infinite products of random isotropically distributed matrices are investigated. Both for continuous processes with finite correlation time and discrete sequences of independent matrices, a formalism that allows to…
The Lyapunov exponent is used to characterize the stability of the dynamic response of the system, and it is often employed to verify if a system is chaotic. Since its discovery in the nineteenth century, various methods have been proposed…
An integral formula is given representing the generalized principal Lyapunov estimate for random linear parabolic PDEs. As an application, an upper estimate of the exponent is obtained.
The transfer matrix method is applied to finite quasi-1D disordered samples attached to perfect leads. The model is described by structured band matrices with random and regular entries. We investigate numerically the level spacing…
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 this paper, we present Lyapunov-based robust and adaptive controllers for the finite time stabilization of a perturbed chain of integrators with bounded uncertainties. The proposed controllers can be designed for integrator chains of any…
In this work, we propose a methodology for the expression of necessary and sufficient Lyapunov-like conditions for the existence of stabilizing feedback laws. The methodology is an extension of the well-known Control Lyapunov Function (CLF)…
We introduce the notion of Lyapunov exponents for random dynamical systems, conditioned to trajectories that stay within a bounded domain for asymptotically long times. This is motivated by the desire to characterize local dynamical…
We compute Lyapunov vectors (LVs) corresponding to the largest Lyapunov exponents in delay-differential equations with large time delay. We find that characteristic LVs, and backward (Gram-Schmidt) LVs, exhibit long-range correlations,…
This work is devoted to almost sure and moment exponential stability of regime-switching jump diffusions. The Lyapunov function method is used to derive sufficient conditions for stabilities for general nonlinear systems; which further…
Superposition of sigmoid function over a finite time interval is shown to be equivalent to the linear combination of the solutions of a linearly parameterized system of logistic differential equations. Due to the linearity with respect to…
This paper introduces sufficient Lyapunov conditions guaranteeing exponential mean square stability of discrete-time systems with markovian delays. We provide a transformation of the discrete-time system with markovian delays into a…
Forward invariance of a basin of attraction is often overlooked when using a Lyapunov stability theorem to prove local stability; even if the Lyapunov function decreases monotonically in a neighborhood of an equilibrium, the dynamic may…
We propose an efficient method to compute Lyapunov exponents and Lyapunov eigenvectors of long-range interacting many-particle systems, whose dynamics is described by the Vlasov equation. We show that an expansion of a distribution function…
In this paper we explore the relationship between dual decomposition and the consensus-based method for distributed optimization. The relationship is developed by examining the similarities between the two approaches and their relationship…
We study asymptotic stability of continuous-time systems with mode-dependent guaranteed dwell time. These systems are reformulated as special cases of a general class of mixed (discrete-continuous) linear switching systems on graphs, in…
We introduce and study the Lyapunov numbers -- quantitative measures of the sensitivity of a dynamical system $(X,f)$ given by a compact metric space $X$ and a continuous map $f:X \to X$. In particular, we prove that for a minimal…