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.

基于对数型障碍Lyapunov函数的俯仰驾驶仪设计

相控阵雷达制导拦截弹在拦截高速大机动目标时,弹体气动参数剧烈非线性变化影响控制系统对大攻角的响应效果,应设计考虑攻角指令跟踪误差约束的鲁棒自动驾驶仪控制律。基于双幂次趋近律和对数型障碍李雅普诺夫函数设计了鲁棒非线性自动驾驶仪控制律,可将攻角指令的跟踪误差快速收敛于约束范围内。通过降阶扩张状态观测器对系统中存在的气动参数不确定性和系统外部扰动进行在线估计和补偿。稳定性分析和数值仿真表明,攻角可在1 s内达到稳态且攻角响应的稳态误差<10-4°,所提出的自动驾驶仪控制律具有较强的鲁棒性,能够准确稳定地跟踪攻角指令,控制导弹产生所需过载进而精准拦截目标。

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.

基于共同二次Lyapunov函数的频率可控的Boost变换器切换律

针对最小型切换律开关频率过高难以应用于工程实际的问题,建立了Boost变换器CCM运行的切换系统模型,基于共同二次Lyapunov函数提出1种新的切换律。根据切换律的数学表达式,分析变换器的稳态性能及动态性能,描述该切换律对变换器开关频率的调节机制。仿真及实验表明,在该切换律的作用下,Boost变换器开关频率可控,不会出现切换系统特有的芝诺行为,且与现有控制策略相比,变换器的动态性能好,在受到外部扰动时电压波动更小,调节时间更短。

基于Lyapunov-MPC方法的非合作目标近距离抵近控制

针对航天器近距离视线抵近同时存在轨道与姿态机动的非合作目标特定方位控制问题,提出了一种基于控制Lyapunov函数(CLF)的模型预测控制方法 (LMPC)。首先,根据视线坐标系下的轨道动力学方程,建立了满足视线指向要求的航天器相对轨道动力学模型,并推导了期望轨道的解析表达式。其次,利用MPC方法设计控制器进行在线优化控制,并通过纳入基于李雅普洛夫方法的非线性反步控制的显式特征,构建收缩约束式,以确保闭环稳定性。接着,对基于LMPC的控制方法的递归可行性和闭环稳定性进行了证明。最后,仿真结果证明了所设计的LMPC轨迹跟踪方法的有效性和鲁棒性。

基于隐式Lyapunov函数的弹药传输机械臂变增益超螺旋滑模控制

为提高某弹药传输机械臂在传输弹药过程中受到负载不确定性影响下的定位控制鲁棒性,提出一种新型的基于隐式Lyapunov函数变增益超螺旋滑模控制方法。建立弹药传输机械臂系统的动力学方程,并对方程中摩擦力矩及支反力矩的重要参数进行辨识,减少系统不确定性。构造隐式Lyapunov函数并设计出一种新型的变增益超螺旋滑模控制策略,通过Lyapunov稳定性理论证明闭环系统全局稳定。超螺旋滑模控制增益的变化取决于系统的Lyapunov函数,是滑模变量的可微函数,具有控制参数易调节的优势。实验结果表明:摩擦力矩及支反力矩补偿可使系统定位时间由补偿前2.659 s缩短到1.157 s,提高了系统定位性能。在不同工况下,控制方法可有效地抑制系统负载不确定性的影响,保证系统的定位稳定性。

滞后型脉冲泛函微分方程有界性的Lyapunov逆定理

本文通过建立滞后型脉冲泛函微分方程饱和解的存在唯一性定理,在广义常微分方程与滞后型脉冲泛函微分方程等价的基础上,研究了滞后型脉冲泛函微分方程关于一致有界性的Lyapunov逆定理.

A new approach to stability analysis of neural networks with time-varying delay via novel Lyapunov-Krasovskii functional

In this paper, new delay-dependent stability criteria for asymptotic stability of neural networks with time-varying delays are derived. The stability conditions are represented in terms of linear matrix inequalities （LMIs） by constructing new Lyapunov-Krasovskii functional. The proposed functional has an augmented quadratic form with states as well as the nonlinear function to consider the sector and the slope constraints. The less conservativeness of the proposed stability criteria can be guaranteed by using convex properties of the nonlinear function which satisfies the sector and slope bound. Numerical examples are presented to show the effectiveness of the proposed method.

MMMC两侧电流基于Lyapunov函数的控制策略

分频传输系统(fractional frequency transmission system,FFTS)是一种海上风电电能传输方案,FFTS中最为关键的装置为大功率AC/AC变换器,而模块化多电平矩阵变换器(modular multilevel matrix converter,MMMC)是一种高电压、大功率AC/AC变换器。针对MMMC输入输出两侧的电流控制,目前一般都采用传统PI控制,其控制参数多且控制效果不理想,而基于Lyapunov函数的控制策略的控制器数量、控制复杂程度和效果都优于PI控制,因此提出了MMMC输入输出两侧电流的Lyapunov函数控制策略。根据MMMC的拓扑结构,推导出MMMC输入输出两侧电流解耦模型,再结合Lyapunov函数控制理论,推导出MMMC输入输出两侧电流的Lyapunov函数控制的数学模型,证明了所提控制具有全局渐进稳定性,讨论了Lyapunov函数控制的不精确以及参数选择问题。最后在MATLAB仿真平台上针对MMMC输入输出两侧电流控制采用所提控制策略和传统控制策略分别在不同工况下进行实验比较,仿真结果验证了所提控制策的正确性与优越性。

一类强2-正系统的整数值Lyapunov函数

针对双向循环负反馈系统对应的线性系统,即强2-正系统构造了整数值Lyapunov函数σ(·)。该函数定义在?n中的一个开稠集上,它表示n维向量坐标之间符号改变的次数。通过定义两类与σ(·)相关的整数值函数σ_(m)(·)、σ_(M)(·),借助这些函数具有的特性,证明了σ(·)沿着解的轨道具有衰减性;同时,如此定义的整数值Lyapunov函数若满足轨道衰减性,那么所对应线性系统几乎处处是一个强2-正系统。该函数为进一步研究负反馈系统的结构稳定性以及极限集的嵌入性质等提供了有效的研究工具,对于深入了解该系统的动力学提供了重要参考。

基于时变障碍Lyapunov方法的非线性多智能体系统的一致性控制

针对不确定非线性多智能体系统(MASs),采用基于时变的积分型障碍李雅普诺夫函数(IBLF)的方法,提出了一种实用的固定时间下的一致性控制框架。利用BLF的鲁棒性来解决未知非线性问题,而不是采用模糊逻辑系统/神经网络逼近,IBLF作为该方法的一个突破,是对状态变量的直接约束,其中特殊函数约束(其约束边界与状态变量和时间都有关)是更为新颖的研究内容。在控制器设计过程中通过插入了一个分段可微的位移函数来预先指定状态变量收敛并达到全局一致的逼近时间,并且结合IBLF可以对状态变量的初值条件进行拓展,保证了对于任意初始输出状态,所有智能体的输出都能实现实际的固定时间一致跟踪,并且闭环系统中的所有信号都是有界的。

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.

Asymmetric time-varying integral barrier Lyapunov function based adaptive optimal control for nonlinear systems with dynamic state constraints

This paper investigates the issue of adaptive optimal tracking control for nonlinear systems with dynamic state constraints.An asymmetric time-varying integral barrier Lyapunov function(ATIBLF)based integral reinforcement learning(IRL)control algorithm with an actor–critic structure is first proposed.The ATIBLF items are appropriately arranged in every step of the optimized backstepping control design to ensure that the dynamic full-state constraints are never violated.Thus,optimal virtual/actual control in every backstepping subsystem is decomposed with ATIBLF items and also with an adaptive optimized item.Meanwhile,neural networks are used to approximate the gradient value functions.According to the Lyapunov stability theorem,the boundedness of all signals of the closed-loop system is proved,and the proposed control scheme ensures that the system states are within predefined compact sets.Finally,the effectiveness of the proposed control approach is validated by simulations.

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.

Time-variant fragility analysis of the bridge system considering time-varying dependence among typical component seismic demands

This paper presents a copula technique to develop time-variant seismic fragility curves for corroded bridges at the system level and considers the realistic time-varying dependence among component seismic demands. Based on material deterioration mechanisms and incremental dynamic analysis, the time-evolving seismic demands of components were obtained in the form of marginal probability distributions. The time-varying dependences among bridge components were then captured with the best fitting copula function, which was selected from the commonly used copula classes by the empirical distribution based analysis method. The system time-variant fragility curves at different damage states were developed and the effects of time-varying dependences among components on the bridge system fragility were investigated. The results indicate the time-varying dependence among components significantly affects the time-variant fragility of the bridge system. The copula technique captures the nonlinear dependence among component seismic demands accurately and easily by separating the marginal distributions and the dependence among them.

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.

Determination of the degree 120 time-variable gravity field in the Sichuan-Yunnan region using Slepian functions and terrestrial measurements

The terrestrial time-variable gravity measurements are characterized by a high signal-to-noise ratio and sensitivity to the sources of mass change in the Earth's crust.These gravity data have many applications,such as surface deformation,groundwater storage changes,and mass migration before and after earthquakes.Based on repeated terrestrial gravity measurements at 198 gravity stations in the Sichuan-Yunnan region(SYR)from 2015 to 2017,we determine a time series of degree 120 gravity fields using the localized spherical harmonic(Slepian)basis functions.Our results show that adopting the first 6 Slepian basis functions is sufficient for effective localized Slepian modeling in the SYR.The differences between two gravity campaigns at the same time of year show an obvious correlation with tectonic features.The degree 120 timevariable gravity models presented in this paper will benefit the study of the regional mass migration inside the crust of the SYR and supplement the existing geophysical models for the China Seismic Experimental Site.

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.

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.