相关论文: Stability Exponents, Separation of Variables, and …
Despite their spectacular progress, language models still struggle on complex reasoning tasks, such as advanced mathematics. We consider a long-standing open problem in mathematics: discovering a Lyapunov function that ensures the global…
We present a new algorithm for computing the Lyapunov exponents spectrum based on a matrix differential equation. The approach belongs to the so called continuous type, where the rate of expansion of perturbations is obtained for all times,…
This paper provides sufficient conditions for global asymptotic stability and global exponential stability, which can be applied to nonlinear, large-scale, uncertain discrete-time systems. The conditions are derived by means of vector…
In this article we formulate and prove sufficient conditions for the existence of trajectories of nonstationary periodic solutions of autonomous Hamiltonian systems in a neighbourhood of equilibria. It is worth pointing out that assumptions…
Necessary and sufficient conditions for the internal stability of formations whose dynamics are obtained is determined by linear differential equations.
In this technical note, we consider the stability properties of a viscously damped Timoshenko beam equation with spatially varying parameters. With the help of the port-Hamiltonian framework, we first prove the existence of solutions and…
Lyapunov stability of a mechanical system means that the dynamic response stays bounded in an arbitrarily small neighborhood of a static equilibrium configuration under small perturbations in positions and velocities. This type of stability…
For linear periodic finite-dimensional systems, it is well-known that, first, exponential stability is equivalent to the existence of a unique periodic positive definite solution to the Lyapunov equation, and second, the Lyapunov equation…
In this paper, we consider the data-driven discovery of stable dynamical models with a single equilibrium. The proposed approach uses a basis-function parameterization of the differential equations and the associated Lyapunov function. This…
This paper presents necessary and sufficient characterizations of several notions of input to output stability. Similar Lyapunov characterizations have been found to play a key role in the analysis of the input to state stability property,…
The problems on the location of the matrix spectrum inside or outside domains bounded by ellipses or parabolas are studied. Special Lyapunov-type equations are connected with these problems. Theorems about the unique solvability of such…
We study stability criteria for discrete-time switched systems and provide a meta-theorem that characterizes all Lyapunov theorems of a certain canonical type. For this purpose, we investigate the structure of sets of LMIs that provide a…
Hyperexponential stability is investigated for dynamical systems with the use of both, explicit and implicit, Lyapunov function methods. A nonlinear hyperexponential control is designed for stabilizing linear systems. The tuning procedure…
We study the Lyapunov stability of stationary solutions to contact-type Hamilton-Jacobi equations on a compact manifold. Previous works typically assume $C^3$ Tonelli Hamiltonians and characterize stability in terms of Mather measures. In…
In this paper quotients of control systems which are generalizations of system reductions are used to study the stabilizability property of non-linear systems. Given a control system and its quotient we study under what conditions…
For non-autonomous linear stochastic differential equations (SDEs), we establish that the top Lyapunov exponent is continuous if the coefficients "almost" uniformly converge. For autonomous SDEs, assuming the existence of invariant measures…
Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core…
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…
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…
It is well known that, the existence of a Lyapunov function is a sufficient condition for stability, asymptotic stability, or global asymptotic stability of an equilibrium point of an autonomous system $\dot{\mathbf{x}} = f(\mathbf{x})$. In…