Related papers: A puzzle on the existence of Lyapunov functions fo…
A rigorous proof of a theorem on the coexistence of smooth Lyapunov function and smooth planar dynamical system with one arbitrary limit cycle is given, combining with a novel decomposition of the dynamical system from the perspective of…
This paper provides a first example of constructing Lyapunov functions in a class of piecewise linear systems with limit cycles. The method of construction helps analyze and control complex oscillating systems through novel geometric means.…
We study convergence of nonlinear systems in the presence of an `almost Lyapunov' function which, unlike the classical Lyapunov function, is allowed to be nondecreasing---and even increasing---on a nontrivial subset of the phase space.…
A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalities between these pieces. It provides a stability certificate…
This paper considers the problem of switching between two periodic motions, also known as limit cycles, to create agile running motions. For each limit cycle, we use a control Lyapunov function to estimate the region of attraction at the…
We exhibit a large class of Lyapunov functionals for nonlinear drift-diffusion equations with non-homogeneous Dirichlet boundary conditions. These are generalizations of large deviation functionals for underlying stochastic many-particle…
We prove a converse Lyapunov theorem for boundedness of reachability sets for a general class of control systems whose flow is Lipschitz continuous on compact intervals with respect to trajectory-dominated inputs. We show that this…
Lienard systems of the form $\ddot{x}+\epsilon f(x)\dot{x}+x=0$, with f(x) an even continous function, are considered. The bifurcation curves of limit cycles are calculated exactly in the weak ($\epsilon\to 0$) and in the strongly…
We establish a theorem on bifurcation of limit cycles from a focus boundary equilibrium of an impacting system, which is universally applicable to prove bifurcation of limit cycles from focus boundary equilibria in other types of…
We consider a continuum of phase oscillators on the circle interacting through an impulsive instantaneous coupling. In contrast with previous studies on related pulse-coupled models, the stability results obtained in the continuum limit are…
In 1892, Lyapunov provided a fundamental contribution to stability theory by introducing so-called Lyapunov functions and Lyapunov equilibria. He subsequently showed that, for linear systems, the two concepts are equivalent. These concepts…
We study limit cycles in piecewise complex systems with switching manifold $\mathbb{S}^1$. Using M\"obius transformations we establish an equivalence between circular and straight-line discontinuities that preserves periods, stability, and…
Irreversibility is a critical property of non-equilibrium transport processes. An opinion has long been insisted that the entropy production rate is a Lyapunov function for all kinds of processes, that is, the principle of minimum entropy…
In a recent work it was suggested that the number of limit cycles in a piecewise-linear system could be closely related to the number of zones, that is the number of parts of the phase plane where the system is linear. In this note we…
We provide a constructive proof on the equivalence of two fundamental concepts: the global Lyapunov function in engineering and the potential function in physics, establishing a bridge between these distinct fields. This result suggests new…
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…
This paper presents an algorithm for computing inner estimates of the regions of attraction of limit cycles of a nonlinear hybrid system. The basic procedure is: (1) compute the dynamics of the system transverse to the limit cycle; (2) from…
We consider nonautonomous cyclic systems of delay differential equations with variable delay. Under suitable feedback assumptions, we define an (integer valued) Lyapunov functional related to the number of sign changes of the coordinate…
We consider constructing Lyapunov functions for systems that are both monotone and contractive with respect to a weighted one norm or infinity norm. This class of systems admits separable Lyapunov functions that are either the sum or the…
The so-called Fundamental Theorem of Dynamical Systems -- which(1) relates attractors and repellers to the chain recurrent set and (2) gives the existence of a complete Lyapunov function -- can be seen as a means of separating out…