恶意攻击情形下信息物理系统的安全控制研究

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:ribb5619
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息物理系统融合并发展了现有的通信、无线网络、分布式、人工智能等技术,构建了物理空间与信息空间中人、机、物、环境、信息等要素的相互映射、适时交互、高效协同,成为集计算、通信与控制于一体的新一代智能系统。作为智能制造的核心,信息物理系统的发展已受到世界各国的重视,如“美国竞争力计划”,欧盟的“ARTEMIS”项目等。我们党和政府也高度重视信息物理系统的发展。党的十九大报告和2018年两会精神均强调要促进信息物理系统人工智能行业产、学、研、用的交流与合作。近年来,网络攻击事件频发,对国家安全、经济发展、基础设施安全、人民生命财产造成了极大威胁,这使得如何保证信息物理系统的安全成为亟待解决的重大问题。为促使该类问题的解决,国家自然科学基金委增加了信息物理系统相关科研项目的立项,科技部也立项了信息物理系统安全相关的国家重点研发计划。虽然信息物理系统安全问题的研究不断取得突破,但是仅仅依靠单一学科知识,如控制学科、计算机科学学科或者网络信息安全学科技术进行信息物理系统安全设计的不足日益凸显。如何融合多学科技术手段解决信息物理系统的安全问题已成为亟待解决的重要问题。围绕信息物理系统安全问题研究中的难点以及关键科学问题,本文结合控制理论(滑模控制、最优控制等)、机器学习(深度强化学习)、信息论(信息熵)以及博弈论(零和博弈)、网络信息安全(移动目标防御)等多学科技术手段,研究如何应对恶意网络攻击、设计智能安全控制算法保证信息物理系统安全的问题。论文具体内容以及研究方法概述如下。1.第二章研究信息物理系统中传感器受到恶意拒绝服务攻击时安全控制器设计问题。拒绝服务攻击能够造成数据丢失。本章引入拒绝服务攻击驻留时间和拒绝服务攻击频率概念描述攻击行为。根据攻击的不同效果,即拒绝服务攻击是否成功,本章将描述物理进程动态的系统方程描述为切换形式。进而设计了一种安全滑模控制器保证系统指数稳定。为保证描述攻击行为的模型有效性,本章将系统防御者和攻击者在零和博弈框架下进行建模,基于零和博弈设计了一种有效的混合防御机制。在该防御机制下,提出了一种基于防御机制的安全滑模控制设计方法。基于该方法,在拒绝服务攻击情形下,信息物理系统依然可以保证预期性能。与已有结果相比,本章节的方法主要具有两方面的优势。首先,本章节根据攻击效果将物理系统建模为切换系统,进而利用类似于平均驻留时间的方法解决了系统稳定性分析与安全控制器设计问题。其次,本章节引入零和博弈对防御者和攻击者建模,并设计了防御策略,保证了攻击模型的有效性。2.第三章研究信息物理系统的安全跟踪控制问题。在设计过程中考虑控制中心到执行器端的通讯网络受到拒绝服务攻击,该攻击能够造成网络拥塞,进而阻止控制信号传输给执行器。本章节主要目的是如何在系统模型信息完全未知情形下设计最优跟踪控制器,并分析拒绝服务攻击对跟踪性能造成的影响。首先,基于给定的物理对象的系统结构以及跟踪信号模型构造物理对象与参考模型的增广系统,进而采用动态规划技术推导该增广模型的黎卡提方程。其次,分析了拒绝服务攻击概率对跟踪性能的影响,给出了拒绝服务攻击的临界条件,超出该条件约束范围则无法设计最优跟踪控制器,系统跟踪性能无法保证。第三,为解决无模型情形下的跟踪控制设计问题,本章引入强化学习方法设计跟踪控制器。3.第四章研究在执行器虚假数据注入攻击情形下信息物理系统基于零和博弈的安全控制器设计问题。对于物理层中的物理对象,本章假设其动态方程可由一个线性时不变离散模型描述。设计过程中考虑过程噪声和测量噪声对控制器设计的影响。引入卡尔曼滤波估计物理对象的系统状态。本章首先将系统防御方和攻击者描述为零和博弈中的两个玩家,进而在零和博弈框架下给出了最优的二次型成本函数。通过使用动态规划方法,本章给出了最优攻击策略下最优控制策略设计准则,并证明了该策略可以保证系统性能且成本函数有界。此外,本章给出了攻击概率的临界值,超出这个临界值则成本函数的有界性以及物理对象的稳定性无法保证。4.第五章研究执行器虚假数据攻击情形下信息物理系统的主动防御控制问题。基于移动目标防御机制以及强化学习方法,本章提出了一种新颖的主动被动混合防御控制设计方案。首先,本章将系统(A,B)描述为一系列包含可控子系统(A,Bl)的切换模型,进而基于该切换模型设计移动目标防御机制。基于移动目标防御机制,随机选择子系统(A,Bl)设计控制策略用于控制整个系统,进而阻止攻击者的有效攻击。其次,本章设计攻击诊断以及攻击分离机制用于精确定位受攻击执行机构,进而将受攻击的执行机构从移动目标防御机制中排除。第三,基于强化学习方法和零和博弈理论设计了被动安全控制算法以应对无可控制子模型可更新的极端情形。进而基于上述设计,提出了主动、被动混合的防御控制算法,保证受控系统在极端攻击情形下能够有效缓解攻击影响,维持系统性能。5.第六章研究信息物理系统执行器虚假数据注入攻击情形下基于深度强化学习的安全控制问题。本章节将受攻击情形下的信息物理系统动态方程描述为一个马尔科夫决策过程。基于建立的马尔科夫过程,将虚假数据注入攻击情形下的信息物理系统安全控制问题转化为仅使用数据的决策学习问题。参照当前最新的柔性actor-critic强化学习算法,本文提出了一种基于李雅普诺夫函数的柔性actor-critic强化学习算法,基于该算法离线训练深度神经网络,进而获得安全控制策略。本章节不仅证明了提出的深度强化学习算法的收敛性,而且解决了系统使用强化学习获得的策略时的稳定性分析问题,给出了稳定性证明。此外,本章节在设计过程中完全基于数据,所设计的安全控制算法对不确定性、外部扰动等因素具有强鲁棒性。
其他文献
绳悬吊并联机器人(Cable Suspened Parallel Robots,CSPRs)是使用多根并联绳索驱动悬吊动平台的并联机器人,是绳驱动并联机器人中的重要的一类。得益于绳索质量轻且可伸展比高,绳悬吊并联机器人有着工作空间大,惯量低,动态性能好和负载/质量比高的突出优点,在运动模拟器、巨型天文望远镜、大尺度增材制造和物流搬运等领域得到广泛的应用。由于绳索单边张力约束这一根本性动力学约束的存
ABO3钙钛矿结构陶瓷是一类良好的介电材料广泛应用于微电子器件领域,随着电子器件微型化的需求,ABO3结构陶瓷需要在不增加介电损耗的前提下,进一步提高介电常数。构筑复合体结构,使空间电荷在一定范围内可动,同时限域在复合体的陷阱中是实现增加介电常数、抑制介电损耗的有效方法。本文以ABO3铁电陶瓷钛酸铋钠(NBT)和顺电陶瓷钛酸锶(ST)为研究基体,分别研究复合体结构在两种陶瓷体系中的存在形式与形成条
模块化多电机系统(MCM)是一种由多个整体模块化电机组合而成的集中式多电机系统。它能够丰富系统工作模式、优化系统功率、提升系统容错性能,在电动汽车等领域有较好的应用前景。多个电机的组合使用增加了系统的可优化自由度,但也使系统产生了许多复杂的问题,例如:多电机设计指标的确定问题、多电机的协调控制问题及能量管理问题等。本文就MCM系统在电动汽车中的应用问题展开研究,建立了基于MCM系统的电动汽车模型,
针对现有连续超声辅助电弧焊中,超声利用效率低、焊接过程调控单一等问题,提出了脉冲超声辅助电弧焊新方法。该方法是通过控制超声电源的电流输出波形,实现脉冲超声输出。文中介绍了新型脉冲超声辅助电弧焊接系统,并研究了电弧空间的脉冲超声场分布特征,以此为基础研究了脉冲超声对电弧、熔滴过渡的影响规律,并与连续超声作用下的电弧、熔滴过渡行为进行了对比分析,获得了脉冲超声、连续超声对电弧、熔滴过渡的作用关系。采用
车联网通信(Vehicle-to-Everything,V2X)对提升道路安全,降低环境污染,提高交通效率,实现交通智能化管理和自动驾驶等都有着非常重要的意义。它是利用新一代先进的无线通信技术,传感器技术和计算机智能技术,建立起车辆与任何可能影响车辆的实体之间的信息交互,从而实现车辆与万物的互联。面向道路安全的V2X通信在交通运输中发挥着非常重要的作用。及时、快捷、可靠的道路安全性相关的车载信息的
微纳米马达是一种人工合成的、可以在微米尺度自主运动的颗粒。作为一种智能仿生材料,它不仅能够在微观尺度下运输药物,分析、检测化学物质,还可以作为一种活性物质体系来研究自然界中微生物的个体和群体行为。其中,一类化学驱动的,速度自发变化的振荡微马达可以呈现出自然界中广泛存在的周期性、同步以及化学波等非线性现象。作为一种“自振荡”的智能应激响应型材料,振荡微纳米马达不仅为研究自然界中类似的现象提供了一个良
随着国家“2030年前碳达峰和2060年碳中和”目标的提出,减少建筑耗能和碳排放越来越受关注。利用污水源热泵技术对城市污水中存在的巨大低位热能进行回收利用是减少建筑一次能源消耗的有效手段。但该技术在污水取热过程中受限于除污装置的运行可靠性和维护经济性,使得余热回收中净水取热技术面临很大挑战。本文从污水除污取热连续作业、高性能、低能耗的实际需求出发,从内流场特性角度揭示了引起引射旋流防阻机性能变化的
运用文献资料、归纳演绎等方法 ,对体育产业与文旅产业融合发展机制、模式及路径进行研究。融合发展机制:要素渗透机制、资源共享机制、功能互补机制、规制创新机制;融合发展模式:产业一体化、产业重组、产业延伸、产业渗透。融合发展路径:资源禀赋融合,体育支撑、文化铸魂、旅游落地;产品服务融合,中央厨房、统一采集、多品输出;市场客群融合,盘活存量、创新转化、释放潜能;企业主体融合,公私盘活、特色发展、合作共赢
钠离子电池由于钠资源丰富,具有成本低廉等优势,是锂离子电池的可靠替代品。然而钠离子的半径大于锂离子,使其电池体系在电极材料的结构和电化学动力学上具有更高的要求。红磷单质具有已知最高的理论比容量,但是导电性差且循环过程中体积变化巨大。引入过渡金属与红磷单质复合,制得的过渡金属磷化物具有理论比容量较高、导电性较好等优点,受到研究人员广泛的关注。本论文采用液相法、水热法分别制备不同结构的前驱体,经高温磷
传统碳纤维的微观结构为多层石墨结构,这导致其理论最大强度存在一定的局限性,而近年来对高强纤维的需求正在飞速增长,传统的碳纤维很难满足未来工业、国防的需求,因此,为了突破传统碳纤维力学性能的天花板,本文利用分子动力学数值模拟方法以及分子结构力学理论多尺度探究了由具有超高理论强度的碳链以及碳纳米管构成的纤维结构的力学性能及其增强机理,并基于理论结果,采用实验方法制备了超强碳纳米管纤维。本文基于两种不同