曼纽尔·阿尔坎塔拉;阿曼多·卡斯塔涅达;Flores-Peñaloza，大卫;塞尔吉奥·拉杰斯鲍姆 具有硬终止的look-compute-move机器人无等待算法的拓扑结构。 （英语） Zbl 1451.68033号 分布计算。 32，第3号，235-255（2019）. 总结：看-算-动20多年来，人们对一组自主机器人的模型进行了深入研究。我们考虑标准的异步发光机器人（ALR）模型，其中机器人位于图中。每个机器人，重复看在其周围，并获得包含所有机器人所在的\（G\）顶点的快照；根据这个快照，每个机器人计算顶点（与其当前位置相邻），然后移动机器人有可见光，可以传递比实际位置更多的信息，而且它们是异步移动的，这意味着每个机器人都以自己的任意速度运行。我们还对一个几乎没有被探讨过的案例感兴趣：机器人不一定都是最初出现的，它们可能是异步出现的。我们称之为扩展异步发光机器人（EALR）模型。移动机器人领域的一个中心问题是将机器人带到同一个顶点。我们研究了这个问题的几个版本，其中机器人向相同（或彼此靠近）的顶点移动。我们专注于要求每个机器人执行有限数量的看-算-动循环，独立于其他机器人循环的交错，然后停止我们的主要结果是（ALR和）EALR模型与异步无等待多进程读/写共享内存（WFSM）模型之间的直接连接。概述机器人任务最后，利用EALR模型和WFSM模型之间的联系，给出了可解机器人任务的组合拓扑表征。 引用于三文件 MSC公司： 68米14 分布式系统 68M10个 计算机系统中的网络设计和通信 68米15 网络和计算机系统的可靠性、测试和容错 68T40型 机器人的人工智能 68宽15 分布式算法 关键词：移动机器人;机器人的分散算法;收集;会合;容错;终止;无等待计算 PDF格式BibTeX公司 XML格式引用 \textit{M.Alcántara}等人，《分布计算》。32，第3号，235--255（2019年；Zbl 1451.68033） 全文： 内政部 参考文献： [1] 铃木，I.，山下，M.：分布式匿名移动机器人：几何图案的形成。SIAM J.计算。28(4), 1347-1363 (1999) ·Zbl 0940.68145号 ·doi:10.1137/S009753979628292X [2] Fischer，M.J.、Lynch，N.A.、Paterson，M.：一个错误的过程不可能达成分布式共识。J.ACM 32（2），374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121 [3] Herlihy，M.，Kozlov，D.，Rajsbaum，S.：通过组合拓扑的分布式计算。Morgan Kaufmann，加利福尼亚州旧金山（2013）·Zbl 1341.68004号 [4] Flocchini，P.，Prencipe，G.，Santoro，N.：不经意移动机器人的分布式计算。分布式计算理论综合讲座，第3卷（2）。Morgan&Claypool，San Rafael（2012年）·Zbl 1286.68484号 [5] Flocchini，P.，Prencipe，G.，Santoro，N.，Widmayer，P.：《弱小机器人的艰难任务：自主移动机器人模式形成中公共知识的作用》，LNCS，第1741卷，第93-102页。柏林施普林格（1999）·Zbl 0970.68700号 [6] Asaf，E.，Peleg，D.：移动机器人系统的分布式模型和算法。收录于：第33届计算机科学理论与实践当前趋势会议（SOFSEM），LNCS，第4362卷，第70-87页。施普林格（2007）·Zbl 1131.68556号 [7] Das，S.，Flocchini，P.，Prencipe，G.，Santoro，N.，Yamashita，M.：带灯的自主移动机器人。西奥。计算。科学。609（P1）、171-184（2016）·Zbl 1331.68082号 ·doi:10.1016/j.tcs.2015.09.018 [8] D’Emidio，M.，Frigioni，D.，Navarra，A.：图形上的同步机器人与异步光增强机器人。收录：理论计算机科学电子笔记。2015年ICTCS会议记录，第16届意大利理论计算机科学会议，第322卷，第169-180页（2016）·Zbl 1345.68257号 [9] Yu，X.，Yung，M.：代理集合：一个动态对称破缺问题。摘自：《自动化，语言与编程》，第23届国际学术讨论会，ICALP96，德国帕德博恩，1996年7月8日至12日，《LNCS学报》，第1099卷，第610-621页。斯普林格（1996）·Zbl 1046.68535号 [10] Potop-Butucaru，M.、Raynal，M.和Tixeuil，S.：移动机器人分布式计算：介绍性调查。2011年第14届基于网络的信息系统国际会议，第318-324页（2011年） [11] Prencipe，G.：自主移动机器人：分布式计算视角。参见：第九届传感器系统、无线网络和分布式机器人算法与实验国际研讨会，LNCS，第8243卷，第6-21页。斯普林格（2014） [12] Prencipe，G.：一组自主移动机器人不可能聚集。收录于：《理论计算机科学，结构信息和通信复杂性》（SIROCCO 2005），第384（2）卷，第222-231页（2007）·Zbl 1125.68124号 [13] Cieliebak，M.，Flocchini，P.，Prencipe，G.，Santoro，N.：移动机器人分布式计算：采集。SIAM J.计算。41(4), 829-879 (2012) ·Zbl 1286.68484号 ·数字对象标识代码：10.1137/100796534 [14] Flocchini，P.，Prencipe，G.，Santoro，N.，Widmayer，P.：能见度有限的异步机器人的聚集。西奥。计算。科学。337(1), 147-168 (2005) ·Zbl 1108.68120号 ·doi:10.1016/j.tcs.2005.01.001 [15] Cieliebak，M。；Farach-Colton，M.（编辑），《收集非遗忘移动机器人》，577-588（2004），柏林·Zbl 1196.68283号 ·doi:10.1007/978-3-540-24698-560 [16] Cohen，R.，Peleg，D.：异步机器人系统中引力算法的收敛特性。SIAM J.计算。34(6), 1516-1528 (2005) ·Zbl 1081.68110号 ·doi:10.1137/S0097539704446475 [17] Klasing，R.，Markou，E.，Pelc，A.：在一个环中收集异步不经意移动机器人。Theor。计算。科学。390(1), 27-39 (2008) ·Zbl 1134.68013号 ·doi:10.1016/j.tcs.2007.09.032 [18] Bonnet，F.，Potop-Butucaru，M.，Tixeuil，S.：用4个机器人异步聚集成环。摘自：《Ad-hoc、移动和无线网络会议录：第15届国际会议》（ADHOC-NOW），LNCS，第9724卷，第311-324页。斯普林格（2016） [19] D'Angelo，G.、Di Stefano，G.和Navarra，A.：在look-compute-move模型下收集戒指。分布计算。27(4), 255-285 (2014) ·Zbl 1320.68046号 ·doi:10.1007/s00446-014-0212-9 [20] Flocchini，P.，Santoro，N.，Viglietta，G.，Yamashita，M.：具有恒定记忆的会合。西奥。计算。科学。621，57-72（2016）·Zbl 1335.68278号 ·doi:10.1016/j.tcs.2016.01.025 [21] Viglietta，G.：两个机器人与可见比特的交会。摘自：第九届传感器系统、无线网络和分布式机器人算法和实验国际研讨会，2013年ALGOSENSORS，LNCS，第8243卷，第291-306页。施普林格（2014）·Zbl 1397.68190号 [22] D’Angelo，G。；Stefano，G。；Klasing，R。；纳瓦拉，A。；Even，G.（编辑）；Halldórsson，MM（编辑），《在没有多重性检测的匿名网格上收集机器人》，327-338（2012），柏林·文件编号：10.1007/978-3-642-31104-8_28 [23] D'Angelo，G.、Di Stefano，G.和Navarra，A.：在外观-计算机-运动模型下的基本图形拓扑上收集异步和不经意的机器人，第197-222页。施普林格，纽约（2013）·Zbl 1356.68016号 [24] Izumi，T.，Souissi，S.，Katayama，Y.，Inuzuka，N.，Défago，X.，Wada，K.，Yamashita，M.：两个指南针不可靠的健忘机器人的聚集问题。CoRR，arXiv:11111.1492（2011）·兹比尔1242.68178 [25] Agmon，N.，Peleg，D.：自治移动机器人的容错采集算法。SIAM J.计算。36(1), 56-82 (2006) ·Zbl 1111.68136号 ·doi:10.1137/050645221 [26] Bouzid，Z.，Das，S.，Tixeuil，S.：能够承受多个碰撞故障的移动机器人的集合。参见：IEEE第33届分布式计算系统国际会议（ICDCS），第337-346页。IEEE计算机学会，华盛顿特区，美国（2013年） [27] Bramas，Q.，Tixeuil，S.：没有手性的无等待聚集。收录于：《结构信息与通信复杂性》（SIROCCO）第22期，LNCS，第9439卷，第313-327页。斯普林格（2015）·兹比尔1471.68028 [28] Castañeda，A.，Rajsbaum，S.，Roy，M.：图上机器人的两个收敛问题。2016年10月19日至21日，哥伦比亚卡利，2016年第七届拉丁美洲可靠计算研讨会，第81-90页。IEEE计算机学会（2016） [29] Herlihy，M.，Rajsbaum，S.：无等待循环协议任务的分类。西奥。计算。科学。291(1), 55-77 (2003) ·Zbl 1026.68011号 ·doi:10.1016/S0304-3975（01）00396-6 [30] De Marco，G.，Gargano，L.，Kranakis，E.，Krizanc，D.，Pelc，A.，Vaccaro，U.：图中的异步确定性交会。西奥。计算。科学。355(3), 315-326 (2006) ·Zbl 1088.68140号 ·doi:10.1016/j.tcs.2005.12.016 [31] Dessmark，A.，Fraignaud，P.，Kowalski，D.R.，Pelc，A.：图中的确定性集合。《算法》46（1），69-96（2006）·Zbl 1100.68077号 ·doi:10.1007/s00453-006-0074-2 [32] 布沙尔，S.，迪乌多内，Y.，杜库蒂亚尔，B.：拜占庭网络中的聚会。分布计算。29(6), 435-457 (2016) ·兹比尔1412.68021 ·doi:10.1007/s00446-016-0276-9 [33] 迪乌丹内，Y.，Pelc，A.，Peleg，D.：尽管有恶作剧，但仍在聚会。ACM事务处理。算法11（1），1:1-1:28（2014）·Zbl 1398.68054号 ·doi:10.1145/2629656 [34] Chalopin，J。；Y.迪乌丹内。；Labourel，A。；佩尔克，A。；Esparza，J.（编辑）；Fraignaud，P.（编辑）；Husfeldt，T.（编辑）；Koutsoupias，E.（编辑），《网络中的容错交会》，411-422（2014），柏林·Zbl 1409.68030号 [35] Agathangelou，C.、Georgiou，C.和Mavronicolas，M.：一种分布式算法，用于在飞机上聚集许多肥胖的移动机器人。在：ACM分布式计算原理研讨会，PODC'13，加拿大蒙特利尔，2013年7月22日至24日，第250-259页（2013）·Zbl 1323.68547号 [36] Attiya，H.，Welch，J.：分布式计算：基础，模拟和高级主题。霍博肯·威利（2004）·Zbl 0910.68077号 ·doi:10.1002/0471478210 [37] Raynal，M.：安全、常规和原子读/写寄存器，第305-328页。柏林施普林格出版社（2013） [38] Bose，K.，Adhikary，R.，Chaudhuri，S.G.，Sau，B.：异步无意识机器人在网格上的容错聚集。CoRR，arXiv:1709.00877（2017） [39] Borowsky，E.，Gafni，E.：t-弹性异步计算的广义FLP不可能性结果。摘自：第二十五届ACM计算机理论研讨会（STOC）会议记录，第91-100页（1993）·Zbl 1310.68078号 [40] Borowsky，E.，Gafni，E.，Lynch，N.，Rajsbaum，S.：BG分布式模拟算法。分布计算。14(3), 127-146 (2001) ·Zbl 1448.68467号 ·doi:10.1007/PL00008933 [41] Chaudhuri，S.：更多的选择允许更多的错误：在完全异步的系统中设置一致性问题。Inf.计算。105(1), 132-158 (1993) ·Zbl 0776.68016号 ·doi:10.1006/inco.1993.1043 [42] Herlihy，M.，Shavit，N.：异步可计算性的拓扑结构。J.ACM 46（6），858-923（1999）·Zbl 1161.68469号 ·数字对象标识代码：10.1145/331524.331529 [43] Gafni，E.，Koutsopuias，E.：三个处理器任务是不可判定的。SIAM J.计算。28（3），970-983（1999）·Zbl 0918.68027号 ·doi:10.1137/S0097539796305766 [44] Herlihy，M.，Rajsbaum，S.：分布式决策任务的可判定性（扩展抽象）。收录于：第二十届美国计算机学会计算理论研讨会（STOC）论文集，第589-598页（1997）·Zbl 0963.68013号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。