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

无手性异步机器人嵌入模式形成。 （英语） 兹比尔1432.68025

分布计算。 32，编号4291-315（2019）.
摘要：我们考虑嵌入式模式的形成(电子功率因数)中引入的问题[N.富士那加等，SIAM J.计算。44，第3期，740-785（2015年；Zbl 1325.68230号)]. 给定欧氏平面（此处称为定点)以及一组机器人（R\），例如（R|=|F|\），该问题需要一个分布式算法来移动机器人，以便占据（F\）中的所有点。最初，每个机器人都占据不同的位置。激活时，机器人以标准的“看-算-动”循环运行。在一个循环中，机器人根据自己的坐标系，根据机器人的位置和固定点（Look）感知当前配置，决定是否向某个方向移动（Compute），在积极的情况下，它会移动（move）。为每个机器人异步执行循环。机器人是不经意的、匿名的、沉默的，并且执行相同的确定性算法。在上述论文中，通过赋予机器人手性来研究这个问题，即它们共享一个共同的左右方向。这里我们考虑电子功率因数在没有手性的情况下，我们通过设计一种适用于所有配置（但不适用于那些被确定为不可解的配置）的确定性分布式算法来充分描述何时可以求解。该算法是根据严格的方法设计的，其特点是使用与机器人使用的每个动作相关联的逻辑谓词。这就产生了更详细的信息，为我们说明算法的正确性提供了严格的依据。

引用于7文件

MSC公司：

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

关键词：

分布式协调；自主移动机器人；图案形成；被遗忘的；异步；逻辑谓词

引文：

Zbl 1325.68230号
PDF格式BibTeX公司 XML格式引用
\textit｛S.Cicerone｝等人，Distrib.Comput。32，第4号，291--315（2019；Zbl 1432.68025）
全文： 内政部

参考文献：

[1] Agmon，N.，Peleg，D.：自治移动机器人的容错采集算法。SIAM J.计算。36(1), 56-82 (2006) ·Zbl 1111.68136号
[2] Bérard，B.，Lafourcade，P.，Millet，L.，Potop-Butucaru，M.，Thierry-Mieg，Y.，Tixeuil，S.：移动机器人协议的形式验证。分布计算。29(6), 459-487 (2016) ·Zbl 1410.68217号
[3] Bhagat，S.、Chaudhuri，S.G.、Mukhopadhyaya，K.：单轴协议下异步移动机器人的一般位置形成。摘自：《第十届国际算法与计算展望》（WALCOM），LNCS，第9627卷，第80-91页。施普林格（2016）·Zbl 1475.68388号
[4] Bramas，Q.，Tixeuil，S.：简短声明：概率异步任意模式形成。In:第35届ACM SIGACT-SIGOPS分布式计算原理研讨会（2016）会议记录
[5] Cicerone，S.，Di Stefano，G.，Navarra，A.：无定向的异步嵌入式模式形成。摘自：《第30届分布式计算国际研讨会论文集》，LNCS，第9888卷，第85-98页。施普林格（2016）·Zbl 1393.68183号
[6] Cicerone，S.，Di Stefano，G.，Navarra，A.：异步任意模式形成：严格方法的影响。分布计算。(2018). https://doi.org/10.1007/s00446-018-0325-7 ·Zbl 1432.68024号 ·doi:10.1007/s00446-018-0325-7
[7] Cicerone，S.、Di Stefano，G.、Navarra，A.：机器人在会合点上的聚集：可行性和最佳分辨率算法。分布计算。31(1), 1-50 (2018) ·Zbl 1425.68413号
[8] Cieliebak，M.，Flocchini，P.，Prencipe，G.，Santoro，N.：移动机器人分布式计算：采集。SIAM J.计算。41(4), 829-879 (2012) ·Zbl 1286.68484号
[9] Courtieu，P.，Rieg，L.，Tixeuil，S.，Urbain，X.：不可能收集，证明。信息处理。莱特。115（3），447-452（2015）·Zbl 1317.68264号
[10] Courtieu，P.，Rieg，L.，Tixeuil，S.，Urbain，X.：简要声明：针对不经意移动机器人的R2认证通用聚会。In:第35届ACM SIGACT-SIGOPS分布式计算原理研讨会（2016）会议记录·Zbl 1393.68163号
[11] D'Angelo，G.、Di Stefano，G.，Klasing，R.、Navarra，A.：在匿名网格和树上收集机器人，无需多重性检测。西奥。计算。科学。610, 158-168 (2016) ·Zbl 1332.68167号
[12] D'Angelo，G.、Di Stefano，G.和Navarra，A.：在look-compute-move模型下收集戒指。分布计算。27(4), 255-285 (2014) ·Zbl 1320.68046号
[13] D'Angelo，G.、Di Stefano，G.，Navarra，A.、Nisse，N.、Suchan，K.：用不经意的机器人计算环：不同任务的统一方法。《算法》72（4），1055-1096（2015）·Zbl 1319.68025号
[14] D’Angelo，G.，Navarra，A.，Nisse，N.：在弱假设下对环进行聚集和排他性搜索的统一方法。分布计算。30(1), 17-48 (2017) ·Zbl 1404.68018号
[15] Das，S.，Flocchini，P.，Santoro，N.，Yamashita，M.：用不经意的移动机器人形成几何图案序列。分布计算。28(2), 131-145 (2015) ·Zbl 1331.68223号
[16] D’Emidio，M.，Frigioni，D.，Navarra，A.：描述匿名移动机器人的计算能力。摘自：第36届IEEE分布式计算系统国际会议论文集，（ICDCS），第293-302页。IEEE（2016）
[17] Di Stefano，G.，Navarra，A.：以最小的行进距离在无限网格上聚集被遗忘的机器人。Inf.计算。254, 377-391 (2017) ·Zbl 1370.68286号
[18] Di Stefano，G.，Navarra，A.：匿名图中不经意机器人的最佳聚集及其在树和环上的应用。分布计算。30(2), 75-86 (2017) ·Zbl 1419.68184号
[19] Dieudonné，Y.，Labbani-Igbida，O.，Petit，F.：弱移动机器人的圆圈形成。TAAS 3（4），16:1-16:20（2008）
[20] Doan，H.T.T.，Bonnet，F.，Ogata，K.：移动机器人永久探索算法的模型检查。收录于：《第六届国际结构化面向对象形式语言和方法工作会议录》（SOFL+MSVL），《计算机科学讲义》，第10189卷，第201-219页（2017）·Zbl 1461.68231号
[21] Donald，B.R.，Jennings，J.S.，Rus，D.：分布式操作的信息不变量。I.J.Robotics Res.16（5），673-702（1997）
[22] Flocchini，P.，Prencipe，G.，Santoro，N.：不经意移动机器人的分布式计算。分布式计算理论综合讲座。摩根&克莱普尔出版社（2012）·Zbl 1286.68484号
[23] Flocchini，P.，Prencipe，G.，Santoro，N.，Viglietta，G.：移动机器人的分布式计算：均匀圆形成。分布计算。30, 413-457 (2017) ·Zbl 1419.68029号
[24] Flocchini，P.、Prencipe，G.、Santoro，N.、Widmayer，P.：能见度有限的异步机器人的聚集。西奥。计算。科学。337, 147-168 (2005) ·Zbl 1108.68120号
[25] Flocchini，P.，Prencipe，G.，Santoro，N.，Widmayer，P.：异步、匿名、遗忘机器人的任意模式形成。西奥。计算。科学。407(1-3), 412-447 (2008) ·Zbl 1152.68053号
[26] Fujinaga，N.、Ono，H.、Kijima，S.、Yamashita，M.：通过不经意的corda机器人的最佳匹配形成图案。摘自：《第十四届分布式系统原理国际会议论文集》，LNCS，第6490卷，第1-15页。施普林格（2010）
[27] Fujinaga，N.，Yamauchi，Y.，Kijima，S.，Yamashita，M.：匿名不经意移动机器人的异步模式形成。摘自：《第26届分布式计算国际研讨会论文集》，LNCS，第7611卷，第312-325页。施普林格（2012）·Zbl 1374.68584号
[28] Fujinaga，N.，Yamauchi，Y.，Ono，H.，Kijima，S.，Yamashita，M.：不经意异步移动机器人的模式形成。SIAM J.计算。44(3), 740-785 (2015) ·Zbl 1325.68230号
[29] Ghike，S.，Mukhopadhyaya，K.：一种分布式算法，用于自治机器人的图案形成，未就坐标罗盘达成一致。摘自：《第六届分布式计算和互联网技术国际会议论文集》（ICDCIT），LNCS，第5966卷，第157-169页。施普林格（2010）
[30] Izumi，T.，Katayama，Y.，Inuzuka，N.，Wada，K.：用动态罗盘收集自主移动机器人：最佳结果。摘自：《第21届分布式计算国际研讨会论文集》，LNCS，第4731卷，第298-312页。施普林格（2007）·Zbl 1145.68549号
[31] Klasing，R.，Kosowski，A.，Navarra，A.：利用对称性：在一个环上聚集许多异步的不经意机器人。Theor。计算。科学。411, 3235-3246 (2010) ·Zbl 1195.68099号
[32] Mamino，M.，Viglietta，G.：异步遗忘机器人的方形编队。摘自：《第28届加拿大计算几何会议论文集》，第1-6页（2016年）
[33] Millet，L.，Potop-Butucaru，M.，Sznajder，N.，Tixeuil，S.：《关于移动机器人算法的合成：环形聚集的案例》。摘自：《第16届分布式系统稳定、安全和安全国际研讨会论文集》，LNCS，第8756卷，第237-251页。施普林格（2014）
[34] Parker，L.E.：关于基于行为的多机器人团队的设计。高级机器人。10(6), 547-578 (1995)
[35] Prencipe，G.：同步性对自主移动机器人行为的影响。理论计算。系统。38539-558（2005年）·Zbl 1086.68617号
[36] Romanishin，J.、Gilpin，K.、Rus，D.：M块：动量驱动、磁性模块化机器人。摘自：IEEE/RSJ智能机器人和系统国际会议论文集，第4288-4295页。IEEE（2013）
[37] 铃木，I.，山下，M.：分布式匿名移动机器人：几何图案的形成。SIAM J.计算。28(4), 1347-1363 (1999) ·Zbl 0940.68145号
[38] Yamashita，M.，Suzuki，I.：表征可由不经意的匿名移动机器人形成的几何图案。西奥。计算。科学。411(26-28), 2433-2453 (2010) ·Zbl 1208.68222号
[39] Yamauchi，Y.，Uehara，T.，Kijima，S.，Yamashita，M.：三维欧氏空间中同步移动机器人的平面形成。摘自：《第29届分布式计算国际研讨会论文集》，LNCS，第9363卷，第92-106页。斯普林格（2015）·Zbl 1394.68150号
[40] Yamauchi，Y.，Uehara，T.，Yamashita，M.：简要公告：三维欧氏空间中同步移动机器人的模式形成问题。In:第35届ACM SIGACT-SIGOPS分布式计算原理研讨会（2016）会议记录·Zbl 1374.68592号
[41] Yamauchi，Y.，Yamashita，M.：异步不经意移动机器人的随机模式形成算法。摘自：《第28届分布式计算国际研讨会论文集》，（DISC），LNCS，第8784卷，第137-151页。施普林格（2014）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。