欺骗攻击下弹性自触发模型预测控制  

Resilient self-triggered model predictive control under deception attacks

作　　者：贺宁 马凯 沈超[2] 徐中显 钱成 HE Ning;MA Kai;SHEN Chao;XU Zhong-xian;QIAN Cheng(School of Mechanical and Electrical Engineering,Xi’an University of Architecture and Technology,Xi’an Shaanxi 710055,China;School of Cyber Science and Engineering,Xi’an Jiaotong University,Xi’an Shaanxi 710049,China)

机构地区：[1]西安建筑科技大学机电工程学院,陕西西安710055 [2]西安交通大学网络空间安全学院,陕西西安710049

出　　处：《控制理论与应用》2023年第5期865-873,共9页Control Theory & Applications

基　　金：国家自然科学基金项目(61903291);博士后面向基金项目(2019M660257)资助。

摘　　要：针对在欺骗攻击下自触发模型预测控制系统的安全控制问题,本文提出一种基于关键数据保护的弹性自触发模型预测控制(MPC)策略.对比现有的自触发MPC,该方法仅需对少量关键控制样本进行保护,则可保证闭环系统稳定运行,从而有效节省系统资源.首先,基于自触发MPC和欺骗攻击的特征推导标称系统与被攻击系统状态之间的误差上界,从而定量分析出欺骗攻击对系统的损害.然后,通过所获得误差上界和李雅普诺夫定理建立关键数据的选取条件并对其实施保护.最后,严格证明了在仅对关键控制样本实施保护后,被控系统仍可在欺骗攻击下保持稳定.此外,基于移动机器人和弹簧小车系统对所提算法进行了仿真实验,结果表明所提算法能够显著节省保护资源,验证了算法的有效性.Aiming at solving the cyber security problem of self-triggered model predictive control(MPC)in cyberphysical systems under deception attacks,a resilient self-triggered MPC strategy based on the key data protection is proposed.Compared with the existing MPC methods,the proposed method only protects a small number of key control samples to ensure the stability of the system,thus effectively saving system resources.Firstly,the upper limit of the difference between the nominal and attacked states is analyzed based on the characteristics of self-triggered MPC and deception attacks,so as to quantitatively calculate the damages to the system caused by deception attacks.Then,the selection conditions of the key data are given based on the obtained upper limit of the state difference and Lyapunov stability theory.Finally,it is demonstrated that the controlled system can be operated stably under deception attacks when only key control samples are protected.Furthermore,the proposed algorithm is simulated based on the mobile robot and cart-damper-spring system,and the results show that the proposed algorithm can significantly save the protection resources,which verifies the effectiveness of the method.

关 键 词：信息物理融合系统 模型预测控制 自触发机制 弹性控制 欺骗攻击 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]