Related papers: Does the smooth planar dynamical system with one a…
Dissipative wave equations with critical quintic nonlinearity and damping term involving the fractional Laplacian are considered. The additional regularity of energy solutions is established by constructing the new Lyapunov-type functional…
Constructal Law states that a finite-size flow system that persists in time evolves its configuration so as to provide progressively easier access to the currents that flow through it. Classical Constructal theory derives hierarchical flow…
In this article we study the stability in the sense of Lyapunov of the circular orbits in the generalized Manev two bodies problem. First, we explore the existence of the circular orbits and determine their radius. Then, using the first…
This paper presents new results on the limit cycles of a Li\'enard system with symmetry allowing for discontinuity. Our results generalize and improve the results in [33,34]. The results in [34] are only valid for the smooth system. We…
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 paper, we study periodic linear systems on periodic time scales which include not only discrete and continuous dynamical systems but also systems with a mixture of discrete and continuous parts (e.g. hybrid dynamical systems). We…
Lyapunov functions are essential tools in dynamical systems, as they allow the stability analysis of equilibrium points without the need to explicitly solve the system's equations. Despite their importance, no systematic method exists for…
Neural-based, data-driven analysis and control of dynamical systems have been recently investigated and have shown great promise, e.g. for safety verification or stability analysis. Indeed, not only do neural networks allow for an entirely…
We present several new easy ways of generating smooth one-dimensional maps displaying robust chaos, i.e., chaos for whole intervals of the parameter. Unlike what happens with previous methods, the Lyapunov exponent of the maps constructed…
An analytic quasi-periodic cocycle is a linear cocycle over a fixed ergodic torus translation of one or several variables, where the fiber action depends analytically on the base point. Consider the space of all such cocycles of any given…
We present a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems (LSS). This allows us to decide the stability of LSS and to compute the Lyapunov exponent with a good precision in…
This paper presents converse theorems for safety in terms of barrier functions for unconstrained continuous-time systems modeled as differential inclusions. Via a counterexample, we show the lack of existence of autonomous and continuous…
We give necessary and sufficient conditions for the existence of smooth Lyapunov 1-forms for the flow of a smooth vector field in terms of the behavior of certain locally finite invariant measures. The main statement generalizes a result of…
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 consider a class of discontinuous piecewise linear differential systems in $\mathbb{R}^3$ with two pieces separated by a plane. In this class we show that there exist differential systems having: a unique limit cycle, a unique…
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 this article, we provide a general strategy based on Lyapunov functionals to analyse global asymptotic stability of linear infinite-dimensional systems subject to nonlinear dampings under the assumption that the origin of the system is…
This paper proposes several Converse Lyapunov Theorems for nonlinear dynamical systems defined on smooth connected Riemannian manifolds and characterizes properties of corresponding Lyapunov functions in a normal neighborhood of an…
This paper deals with the stability analysis of a mass-spring system subject to friction using Lyapunov-based arguments. As the described system presents a stick-slip phenomenon, the mass may then periodically sticks to the ground. The…
We prove that for every discrete-time linear switching system in two complex variables and with finitely many switching states, either the system is Lyapunov stable or there exists a trajectory which escapes to infinity with at least linear…