+高级检索
网刊加载中。。。

使用Chrome浏览器效果最佳,继续浏览,你可能不会看到最佳的展示效果,

确定继续浏览么?

复制成功,请在其他浏览器进行阅读

基于变时域策略的线性系统事件触发预测控制  PDF

  • 贺宁
  • 冯小菲
  • 杜嘉伟
西安建筑科技大学 机电工程学院, 陕西 西安 710055

中图分类号: TP273

最近更新:2025-03-03

DOI: 10.16339/j.cnki.hdxbzkb.2025168

  • 全文
  • 图表
  • 参考文献
  • 作者
  • 出版信息
EN
目录contents

摘要

针对具有加性扰动的约束连续线性时不变系统,提出一种基于变时域策略的线性系统事件触发模型预测控制方案. 首先,基于最优状态轨迹与实际状态轨迹之间的偏差设计无Zeno行为的事件触发机制,以减少求解优化问题的频率. 其次,为了降低实际状态趋近终端集时求解优化问题的计算复杂度,设计一种更为高效的指数收缩形式的自适应预测时域更新机制. 再次,基于双模控制策略,提出自适应事件触发模型预测控制算法,并给出了保证算法可行性和闭环系统稳定性的充分条件. 最后,基于质量-弹簧-阻尼系统验证了所提算法的有效性.结果表明本文方案能够在不损失控制性能的前提下有效降低系统资源消耗和求解优化问题的计算复杂度.

模型预测控制(model predictive control, MPC)作为一种滚动优化求最优解的方法,由于其能有效处理时域复杂约束以及多目标优化问题,因而在工业控制系统等领域应用越来越广

1-3. 基于MPC的理论研究成果在不断产出,李志4、何德峰5通过充分利用控制输入的约束范围,从而减少控制行为的保守性,提升了算法执行效率,提高了系统的控制性能. 杨世忠6、Vozák7和蔡宏8提出了鲁棒模型预测控制器的设计方法,其具有极强的处理不确定性和外部干扰的能力,使得在与现有方法有相同初始可行域的前提下,只需确保优化问题初始可行就能够保证闭环系统实现稳定. 近年来,MPC已经在众多领域中得到应用,如飞行控9、污水处10、列车自动驾11、建筑节12等. 然而,传统的MPC由于在每个采样时刻都需要在线求解相同时域的优化问题,对于采样间隔较小以及资源有限的实际系统,会导致计算和通信资源的过度消耗.

事件触发控制作为一种有效且研究充分的非周期采样控制策

13-15,其核心思想是预先设计一种事件触发机制(event-triggered mechanism, ETM)并设定触发阈值,从而达到减少资源消耗并确保满意的系统控制性能的目的. 相比于时间触发控制,事件触发控制可以通过使用更小的平均采样率以获得更好的控制性16. 因此将ETM与MPC相结合可以显著降低系统通信和计算负载.

在此背景下,事件触发MPC(event-triggered MPC, ET-MPC)得到了广泛的关注和研究,并取得了突出的成

17-21. 目前,针对该方向的研究主要包括连续系统和离散系统,对于连续系统,Li17研究了连续时间非线性系统的鲁棒MPC问题,设计了一种基于事件触发方案的MPC算法,有效减少了系统优化问题的在线求解次数,降低了在线计算量. Liu18针对具有有界扰动的约束连续时间非线性系统,通过考虑系统的真实状态与其最优预测状态之间的误差来设计触发机制,同时在优化问题中引入时变收紧状态约束,以满足鲁棒约束. Luo19 研究了具有输入约束和有界干扰的线性时不变(linear time-invariant, LTI)系统的ET-MPC,通过实际计算与最优状态轨迹之间的偏差来设计ETM以减少计算负载. 对于离散系统,Hu20研究了受有界扰动的离散线性时不变系统的鲁棒ET-MPC,基于线性矩阵不等式,通过计算实际状态轨迹与最优状态轨迹之间的偏差来设计ETM以减少计算负载. Deng21研究了具有有界扰动的线性离散时间系统的事件触发鲁棒MPC问题,提出了一种随机触发机制,考虑了基于管的MPC和基于线性矩阵不等式的MPC,与所设计的随机触发机制具有互补的优点.

通过对以上众多研究的总结,可以得出结论,现有的ET-MPC策略通过设计合理有效的ETM可以在保证系统控制性能的同时有效减少通信和计算资源的过度使用,但仍然无法有效降低求解优化问题的计算复杂度. 具体来说,在标准ET-MPC框架中通常预先选择固定的预测时域,由此使得优化问题在每个触发时刻具有几乎相同的计算复杂度,即使当系统状态逐渐接近或已经到达终端区域,也仍需要求解计算复杂度高的优化问题. 在此背景下,基于自适应预测时域的ET-MPC得到了进一步的研究. 苑守正

22基于ETM和MPC,设计了一种船舶自动靠泊控制器,为了提高求解速度,提出了一种基于事件触发的自适应时域MPC方案,并进行了稳定性分析. Cao23设计了一种预测时域收缩策略,随着实际状态接近终端集,求解最优控制问题的计算复杂度逐渐降低. Wang24提出了一种自适应预测时域更新策略,其中预测时域随着状态进入终端集而逐渐减小,从而有效地降低了触发时刻求解优化问题的计算复杂度. 因此,研究设计更高效的预测时域收缩策略以更有效地降低MPC控制器求解优化问题的计算复杂度是非常必要的,特别是对于当前实际应用中所广泛关注和研究的连续时间线性系统.

基于以上论述,本文针对具有输入约束和有界扰动的连续LTI系统,基于自适应预测时域收缩机制和双模控制策略提出一种新的ET-MPC算法,通过设计事件触发机制,在保证递归可行性和稳定性的同时,降低优化问题的计算频率和求解复杂性. 本文主要贡献阐述如下:

1)针对受扰线性系统,建立有限时域约束优化问题,采用鲁棒性约束以处理系统加性扰动;基于实际状态和最优状态之间的误差设计事件触发机制,并给出保证无Zeno行为的条件;设计一种更为高效的指数形式预测时域收缩机制,其具有更大的收缩范围,使得系统状态在接近终端区域过程中预测时域得到更高效的收缩,有效降低在触发时刻求解优化问题的计算复杂度.

2)基于双模控制思想,提出自适应事件触发鲁棒MPC算法,进一步降低系统的计算和通信资源消耗. 此外,通过严格的理论分析,给出保证所提算法可行性和闭环系统稳定性的充分条件.

1 问题描述

1.1 系统定义

本文考虑如下具有加性扰动和约束的连续LTI系统,其系统动力学模型为:

x˙(t)=Ax(t)+Bu(t)+Ew(t)x(t0)=x0,t00 (1)

式中:x(t)Rn为系统状态;u(t)Rm为控制输入,满足u(t)Uw(t)WRl表示以η=supw(t)W w(t)为上界的加性扰动;R表示实数集. 此外,状态和控制输入可行域被定义为包含原点为内点的凸紧集. ARn×nBRn×mERn×l为时不变矩阵.

为本文所研究的系统提供一个常规假设和一个标准定义如下:

假设1

25:对系统(1)的标称模型x˙(t)= Ax(t)+Bu(t),存在一个状态反馈增益K,使得A+BK是Hurwitz矩阵.

定义1

26:如果对所有x(t0)Ω,存在u(t)U使得x(t)Ωtt0,那么ΩRn是系统x˙(t)= Ax(t)+Bu(t)的一个控制不变集.

基于此,有如下标准引理.

引理1

25:若假设1成立,给定两个对称正定矩阵Q>0R>0,存在一个状态反馈增益矩阵K,一个常数ε>0,使得:

1)Lyapunov方程Q+KTRK+(A+BK)TP+ P(A+BK)0有唯一对称正定解P>0.

2)集合Ω(r)x(t):x(t)r是一个控制不变集,对于系统x˙(t)=Ax(t)+Bu(t),满足u(t)=Kx(t).

3)x(t)Ω(r),满足Kx(t)Ug˙(x(t))-x(t)Q*2,其中g(x(t))=x(t)P2Q*= Q+KTRK.

对于状态和控制变量,由优化问题求解得到的变量表示为()*,提供可行解并满足所有约束条件的变量表示为inlinegraphic. 给定一个矩阵Pλ¯(P)λ̲(P)分别表示其最大特征值和最小特征值. 对于一个向量xx=xTx表示其2-范数,xP=xTPx表示其P加权范数.

1.2 有限时域约束优化问题

对于系统(1),定义时间序列tkkN作为触发条件被违反的时刻(N表示自然数集),即优化问题被求解的时刻. 在tk时刻,u¯(τ|tk)x¯(τ|tk)分别被定义为预测输入轨迹和预测状态轨迹,其满足标称系统x¯˙(τ|tk)=Ax¯(τ|tk)+Bu¯(τ|tk)τtk,tk+Tk. 需要求解的有限时域约束优化问题如下:

u*(τ|tk)=minu¯(τ|tk)UJ(x¯(τ|tk),u¯(τ|tk)) (2)
s.t.x¯˙(τ|tk)=Ax¯(τ|tk)+Bu¯(τ|tk)x¯(tk|tk)=x(tk),x¯(tk+Tk|tk)Ω(ε)x¯(τ|tk)Tkετ-tk,τtk,tk+Tku¯(τ|tk)U,τtk,tk+Tk

式中:J(x¯(τ|tk),u¯(τ|tk))表示优化问题的代价函数;Ω(ε)=xx(t)ε被定义为鲁棒终端集;ε是一个可设计的常数且ε<rTk表示tk时刻所求解的优化问题的预测时域,在控制过程中根据所设计的收缩机制进行自适应调整,相应的更新机制后续将介绍. 通过求解优化问题,可以得到最优预测输入u*(τ|tk)和相应的最优状态x*(τ|tk). 代价函数为:

J(x¯,u¯)=tktk+TkL(x¯,u¯)dτ+g(x¯(tk+Tk|tk)) (3)

式中:L(x¯,u¯)=x¯(τ|tk)Q2+u¯(τ|tk)R2表示运行代价函数;g(x¯(tk+Tk|tk))=x¯(tk+Tk|tk)P2表示终端代价函数; QRP是权重矩阵,可根据引理1设计.

2 自适应事件触发MPC策略

基于系统(1)和所建立的有限时域约束优化问题(2),本节设计事件触发机制和自适应预测时域更新机制来分别降低求解优化问题过程中的资源消耗和计算复杂度.

2.1 事件触发机制

在实际控制过程中,由于系统受到加性扰动,因此求解优化问题应用最优预测输入所获得的最优状态x*(τ|tk)与系统实际状态x(τ|tk)之间必然存在差异. 事件触发机制的关键是预先设定一个阈值作为系统最优状态和实际状态之差的上界,以判断何时进行触发采样和重新求解优化问题. 基于此,本文考虑的事件触发条件为:

t¯k+1infτ>tkτ:x(τ|tk)-x*(τ|tk)=σ (4)

式中:σ=m(eaβTk-1)是触发阈值,满足m=ηEAa=A. 基于tkt¯k+1时刻,下一触发时刻tk+1可以表示为:

tk+1=mint¯k+1,tk+Tk (5)

注意,Zeno行为是事件触发控制系统中特有的一种动态现象,为避免所设计的事件触发机制可能存在Zeno行

27,即在有限时间间隔内控制器被无限次触发,需要对事件间隔时间进行分析,以确保两个连续触发时刻的触发间隔存在一个正的下界,即tk+1-tk>0. 这一结果在定理1中给出.

定理1:  对于系统(1),如果事件触发时间序列tkkN通过式(5)获得,并且触发阈值满足σ=m(eaβTk-1)β(0, 1)是可设计的常数,那么任意两个连续触发时刻的触发间隔的下界为infktk+1-tk=βTk,上界为supktk+1-tk=Tk.

证明:  首先,触发间隔的上界可以直接由式(5)得到,因为Tk是优化问题(2)的预测时域,所以两个连续触发时刻的触发间隔不会大于Tk.

然后,为证明触发间隔的下界,需考虑tk时刻x(τ|tk)-x*(τ|tk)的上界. 根据线性定常方程的解、矩阵不等式和实际状态x(tk)=x*(tk|tk),可得:

x(τ)-x*(τ|tk)=eA(τ-tk)x(tk)-eA(τ-tk)x*(tk|tk)+tkτeA(τ-s)Bu*(s)+Ew(s)ds-tkτeA(τ-s)Bu*(s)ds=tkτeA(τ-s)Ew(s)dstkτeA(τ-s)Eηds=ηEAeA(τ-tk)-ηEA=mea(τ-tk)-1

式中:τtk,tk+Tk. 基于式(4),可有t¯k+1tk+ βTk,由式(5)可知infk tk+1-tk=βTk,即任意两个连续触发时刻的触发间隔的下界为βTk.

结合以上两部分,完成了对定理1的证明.

2.2 自适应预测时域收缩机制

为确保优化问题可解,当系统状态远离终端域时,可设置较大的预测时域;而当系统状态接近终端域时,可以适当缩小预测时域. 基于此,在控制策略中引入预测时域更新策略可以有效降低求解优化问题的计算复杂度,节省计算时间.本文设计了一种新的自适应预测时域收缩机制,具体形式如下:

Tk+1=Tk-eμk(Tk-Tk*) (6)

式中:Tk*为到达鲁棒终端集边界的时间间隔,通过求解优化问题(2)获得;Tk>0为当前时刻预测时域;μk>0为预测时域收缩系数,通过后续可行性和稳定性分析得出选择条件. 本文所设计的更新策略的收缩项是指数形式的,这与传统收缩形

22-24相比具有更大的收缩范围,从而在降低求解优化问题计算复杂度方面具有更突出的效果. 此外,从式(6)可看出,预测时域是严格单调递减的.

2.3 自适应事件触发鲁棒MPC算法

为进一步减少求解优化问题的次数,缓解控制器的在线计算负担,本文基于双模控制策略,在终端域内外采用不同的控制模式,即当系统状态在终端域外时,通过求解优化问题(2)获得最优控制序列并应用到系统;当系统状态进入终端域时,将不再进行优化问题的求解,而是采用本地局部控制器. 由此,本文所建立的自适应事件触发鲁棒MPC算法如算法1所示.

算法1  :自适应事件触发鲁棒MPC算法

1:

while x(t)Ω(ε) do

2:

   if k=0或触发条件(4)满足 then

3:

     求解优化问题(2)获得u*(τ|tk)x*(τ|tk)Tk*

4:

     根据收缩机制(6)求解Tk

5:

   end if

6:

   while 触发条件(4)未满足 do

7:

     应用控制输入u*(τ|tk)

8:

   end while

9:

   k=k+1

10:

end while

11:

应用局部控制律u(t)=Kx(t)

自适应事件触发鲁棒MPC算法中自适应性主要体现在预测时域自适应收缩方面. 具体地,在传统ET-MPC策略中,预测时域Tk取固定值,而算法1中当所设计的触发条件满足时,预测时域Tk在触发时刻是基于所设计的自适应预测时域收缩机制变化的.

3 理论结果

3.1 可行性分析

由于优化问题需要被反复求解,保证其可行性是保证系统稳定运行的必要条件,然而由于事件触发机制的引入和系统干扰的存在可能导致算法1在采样时刻tkkN处不可行, 因此,需要通过设计系统相关参数来保证算法的迭代可行性.接下来的定理给出了可行性分析的理论结果.

假设2

25:优化问题(2)在初始时刻t0处有可行解u*(τ|t0).

定理2:  对于假设1、假设2成立的系统(1),如果系统参数满足下列条件,则算法1迭代可行.

ηa(r-ε)E(eaTk-eaTk(1-β)),a=A (7)
μklnβTk+2λ¯(P)λ̲(Q*)lnεrTk-Tk*,Q*=Q+KTRK (8)
ζrεr (9)

式中:ζ=max1-β,2λ¯(P)Tkλ̲(Q*)2λ¯(P)Tkλ̲(Q*)<1.

证明:  假设在采样时刻tk处存在最优解,通过求解优化问题可以得到最优控制序列u*(τ|tk)τtk,tk+Tk. 为了证明在tk+1时刻存在可行解, 一个可行的候选控制序列u¯(τ|tk+1)τ[tk+1,tk+1+Tk+1]被构造如下:

u¯(τ|tk+1)=u*(τ|tk),τ[tk+1,tk+Tk]Kx¯(τ|tk+1),τ[tk+Tk,tk+1+Tk+1] (10)

式中:x¯(τ|tk+1)是相应的可行候选状态,满足x¯(tk+1|tk+1)=x(tk+1). 为了证明算法1满足递归可行性,需要证明当τ[tk+1,tk+1+Tk+1]时,优化问 题(2)中的约束可以被同时满足,即x¯(tk+1+Tk+1|tk+1)Ω(ε)x¯(τ|tk+1)Tkε/(τ-tk+1)u¯(τ|tk+1)U.

1) 证明对于τ[tk+1,tk+1+Tk+1],状态轨迹x¯(τ|tk+1)u¯(τ|tk+1)控制下进入鲁棒终端集Ω(ε).

对于τ[tk+1,tk+Tk]tk+1时刻的可行状态轨迹x¯(τ|tk+1)tk时刻的最优状态轨迹x*(τ|tk)之差计算如下:

x¯(τ|tk+1)-x*(τ|tk)x(tk+1)-x*(tk+1|tk)eA(τ-tk+1)

基于触发条件(4)可知,在tk+1时刻有x(tk+1)-x*(tk+1|tk)=σ. 因此,可得:

x¯(τ|tk+1)-x*(τ|tk)σeA(τ-tk+1) (11)

然后,令τ=tk+Tk,将σ=m(eaβTk-1)代入 式(11),通过应用三角不等式可以得到:

x¯(tk+Tk|tk+1)x*(tk+Tk|tk)+   m(eaTk-eaTk(1-β)) (12)

根据鲁棒终端集Ω(ε)的定义可知最优状态轨迹满足x*(tk+Tk|tk)ε. 由此,基于可行性条件(7),计算式(12)可得:

x¯(tk+Tk|tk+1)ε+m(eaTk-eaTk(1-β))ε+r-ε=r (13)

即有x¯(tk+Tk|tk+1)Ω(r).

对于τ[tk+Tk,tk+1+Tk+1],状态轨迹x¯(τ|tk+1)u¯(τ|tk+1)控制下进入鲁棒终端集Ω(ε).

根据引理1可知,终端代价函数满足g˙x¯(τ|tk+1)-x¯(τ|tk+1)Q*2Q*=Q+KTRK. 通过应用比较原则可得:

gx¯(τ|tk+1)gx¯(tk+Tk|tk+1)e-λ̲(Q*)λ¯(P)(τ-tk-Tk) (14)

将状态约束x¯(tk+Tk|tk+1)rτ=tk+1+Tk+1代入式(14)可得:

x¯(tk+1+Tk+1|tk+1)re-λ̲(Q*)2λ¯(P)(tk+1-tk+Tk+1-Tk)=
      re-λ̲(Q*)2λ¯(P)tk+1-tk-eμk(Tk-Tk*) (15)

基于可行性条件(8),将其代入式(15),可得x¯(tk+1+Tk+1|tk+1)ε,即x¯(tk+1+Tk+1|tk+1) Ω(ε),因此鲁棒终端约束满足.

2) 证明可行候选状态x¯(τ|tk+1)满足鲁棒性约束x¯(τ|tk+1)Tkε(τ-tk+1)τ(tk+1,tk+1+Tk+1].

首先,对于τ[tk+1,tk+Tk],基于优化问题(2)可知,最优状态轨迹满足x*(τ|tk)Tkετ-tk,将其代入式(13)可得:x¯(τ|tk+1)Tkε/(τ-tk)+ r-ε. 为了证明可行状态轨迹在tk+1时刻满足约束x¯(τ|tk+1)Tkε/(τ-tk+1)τ(tk+1,tk+Tk],这可以通过证明不等式Tkε/τ-tk+r-εTkε/τ-tk+1成立,从而得到上述结论. 由此可得:

εTk(tk+1-tk)(τ-tk+1)(τ-tk)r-ε

通过考虑infktk+1-tk= βTk,则有:

εTk(tk+1-tk)(τ-tk+1)(τ-tk)εTk(tk+1-tk)Tk(Tk-βTk)εβ1-βr-ε

由可行性条件(9)可知参数ε满足ζrεr,其中ζ=1-β,故不等式x¯(τ|tk+1) Tkε(τ-tk+1)成立,状态约束满足.

对于τ[tk+Tk,tk+1+Tk+1],由式(14)可知:

x¯(τ|tk+1)re-λ̲(Q*)λ¯(P)τ-tk-Tk2

如果状态约束满足,则要满足不等式

re-λ̲(Q*)λ¯(P)τ-tk-Tk2Tkετ-tk+1

通过转化,有

r(τ-tk+1)-eλ̲(Q*)λ¯(P)τ-tk-Tk2εTkeλ̲(Q*)λ¯(P)τ-tk-Tk2(τ-tk+1)0

显而易见其分母为正,因此可定义:

F(τ)=r(τ-tk+1)-eλ̲(Q*)λ¯(P)τ-tk-Tk2εTk (16)

式(16)τ求导,可得:

dFdτ=r-εTkλ̲(Q*)2λ¯(P)eλ̲(Q*)λ¯(P)τ-tk-Tk2 (17)

τ=tk+Tkζ=1-β,因为ζrε,容易得到F(tk+Tk)=r(Tk+tk-tk+1)-εTk0. 基于式(17),可知F(τ)是一个单调递减函数. 如果F˙(tk+Tk)0,那么可得F(τ)0,完成证明,即

F˙(τ)max=F˙(tk+Tk)=r-εTkλ̲(Q*)2λ¯(P)0 (18)

基于条件ε2λ¯(P)Tkλ̲(Q*)r2λ¯(P)Tkλ̲(Q*)<1,可以保证式(18)成立,即有F(τ)0,故状态约束满足.

3)对于τ[tk+1,tk+1+Tk+1],证明控制输入满足u¯(τ|tk+1)U. 首先,当τ[tk+1,tk+Tk]u¯(τ|tk+1) U成立. 其次,当τ[tk+Tk,tk+1+Tk+1],由引理1可知,u¯(τ|tk+1)=kx¯(τ|tk+1)U成立. 因此,控制输入满足约束.

基于上述分析,完成了对定理2递归可行性的证明.

3.2 稳定性分析

对于所提控制方案,由于事件触发机制的引入和外加扰动的存在,闭环系统的稳定性可能会受到影响. 因此,需要通过设计系统相关参数来保证闭环系统的稳定性.

定义2

2128:对于系统(1),如果集合Ω满足对所有的x(t)Ωu(t)U均有x˙(t)Ω,则称ΩRn为系统的时不变集.

定理3:  对于系统(1),若假设1、假设2和定理1、定理2成立. 如果系统满足以下参数条件:

μklnf(Tk)-lnaΠTk-Tk* (19)

那么闭环系统状态是稳定的并将收敛到时不变集Ω(γ).其中f(Tk)=ψ+ϕΠ=supAx(t)+Bu(t)ψ=λ̲(Q)2βTkε2-(r+ε)λ¯(P)2m(eaTk-eaTk(1-β))2λ¯(Q)2m(eaβTk-1)/a2ϕ=(1-eaTk(1-β))(ar+Π)-(βeaTk(1-β)-1)aΠTk.

证明:  基于代价函数的定义,将最优代价函数J(x*(tk),u*(tk))设定为Lyapunov函数,通过证明其递减来保证系统稳定性. 由于u¯(τ|tk+1)的次优性,可知J(x*(tk+1),u*(tk+1))J(x¯(tk+1),u¯(tk+1)).

定义以下函数作为Lyapunov函数在tktk+1时刻处的差值:

ΔJ=J(x¯(tk+1),u¯(tk+1))-J(x*(tk),u*(tk)) (20)

根据式(3),有

ΔJ=tk+1tk+1+Tk+1x¯(τ|tk+1)Q2+u¯(τ|tk+1)R2dτ-    tktk+1x*(τ|tk)Q2+u*(τ|tk)R2dτ+    x¯(tk+1+Tk+1|tk+1)P2-x*(tk+Tk|tk)P2

为了便于分析,定义ΔJ=ΔJ1+ΔJ2+ΔJ3,其中:

ΔJ1=tk+1tk+Tkx¯(τ|tk+1)Q2-x*(τ|tk)Q2dτΔJ2=tk+Tktk+1+Tk+1x¯(τ|tk+1)Q2+u¯(τ|tk+1)R2dτ+           x¯(tk+1+Tk+1|tk+1)P2-x*(tk+Tk|tk)P2ΔJ3=-tktk+1x*(τ|tk)Q2+u*(τ|tk)R2dτ

通过以下两方面进行证明:

1) 当初始状态x(t0)Ω(ε),证明状态轨迹将在有限时间内进入Ω(ε).

对于ΔJ1,应用三角不等式,变换可得:

ΔJ1tk+1tk+Tkx¯(τ|tk+1)-x*(τ|tk)Q×         x¯(τ|tk+1)Q+x*(τ|tk)Qdτ (21)

对于x¯(τ|tk+1)Q+x*(τ|tk)Q,考虑x*(tk+Tk|tk)- x*(τ|tk)=τtk+TkAx*s|tk+Bu*s|tkds,通过应用三角不等式可得:

x*(τ|tk)x*(tk+Tk|tk)+(tk+Tk-τ) (22)

其中Π=supuUAx(t)+Bu(t). 同理,对于x¯(τ|tk+1),通过使用相同的推导方法可得:

x¯(τ|tk+1)x¯(tk+1+Tk+1|tk+1)+Π(tk+1+Tk+1-τ) (23)

基于式(21),结合式(11)式(22)式(23),令s=τ-tk+1s[0,(1-β)Tk],可以得到以下结果:

ΔJ1λ¯(Q)2tk+1tk+TkσeA(τ-tk+1)×[r+Π(tk+1+Tk+1-τ)+r+(tk+Tk-τ)]dτ2λ¯(Q)2×0(1-β)Tkm(eaβTk-1)easΠ(Tk+1-s)+rds=2λ¯(Q)2m(eaβTk-1)a2×aΠTk+1-(1-β)TkeaTk(1-β)-aΠTk+1+(ar+Π)(eaTk(1-β)-1)2λ¯(Q)2m(eaβTk-1)a2(eaTk(1-β)-1)×(ar+Π)+(βeaTk(1-β)-1)aΠTk+aΠeμk(Tk-Tk*) (24)

对于ΔJ2, 基于引理1和u¯(τ|tk+1)=kx¯(τ|tk+1)τ[tk+Tk,tk+1+Tk+1],可得:

tk+Tktk+1+Tk+1(x¯(τ|tk+1)Q2+u¯(τ|tk+1)R2)dτ
x¯(tk+Tk|tk+1)P2-x¯(tk+1+Tk+1|tk+1)P2 (25)

式(25)代入ΔJ2可得:

ΔJ2x¯(tk+Tk|tk+1)P2-x*(tk+Tk|tk)P2λ¯(P)2x¯(tk+Tk|tk+1)-x*(tk+Tk|tk)×x¯(tk+Tk|tk+1)+x*(tk+Tk|tk) (26)

τ=tk+Tk时刻,通过考虑式(11)以及终端约束x¯(tk+Tk|tk+1)rx*(tk+Tk|tk)ε,可得:

ΔJ2(r+ε)λ¯(P)2σeaTk(1-β)=
             (r+ε)λ¯(P)2m(eaTk-eaTk(1-β)) (27)

对于ΔJ3,由于最优状态轨迹满足约束x*(tk+1|tk)Tkε/(tk+1-tk)Tkε/(tk+1-tk) ε,ε/β,因此有:

ΔJ3=-tktk+1x*(τ|tk)Q2+u*(τ|tk)R2dτ
-tktk+1x*(τ|tk)Q2dτ-λ̲(Q)2βTkε2 (28)

基于式(19),结合ΔJ1ΔJ2ΔJ3可得:

ΔJ2λ¯(Q)2m(eaβTk-1)a2[(eaTk(1-β)-1)×(ar+Π)-λ̲(Q)2βTkε2+(βeaTk(1-β)-1)×aΠTk+aΠeμk(Tk-Tk*)]+(r+ε)λ¯(P)2m×(eaTk-eaTk(1-β))<0 (29)

因此,J(x*(tk+1),u*(tk+1))-J(x*(tk),u*(tk))<0成立,由此证明了闭环系统状态轨迹将在有限时间内进入鲁棒终端集Ω(ε).

2) 当初始状态x(t0)Ω(ε),证明状态轨迹将收敛到时不变集Ω(γ).

当系统状态轨迹进入鲁棒终端集内时,控制器将切换为本地控制器u(t)=Kx(t),系统在本地控制器控制下实现稳定,并最终收敛到时不变集Ω(γ),且始终保持在Ω(γ)内,Ω(γ)Ω(ε). 值得注意的是,采用参考文献[

17-1824]中的证明方法可以得出上述结论.

基于以上理论分析,完成了对定理3中闭环系统稳定性条件的证明.

4 仿 真

本节基于质量-弹簧-阻尼系

17来验证所提算法的有效性,实际生活中如汽车减震装置中的缓冲器、建筑物抗震装置中的减震器等都可简化为该类机械振动系统,其动力学模型为:

x˙(t)=01-kMc-hdMcx(t)+01Mcu(t)+11w(t) (30)

式中:w为系统加性扰动,满足wη;系统质量Mc=1.5 kg;线性弹簧系数k=0.25 N/m;阻尼器系数hd=0.42 N∙s/m. 系统初始状态设定为x0=0.85,-0.25T,控制输入和状态分别满足-0.25u(t)0.25-1x(t)1. 基于引理1,选择优化问题中的权重矩阵为Q=1.00 ;01.0R=0.1,状态反馈增益为K=-0.845 6-0.944 4,权重矩阵P=1.613 60.733 4;0.733 41.405 0,鲁棒终端集设定为Ω(ε)=xx(t)0.19,即ε=0.19. 优化问题初始预测时域设定为T0=4.5 s,仿真时间为15 s. 根据定理2,计算扰动上界为η1.2×10-3. 最后,选择β=0.01η=1.0×10-3,以保证定理3中的稳定性条件.

在系统参数配置相同的情况下,将所提算法1与时间触发MPC和标准自适应预测时域ET-MPC(SAT ET-MPC

24进行仿真对比,其中SAT ET-MPC的预测时域更新机制设计成线性收缩形式,即Tk+1=Tk-μk(Tk-Tk*). 图1图2分别为系统状态轨迹和控制输入轨迹对比,由图1图2可知,算法1与其他2种方法的控制效果基本相似,可以在满足约束的情况下使系统平稳地稳定到原点.

fig

图1  系统状态轨迹对比

Fig.1  System state trajectory comparison

fig

图2  控制输入轨迹对比

Fig.2  Control input trajectory comparison

图3描述了算法1和SAT ET-MPC

24的触发情况,纵坐标“1”表示触发,纵坐标“0”表示未触发. 由图3可知,算法1相比于SAT ET-MPC24不仅触发次数减少,而且触发间隔变大,由此说明算法1在减少优化问题求解频率方面具有一定的优势.

fig

图3  触发时刻对比

Fig.3  Comparison of the triggering instant

为了更直观地展示算法1相比于其他两种方法的优势,表1给出了在状态进入鲁棒终端集之前3种控制方法所求解优化问题的触发次数以及相应的性能提升对比. 在相似条件和控制性能下,与时间触发MPC和SAT ET-MPC

24相比,算法1分别减少86.7%和50.0%的触发次数.

表1  触发次数及性能提升的对比
Tab.1  Comparison of triggering times and performance improvement
方法触发次数性能提升/%
时间触发MPC 15
SAT ET-MPC24 4 73.3
算法1 2 86.7、50.0

图4表2描述了算法1和SAT ET-MPC

24的预测时域收缩情况对比.由图4表2可知,SAT ET-MPC24的预测时域平均收缩值为0.225,算法1的预测时域平均收缩值为0.9,本文所设计的预测时域收缩机制相比于传统形式具有更大的收缩范围,从而在降低每个触发时刻求解优化问题计算复杂度方面具有更突出的效果.

fig

图4  预测时域收缩对比

Fig.4  Comparison of the prediction horizon shrinkage

表2  预测时域收缩值对比
Tab.2  Comparison of prediction horizon shrinkage value
方法最终时域预测时域平均收缩值
时间触发MPC 4.5
SAT ET-MPC24 3.6 0.225
算法1 2.7 0.9

综上所述,本文所提算法不仅可以在降低系统资源消耗和保持预期控制性能之间实现更有效的平衡,而且可以有效降低系统计算复杂度,验证了算法的有效性.

5 总 结

本文研究了具有加性扰动的约束线性系统事件触发模型预测控制问题, 构建了有限时域约束优化问题,并采用鲁棒性约束处理系统加性扰动,设计了事件触发机制和一种新的指数收缩形式的预测时域更新机制,基于双模控制策略提出了自适应事件触发鲁棒MPC算法,通过严格的理论分析给出了保证算法迭代可行性和闭环系统稳定性以及无Zeno行为的充分条件. 仿真试验结果表明,与事件触发MPC和SAT ET-MPC方法相比,所提策略可以分别降低86.7%和50.0%的资源消耗,并通过更高效预测时域收缩有效地降低了求解优化问题的计算复杂度,节省了计算时间. 然而,由于采用ET-MPC技术的网络化控制系统可能会遭受潜在的网络攻击,因此未来有必要对所提出的自适应ET-MPC策略的网络安全问题进行进一步深入分析.

参考文献

1

RICHALET JRAULT ATESTUD J Let al. Model predictive heuristic control: applications to industrial processes[J]. Automatica1978145): 413-428. [百度学术] 

2

王献忠杜维模型预测控制发展概况[J].自动化与仪器仪表19994): 6-11 [百度学术] 

WANG X ZDU WGeneral situation of model predictive control development[J].Automation & Instrumentation19994):6-11(in Chinese) [百度学术] 

3

席裕庚李德伟林姝模型预测控制:现状与挑战[J].自动化学报2013393): 222-236 [百度学术] 

XI Y GLI D WLIN SModel predictive control: status and challenges[J].Acta Automatica Sinica2013393):222-236(in Chinese) [百度学术] 

4

李志军约束模型预测控制的稳定性与鲁棒性研究[D].北京华北电力大学2005 [百度学术] 

LI Z JResearch on stability and robustness of constrained model predictive control[D].BeijingNorth China Electric Power University2005(in Chinese) [百度学术] 

5

何德峰薛美盛季海波约束非线性系统构造性模型预测控制[J].控制与决策20082311):1301-1304 [百度学术] 

HE D FXUE M SJI H BConstructive model predictive control for constrained nonlinear systems[J].Control and Decision20082311):1301-1304(in Chinese) [百度学术] 

6

杨世忠任庆昌基于在线优化的鲁棒模型预测控制[J].信息与控制2013426):742-749 [百度学术] 

YANG S ZREN Q CRobust model predictive control based on online optimization[J].Information and Control2013426):742-749(in Chinese) [百度学术] 

7

VOZÁK DVESELÝ V. Robust model predictive controller design[J]. IFAC Proceedings Volumes2014473): 7443-7448 [百度学术] 

8

蔡宏斌鲁棒模型预测控制的研究与应用[D].西安西北工业大学2019 [百度学术] 

CAI H BResearch and application of robust model predictive control[D]. Xi’anNorthwestern Polytechnical University2019(in Chinese) [百度学术] 

9

李正强张怡哲邓建华基于模型预测控制的非线性飞行控制系统研究[J]. 飞行力学2009271): 27-30 [百度学术] 

LI Z QZHANG Y ZDENG J Het al. Design scheme of a nonlinear flight control system based on model predictive control[J]. Flight Dynamics2009271): 27-30(in Chinese) [百度学术] 

10

钱湖海基于自组织模糊神经网络的污水处理多目标模型预测控制研究[D].北京北京工业大学2016 [百度学术] 

QIAN H H. Research on multi-objective model predictive control of sewage treatment based on self-organizing fuzzy neural network[D]. BeijingBeijing University of Technology2016(in Chinese) [百度学术] 

11

张维刚张朋韦昊一种基于LTVMPC改进的无人驾驶汽车路径跟踪控制算法[J].湖南大学学报(自然科学版)20214810): 67-73 [百度学术] 

ZHANG W GZHANG PWEI Het alAn improved path tracking control algorithm for autonomous vehicle based on LTVMPC[J].Journal of Hunan University (Natural Sciences)20214810): 67-73(in Chinese) [百度学术] 

12

ZENG T TBAROOAH D P. An adaptive MPC scheme for energy-efficient control of building HVAC systems[J]. Journal of Engineering for Sustainable Buildings and Cities202123):1-10. [百度学术] 

13

CHENG FHAO F. Event-triggered control for linear descriptor systems[J]. Circuits,Systems, and Signal Processing2013323): 1065-1079 [百度学术] 

14

GAO Y FLIU LLyapunov-based triggering mechanisms for event-triggered control[J].International Journal of Control,Automation and Systems, 2020186): 1392-1398 [百度学术] 

15

孙洪涛张鹏飞彭晨基于状态感知的UGV H事件触发路径跟踪控制[J].湖南大学学报(自然科学版)20224910): 34-42 [百度学术] 

SUN H TZHANG P FPENG Cet alState-sensitive based event-triggered H control for path tracking of unmanned ground vehicle[J].Journal of Hunan University (Natural Sciences)20224910): 34-42(in Chinese) [百度学术] 

16

ÅSTRÖM K JBERNHARDSSON B M. Comparison of Riemann and Lebesgue sampling for first order stochastic systems[C]// Proceedings of the 41st IEEE Conference on Decision and ControlDecember 10-132002. Las Vegas, NV, USAIEEE, 2002. [百度学术] 

17

LI H PSHI Y. Event-triggered robust model predictive control of continuous-time nonlinear systems[J]. Automatica2014505): 1507-1513. [百度学术] 

18

LIU C XGAO JLI H Pet alAperiodic robust model predictive control for constrained continuous-time nonlinear systems:an event-triggered approach[J].IEEE Transactions on Cybernetics2018485): 1397-1405 [百度学术] 

19

LUO YXIA Y QSUN Z QRobust event-triggered model predictive control for constrained linear continuous system[J].International Journal of Robust and Nonlinear Control2019295): 1216-1229 [百度学术] 

20

HU Y JFAN DPENG Ket al. A novel linear matrix inequality-based robust event-triggered model predictive control for a class of discrete-time linear systems[J]. International Journal of Robust and Nonlinear Control2021319): 4416-4435. [百度学术] 

21

DENG LSHU ZCHEN T W. Event-triggered robust model predictive control with stochastic event verification[J]. Automatica2022146110638. [百度学术] 

22

苑守正刘志林郑林熇基于事件触发自适应时域MPC的船舶靠泊方法[J].控制与决策2024391): 336-344 [百度学术] 

YUAN S ZLIU Z LZHENG L Het alShip berthing based on event-triggered adaptive horizon MPC[J].Control and Decision2024391): 336-344(in Chinese) [百度学术] 

23

CAO QXIA Y QSUN Z Qet alFusion event-triggered model predictive control based on shrinking prediction horizon[J].Assembly Automation2022426):721-729 [百度学术] 

24

WANG P BREN X MZHENG D DRobust nonlinear MPC with variable prediction horizon:an adaptive event-triggered approach[J].IEEE Transactions on Automatic Control2023686): 3806-3813 [百度学术] 

25

CHEN HALLGÖWER FA quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability[C]//1997 European Control Conference (ECC)July 1-71997.Brussels,BelgiumIEEE, 1997: 1421-1426 [百度学术] 

26

XIE H HDAI LLU Y Cet al. Disturbance rejection MPC framework for input-affine nonlinear systems[J]. IEEE Transactions on Automatic Control20226712): 6595-6610 [百度学术] 

27

LAMPERSKI AAMES A D. Lyapunov theory for Zeno stability[J]. IEEE Transactions on Automatic Control2013581): 100-112 [百度学术] 

28

MAGNI LRAIMONDO D MSCATTOLINI RRegional input-to-state stability for nonlinear model predictive control[J].IEEE Transactions on Automatic Control2006519):1548-1553 [百度学术] 

作者稿件一经被我刊录用,如无特别声明,即视作同意授予我刊论文整体的全部复制传播的权利,包括但不限于复制权、发行权、信息网络传播权、广播权、表演权、翻译权、汇编权、改编权等著作使用权转让给我刊,我刊有权根据工作需要,允许合作的数据库、新媒体平台及其他数字平台进行数字传播和国际传播等。特此声明。
关闭