迪米特里斯·博斯科斯;迪马罗戈纳斯，迪莫斯五世。 耦合动力学多智能体控制系统的有限时域离散模型。 （英文） Zbl 1436.93006号 Automatica公司 115，文章ID 108838，第11页（2020年）. 摘要：本文的目标是以分散的方式获得耦合多智能体系统的在线抽象。通过离散代理的可达状态的相应过近似值，在有界时间范围内导出了一个捕捉每个代理运动能力的离散模型。单个抽象的组成提供了耦合连续系统在地平线上的正确表示，并提供了适合于在该时间窗口内分配给代理的高级规范下进行控制合成的方法。还为空间和时间离散化提供了充分的条件，以确保导出具有可调转换能力的确定性抽象。 引用于1文件 MSC公司： 93甲16 多代理系统 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93个B03 可达集，可达性 关键词：混合系统;多智能体系统;过渡系统 软件：科西马 PDF格式BibTeX公司 XML格式引用 \textit{D.Boskos}和\textit{D.V.Dimarogonas}，Automatica 115，文章ID 108838，11 p.（2020；Zbl 1436.93006） 全文： 内政部 arXiv公司 参考文献： [1] 阿巴特，A。；Tiwari，A。；Sastry，S.，生物激励动力系统中的盒不变性，Automatica，7，45，1601-1610（2009）·兹比尔1197.34088 [2] 安德烈亚松，M。；Dimarogonas，D.V。；桑德伯格，H。；Johansson，K.H.，《网络动态系统的分布式控制：静态反馈、积分作用和共识》，IEEE自动控制汇刊，59，7，1750-1764（2014）·Zbl 1360.93011号 [3] Boskos，D.和Dimarogonas，D.V.（2016）。耦合多智能体系统的变分散度抽象。《决策与控制》，2016年IEEE第55届会议（第81-86页）。 [4] Boskos，D.和Dimarogonas，D.V.（2017a）。互联多智能体控制系统的在线抽象。在第20届国际会计师联合会世界大会上（第15810-15815页）。 [5] 博斯科斯，D。；Dimarogonas，D.V.，多智能体系统连通性维护控制的鲁棒性和不变性，SIAM控制与优化杂志，55，3，1887-1914（2017）·Zbl 1365.93012号 [6] 博斯科斯，D。；Dimarogonas，D.V.，耦合约束下多智能体系统的分散抽象，《欧洲控制杂志》，45,1-16（2019）·Zbl 1405.93012号 [7] 布鲁基，M.E。；Gannes，M.，通过分段仿射反馈实现单形的到达控制，SIAM控制与优化杂志，5，52，3261-3286（2014）·Zbl 1304.93034号 [8] 凯恩斯，体育。；Wei，Y.J.，《有限机器的层次格》，《系统与控制快报》，25，257-263（1995） [9] Dallal，E.和Tabuada，P.（2015）。受小增益定理启发的组合符号控制器综合。第54届IEEE决策与控制会议记录（第6133-6138页）。 [10] Girard，A。；Martin，S.，使用杂交和单纯形鲁棒控制器的约束非线性系统综合，IEEE自动控制汇刊，57，4，1046-1051（2012）·Zbl 1369.93192号 [11] Gruber，F。；Kim，E.S。；Arcak，M.，Sparsity-sensitive有限抽象（2017），arXiv预印本arXiv:1704.03951 [12] 哈贝茨，L.C.G.J.M。；van Schuppen，J.H.，单纯形和矩形上分段线性混合系统的控制，（混合系统国际研讨会：计算与控制（2001），Springer），261-274·Zbl 0991.93075号 [13] Helwa，M.K.和Caines，P.E.（2014）。多面体上仿射系统的块内可控性。第53届IEEE决策与控制会议记录（第3936-3942页）。 [14] O.Hussien。；艾姆斯，A。；Tabuada，P.，《部分反馈线性化系统组合抽象》，IEEE Control systems Letters，1，2，227-232（2017） [15] Karafylis，I.，《非均匀时间鲁棒全局渐近输出稳定性》，《系统与控制快报》，54，3，181-193（2005）·兹比尔1129.93480 [16] Loizou，S.G.和Kyriakopoulos，K.J.（2004）。基于LTL规范的多智能体运动任务自动合成。第43届IEEE决策与控制会议记录（第153-158页）。 [17] Loos，S.M。；伦肖，D。；Platzer，A.，分布式飞机控制器的形式验证，（第16届混合系统国际会议论文集：计算与控制（2013），ACM），125-130 [18] Mallik，K。；Soudjani，S.E.Z。；施穆克，A.-K。；Majumdar，R.，随机控制系统有限状态抽象的组合构造（2017），arXiv预印本arXiv:1709.09546 [19] 梅斯巴希，M。；Egerstedt，M.，《多智能体网络的图论方法》（2010），普林斯顿大学出版社·Zbl 1203.93001号 [20] Meyer，P.J.、Girard，A.和Witrant，E.（2015）。使用组合抽象的协作系统的性能保证安全控制。第五届IFAC混合动力系统分析和设计会议记录（第317-322页）。 [21] 穆埃利，S。；Girard，A。；Gössler，G.，Cosyma:使用多尺度抽象进行控制器综合的工具，（第16届混合系统国际会议论文集：计算与控制（2013），ACM），83-88 [22] Nikou，A。；博斯科斯，D。；Tumova，J。；Dimarogonas，D.V.，关于耦合多智能体系统的时间时序逻辑规划，Automatica，97，339-345（2018）·Zbl 1406.93029号 [23] 波拉，G。；Borri，A。；Di Benedetto，M.D.，非线性系统符号控制器的集成设计，IEEE自动控制汇刊，57，2，534-539（2012）·Zbl 1369.93255号 [24] Pola，G。；佩佩，P。；di Benedetto，M.D.，控制系统网络的符号模型，IEEE自动控制汇刊，61，11，3663-3668（2016）·Zbl 1359.93039号 [25] 拉曼，V。；唐泽，A。；Maasoumy，M。；默里，R.M。；Sangiovanni-Vincentelli，A。；Seshia，S.A.，《具有信号时序逻辑规范的模型预测控制》，（决策与控制，2014年IEEE第53届年会，2014年），IEEE，81-87 [26] Reissig，G.，非线性系统的计算抽象，IEEE自动控制汇刊，56，11，2583-2598（2011）·Zbl 1368.93178号 [27] 雷西格，G。；韦伯，A。；Rungger，M.，符号控制器合成的反馈精化关系，IEEE自动控制汇刊，62，4，1781-1796（2017）·Zbl 1366.93363号 [28] Rungger，M.和Zamani，M.（2015）。近似抽象的合成结构。《第18届混合系统国际会议论文集：计算与控制》（第68-77页）·Zbl 1364.93286号 [29] Sogokon，A。；Ghorbal，K。；Johnson，T.T.，非线性常微分方程的解耦抽象，（形式方法国际研讨会（2016），Springer），628-644·兹比尔1427.68173 [30] Sontag，E.，数学控制理论（1998），Springer:Springer纽约·Zbl 0945.93001号 [31] Soudjani，S.E.Z。；Abate，A.，随机过程抽象和验证的自适应和顺序网格化程序，SIAM应用动力系统杂志，12，2，921-956（2013）·Zbl 1278.93243号 [32] Tabuada，P.，符号控制的近似模拟方法，IEEE自动控制汇刊，53，6，1406-1418（2008）·Zbl 1367.93220号 [33] Tabuada，P.，《混合系统的验证与控制，符号方法》（2009），施普林格出版社：纽约施普林格·Zbl 1195.93001号 [34] Y.Tazaki。；Imura，J.-i.，互联系统的双相似有限抽象，（混合系统国际研讨会：计算与控制（2008），Springer），514-527·Zbl 1144.93301号 [35] Tumova，J。；Dimarogonas，D.V.，《本地LTL规范下的多代理规划和基于事件的同步》，Automatica，70，239-248（2016）·Zbl 1339.93080号 [36] Zamani，M。；Mazo，M。；哈立德，M。；Abate，A.，网络控制系统的符号抽象，IEEE网络系统控制汇刊（2017） [37] Zamani，M。；Pola，G。；Mazo，M。；Tabuada，P.，《无稳定性假设非线性控制系统的符号模型》，IEEE自动控制汇刊，57，7，1804-1809（2012）·Zbl 1369.93002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。