隐蔽攻击下信息物理系统的安全输出反馈控制  

Secure Output-feedback Control for Cyber-physical Systems Under Stealthy Attacks

作　　者：张淇瑞 孟思琪 王兰豪 刘坤 代伟 ZHANG Qi-Rui;MENG Si-Qi;WANG Lan-Hao;LIU Kun;DAI Wei(School of Information and Control Engineering,China University of Mining and Technology,Xuzhou 221116;National Engineering Research Center of Coal Preparation and Purification,China University of Mining and Technology,Xuzhou 221116;School of Automation,Beijing Institute of Technology,Beijing 100081;Artificial Intelligence Research Institute,China University of Mining and Technology,Xuzhou 221116)

机构地区：[1]中国矿业大学信息与控制工程学院,徐州221116 [2]中国矿业大学国家煤加工与洁净化工程技术研究中心,徐州221116 [3]北京理工大学自动化学院,北京100081 [4]中国矿业大学人工智能研究院,徐州221116

出　　处：《自动化学报》2024年第7期1363-1372,共10页Acta Automatica Sinica

基　　金：江苏省自然科学基金(BK20231062,BK20200086);中央高校基本科研业务费专项资金(2023QN1074);国家自然科学基金(62373361,61973306,62273041,52304309);流程工业综合自动化国家重点实验室联合开放基金(2020-KF-21-10,2021-KF-21-05);矿冶过程自动控制技术国家重点实验室开放基金(BGRIMM-KZSKL-2022-7);江苏省研究生科研与实践创新计划(KYCX23_2717);中国矿业大学研究生创新计划项目(2023WLJCRCZL117)资助。

摘　　要：研究了受到隐蔽攻击的信息物理系统(Cyber-physical system,CPS)安全控制问题.采用KL(Kullback-Leibler)散度描述攻击的隐蔽性,并设计动态输出反馈控制器,使系统可达集始终保持在安全区域内,其中可达集定义为系统状态以一定概率属于的集合.首先,给出隐蔽攻击下检测器残差所在范围的一个外椭球近似集;其次,根据该近似集和噪声的范围给出控制器参数与系统椭球形不变可达集的关系;然后,通过设计可逆线性变换并构造凸优化问题,求解安全控制器参数和相应的不变可达集;最后,使用弹簧−质量−阻尼系统进行仿真,验证了所提控制方法的有效性.Secure control problem of cyber-physical systems(CPS)under stealthy attacks is studied.The Kullback-Leibler(KL)divergence is adopted to describe the attack's stealthiness.The aim is to design a secure dynamic output-feedback controller such that the reachable set,which is defined as the set that the system's state resides in with a certain probability,resides in a safe set.Firstly,an ellipsoidal outer approximation for the set of residual under stealthy attacks is given.Secondly,based on the approximation and the ranges of noises,the relationship between controller's parameters and the ellipsoidal invariant reachable set is analyzed.Thirdly,a convex optimization problem is constructed by designing an invertible linear transformation.Parameters of the secure controller and the corresponding invariant reachable set are obtained by solving the problem.Finally,a simulation of the springmass-damping system is given to verify the effectiveness of the proposed controller.

关 键 词：信息物理系统 隐蔽攻击 安全控制 KL 散度 可达集 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置] TP309[自动化与计算机技术—控制科学与工程]