摘要
针对具有加性扰动的约束连续线性时不变系统,提出一种基于变时域策略的线性系统事件触发模型预测控制方案. 首先,基于最优状态轨迹与实际状态轨迹之间的偏差设计无Zeno行为的事件触发机制,以减少求解优化问题的频率. 其次,为了降低实际状态趋近终端集时求解优化问题的计算复杂度,设计一种更为高效的指数收缩形式的自适应预测时域更新机制. 再次,基于双模控制策略,提出自适应事件触发模型预测控制算法,并给出了保证算法可行性和闭环系统稳定性的充分条件. 最后,基于质量-弹簧-阻尼系统验证了所提算法的有效性.结果表明本文方案能够在不损失控制性能的前提下有效降低系统资源消耗和求解优化问题的计算复杂度.
模型预测控制(model predictive control, MPC)作为一种滚动优化求最优解的方法,由于其能有效处理时域复杂约束以及多目标优化问题,因而在工业控制系统等领域应用越来越广
事件触发控制作为一种有效且研究充分的非周期采样控制策
在此背景下,事件触发MPC(event-triggered MPC, ET-MPC)得到了广泛的关注和研究,并取得了突出的成
通过对以上众多研究的总结,可以得出结论,现有的ET-MPC策略通过设计合理有效的ETM可以在保证系统控制性能的同时有效减少通信和计算资源的过度使用,但仍然无法有效降低求解优化问题的计算复杂度. 具体来说,在标准ET-MPC框架中通常预先选择固定的预测时域,由此使得优化问题在每个触发时刻具有几乎相同的计算复杂度,即使当系统状态逐渐接近或已经到达终端区域,也仍需要求解计算复杂度高的优化问题. 在此背景下,基于自适应预测时域的ET-MPC得到了进一步的研究. 苑守正
基于以上论述,本文针对具有输入约束和有界扰动的连续LTI系统,基于自适应预测时域收缩机制和双模控制策略提出一种新的ET-MPC算法,通过设计事件触发机制,在保证递归可行性和稳定性的同时,降低优化问题的计算频率和求解复杂性. 本文主要贡献阐述如下:
1)针对受扰线性系统,建立有限时域约束优化问题,采用鲁棒性约束以处理系统加性扰动;基于实际状态和最优状态之间的误差设计事件触发机制,并给出保证无Zeno行为的条件;设计一种更为高效的指数形式预测时域收缩机制,其具有更大的收缩范围,使得系统状态在接近终端区域过程中预测时域得到更高效的收缩,有效降低在触发时刻求解优化问题的计算复杂度.
2)基于双模控制思想,提出自适应事件触发鲁棒MPC算法,进一步降低系统的计算和通信资源消耗. 此外,通过严格的理论分析,给出保证所提算法可行性和闭环系统稳定性的充分条件.
1 问题描述
1.1 系统定义
本文考虑如下具有加性扰动和约束的连续LTI系统,其系统动力学模型为:
(1) |
式中:为系统状态;为控制输入,满足;表示以 为上界的加性扰动;表示实数集. 此外,状态和控制输入可行域被定义为包含原点为内点的凸紧集. 、和为时不变矩阵.
为本文所研究的系统提供一个常规假设和一个标准定义如下:
假设
定义
基于此,有如下标准引理.
引理
1)Lyapunov方程 有唯一对称正定解.
2)集合是一个控制不变集,对于系统,满足.
3),满足和,其中和 .
对于状态和控制变量,由优化问题求解得到的变量表示为,提供可行解并满足所有约束条件的变量表示为. 给定一个矩阵,和分别表示其最大特征值和最小特征值. 对于一个向量,表示其2-范数,表示其加权范数.
1.2 有限时域约束优化问题
对于系统(1),定义时间序列,作为触发条件被违反的时刻(表示自然数集),即优化问题被求解的时刻. 在时刻,和分别被定义为预测输入轨迹和预测状态轨迹,其满足标称系统,. 需要求解的有限时域约束优化问题如下:
(2) |
式中:表示优化问题的代价函数;被定义为鲁棒终端集;是一个可设计的常数且;表示时刻所求解的优化问题的预测时域,在控制过程中根据所设计的收缩机制进行自适应调整,相应的更新机制后续将介绍. 通过求解优化问题,可以得到最优预测输入和相应的最优状态. 代价函数为:
(3) |
式中:表示运行代价函数;表示终端代价函数; 、和是权重矩阵,可根据引理1设计.
2 自适应事件触发MPC策略
基于系统(1)和所建立的有限时域约束优化问题(2),本节设计事件触发机制和自适应预测时域更新机制来分别降低求解优化问题过程中的资源消耗和计算复杂度.
2.1 事件触发机制
在实际控制过程中,由于系统受到加性扰动,因此求解优化问题应用最优预测输入所获得的最优状态与系统实际状态之间必然存在差异. 事件触发机制的关键是预先设定一个阈值作为系统最优状态和实际状态之差的上界,以判断何时进行触发采样和重新求解优化问题. 基于此,本文考虑的事件触发条件为:
(4) |
式中:是触发阈值,满足和. 基于和时刻,下一触发时刻可以表示为:
(5) |
注意,Zeno行为是事件触发控制系统中特有的一种动态现象,为避免所设计的事件触发机制可能存在Zeno行
定理1: 对于系统(1),如果事件触发时间序列,通过
证明: 首先,触发间隔的上界可以直接由
然后,为证明触发间隔的下界,需考虑时刻的上界. 根据线性定常方程的解、矩阵不等式和实际状态,可得:
式中:. 基于
结合以上两部分,完成了对定理1的证明.
2.2 自适应预测时域收缩机制
为确保优化问题可解,当系统状态远离终端域时,可设置较大的预测时域;而当系统状态接近终端域时,可以适当缩小预测时域. 基于此,在控制策略中引入预测时域更新策略可以有效降低求解优化问题的计算复杂度,节省计算时间.本文设计了一种新的自适应预测时域收缩机制,具体形式如下:
(6) |
式中:为到达鲁棒终端集边界的时间间隔,通过求解优化问题(2)获得;为当前时刻预测时域;为预测时域收缩系数,通过后续可行性和稳定性分析得出选择条件. 本文所设计的更新策略的收缩项是指数形式的,这与传统收缩形
2.3 自适应事件触发鲁棒MPC算法
为进一步减少求解优化问题的次数,缓解控制器的在线计算负担,本文基于双模控制策略,在终端域内外采用不同的控制模式,即当系统状态在终端域外时,通过求解优化问题(2)获得最优控制序列并应用到系统;当系统状态进入终端域时,将不再进行优化问题的求解,而是采用本地局部控制器. 由此,本文所建立的自适应事件触发鲁棒MPC算法如
算法1 :自适应事件触发鲁棒MPC算法 | |
---|---|
1: |
while do |
2: |
if 或触发条件(4)满足 then |
3: |
求解优化问题(2)获得,和; |
4: |
根据收缩机制(6)求解; |
5: |
end if |
6: |
while 触发条件(4)未满足 do |
7: |
应用控制输入; |
8: |
end while |
9: |
; |
10: |
end while |
11: |
应用局部控制律 |
自适应事件触发鲁棒MPC算法中自适应性主要体现在预测时域自适应收缩方面. 具体地,在传统ET-MPC策略中,预测时域取固定值,而
3 理论结果
3.1 可行性分析
由于优化问题需要被反复求解,保证其可行性是保证系统稳定运行的必要条件,然而由于事件触发机制的引入和系统干扰的存在可能导致
假设
定理2: 对于假设1、假设2成立的系统(1),如果系统参数满足下列条件,则
(7) |
(8) |
(9) |
式中:,.
证明: 假设在采样时刻处存在最优解,通过求解优化问题可以得到最优控制序列, . 为了证明在时刻存在可行解, 一个可行的候选控制序列,被构造如下:
(10) |
式中:是相应的可行候选状态,满足. 为了证明
1) 证明对于,状态轨迹在控制下进入鲁棒终端集.
对于,时刻的可行状态轨迹与时刻的最优状态轨迹之差计算如下:
基于触发条件(4)可知,在时刻有. 因此,可得:
(11) |
然后,令,将代入
(12) |
根据鲁棒终端集的定义可知最优状态轨迹满足. 由此,基于可行性条件(7),计算
(13) |
即有.
对于,状态轨迹在控制下进入鲁棒终端集.
根据引理1可知,终端代价函数满足,. 通过应用比较原则可得:
(14) |
将状态约束和代入
(15) |
基于可行性条件(8),将其代入
2) 证明可行候选状态满足鲁棒性约束,.
首先,对于,基于优化问题(2)可知,最优状态轨迹满足,将其代入
通过考虑 ,则有:
由可行性条件(9)可知参数满足,其中,故不等式 成立,状态约束满足.
对于,由
如果状态约束满足,则要满足不等式
通过转化,有
显而易见其分母为正,因此可定义:
(16) |
将
(17) |
令,,因为,容易得到. 基于
(18) |
基于条件且,可以保证
3)对于,证明控制输入满足. 首先,当, 成立. 其次,当,由引理1可知,成立. 因此,控制输入满足约束.
基于上述分析,完成了对定理2递归可行性的证明.
3.2 稳定性分析
对于所提控制方案,由于事件触发机制的引入和外加扰动的存在,闭环系统的稳定性可能会受到影响. 因此,需要通过设计系统相关参数来保证闭环系统的稳定性.
定义
定理3: 对于系统(1),若假设1、假设2和定理1、定理2成立. 如果系统满足以下参数条件:
(19) |
那么闭环系统状态是稳定的并将收敛到时不变集.其中,; ;.
证明: 基于代价函数的定义,将最优代价函数设定为Lyapunov函数,通过证明其递减来保证系统稳定性. 由于的次优性,可知.
定义以下函数作为Lyapunov函数在和时刻处的差值:
(20) |
根据
为了便于分析,定义,其中:
通过以下两方面进行证明:
1) 当初始状态,证明状态轨迹将在有限时间内进入.
对于,应用三角不等式,变换可得:
(21) |
对于,考虑 ,通过应用三角不等式可得:
(22) |
其中. 同理,对于,通过使用相同的推导方法可得:
(23) |
基于
(24) |
对于, 基于引理1和,,可得:
(25) |
将
(26) |
在时刻,通过考虑
(27) |
对于,由于最优状态轨迹满足约束且 ,因此有:
(28) |
基于
(29) |
因此,成立,由此证明了闭环系统状态轨迹将在有限时间内进入鲁棒终端集.
2) 当初始状态,证明状态轨迹将收敛到时不变集.
当系统状态轨迹进入鲁棒终端集内时,控制器将切换为本地控制器,系统在本地控制器控制下实现稳定,并最终收敛到时不变集,且始终保持在内,. 值得注意的是,采用参考文献[
基于以上理论分析,完成了对定理3中闭环系统稳定性条件的证明.
4 仿 真
本节基于质量-弹簧-阻尼系
(30) |
式中:为系统加性扰动,满足;系统质量 kg;线性弹簧系数 N/m;阻尼器系数 N∙s/m. 系统初始状态设定为,控制输入和状态分别满足和. 基于引理1,选择优化问题中的权重矩阵为和,状态反馈增益为,权重矩阵,鲁棒终端集设定为,即. 优化问题初始预测时域设定为,仿真时间为15 s. 根据定理2,计算扰动上界为. 最后,选择和,以保证定理3中的稳定性条件.
在系统参数配置相同的情况下,将所提

图1 系统状态轨迹对比
Fig.1 System state trajectory comparison

图2 控制输入轨迹对比
Fig.2 Control input trajectory comparison

图3 触发时刻对比
Fig.3 Comparison of the triggering instant
为了更直观地展示
方法 | 触发次数 | 性能提升/% |
---|---|---|
时间触发MPC | 15 | — |
SAT ET-MP | 4 | 73.3 |
算法1 | 2 | 86.7、50.0 |

图4 预测时域收缩对比
Fig.4 Comparison of the prediction horizon shrinkage
方法 | 最终时域 | 预测时域平均收缩值 |
---|---|---|
时间触发MPC | 4.5 | — |
SAT ET-MP | 3.6 | 0.225 |
算法1 | 2.7 | 0.9 |
综上所述,本文所提算法不仅可以在降低系统资源消耗和保持预期控制性能之间实现更有效的平衡,而且可以有效降低系统计算复杂度,验证了算法的有效性.
5 总 结
本文研究了具有加性扰动的约束线性系统事件触发模型预测控制问题, 构建了有限时域约束优化问题,并采用鲁棒性约束处理系统加性扰动,设计了事件触发机制和一种新的指数收缩形式的预测时域更新机制,基于双模控制策略提出了自适应事件触发鲁棒MPC算法,通过严格的理论分析给出了保证算法迭代可行性和闭环系统稳定性以及无Zeno行为的充分条件. 仿真试验结果表明,与事件触发MPC和SAT ET-MPC方法相比,所提策略可以分别降低86.7%和50.0%的资源消耗,并通过更高效预测时域收缩有效地降低了求解优化问题的计算复杂度,节省了计算时间. 然而,由于采用ET-MPC技术的网络化控制系统可能会遭受潜在的网络攻击,因此未来有必要对所提出的自适应ET-MPC策略的网络安全问题进行进一步深入分析.
参考文献
RICHALET J, RAULT A, TESTUD J L, et al. Model predictive heuristic control: applications to industrial processes[J]. Automatica, 1978, 14(5): 413-428. [百度学术]
王献忠,杜维.模型预测控制发展概况[J].自动化与仪器仪表, 1999(4): 6-11. [百度学术]
WANG X Z,DU W.General situation of model predictive control development[J].Automation & Instrumentation,1999(4):6-11.(in Chinese) [百度学术]
席裕庚,李德伟,林姝.模型预测控制:现状与挑战[J].自动化学报, 2013, 39(3): 222-236. [百度学术]
XI Y G,LI D W,LIN S.Model predictive control: status and challenges[J].Acta Automatica Sinica,2013,39(3):222-236.(in Chinese) [百度学术]
李志军.约束模型预测控制的稳定性与鲁棒性研究[D].北京:华北电力大学,2005. [百度学术]
LI Z J.Research on stability and robustness of constrained model predictive control[D].Beijing:North China Electric Power University,2005.(in Chinese) [百度学术]
何德峰,薛美盛,季海波.约束非线性系统构造性模型预测控制[J].控制与决策,2008,23(11):1301-1304. [百度学术]
HE D F,XUE M S,JI H B.Constructive model predictive control for constrained nonlinear systems[J].Control and Decision,2008,23(11):1301-1304.(in Chinese) [百度学术]
杨世忠, 任庆昌.基于在线优化的鲁棒模型预测控制[J].信息与控制, 2013,42(6):742-749. [百度学术]
YANG S Z,REN Q C.Robust model predictive control based on online optimization[J].Information and Control,2013,42(6):742-749.(in Chinese) [百度学术]
VOZÁK D,VESELÝ V. Robust model predictive controller design[J]. IFAC Proceedings Volumes, 2014, 47(3): 7443-7448. [百度学术]
蔡宏斌.鲁棒模型预测控制的研究与应用[D].西安:西北工业大学,2019. [百度学术]
CAI H B.Research and application of robust model predictive control[D]. Xi’an:Northwestern Polytechnical University,2019.(in Chinese) [百度学术]
李正强,张怡哲, 邓建华, 等.基于模型预测控制的非线性飞行控制系统研究[J]. 飞行力学, 2009, 27(1): 27-30. [百度学术]
LI Z Q, ZHANG Y Z, DENG J H,et al. Design scheme of a nonlinear flight control system based on model predictive control[J]. Flight Dynamics,2009, 27(1): 27-30.(in Chinese) [百度学术]
钱湖海.基于自组织模糊神经网络的污水处理多目标模型预测控制研究[D].北京:北京工业大学,2016. [百度学术]
QIAN H H. Research on multi-objective model predictive control of sewage treatment based on self-organizing fuzzy neural network[D]. Beijing:Beijing University of Technology,2016.(in Chinese) [百度学术]
张维刚,张朋,韦昊,等.一种基于LTVMPC改进的无人驾驶汽车路径跟踪控制算法[J].湖南大学学报(自然科学版),2021,48(10): 67-73. [百度学术]
ZHANG W G,ZHANG P,WEI H,et al.An improved path tracking control algorithm for autonomous vehicle based on LTVMPC[J].Journal of Hunan University (Natural Sciences),2021, 48(10): 67-73.(in Chinese) [百度学术]
ZENG T T, BAROOAH D P. An adaptive MPC scheme for energy-efficient control of building HVAC systems[J]. Journal of Engineering for Sustainable Buildings and Cities, 2021, 2(3):1-10. [百度学术]
CHENG F, HAO F. Event-triggered control for linear descriptor systems[J]. Circuits,Systems, and Signal Processing, 2013, 32(3): 1065-1079. [百度学术]
GAO Y F,LIU L.Lyapunov-based triggering mechanisms for event-triggered control[J].International Journal of Control,Automation and Systems, 2020, 18(6): 1392-1398. [百度学术]
孙洪涛, 张鹏飞, 彭晨, 等.基于状态感知的UGV H∞事件触发路径跟踪控制[J].湖南大学学报(自然科学版), 2022, 49(10): 34-42. [百度学术]
SUN H T, ZHANG P F, PENG C,et al.State-sensitive based event-triggered H∞ control for path tracking of unmanned ground vehicle[J].Journal of Hunan University (Natural Sciences),2022, 49(10): 34-42.(in Chinese) [百度学术]
ÅSTRÖM K J, BERNHARDSSON B M. Comparison of Riemann and Lebesgue sampling for first order stochastic systems[C]// Proceedings of the 41st IEEE Conference on Decision and Control,December 10-13, 2002. Las Vegas, NV, USA: IEEE, 2002. [百度学术]
LI H P, SHI Y. Event-triggered robust model predictive control of continuous-time nonlinear systems[J]. Automatica, 2014, 50(5): 1507-1513. [百度学术]
LIU C X,GAO J,LI H P,et al.Aperiodic robust model predictive control for constrained continuous-time nonlinear systems:an event-triggered approach[J].IEEE Transactions on Cybernetics,2018, 48(5): 1397-1405. [百度学术]
LUO Y,XIA Y Q,SUN Z Q.Robust event-triggered model predictive control for constrained linear continuous system[J].International Journal of Robust and Nonlinear Control, 2019, 29(5): 1216-1229. [百度学术]
HU Y J, FAN D, PENG K, et 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 Control, 2021, 31(9): 4416-4435. [百度学术]
DENG L, SHU Z, CHEN T W. Event-triggered robust model predictive control with stochastic event verification[J]. Automatica, 2022, 146: 110638. [百度学术]
苑守正, 刘志林, 郑林熇, 等.基于事件触发自适应时域MPC的船舶靠泊方法[J].控制与决策,2024, 39(1): 336-344. [百度学术]
YUAN S Z,LIU Z L,ZHENG L H,et al.Ship berthing based on event-triggered adaptive horizon MPC[J].Control and Decision,2024,39(1): 336-344.(in Chinese) [百度学术]
CAO Q,XIA Y Q,SUN Z Q,et al.Fusion event-triggered model predictive control based on shrinking prediction horizon[J].Assembly Automation,2022,42(6):721-729. [百度学术]
WANG P B, REN X M, ZHENG D D.Robust nonlinear MPC with variable prediction horizon:an adaptive event-triggered approach[J].IEEE Transactions on Automatic Control, 2023, 68(6): 3806-3813. [百度学术]
CHEN H,ALLGÖWER F.A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability[C]//1997 European Control Conference (ECC), July 1-7, 1997.Brussels,Belgium: IEEE, 1997: 1421-1426. [百度学术]
XIE H H,DAI L,LU Y C,et al. Disturbance rejection MPC framework for input-affine nonlinear systems[J]. IEEE Transactions on Automatic Control, 2022, 67(12): 6595-6610. [百度学术]
LAMPERSKI A, AMES A D. Lyapunov theory for Zeno stability[J]. IEEE Transactions on Automatic Control, 2013, 58(1): 100-112. [百度学术]
MAGNI L,RAIMONDO D M,SCATTOLINI R.Regional input-to-state stability for nonlinear model predictive control[J].IEEE Transactions on Automatic Control,2006,51(9):1548-1553. [百度学术]