Related papers: Does the smooth planar dynamical system with one a…
For a smooth Morse-Smale vector field with Lyapunov constraints (Lyapunov function) one shows how and why the non-triviality of the cohomology, as concluded from its additive structure, detects rest points and the multiplicative structure…
This work has the goal of briefly surveying some key stabilization techniques for general nonlinear systems, for which, as it is well known, a smooth control Lyapunov function may fail to exist. A general overview of the situation with…
This paper establishes the equivalence between robust safety and the existence of a barrier function certificate for differential inclusions. More precisely, for a robustly-safe differential inclusion, a barrier function is constructed as…
We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…
We rigorously show that dissipatively driven Frenkel-Kontorova models with either uniform or time-periodic driving asymptotically synchronize for a wide range of initial conditions. The main tool is a new Lyapunov function, as well as a 2D…
We develop a direct Lyapunov method for the almost sure open-loop stabilizability and asymptotic stabilizability of controlled degenerate diffusion processes. The infinitesimal decrease condition for a Lyapunov function is a new form of…
Reactivity, contractivity, and Lyapunov exponents are powerful tools for studying the stability properties of dynamical systems and have been extensively investigated in the literature for decades. In this paper, we review and extend the…
For a smooth expanding circle map, we show that the empirical distribution of Lyapunov exponents of periodic points of any fixed period is close to normal, with an error that decreases as the period grows. This establishes a version of the…
We show that every globally asymptotically stable system with a twice continuously differentiable vector field admits a local polynomial Lyapunov function on an arbitrary bounded neighborhood of the origin.
We consider an abstract class of infinite-dimensional dynamical systems with inputs. For this class, the significance of noncoercive Lyapunov functions is analyzed. It is shown that the existence of such Lyapunov functions implies…
Many branches of theoretical and applied mathematics require a quantifiable notion of complexity. One such circumstance is a topological dynamical system - which involves a continuous self-map on a metric space. There are many notions of…
We study the long-time dynamics of a bulk-surface convective Cahn--Hilliard system describing phase separation processes with bulk-surface interaction. The presence of convection terms leads to a non-autonomous dynamical system and prevents…
During the past decades, the question of existence and properties of a random attractor of a random dynamical system generated by an S(P)DE has received considerable attention, for example by the work of Gess and R\"ockner. Recently some…
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…
We present new theorems characterizing robust Lyapunov functions and infinite horizon value functions in optimal control as unique viscosity solutions of partial differential equations. We use these results to further extend Zubov's method…
In this paper, we present new results on finite- and fixed-time convergence for dynamical systems using LaSalle-like invariance principles. In particular, we provide first and second-order non-smooth Lyapunov-like results for finite- and…
We provide explicit closed form expressions for strict Lyapunov functions for time-varying discrete time systems. Our Lyapunov functions are expressed in terms of known nonstrict Lyapunov functions for the dynamics and finite sums of…
In this work we show that given a nonlinear programming problem, it is possible to construct a family of dynamical systems defined on the feasible set of the given problem, so that: (a) the equilibrium points are the unknown critical points…
We address the question of the exponential stability for the $C^{1}$ norm of general 1-D quasilinear systems with source terms under boundary conditions. To reach this aim, we introduce the notion of basic $C^{1}$ Lyapunov functions, a…
Converse optimality theory addresses an optimal control problem conversely where the system is unknown and the value function is chosen. Previous work treated this problem both in continuous and discrete time and non-extensively considered…