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.

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.

Robust L_1 filtering with pole constraint in a disk via parameter-dependent Lyapunov functions

The problem of robust L 1 filtering with pole constraint in a disk for linear continuous polytopic uncertain systems is discussed. The attention is focused on design a linear asymptotically stable filter such that the filtering error system remains robustly stable, and has a L 1 performance constraint and pole constraint in a disk. The new robust L 1 performance criteria and regional pole placement condition are obtained via parameter-dependent Lyapunov functions method. Upon the proposed multiobjective performance criteria and by means of LMI technique, both full-order and reduced-order robust L 1 filter with suitable dynamic behavior can be obtained from the solution of convex optimization problems. Compared with earlier result in the quadratic framework, this approach turns out to be less conservative. The efficiency of the proposed technique is demonstrated by a numerical example.

Robust L_2-L_∞ filtering with pole constraint in a disk via parameter-dependent Lyapunov functions

Addresses the design problems of robust L2-L∞ filters with pole constraint in a disk for uncertain continuous-time linear systems. The uncertain parameters are assumed to belong to convex bounded domains. The aim is to determine a stable linear filter such that the filtering error system possesses a prescribed L2-L∞ noise attenuation level and expected poles location. The filtering strategies are based on parameter-dependent Lyapunov stability results to derive new robust L2-L∞ performance criteria and the regional pole placement conditions. From the proposed multi-objective performance criteria, we derive sufficient conditions for the existence of robust L2-L∞ filters with pole constraint in a disk, and cast the filter design into a convex optimization problem subject to a set of linear matrix inequality constraints. This filtering method exhibits less conservativeness than previous results in the quadratic framework. The advantages of the filter design procedures are demonstrated by means of numerical examples.

Stability Analysis of T-S Fuzzy Control Systems Based on Parameter-dependent Lyapunov Function

For discrete-time T-S fuzzy systems, the stability and controller design method are in-vestigated based on parameter-dependent Lyapunov function (PDLF). T-S fuzzy systems di?er fromnon-fuzzy systems with polytopic description or multi-model description in that the weighting coef-ficients have respective meanings. They, however, have stability aspect in common. By adopting astability condition for polytopic systems obtained via PDLF, and combining the properties of T-Sfuzzy systems, new results are given in this paper. An example shows that by applying the newresults, the stability conditions that can be distinguished are less conservative.

Robust D-stability LMI conditions of matrix polytopes via affine parameter-dependent Lyapunov functions

The problem of the robust D-stability analysis for linear systems with parametric uncertainties is addressed. For matrix polytopes, new conditions via the affine parameter-dependent Lyapunov function of uncertain systems are developed with the benefit of the scalar multi-convex function. To be convenient for applications, such conditions are simplified into new linear matrix inequality （LMI） conditions, which can be solved by the powerful LMI toolbox. Numerical examples are provided to indicate that this new approach is less conservative than previous results for Hurwitz stability, Schur stability and D-stability of uncertain systems under certain circumstances.

Robust H-infinity filtering for uncertain discrete-time systems using parameter-dependent Lyapunov functions

This paper deals with H-infinity filtering of discrete-time systems with polytopic uncertainties. The un- certain parameters are supposed to reside in a polytope. By using the parameter-dependent Lyapunov function approach and introducing some slack matrix variables, a new sufficient condition for the H-infinity filter design is presented in terms of solutions to a set of linear matrix inequalities （LMIs）. In contrast to the existing results for H-infinity filter design, the main advantage of the proposed design method is the reduced conservativeness. An example is provided to demonstrate the effectiveness of the proposed method.

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逆定理.

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.

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.