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.

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.

Preparation of Hadamard Gate for Open Quantum Systems by the Lyapunov Control Method

In this paper, the control laws based on the Lyapunov stability theorem are designed for a two-level open quantum system to prepare the Hadamard gate, which is an important basic gate for the quantum computers. First, the density matrix interested in quantum system is transferred to vector formation.Then, in order to obtain a controller with higher accuracy and faster convergence rate, a Lyapunov function based on the matrix logarithm function is designed. After that, a procedure for the controller design is derived based on the Lyapunov stability theorem. Finally, the numerical simulation experiments for an amplitude damping Markovian open quantum system are performed to prepare the desired quantum gate. The simulation results show that the preparation of Hadamard gate based on the proposed control laws can achieve the fidelity up to 0.9985 for the different coupling strengths.

A Lyapunov-based three-axis attitude intelligent control approach for unmanned aerial vehicle

A novel Lyapunov-based three-axis attitude intelligent control approach via allocation scheme is considered in the proposed research to deal with kinematics and dynamics regarding the unmanned aerial vehicle systems.There is a consensus among experts of this field that the new outcomes in the present complicated systems modeling and control are highly appreciated with respect to state-of-the-art.The control scheme presented here is organized in line with a new integration of the linear-nonlinear control approaches,as long as the angular velocities in the three axes of the system are accurately dealt with in the inner closed loop control.And the corresponding rotation angles are dealt with in the outer closed loop control.It should be noted that the linear control in the present outer loop is first designed through proportional based linear quadratic regulator(PD based LQR) approach under optimum coefficients,while the nonlinear control in the corresponding inner loop is then realized through Lyapunov-based approach in the presence of uncertainties and disturbances.In order to complete the inner closed loop control,there is a pulse-width pulse-frequency(PWPF) modulator to be able to handle on-off thrusters.Furthermore,the number of these on-off thrusters may be increased with respect to the investigated control efforts to provide the overall accurate performance of the system,where the control allocation scheme is realized in the proposed strategy.It may be shown that the dynamics and kinematics of the unmanned aerial vehicle systems have to be investigated through the quaternion matrix and its corresponding vector to avoid presenting singularity of the results.At the end,the investigated outcomes are presented in comparison with a number of potential benchmarks to verify the approach performance.

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.

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.

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.

Nonsmooth Control-Lyapunov Function and Stabilization of Nonlinear Switching Systems

In this paper we consider general nonlinear switching systems. Under an additional assumption, we prove that there exists a state space depending switching rule which stabilizes the system in a very general sense.

Control Lyapunov Stabilization of Nonlinear Systems with Structural Uncertainty

This paper deals with global stabilization problem for the nonlinear systems with structural uncertainty. Based on control Lyapunov function, a sufficient and necessary condition for the globally and asymptotically stabilizing the equailibrium of the closed system is given. Moreovery, an almost smooth state feedback control law is constructed. The simulation shows the effectiveness of the method.

Stabilization of nonlinear systems based on robust control Lyapunov function

This paper deals with the robust stabilization problem for a class of nonlinear systems with structural uncertainty. Based on robust control Lyapunov function, a sufficient and necessary condition for a function to be a robust control Lyapunov function is given. From this condition, simply sufficient condition for the robust stabilization （robust practical stabilization） is deduced. Moreover, if the equilibrium of the closed-loop system is unique, the existence of such a robust control Lyapunnv function will also imply robustly globally asymptotical stabilization. Then a continuous state feedback law can be constructed explicitly. The simulation shows the effectiveness of the method.

Adaptive stabilization for cascade nonlinear systems

An adaptive controller of full state feedback for certain cascade nonlinear systems achieving input-to-state stability with respect to unknown bounded disturbance is designed using backstepping and control Lyapunov function (CLF) techniques. We show that unknown bounded disturbance can be estimated by update laws, which requires less information on unknown disturbance, as a part of stabilizing control. The design method achieves the desired property: global robust stability. Our contribution is illustrated with the example of a disturbed pendulum.

Dissipative preparation of multipartite Greenberger-Horne-Zeilinger states of Rydberg atoms

The multipartite Greenberger-Horne-Zeilinger(GHZ)states play an important role in large-scale quantum information processing.We utilize the polychromatic driving fields and the engineered spontaneous emissions of Rydberg states to dissipatively drive three-and four-partite neutral atom systems into the steady GHZ states,at the presence of the nextnearest neighbor interaction of excited Rydberg states.Furthermore,the introduction of quantum Lyapunov control can help us optimize the dissipative dynamics of the system so as to shorten the convergence time of the target state,improve the robustness against the spontaneous radiations of the excited Rydberg states,and release the limiting condition for the strengths of the polychromatic driving fields.Under the feasible experimental conditions,the fidelities of three-and four-partite GHZ states can be stabilized at 99.24%and 98.76%,respectively.

Robust H_∞ control for uncertain Markovian jump systems with mixed delays

We scrutinize the problem of robust H∞control for a class of Markovian jump uncertain systems with interval timevarying and distributed delays. The Markovian jumping parameters are modeled as a continuous-time finite-state Markov chain. The main aim is to design a delay-dependent robust H∞control synthesis which ensures the mean-square asymptotic stability of the equilibrium point. By constructing a suitable Lyapunov–Krasovskii functional（LKF）, sufficient conditions for delay-dependent robust H∞control criteria are obtained in terms of linear matrix inequalities（LMIs）. The advantage of the proposed method is illustrated by numerical examples. The results are also compared with the existing results to show the less conservativeness.

Asymptotic controllability of a class of discrete-time systems with disturbances

This article deals with the uniformly globally asymptotic controllability of discrete nonlinear systems with disturbances.It is shown that the system is uniformly globally asymptotic controllability with respect to a closed set if and only if there exists a smooth control Lyapunov function.Further, it is obtained that the control Lyapunov function may be used to construct a feedback law to stabilize the closed-loop system.In addition, it is proved that for periodic discrete systems, the resulted control Lyapunov functions are also time periodic.

Improved forwarding control design method and its application

Integrator forwarding is a recursive nonlinear design technique for the stabilization of feed-forward systems. However, this method still has some limitation. An improved design method is proposed to extend the field of application of this technique. This method is used to design a stabilizer for the inertia wheel pendulum system. Moreover, it is shown that the control Lyapunov function which is obtained from this method can also be used to design a globally asymptotically stabilizing controller with optimality.

Global stabilization of nonlinear systems with uncertain structure

The global stabilization problem of nonlinear systems with uncertain structure is dealt with. Based on control Lyapunov function （CLF）, a sufficient and necessary condition for Lyapunov stabilization is given. From the condition, several simply sufficient conditions for the globally asymptotical stability are deduced. A state feedback control law is designed to globally asymptotically stabilize the equilibrium of the closed system. Last, a simulation shows the effectiveness of the method.

Robust Adaptive Control of PVTOL System via Minimum Projection Method

＂Dynamic extension＂ is commonly used for stabilization of the planar vertical take off and landing （PVTOL） system. Most controllers designed by the method are based on ＂dynamic＂ control Lyapunov functions （CLFs）. We design a C^∞ differentiable ＂static＂ CLF for the PVTOL system by dynamic extension and minimum projection method. Then we propose an inverse optimal controller based on the static CLF that attains a gain margin. We design an adaptive control input and show the robustness of the controller by computer simulation.

Spring-Loaded Inverted Pendulum Hopping via Hybrid Averaging and Control Lyapunov Function

The Spring-Loaded Inverted Pendulum(SLIP)has been regarded as a canonical model for hopping and running dynamics of legged robots.This paper presents a novel control of the actuated-SLIP hopping on unknown terrains.We propose that in the neighborhood of the desired stable hybrid limit cycle,the local dynamical behavior of a hybrid system can be expressed by a set of phase coordinates and transverse coordinates.Under some acceptable assumptions,the hybrid averaging theorem is applied on the SLIP non-integrable dynamics to simplify the controller design.Using the inherent symmetry of SLIP dynamics,a control Lyapunov function-based hybrid averaging controller is developed to ensure the exponential stability of the desired gait orbit.This results in a set of linear constraints on the control signal,which can be readily solved by a quadratic programming optimization.Furthermore,a novel method is introduced to improve the robustness against unknown disturbances through the online constraint adjustment.The proposed controller is evaluated in various simulations,demonstrating the SLIP hopping on diverse terrains,including flat,sin-wave,and unregular terrains.The performance of the approach is also validated on a quadruped robot SCIT Dog for generating dynamic gaits such as pronking.

STABILIZATION OF NONLINEAR TIME-VARYING SYSTEMS:A CONTROL LYAPUNOV FUNCTION APPROACH

This paper presents a control Lyapunov function approach to the global stabilizationproblem for general nonlinear and time-varying systems. Explicit stabilizing feedback control laws areproposed based on the method of control Lyapunov functions and Sontag's universal formula.

Quantum control with Lyapunov function and bang–bang solution in the optomechanics system

We propose a quantum control scheme with the help of Lyapunov control function in the optomechanics system. The principle of the idea is to design suitable control fields to steer the Lyapunov control function to zero as t → ∞ while the quantum system is driven to the target state. Such an evolution makes no limit on the initial state and one needs not manipulate the laser pulses during the evolution. To prove the effectiveness of the scheme, we show two useful applications in the optomechanics system: one is the cooling of nanomechanical resonator and the other is the quantum fluctuation transfer between membranes. Numerical simulation demonstrates that the perfect and fast cooling of nanomechanical resonator and quantum fluctuation transfer between membranes can be rapidly achieved. Besides, some optimizations are made on the traditional Lyapunov control waveform and the optimized bang–bang control fields makes Lyapunov function V decrease faster. The optimized quantum control scheme can achieve the same goal with greater efficiency. Hence, we hope that this work may open a new avenue of the experimental realization of cooling mechanical oscillator, quantum fluctuations transfer between membranes and other quantum optomechanics tasks and become an alternative candidate for quantum manipulation of macroscopic mechanical devices in the near future.