DoS攻击下基于输入饱和的多智能体系统一致性研究.pdf
《DoS攻击下基于输入饱和的多智能体系统一致性研究.pdf》由会员分享,可在线阅读,更多相关《DoS攻击下基于输入饱和的多智能体系统一致性研究.pdf(10页珍藏版)》请在咨信网上搜索。
1、南通大学学报渊自然科学版冤圆园23 年南通大学学报渊自然科学版冤允燥怎则灶葬造 燥枣 晕葬灶贼燥灶早 哉灶蚤增藻则泽蚤贼赠 渊晕葬贼怎则葬造 杂糟蚤藻灶糟藻 Edition冤灾燥造援 22晕燥援 2Jun援 圆园23第 22 卷 第 2 期圆园23 年 6 月收稿日期院 2022-11-28接受日期院 2023-03-15基金项目院 国家自然科学基金青年基金项目渊62103103冤曰江苏省自然科学基金青年基金项目渊BK20210223冤第一作者简介院 夏维新渊1996要 冤袁 男袁 硕士研究生遥*通信联系人院 曹阳渊1991要 冤袁 男袁 副研究员袁 博士袁 主要研究方向为多智能体系统攻防遥
2、E-mail院doi院 10.12194/j.ntu.20221128003引文格式院 夏维新袁 曹阳.DoS 攻击下基于输入饱和的多智能体系统一致性研究J.南通大学学报渊自然科学版冤袁 2023袁 22渊2冤院50-58.摘要院研究了具有拒绝服务渊denial-of-service袁DoS冤攻击和输入饱和约束的多智能体系统渊multi-agent systems袁MASs冤的一致性遥 首先袁考虑了每个智能体的控制器存在输入饱和的情况袁开发了一种低增益反馈的分布式一致性协议曰然后袁为了节约系统资源袁提出了一种动态事件触发渊dynamic event-trigger袁DET冤协议曰接着袁假设多智
3、能体系统所处的环境并非是理想的通信环境袁即系统受到 DoS 攻击的威胁袁且该攻击是非周期性的尧强度也是未知的袁在此基础上分析了 DoS 攻击的频率和持续时间袁并设计了半全局安全一致性协议曰最后袁通过数值仿真验证了该策略的有效性遥 仿真结果表明院当受到 DoS 攻击时袁所设计的控制器可以保证系统达到一致性遥关键词院多智能体系统曰DoS 攻击曰动态事件触发机制曰输入饱和中图分类号院 TP181文献标志码院 A文章编号院 员远苑猿原圆猿源园渊圆园23冤园2原园园50原园9Consensus of multi-agent systems based on input saturation under
4、DoS attacksXIA Weixin,CAO Yang*(School of Cyber Science and Engineering,Southeast University,Nanjing 211189,China)Abstract:This paper studies the alignment of multi-agent systems(MAS)with denial of service(DoS)attacks and in鄄put saturation constraints.First,a distributed consensus protocol with low
5、gain feedback is developed considering thepresence of input saturation in the controller of each agent.Secondly,in order to save system resources,improvebandwidth utilization and battery life,a dynamic event triggering(DET)protocol of general linear multi-agent systemsis proposed.Thirdly,the environ
6、ment of the multi-agent system considered in this paper is not an ideal communicationenvironment.Assuming that the system is threatened by DoS attacks,the attacks are aperiodic and the intensity is un鄄known.On this basis,the frequency and duration of DoS attacks are analyzed and studied,and a semi g
7、lobal securityconsistency protocol is designed.Finally,the simulation results verify the effectiveness of the strategy.The simulationstudy reveals that when suffering from DoS attacks the proposed controller can guarantee the alignment of MAS.Key words:multi-agent systems;denial-of-service attack;dy
8、namic event-trigger;input saturationDoS 攻击下基于输入饱和的多智能体系统一致性研究夏维新袁 曹阳*渊东南大学 网络空间安全学院袁 江苏 南京211189冤多智能体系统渊multi-agent systems袁MASs冤的应用领域非常广泛袁从无人飞行器到电力系统尧军事设施尧交通控制1-3等遥 一致性问题作为多智能体系统协同控制领域的一个基本问题袁其控制目标是设计一个合适的控制协议袁在智能体受到共享通信网络的资源限制下袁仍能使所有智能体的状态或输出收敛到一个常值遥 由于通信网络的引入袁诸如通信资源的消耗尧网络攻击4-5或控制器饱和6-8的影响等袁给 MASs
9、 的一致性带来了诸多挑战遥由于系统的通信资源有限袁如何在保证系统性能稳定的同时提高系统资源的利用率已成为一个研究热点遥 早期关于多智能体一致性的工作依赖于时间触发机制袁在该机制中袁数据采样和数据传输周期性地执行袁从而导致系统资源的浪费遥 为了克服这一缺陷袁提出了事件触发机制遥 每当状态偏离平衡并越过阈值时袁触发事件并关闭反馈回路9-12遥线性系统下的静态事件触发一致性问题已经被研究得比较透彻袁例如切换拓扑情况下的事件触发一致性10尧外部干扰情况下的事件触发一致性10等遥 在文献9-11的基础上袁文献12提出了一种外部干扰下的混合动态触发机制袁保证了所需的安全一致性遥上述结果所提出的事件触发机制
10、大多是静态的袁在某些对采样比较灵活的系统中袁静态事件触发不足以满足系统设计要求遥 本文提出了一种动态事件触发机制袁不仅能适用于更加灵活的系统袁还能进一步节省系统资源遥多智能体之间的通信方式都是基于无线网络传播的袁容易受到外部攻击袁因此袁MASs 的安全控制变得越来越重要13-16遥在 MASs 中袁对通信链路的攻击可分为欺骗攻击或 DoS 攻击遥 前者通过操纵网络上传输的数据包来影响数据的可信度14袁17曰DoS攻击主要是为了影响信息交换的及时性袁即造成数据包丢失18-19遥DoS 攻击作为一种最常见和最具破坏力的网络攻击之一袁越来越受到人们的关注遥文献18考虑了每个通道接收到不同 DoS 攻
11、击时的一致性问题遥文献19讨论了两种通信方案袁即 DoS 攻击下的采样通信和事件触发通信方案遥上述结果仅局限于单积分器系统袁文献15袁20-21研究了线性MASs 受到 DoS 攻击时的一致性问题遥除了上述问题外袁实际系统中无法避免的另一个问题为控制器输入饱和问题遥 饱和的非线性特性通常会导致系统性能下降袁甚至不稳定袁这使得输入饱和问题在理论和实践上都极具挑战性22-24遥 文献22-24研究了领导者-跟随者 MASs 的一致性问题遥文献23研究了输入饱和影响下不确定 MASs 的一致性问题曰然而袁DoS 攻击下 MASs 的输入饱和问题很少被考虑到25遥基于以上分析袁本文进一步研究网络攻击下
12、MASs 的动态事件触发一致性袁 主要贡献可归纳如下遥 首先袁与文献5-7相比袁研究了具有动态事件触发的 MASs 的一致性问题袁 更加灵活地应用于各种系统曰第二袁与文献10-12不同袁考虑基于时间序列的 DoS 攻击模型袁其中允许 DoS 攻击在未知攻击策略中非周期性地发生曰第三袁与文献22-24不同袁研究了在输入饱和条件下受 DoS 攻击的线性 MASs 的一致性问题袁采用低增益技术解决了控制器饱和带来的非线性问题袁开发了一种基于分布式低增益的控制协议遥 此外袁动态事件触发机制用于每个智能体确定何时更新其控制器并将测量结果广播给邻居袁且避免了芝诺行为袁因此所提出的控制器可以在网络上物理实现
13、遥 最后袁通过一组仿真结果表明袁所提出的控制器方案可以保证在 DoS 攻击发生时袁系统达到一致性袁并且没有芝诺行为遥1问题阐述和准备工作文中用到的符号定义如下院 根据上下文符号椰 窑 椰表示一个向量的 2-范数或者一个矩阵的诱导2-范数曰给定一个矩阵 M袁姿min渊M冤和 姿max渊M冤分别表示矩阵的最小特征值和最大特征值曰矩阵 M 正定渊半正定冤的定义为矩阵 M 0渊M逸0冤曰茚表示两个矩阵的克罗内克积曰col渊x1袁x2袁噎袁xN冤表示列堆栈向量曰sign渊 窑 冤代表众所周知的符号函数遥1.1图论相关理论无领导者的多智能体系统之间的相互通信可以用一个图来表示遥 无向图 G=V袁E来表示各
14、个智能体之间的通信关系袁其中节点 V=1袁2袁3袁噎袁N为顶点的非空集合袁并且 E沂V2代表边的集合遥有序对渊i袁j冤沂E 表示一条边袁其中智能体 j 可以接收来自智能体 i 的信息遥 Gi=j沂V渊j袁i冤沂V2表示智能体 i 的邻居的集合遥 A=aij沂N 伊 N为图 G的邻接矩阵袁其中 aij=1袁当且仅当渊i袁j冤沂E袁否则aij=0遥 L=lij为图 G 的拉普拉斯矩阵袁其中 lii=移j=1Naij袁且 lij=-aij袁i屹j遥 定义 姿1臆姿2臆噎臆姿N遥1.2问题描述考虑具有一般线性动力学的 N 个代理的多智能体系统夏维新袁 等院DoS 攻击下基于输入饱和的多智能体系统一致性
15、研究51窑窑南通大学学报渊自然科学版冤圆园23 年x觶i渊t冤=Axi渊t冤+B滓渊ui渊t冤冤袁渊1冤其中院xi渊t冤沂n和 ui渊t冤沂l分别为每个智能体的状态和控制器输入袁i=1袁2袁 噎袁N曰滓院Rn 伊 m寅Rn 伊 m分段的饱和函数袁被定义为 滓渊ui渊t冤冤=sat渊ui1渊t冤冤袁sat渊ui2渊t冤冤袁噎袁sat渊uim渊t冤冤T袁sat渊uij冤=sign渊uij渊t冤冤min椰uij渊t冤椰袁棕袁其中 棕 表示一个正的饱和阈值的标量曰sign渊 窑 冤表示符号函数遥控制器的一致性协议设计需要基于局部的邻居一致性误差 qi渊t冤袁被定义为qi渊t冤=移i=1n渊aij渊xj
16、渊t冤-xi渊t冤冤冤遥渊2冤进一步地袁还需要定义一个测量误差 ei渊t冤袁ei渊t冤=qi渊tki冤-qi渊t冤遥渊3冤本文的控制目标是设计一个如下形式的控制器协议ui渊t冤=Kqi渊t冤袁i=1袁2袁噎袁N袁渊4冤使得系统在受到 DoS 攻击时能达到一致性并且排除输入饱和的影响遥 其中 K 为增益矩阵袁下文会给出具体的设计形式遥1.3DoS 攻击模型DoS 攻击指的是一类攻击袁其中对手呈现控制系统的某些或所有组件17-19遥DoS 攻击可以同时影响测量和控制信道袁从而导致传输数据包丢失遥 这相当于假设在 DoS 存在的情况下袁既不能发送也不能接收数据遥 图 1 给出了一个智能体受到 DoS
17、 攻击时的情形遥假设存在一个正数 m沂 袁则时间序列t軇mm沂代表 DoS 攻击发生在t軇m时刻遥 定义驻軒m 0 表示受到攻击的区间长度袁则第 m 次 DoS 攻击的时间间隔是 Am=t軇m袁t軇m+驻軒m冤袁其中对于所有的 m沂 袁有t軇m+1 t軇m+驻軒m遥 因此袁对于给定的 t 子沂 袁通信被 DoS 攻击中断的时刻的集合为桩a渊子袁t冤=胰Am疑渊子袁t冤袁m沂 袁渊5冤式渊5冤从另一个角度说明袁允许通信的时间间隔的集合为 桩s渊子袁t冤=子袁t桩a渊子袁t冤遥为了说明上述两个非周期序列tkiiki沂和t軇mm沂袁图 2 形象地说明了两个序列之间的关系遥1.4控制目标本文的目标是为
18、每个智能体设计一个控制协议 ui渊t冤袁使得系统渊1冤能够在 DoS 攻击和输入约束下达到半全局安全一致性遥 接下来袁给出了半全局安全一致性的正式定义遥定义 118对于任何给定的先验有界集合 T奂n袁当且仅当limt寅肄椰xi渊t冤-xj渊t冤椰=0渊6冤满足时袁多智能体系统渊1冤在控制器协议ui渊t冤的作用下可以达到 DoS 攻击和输入饱和约束下的半全局安全一致性遥本文旨在通过设计控制协议渊4冤和动态事件触发机制来解决式渊6冤中定义的一致性问题遥 为此袁需要下列假设和引理遥假设 1矩阵对渊A袁B冤在有界控制下是渐近零可控的袁即渊A袁B冤是可稳定的袁而且矩阵 A 的所有特征值都位于左半复平面上
19、遥假设 2图 G 是无向且联通的遥引理 125考虑多智能体系统渊1冤袁并且满足假设 1 和 2遥 如果 Q渊酌冤院渊0袁1 寅 Rn 伊 n为连续的正矩阵值函数袁并且满足lim酌寅0姿max渊Q渊酌冤冤=0袁渊7冤则对任意的 酌沂渊0袁1袁代数黎卡迪方程图 1闭环系统框图Fig.1Diagram of closedloop system执行器控制过程传感器DoSDoS通信网络控制器第 k-1 次控制时长第 m 次攻击时长tk-1itm-1tkitm图 2DoS 攻击序列示意图Fig.2Sequence of DoS attacks52窑窑P渊酌冤A+ATP渊酌冤-P渊酌冤BR-1BTP渊酌冤+
20、Q渊酌冤=0渊8冤有唯一正解 P渊酌冤 0袁其中 R 是一个正定矩阵袁并且 lim酌寅0姿max渊P渊酌冤冤=0遥 此外袁对于 Q 的选取袁一个简单的选择为 Q渊酌冤=酌I遥 这个引理在文献26中首次被证明袁这里仅简单回顾一下遥证明院在文献27中已经证明了对于所有的 酌袁上述黎卡迪方程有唯一的正定解 P渊酌冤遥同样地袁在该文献中袁当 酌=0 时袁存在唯一的解 P渊0冤=0袁因为 A-BBTP渊0冤的所有特征根均在闭合的左半平面曰另一方面袁当 酌=0 时袁黎卡迪方程的解的连续性已在文献28中说明袁换句话说袁当 酌寅0 时袁P渊酌冤寅P渊0冤=0遥注 1在本文中袁 假设矩阵 A 的所有特征值都位于
21、闭合的左半平面内遥 这是研究输入饱和问题的经常用到的假设袁对于解决低增益控制器增益是必要的26-28遥2主要结果2.1基于事件的分布式控制器设计本节将为系统渊1冤设计一个分布式动态事件触发机制的控制方案遥 首先袁由于控制器输入饱和的影响袁需要为多智能体系统渊1冤设计低增益输出反馈 ui渊t冤遥1冤获取如下参数黎卡迪方程的解院P渊酌冤A+ATP渊酌冤-琢滋P渊酌冤BBTP渊酌冤+茁滋酌In臆0袁渊9冤其中 滋 0袁0 琢 0曰k1i=酌渊2-k籽冤滓i/2袁k2i=-籽/渊2酌k冤袁滓i沂渊0袁1冤曰啄i=酌2k滓i渊2-k籽冤/籽曰仔i=2酌k/渊籽兹i冤曰茁i 0曰滋 0曰籽=椰PBBTP椰
22、袁兹i 0袁0 k T1r0袁Na渊T1袁T2冤表示在T1袁T2冤时间内发生的攻击次数遥 那么袁对于所有的 T2 T1逸t0袁Fa渊T1袁T2冤=Na渊T1袁T2冤/渊T2-T1冤表示在该时间段内的攻击频率遥定义 3渊持续时间冤19对任意 T2 T1 t0袁Ta渊T1袁T2冤表示 DoS 攻击下系统受到攻击的总时间间隔遥 那么袁T1袁T2冤时间内 DoS 攻击的持续时间定义如下院存在一个 T0逸0 和 子a 0袁使得 Ta渊T1袁T2冤臆T0+渊T2-T1冤/子a遥注 2如文献17-19所述袁对受到攻击的多智能体系统袁定义 2 和定义 3 可以根据其频率和持续时间指定一类 DoS 攻击信号遥由
23、于文献29中的缓慢切换方案袁定义 1 和 2 确保了攻击不会频繁发生13袁18-19遥基于以上分析袁给出本文的主要结果遥定理 1在假设 1 和假设 2 下袁对于多智能体系统渊1冤和控制率渊4冤遥 令 K=滋BTP袁其中 P 0 是黎卡迪不等式P渊酌冤A+ATP渊酌冤-P渊酌冤BBTP渊酌冤+Q渊酌冤臆0 渊12冤的一个解,事件触发的时刻由式渊11冤决定遥在这种情况下袁 多智能体系统能在 DoS 攻击下达到一致性袁前提是院1冤存在一个常量 Q1*沂渊0袁l1冤袁使得定义 2 中的攻击频率 Fa渊t0袁t冤满足夏维新袁 等院DoS 攻击下基于输入饱和的多智能体系统一致性研究53窑窑南通大学学报渊自
24、然科学版冤圆园23 年Fa渊t0袁t冤=Na渊t0袁t冤/渊t-t0冤臆Q1*/渊ln渊字冤+渊l1+l2冤驻*冤曰渊13冤2冤对任意常数 T0逸0袁存在常数 子a袁使得定义 3中的攻击持续时间满足子a 渊l1+l2冤/渊l1+Q1*冤袁渊14冤其中院l1=max滋酌渊1-k籽/2冤渊1-滓max冤袁茁min袁l2=max琢2/2袁茁min曰琢2 0 为 S 0袁SA+ATS-琢2S 0 为常数袁对于任何给定的先验有界集合 T沂Rn袁xi渊0冤沂T袁有sup渊xT渊IN茚P渊酌冤冤x+移i=1N浊i渊t冤冤臆兹袁渊18冤其中院酌沂渊0袁1曰xi渊t冤沂T遥通过引理 1 可知袁lim酌寅0渊P渊
25、酌冤冤=0袁即 P渊酌冤有界袁且 浊i渊t冤也是有界的袁所以式渊18冤的左边是有界的袁总能找到一个 兹 0 使得式渊18冤成立遥接下来袁定义另一个集合 Lv兹院啄沂RNnL渊啄冤臆兹遥 令 酌*沂渊0袁1袁则对任意的 酌沂渊0袁酌*袁啄沂Lv渊兹冤有椰K渊ei渊t冤+qi渊t冤冤椰肄臆棕袁渊19冤其中袁对于 z沂n袁有椰z椰肄=maxi zi袁因为ui渊t冤=K渊ei渊t冤+qi渊t冤冤袁也就是说 sat渊ui渊t冤冤=ui渊t冤遥 至此袁解决了输入饱和问题带来的非线性问题遥 在这种情况下袁式渊17冤可以改写为x觶渊t冤=渊IN茚A-L茚BK冤x渊t冤+渊IN茚BK冤e渊t冤遥渊20冤应当注意
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- DoS 攻击 基于 输入 饱和 智能 体系 统一 研究
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【自信****多点】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【自信****多点】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。