Related papers: A Conley-type Lyapunov function for the strong cha…
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…
The aim of this paper is to study in detail the relations between strong chain recurrence for flows and Lyapunov functions. For a continuous flow on a compact metric space, uniformly Lipschitz continuous on the compact subsets of the time,…
It is known by the Conley's theorem that the chain recurrent set $CR(\phi)$ of a deterministic flow $\phi$ on a compact metric space is the complement of the union of sets $B(A)-A$, where $A$ varies over the collection of attractors and…
For a continuous flow on a compact metric space, the aim of this paper is to prove a Conley-type decomposition of the strong chain recurrent set. We first discuss in details the main properties of strong chain recurrent sets. We then…
In this paper we find conditions which guarantee that a given flow $\Phi$ on a compact metric space $X$ admits a Lyapunov one-form $\omega$ lying in a prescribed \v{C}ech cohomology class $\xi\in \check H^1(X;\R)$. These conditions are…
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 short expository note provides an introduction to the concept of chain recurrence in topological dynamics and a proof of the existence complete Lyapunov functions for homeomorphisms of compact metric spaces due to Charles Conley. I…
The well-known Conley's theorem states that the complement of chain recurrent set equals the union of all connecting orbits of the flow $\phi$ on the compact metric space $X$, i.e. $X-\mathcal{CR}(\phi)=\bigcup [B(A)-A]$, where…
We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for…
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…
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…
The aim of this paper is twofold. On the one hand, we discuss the notions of strong chain recurrence and strong chain transitivity for flows on metric spaces, together with their characterizations in terms of rigidity properties of…
The dynamics by iteration of a function on a compact metric space, sometimes called a cascade, can be extended to the dynamics of a closed relation on such a space. Here we apply this relation dynamics to study semiflows (and their relation…
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 addresses the question when the underlying Markov process of a multiclass queueing network is positive Harris recurrent. It is well-known that stability of the fluid limit model is a sufficient condition for this. Hence,…
We consider explosions in the generalized recurrent set for homeomorphisms on a compact metric space. We provide multiple examples to show that such explosions can occur, in contrast to the case for the chain recurrent set. We give…
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…
In this paper, by using a characterization of functions having fractional derivative, we propose a rigorous fractional Lyapunov function candidate method to analyze stability of fractional-order nonlinear systems. First, we prove an…
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…
This paper studies finite-time stability of a class of hybrid systems. We present sufficient conditions in terms of multiple generalized Lyapunov functions for the origin of the hybrid system to be finite-time stable. More specifically, we…