×
西塞隆、塞拉菲诺；加布里埃尔·迪·斯特法诺；阿尔弗雷多·纳瓦拉

异步任意模式形成：一种严格的效果方法。 （英语） Zbl 1432.68024号

分布计算。 32，第2期，91-132（2019）.
摘要：给定欧几里得平面中的任意多集\（F\）点和一组\（R\）机器人，使得\（|R|=|F|\），任意模式形成（APF）问题需要一种分布式算法来移动机器人，以达到类似于\（F\）的配置。相似性意味着无论平移、旋转、反射、均匀缩放，机器人都必须被设置为“F”。最初，每个机器人都占据不同的位置。激活时，机器人以标准的“看-算-动”循环运行。机器人是异步的、不经意的、匿名的、无声的，并且执行相同的分布式算法。到目前为止，这个问题主要是通过假设手性来解决的，即机器人共享一个共同的左右方向。我们有兴趣取消这种限制。在研究这一主题时，我们遇到了几个需要密切关注的问题。我们深入研究了文献中如何克服这些困难，发现现有算法正确性证明的关键论点被忽视了。对于提供正确性证明所需的必要条件，系统性缺乏严格的论证，这严重影响了文献中提出的策略的有效性和相关性。在这里，我们设计了一种新的确定性分布式算法，该算法充分表征了APF，表明其与众所周知的领导人选举没有手性的异步模型中的问题。我们的方法的特点是使用逻辑谓词来正式描述我们的算法及其正确性。除了我们取得的成就的相关性外，我们的技术可能有助于修改以前的结果。事实上，它得出了如下公认的结果[N.富士那加等，SIAM J.计算。44，第3期，740-785（2015年；Zbl 1325.68230号)]，最近的方法如[Q.布拉马斯等，Lect。注释计算。科学。10083, 70–87 (2016;Zbl 1425.68029号)]和“非官方”结果，如[Y.Dieudonné等，“领导人选举问题与模式形成问题”，预印本，arXiv:0902.2851]显示不正确。

引用于10文件

MSC公司：

64岁以下 分布式系统
68T40型 机器人人工智能
68单位05 计算机图形；计算几何（数字和算法方面）
68宽15 分布式算法

关键词：

分布式算法；移动机器人；异步；图案形成

引文：

Zbl 1325.68230号；Zbl 1425.68029号
PDF格式BibTeX公司 XML格式引用
\textit｛S.Cicerone｝等人，Distrib.Comput。32，编号2，91-132（2019；Zbl 1432.68024）
全文： 内政部 arXiv公司

参考文献：

[1] Bérard，B.，Lafourcade，P.，Millet，L.，Potop-Butucaru，M.，Thierry-Mieg，Y.，Tixeuil，S.：移动机器人协议的形式验证。分布计算。29(6), 459-487 (2016) ·Zbl 1410.68217号 ·doi:10.1007/s00446-016-0271-1
[2] Bhagat，S.、Chaudhuri，S.G.、Mukhopadhyaya，K.：单轴协议下异步移动机器人的一般位置形成。摘自：《第十届算法与计算国际研讨会论文集》，LNCS，第9627卷，第80-91页。斯普林格（2016）·Zbl 1475.68388号
[3] Bonnet，F.，Potop-Butucaru，M.，Tixeuil，S.：用4个机器人异步聚集成环。载：《第五届特设、移动和无线网络国际会议论文集》，LNCS，第9724卷，第311-324页。斯普林格（2016）
[4] Bramas，Q.，Tixeuil，S.：简短声明：概率异步任意模式形成。附：第35届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集（2016）
[5] Bramas，Q.，Tixeuil，S.：简短声明：概率异步任意模式形成。摘自：第18届分布式系统稳定、安全和安全国际研讨会（SSS）会议记录，《计算机科学讲稿》，第10083卷，第88-93页（2016）
[6] Bramas，Q.，Tixeuil，S.：概率异步任意模式形成。CoRR（2016）。arXiv:1508.03714
[7] Chaudhuri，S.G.、Ghike，S.、Jain，S.和Mukhopadhyaya，K.：在手性方面没有达成一致的异步机器人的模式形成。CoRR（2014）。arXiv:1403.2625
[8] Cicerone，S.，Di Stefano，G.，Navarra，A.：无定向的异步嵌入式模式形成。收录于：第30届国际学术研讨会论文集。关于分布式计算（DISC），LNCS，第9888卷，第85-98页。斯普林格（2016）·Zbl 1393.68183号
[9] Cieliebak，M.，Flocchini，P.，Prencipe，G.，Santoro，N.：移动机器人分布式计算：采集。SIAM J.计算。41(4), 829-879 (2012) ·Zbl 1286.68484号 ·数字对象标识代码：10.1137/100796534
[10] Cieliebak，M.，Prencipe，G.：收集自主移动机器人。摘自：第九届结构信息与通信复杂性国际学术讨论会会议记录，第13卷，第57-72页。Carleton Scientific（2002）
[11] D'Angelo，G.、Di Stefano，G.，Klasing，R.、Navarra，A.：在匿名网格和树上收集机器人，无需多重性检测。西奥。计算。科学。610, 158-168 (2016) ·Zbl 1332.68167号 ·doi:10.1016/j.tcs.2014.06.045
[12] D'Angelo，G.、Di Stefano，G.和Navarra，A.：在外观-计算-移动模型下聚集在环上。分布计算。27(4), 255-285 (2014) ·Zbl 1320.68046号 ·doi:10.1007/s00446-014-0212-9
[13] D’Angelo，G.，Stefano，G.D.，Navarra，A.：在匿名对称环上收集六个健忘的机器人。J.离散算法26，16-27（2014）·Zbl 1298.68270号 ·doi:10.1016/j.jda.2013.09.006
[14] Das，S.，Flocchini，P.，Santoro，N.，Yamashita，M.：用不经意的移动机器人形成几何图案序列。分布计算。28(2), 131-145 (2015) ·Zbl 1331.68223号 ·doi:10.1007/s00446-014-0220-9
[15] Di Stefano，G.，Montanari，P.，Navarra，A.：关于匿名环上不经意和异步机器人的不可操作性。摘自：《第26届组合算法国际研讨会论文集》，LNCS，第9538卷，第136-147页。斯普林格（2016）·Zbl 1474.68381号
[16] Dieudonné，Y.，Petit，F.，Villain，V.：领袖选举问题与模式形成问题。CoRR（2009）。arXiv:0902.2851·Zbl 1290.68021号
[17] Dieudonné，Y.，Petit，F.，Villain，V.：简短声明：领导人选举vs.格局形成。摘自：第29届ACM分布式计算原理研讨会论文集，第404-405页。ACM（2010）·Zbl 1290.68021号
[18] Dieudonné，Y.，Petit，F.，Villain，V.：领袖选举问题与模式形成问题。摘自：《第24届分布式计算国际研讨会论文集》，LNCS，第6343卷，第267-281页。施普林格（2010）·Zbl 1290.68021号
[19] Doan，H.T.T.，Bonnet，F.，Ogata，K.：移动机器人永久探索算法的模型检查。摘自：第六届结构化面向对象形式语言和方法国际研讨会论文集（SOFL+MSVL），《计算机科学讲义》，第10189卷，第201-219页（2017）·Zbl 1461.68231号
[20] Flocchini，P.，Prencipe，G.，Santoro，N.，Viglietta，G.：移动机器人的分布式计算：均匀圆形成。分布计算。30, 413-457 (2017) ·Zbl 1419.68029号 ·doi:10.1007/s00446-016-0291-x
[21] Flocchini，P.，Prencipe，G.，Santoro，N.，Widmayer，P.：异步、匿名、遗忘机器人的任意模式形成。西奥。计算。科学。407(1-3), 412-447 (2008) ·Zbl 1152.68053号 ·doi:10.1016/j.tcs.2008.07.026
[22] Fujinaga，N.，Yamauchi，Y.，Ono，H.，Kijima，S.，Yamashita，M.：不经意异步移动机器人的模式形成。SIAM J.计算。44(3), 740-785 (2015) ·Zbl 1325.68230号 ·数字对象标识代码：10.1137/140958682
[23] Fujinaga，N.，Yamauchi，Y.，Ono，H.，Kijima，S.，Yamashita，M.：勘误：不经意异步移动机器人的模式形成。http://tcslab.csce.kyushu-u.ac.jp/kijima/papers/ErratumFujinagaSICOMP15v3.pdf（2017）·Zbl 1325.68230号
[24] Ghike，S.，Mukhopadhyaya，K.：一种分布式算法，用于自治机器人的图案形成，未就坐标罗盘达成一致。摘自：《第六届分布式计算和互联网技术国际会议记录》（ICDCIT），LNCS，第5966卷，第157-169页。施普林格（2010）
[25] Mamino，M.，Viglietta，G.：异步遗忘机器人的方形编队。摘自：《第28届加拿大计算几何会议论文集》，第1-6页（2016年）
[26] Megiddo，N.：\[\text｛R｝^3\]R3中线性规划的线性时间算法及相关问题。SIAM J.计算。12(4), 759-776 (1983) ·Zbl 0521.68034号 ·doi:10.1137/0212052
[27] Millet，L.，Potop-Butucaru，M.，Sznajder，N.，Tixeuil，S.：《关于移动机器人算法的合成：环形采集的案例》。摘自：《第十六届分布式系统稳定、安全与安全国际研讨会论文集》，LNCS，第8756卷，第237-251页。斯普林格（2014）
[28] 铃木，I.，山下，M.：分布式匿名移动机器人：几何图案的形成。SIAM J.计算。28(4), 1347-1363 (1999) ·Zbl 0940.68145号 ·doi:10.1137/S009753979628292X
[29] Welzl，E.：最小的封闭圆盘（球和椭球）。摘自：《计算机科学的结果和新趋势》，第359-370页。Springer-Verlag（1991）
[30] Yamashita，M.，Suzuki，I.：表征可由不经意的匿名移动机器人形成的几何图案。西奥。计算。科学。411(26-28), 2433-2453 (2010) ·Zbl 1208.68222号 ·doi:10.1016/j.tcs.2010.01.037
[31] Yamauchi，Y.，Uehara，T.，Kijima，S.，Yamashita，M.：三维欧氏空间中同步移动机器人的平面形成。J.ACM 64（3），16:1-6:43（2017）·Zbl 1426.68278号 ·数字对象标识代码：10.1145/3060272
[32] Yamauchi，Y.，Yamashita，M.：异步不经意移动机器人的随机模式形成算法。摘自：《第28届分布式计算国际研讨会论文集》，（DISC），LNCS，第8784卷，第137-151页。斯普林格（2014）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。