Observer-Based Adaptive Fuzzy Tracking Control Using Integral Barrier Lyapunov Functionals for A Nonlinear System With Full State Constraints

A new fuzzy adaptive control method is proposed for a class of strict feedback nonlinear systems with immeasurable states and full constraints.The fuzzy logic system is used to design the approximator,which deals with uncertain and continuous functions in the process of backstepping design.The use of an integral barrier Lyapunov function not only ensures that all states are within the bounds of the constraint,but also mixes the states and errors to directly constrain the state,reducing the conservativeness of the constraint satisfaction condition.Considering that the states in most nonlinear systems are immeasurable,a fuzzy adaptive states observer is constructed to estimate the unknown states.Combined with adaptive backstepping technique,an adaptive fuzzy output feedback control method is proposed.The proposed control method ensures that all signals in the closed-loop system are bounded,and that the tracking error converges to a bounded tight set without violating the full state constraint.The simulation results prove the effectiveness of the proposed control scheme.

Quantum control based on three forms of Lyapunov functions

This paper introduces the quantum control of Lyapunov functions based on the state distance, the mean of imaginary quantities and state errors.In this paper, the specific control laws under the three forms are given.Stability is analyzed by the La Salle invariance principle and the numerical simulation is carried out in a 2D test system.The calculation process for the Lyapunov function is based on a combination of the average of virtual mechanical quantities, the particle swarm algorithm and a simulated annealing algorithm.Finally, a unified form of the control laws under the three forms is given.

A Survey on the Control Lyapunov Function and Control Barrier Function for Nonlinear-Affine Control Systems

This survey provides a brief overview on the control Lyapunov function(CLF)and control barrier function(CBF)for general nonlinear-affine control systems.The problem of control is formulated as an optimization problem where the optimal control policy is derived by solving a constrained quadratic programming(QP)problem.The CLF and CBF respectively characterize the stability objective and the safety objective for the nonlinear control systems.These objectives imply important properties including controllability,convergence,and robustness of control problems.Under this framework,optimal control corresponds to the minimal solution to a constrained QP problem.When uncertainties are explicitly considered,the setting of the CLF and CBF is proposed to study the input-to-state stability and input-to-state safety and to analyze the effect of disturbances.The recent theoretic progress and novel applications of CLF and CBF are systematically reviewed and discussed in this paper.Finally,we provide research directions that are significant for the advance of knowledge in this area.

Command filtered integrated estimation guidance and control for strapdown missiles with circular field of view

In this paper,an integrated estimation guidance and control(IEGC)system is designed based on the command filtered backstepping approach for circular field-of-view(FOV)strapdown missiles.The threedimensional integrated estimation guidance and control nonlinear model with limited actuator deflection angle is established considering the seeker's FOV constraint.The boundary time-varying integral barrier Lyapunov function(IBLF)is employed in backstepping design to constrain the body line-of-sight(BLOS)in IEGC system to fit a circular FOV.Then,the nonlinear adaptive controller is designed to estimate the changing aerodynamic parameters.The generalized extended state observer(GESO)is designed to estimate the acceleration of the maneuvering targets and the unmatched time-varying disturbances for improving tracking accuracy.Furthermore,the command filters are used to solve the"differential expansion"problem during the backstepping design.The Lyapunov theory is used to prove the stability of the overall closed-loop IEGC system.Finally,the simulation results validate the integrated system's effectiveness,achieving high accuracy strikes against maneuvering targets.

Stability analysis for affine fuzzy system based on fuzzy Lyapunov functions

An analysis method based on the fuzzy Lyapunov functions is presented to analyze the stability of the continuous affine fuzzy systems. First, a method is introduced to deal with the consequent part of the fuzzy local model. Thus, the stability analysis method of the homogeneous fuzzy system can be used for reference. Stability conditions are derived in terms of linear matrix inequalities based on the fuzzy Lyapunov functions and the modified common Lyapunov functions, respectively. The results demonstrate that the stability result based on the fuzzy Lyapunov functions is less conservative than that based on the modified common Lyapunov functions via numerical examples. Compared with the method which does not expand the consequent part, the proposed method is simpler but its feasible region is reduced. Finally, in order to expand the application of the fuzzy Lyapunov functions, the piecewise fuzzy Lyapunov function is proposed, which can be used to analyze the stability for triangular or trapezoidal membership functions and obtain the stability conditions. A numerical example validates the effectiveness of the proposed approach.

Robust admissibility analysis of uncertain switched singular systems:a switched Lyapunov function approach

The robust admissibility analysis of a class of uncertain discrete-time switched linear singular（SLS） systems for arbitrary switching laws is addressed. The parameter uncertainty is assumed to be norm-bounded. First, by using the switched Lyapunov function approach, some new sufficient conditions ensuring the nominal discrete-time SLS system to be regular, casual and asymptotically stable for arbitrary switching laws are derived in terms of linear matrix inequalities. Then, the robust admissibility condition for the uncertain discrete-time SLS systems is presented. The obtained results can be viewed as an extension of previous works on the switched Lyapunov function approach from the regular switched linear systems to the switched linear singular cases. Numerical examples show the reduced conservatism and effectiveness of the proposed conditions.

Stability of second order Hopfield neural networks with time delays

Dynamical behaviors of a class of second order Hopfield neural networks with time delays is investigated.The existence of a unique equilibrium point is proved by using Brouwer's fixed point theorem and the counter proof method,and some sufficient conditions for the global asymptotic stability of the equilibrium point are obtained through the combination of a suitable Lyapunov function and an algebraic inequality technique.

Asymptotic Analysis of a Stochastic Model of Mosquito-Borne Disease with the Use of Insecticides and Bet Nets

Ross’ epidemic model describing the transmission of malaria uses two classes of infection, one for humans and one for mosquitoes. This paper presents a stochastic extension of a deterministic vector-borne epidemic model based only on the class of human infectious. The consistency of the model is established by proving that the stochastic delay differential equation describing the model has a unique positive global solution. The extinction of the disease is studied through the analysis of the stability of the disease-free equilibrium state and the persistence of the model. Finally, we introduce some numerical simulations to illustrate the obtained results.

Global Stability Analysis of the Mathematical Model for Malaria Transmission between Vector and Host Population

In this paper, we discuss a mathematical model of malaria transmission between vector and host population. We study the basic qualitative properties of the model, the boundedness and non-negativity, calculate all equilibria, and prove the global stability of them and the behaviour of the model when the basic reproduction ratio R0 is greater than one or less than one. The global stability of equilibria is established by using Lyapunov method. Graphical representations of the calculated parameters and their effects on disease eradication are provided.

Modelling Foot and Mouth Disease in the Context of Active Immigrants

This study employs mathematical modeling to analyze the impact of active immigrants on Foot and Mouth Disease (FMD) transmission dynamics. We calculate the reproduction number (R0) using the next-generation matrix approach. Applying the Routh-Hurwitz Criterion, we establish that the Disease-Free Equilibrium (DFE) point achieves local asymptotic stability when R0 α1 and α2) are closely associated with reduced susceptibility in animal populations, underscoring the link between immigrants and susceptibility. Furthermore, our findings emphasize the interplay of disease introduction with population response and adaptation, particularly involving incoming infectious immigrants. Swift interventions are vital due to the limited potential for disease establishment and rapid susceptibility decline. This study offers crucial insights into the complexities of FMD transmission with active immigrants, informing effective disease management strategies.

Stability of a Delayed Stochastic Epidemic COVID-19 Model with Vaccination and with Differential Susceptibility

In this paper, we treat the spread of COVID-19 using a delayed stochastic SVIRS (Susceptible, Infected, Recovered, Susceptible) epidemic model with a general incidence rate and differential susceptibility. We start with a deterministic model, then add random perturbations on the contact rate using white noise to obtain a stochastic model. We first show that the delayed stochastic differential equation that describes the model has a unique global positive solution for any positive initial value. Under the condition R0 ≤ 1, we prove the almost sure asymptotic stability of the disease-free equilibrium of the model.

Construction of Control Lyapunov Functions for a Class of Nonlinear Systems

The construction of control Lyapunov functions for a class of nonlinear systems is considered. We develop a method by which a control Lyapunov function for the feedback linearizable part can be constructed systematically via Lyapunov equation. Moreover, by a control Lyapunov function of the feedback linearizable part and a Lyapunov function of the zero dynamics, a control Lyapunov function for the overall nonlinear system is established.

Sliding mode control of uncertain systems with distributed time-delay: parameter-dependent Lyapunov functional approach

The robust stability and robust sliding mode control problems are studied for a class of linear distributed time-delay systems with polytopic-type uncertainties by applying the parameter-dependent Lyapunov functional approach combining with a new method of introducing some relaxation matrices and tuning parameters, which can be chosen properly to lead to a less conservative result. First, a sufficient condition is proposed for robust stability of the autonomic system; next, the sufficient conditions of the robust stabilization controller and the existence condition of sliding mode are developed. The results are given in terms of linear matrix inequalities （LMIs）, which can be solved via efficient interior-point algorithms. A numerical example is presented to illustrate the feasibility and advantages of the proposed design scheme.

On stability of discontinuous systems via vector Lyapunov functions

This paper deals with the stability of systems with discontinuous righthand side （with solutions in Filippov＇s sense） via locally Lipschitz continuous and regular vector Lyapunov functions. A new type of “set-valued derivative” of vector Lyapunov functions is introduced, some generalized comparison principles on discontinuous systems are shown. Furthermore, Lyapunov stability theory is developed for a class of discontinuous systems based on locally Lipschitz continuous and regular vector Lyapunov functions.

Parameter-dependent Lyapunov functional for systems with multiple time delays

The separation of the Lyapunov matrices and system matrices plays an important role when one uses parameter-dependent Lyapunov functional handling systems with polytopic type uncertainties. The delay-dependent robust stability problem for systems with polytopic type uncertainties is discussed by using parameter-dependent Lyapunov functional. The derivative term in the derivative of Lyapunov functional is reserved and the free weighting matrices are employed to express the relationship between die terms in the system equation such that the Lyapunov matrices are not involved in any product terms with the system matrices. In addition, the relationships between the terms in the Leibniz Newton formula are also described by some free weighting matrices and some delay-dependent stability conditions are derived. Numerical examples demonstrate that the proposed criteria are more effective than the previous results.

Global Practical Stabilization of Discrete-Time Switched Affine Systems via a General Quadratic Lyapunov Function and a Decentralized Ellipsoid

This paper addresses the problem of global practical stabilization of discrete-time switched affine systems via statedependent switching rules.Several attempts have been made to solve this problem via different types of a common quadratic Lyapunov function and an ellipsoid.These classical results require either the quadratic Lyapunov function or the employed ellipsoid to be of the centralized type.In some cases,the ellipsoids are defined dependently as the level sets of a decentralized Lyapunov function.In this paper,we extend the existing results by the simultaneous use of a general decentralized Lyapunov function and a decentralized ellipsoid parameterized independently.The proposed conditions provide less conservative results than existing works in the sense of the ultimate invariant set of attraction size.Two different approaches are proposed to extract the ultimate invariant set of attraction with a minimum size,i.e.,a purely numerical method and a numerical-analytical one.In the former,both invariant and attractiveness conditions are imposed to extract the final set of matrix inequalities.The latter is established on a principle that the attractiveness of a set implies its invariance.Thus,the stability conditions are derived based on only the attractiveness property as a set of matrix inequalities with a smaller dimension.Illustrative examples are presented to prove the satisfactory operation of the proposed stabilization methods.

α-LIMIT SETS AND LYAPUNOV FUNCTION FOR MAPS WITH ONE TOPOLOGICAL ATTRACTOR

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 and so on.Under the finiteness and basin conditions,we provide a leveled A-R pair decomposition for such maps,and characterize α-limit set of each point.Based on weak Morse decomposition of X,we construct a bounded Lyapunov function V(x),which gives a clear description of orbit behavior of each point in X except a meager set.

Direct adaptive control for nonlinear uncertain system based on control Lyapunov function method

The problem of adaptive stabilization of a class of multi-input nonlinear systems with unknown parameters both in the state vector-field and the input vector-field has been considered. By employing the control Lyapunov function method, a direct adaptive controller is designed to complete the global adaptive stability of the uncertain system. At the same time, the controller is also verified to possess the optimality. Example and simulations are provided to illustrate the effectiveness of the proposed method.

Universal construction of control Lyapunov functions for a class of nonlinear systems

A method is developed by which control Lyapunov functions of a class of nonlinear systems can be constructed systematically. Based on the control Lyapunov function, a feedback control is obtained to stabilize the closed-loop system. In addition, this method is applied to stabilize the Benchmark system. A simulation shows the effectiveness of the method.

Stabilization of discrete nonlinear systems based on control Lyapunov functions

The stabilization of discrete nonlinear systems is studied. Based on control Lyapunov functions, a sufficient and necessary condition for a quadratic function to be a control Lyapunov function is given. From this condition, a continuous state feedback law is constructed explicitly. It can globally asymptotically stabilize the equilibrium of the closed-loop system. A simulation example shows the effectiveness of the proposed method.