Related papers: Lyapunov functions, shadowing, and topological sta…
We study homeomorphisms of compact metric spaces whose restriction to the nonwandering set has the pseudo-orbit tracing property. We prove that if there are positively expansive measures, then the topological entropy is positive. Some short…
In this work we addressed the problem of stability analysis for an uncertain piecewise affine model of a genetic regulatory network. In particular we considered polytopic parameter uncertainties on the proteins production rate functions,…
In this paper nonstandard finite difference (NSFD) schemes of two metapopulation models are constructed. The stability properties of the discrete models are investigated by the use of a generalization of Lyapunov stability theorem. Due to…
A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…
The global stability of the nonhomogeneous positive steady state solution to a diffusive Holling-Tanner predator-prey model in a heterogeneous environment is proved by using a newly constructed Lyapunov function and estimates of nonconstant…
Forward invariance of a basin of attraction is often overlooked when using a Lyapunov stability theorem to prove local stability; even if the Lyapunov function decreases monotonically in a neighborhood of an equilibrium, the dynamic may…
A Lyapunov-Krasovskii functional with prescribed derivative whose construction does not require the stability of the system is introduced. It leads to the presentation of stability/instability theorems. By evaluating the functional at…
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…
Hybrid systems with memory are dynamical systems exhibiting both hybrid and delay phenomena. In this note, we study the asymptotic stability of hybrid systems with memory using generalized concepts of solutions. These generalized solutions,…
Stability, reachability, and safety are crucial properties of dynamical systems. While verification and control synthesis of reach-avoid-stay objectives can be effectively handled by abstraction-based formal methods, such approaches can be…
We consider the topological behaviors of continuous maps with one topological attractor on compact metric space $X$. This kind of map is a generalization of maps such as topologically expansive Lorenz map, unimodal map without homtervals…
The paper introduces a general method to construct conformal measures for a local homeomorphism on a locally compact non-compact Hausdorff space, subject to mild irreducibility-like conditions. Among others the method is used to give…
In this technical note, we consider the stability properties of a viscously damped Timoshenko beam equation with spatially varying parameters. With the help of the port-Hamiltonian framework, we first prove the existence of solutions and…
We study various weaker forms of inverse shadowing property for discrete dynamical systems on a smooth compact manifold. First, we introduce the so-called Ergodic Inverse Shadowing property (Birhhoff averages of continuous functions along…
We study the entropy and Lyapunov exponents of invariant measures $\mu$ for smooth surface diffeomorphisms $f$, as functions of $(f,\mu)$. The main result is an inequality relating the discontinuities of these functions. One consequence is…
This technical note studies Lyapunov-like conditions to ensure a class of dynamical systems to exhibit predefined-time stability. The origin of a dynamical system is predefined-time stable if it is fixed-time stable and an upper bound of…
This article presents a novel numerically tractable technique for synthesizing Lyapunov functions for equilibria of nonlinear vector fields. In broad strokes, corresponding to an isolated equilibrium point of a given vector field, a…
We prove some new results regarding the boundedness, stability and attractivity of the solutions of a class of initial-boundary-value problems characterized by a quasi-linear third order equation which may contain time-dependent…
Hybrid dynamical systems can exhibit many unique phenomena, such as Zeno behavior. Zeno behavior is the occurrence of infinite discrete transitions in finite time. Zeno behavior has been likened to a form of finite-time asymptotic…
We review all the calculations necessary for the construction of a Lyapunov like functional for nonlinear stability analysis of steady states in thermodynamically isolated/open systems composed of compressible heat conducting fluids.