Related papers: Does the smooth planar dynamical system with one a…

Although the limit cycle have been studied for more than 100 years, the existence of its Lyapunov function is still poorly understood. By considering a common limit cycle system, a puzzle related to the existence of Lyapunov functions for…

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…

This paper deals with asymptotic stability of a class of dynamical systems in terms of smooth Lyapunov pairs. We point out that well known converse Lyapunov results for differential inclusions cannot be applied to this class of dynamical…

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.…

Stability and safety are two important aspects in safety-critical control of dynamical systems. It has been a well established fact in control theory that stability properties can be characterized by Lyapunov functions. Reachability…

We show that the existence of a strictly compatible pair of control Lyapunov and control barrier functions is equivalent to the existence of a single smooth Lyapunov function that certifies both asymptotic stability and safety. This…

In this paper, a class of abstract dynamical systems is considered which encompasses a wide range of nonlinear finite- and infinite-dimensional systems. We show that the existence of a non-coercive Lyapunov function without any further…

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 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 apply a Lyapunov function to obtain conditions for the existence and uniqueness of small classical time-periodic solutions to first order quasilinear 1D hyperbolic systems with (nonlinear) nonlocal boundary conditions in a strip. The…

Complete Lyapunov functions for a dynamical system, given by an autonomous ordinary differential equation, are scalar-valued functions that are strictly decreasing along orbits outside the chain-recurrent set. In this paper we show that we…

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…

We extend the Lyapunov function technique, a fundamental tool for investigating asymptotic stability and existence of attractors for ordinary differential equations, by introducing the notion of a {\it strong Lyapunov function} for an…

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 address the stability problem for linear switching systems with mode-dependent restrictions on the switching intervals. Their lengths can be bounded as from below (the guaranteed dwell-time) as from above. The upper bounds make this…

Conley in \cite{Con} constructed a complete Lyapunov function for a flow on compact metric space which is constant on orbits in the chain recurrent set and is strictly decreasing on orbits outside the chain recurrent set. This indicates…

Determination of stability and instability of singular points in nonlinear dynamical systems is an important issue that has attracted considerable attention in different fields of engineering and science. So far, different well-defined…

We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence of a converse Lyapunov function as a barrier function for a…

Three similar convergence notions are considered. Two of them are the long established notions of convergent dynamics and incremental stability. The other is the more recent notion of contraction analysis. All three convergence notions…

We study optimization-based criteria for the stability of switching systems, known as Path-Complete Lyapunov Functions, and ask the question "can we decide algorithmically when a criterion is less conservative than another". Our…