基于博弈论的信息物理融合系统安全控制  

A Game Theory Approach for Secure Control of Cyber-physical Systems

作　　者：庞岩[1] 王娜 夏浩[3] PANG Yan;WANG Na;XIA Hao(State Key Laboratory of Structural Analysis for IndustrialEquipment and School of Aeronautics and Astronautics,DalianUniversity of Technology,Dalian 116024;Shanghai AircraftDesign and Research Institute,Shanghai 201210;School ofControl Science and Engineering,Dalian University of Technology,Dalian 116024)

机构地区：[1]大连理工大学工业装备与结构分析国家重点实验室航空航天学院,大连116024 [2]上海飞机设计研究院,上海201210 [3]大连理工大学控制科学与工程学院,大连116024

出　　处：《自动化学报》2019年第1期185-195,共11页Acta Automatica Sinica

基　　金：国家自然科学基金(61273098);中央高校基本科研业务(DUT16QY23);辽宁省自然科学基金(20180520023)资助~~

摘　　要：对于远程复杂的操控系统,信息物理融合系统(Cyber-physical system, CPS)主要依靠无线网络实现从传感器到控制器,从控制器到执行器间的信息传输,由于其依靠网络传输数据的特性使其控制系统极易遭到安全威胁.本文从物理系统入手,意图保护CPS系统中物理实体的正常运行不受由于恶意攻击造成网络空间入侵带来的干扰.以受到数据包时序攻击的信息物理融合系统为研究对象,将其安全性研究抽象为一个博弈过程,基于非合作博弈的两人零和博弈模型,设计了可变延迟情况下鲁棒输出反馈的极大极小控制器.并且采用参数化的软约束二次型目标函数,在控制器设计时引入干扰衰减因子γ,通过对γ的取值使得二次型目标函数取极小值,从而保证了最差情况下的稳定控制,在满足γ的约束条件下,本文通过粒子群搜索算法得出γ的值.另外,本文还对所设计的极大极小控制器,与线性二次型高斯(Linear quadratic Gaussian, LQG)控制对比分析,用双水箱系统进行了仿真验证,发现在受攻击情况下本文所设计的控制器最终能够实现稳定控制,而LQG却不能.As a remote control system,the cyber-physical system(CPS)relies mainly on wireless networks to realize the transmission of information from sensors to controllers and from controllers to actuators.Because of this characteristic,the control system of CPS is vulnerable to security threats.Starting with physical devices,the aim of this paper is to protect normal operation of physical entities in CPS system from the interference of network intrusion caused by malicious attacks.Taking the cyber-physical systems suffered packets scheduling attacks into consideration,its secure control was abstracted as a process of two person zero sum game.Based on two person zero sum model of non-cooperative game,the paper designed a min-max controller with a robust output-feedback under time-varying delays.In this paper,a parameterized soft constraint quadratic objective function was adopted.Also,interference attenuation factorγwas introduced in the controller design and the minimum value of the quadratic objective function was determined by the value ofγwhich guaranteed the stability control under the worst case.Within the constraint ofγ,we get the value ofγthrough particle swarm search algorithm.In addition,the min-max controller is analyzed and compared with the linear quadratic Gaussian(LQG)control,and the simulation was conducted on a two tanks system.The result showed that the min-max controller can stabilize the attacked system,but LQG cannot.

关 键 词：零和博弈 极大极小控制 LQG控制 数据包时序攻击 

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