Control Lyapunov functions (CLFs) and control barrier (CBFs) have been used to develop provably safe controllers by means of quadratic programs (QPs), guaranteeing safety in the form trajectory invariance with respect a given set. In this letter, we show that framework can introduce equilibrium points (particularly at boundary set) other than minimum function into closed-loop system. We derive ...

We consider a homoclinic orbit to saddle fixed point of an arbitrary \begin{document}$ C^\infty $\end{document} map id="M2">\begin{document}$ f on id="M3">\begin{document}$ \mathbb{R}^2 and study the phenomenon that id="M4">\begin{document}$ has infinite family asymptotically stable, single-round periodic...

the notion of a bead metric space is defined as a nice generalization of the uniformly convex normed space such as $cat(0)$ space, where the curvature is bounded from above by zero. in fact, the bead spaces themselves can be considered in particular as natural extensions of convex sets in uniformly convex spaces and normed bead spaces are identical with uniformly convex spaces. in this paper, w...

‎hepatitis b virus (hbv) infection is a major public health problem in the world today‎. ‎a mathematical model is formulated to describe the spread of hepatitis b‎, ‎which can be controlled by vaccination as well as treatment‎. ‎we study the dynamical behavior of the system with fixed control for both vaccination and treatment‎. ‎the results shows that the dynamics of the model is completely de...

an asymptotically stable direct adaptive fuzzy pi sliding modecontroller is proposed for a class of nonlinear uncertain systems. in contrast toother existing approaches of handling disturbances, the proposed approachdoes not require this bound to be known, only requiring that it exists.moreover, a pi control structure is used to attenuate chattering. the approachis applied to stabilize an open-...

The spread of tuberculosis is studied through two models which include fast and slow progression to the infected class. For each model, Lyapunov functions are used to show that when the basic reproduction number is less than or equal to one, the disease-free equilibrium is globally asymptotically stable, and when it is greater than one there is an endemic equilibrium which is globally asymptoti...

The local stability of a quasi-linear age-size structured population model studied in Tchuenche (2007) is analysed. If a certain threshold parameter known as the basic reproductive rate is less than unity, then the trivial steady state is locally asymptotically stable. Also, it is shown that if the only real root of the equation R(m′) = 1 is negative, then, the non trivial steady state is local...

We study an initial-boundary-value problem of a nonlinear Korteweg-de Vries equation posed on a finite interval (0, 2π). The whole system has Dirichlet boundary condition at the left end-point, and both of Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the origin is not asymptotically stable for the linearized system around the origin. We prove th...

We study a susceptible-infected-susceptible model with distributed delays. By constructing suitable Lyapunov functionals, we demonstrate that the global dynamics of this model is fully determined by the basic reproductive ratio R0. To be specific, we prove that if R0 ≤ 1, then the disease-free equilibrium is globally asymptotically stable. On the other hand, if R0>1, then the endemic equilibriu...