Related papers: Exponentially Stable Nonlinear Systems have Polyno…
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…
In this paper, we examine linear programming (LP) based relaxations for synthesizing polynomial Lyapunov functions to prove the stability of polynomial ODEs. A common approach to Lyapunov function synthesis starts from a desired parametric…
In this paper, we prove a theorem of linearized asymptotic stability for fractional differential equations with a time delay. More precisely, using the method of linearization of a nonlinear equation along an orbit (Lyapunov's first…
We consider a one-parameter family of beam equations with Hamiltonian non-linearity in one space dimension under periodic boundary conditions. In a unified functional framework we study the long time evolution of initial data in two…
In this paper we introduce a method that allows one to prove uniform local results for one-dimensional discrete Schr\"odinger operators with Sturmian potentials. We apply this method to the transfer matrices in order to study the Lyapunov…
Starting from a finite family of continuously differentiable positive definite functions, we study conditions under which a function obtained by max-min combinations is a Lyapunov function, establishing stability for two kinds of nonlinear…
The stability of equilibrium points of quasi-polynomial systems of ODES is considered. The criteria and Liapunov functions found generalize those traditionally known for Lotka-Volterra equatious, that now appear as a particular case.
A method for constructing homogeneous Lyapunov functions of degree 1 from polynomial invariant sets is presented for linear time varying systems, homogeneous dynamic systems and the class of nonlinear systems that can be represented as…
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 a nonlinear Euler-Poisson-Darboux system is considered. In a first part, we proved the genericity of the hypergeometric functions in the development of exact solutions for such a system in some special cases leading to Bessel…
We show that for continuous time dynamical systems described by polynomial differential equations of modest degree (typically equal to three), the following decision problems which arise in numerous areas of systems and control theory…
The search for Lyapunov functions is a crucial task in the analysis of nonlinear systems. In this paper, we present a physics-informed neural network (PINN) approach to learning a Lyapunov function that is nearly maximal for a given stable…
We present a method for determining the local stability of equilibrium points of conservative generalizations of the Lotka-Volterra equations. These generalizations incorporate both an arbitrary number of species -including odd-dimensional…
We study the problem of synthesizing polyhedral Lyapunov functions for hybrid linear systems. Such functions are defined as convex piecewise linear functions, with a finite number of pieces. We first prove that deciding whether there exists…
In this article, we prove a general viability theorem for continuity inclusions in Wasserstein spaces, and provide an application thereof to the existence of exponentially stable trajectories obtained via the second method of Lyapunov.
This work is concerned with the stability properties of linear stochastic differential equations with random (drift and diffusion) coefficient matrices, and the stability of a corresponding random transition matrix (or exponential…
Lyapunov stability theory is the bedrock of direct adaptive control. Fundamentally, Lyapunov stability requires constructing a distance-like function which must decrease with time to ensure stability. Feedback linearization, backstepping,…
Unlike ordinary differential equations (ODEs), linear partial differential equations (PDEs) admit multiple non-equivalent notions of stability. This variety makes interpretation of Lyapunov stability results challenging. \blue{To simplify…
We study the problem of mean-square exponential incremental stabilization of nonlinear systems over uncertain communication channels. We show the ability to stabilize a system over such channels is fundamentally limited and the channel…
A powerful tool for studying long-term convergence of a Markov process to its stationary distribution is a Lyapunov function. In some sense, this is a substitute for eigenfunctions. For a stochastically ordered Markov process on the…