Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
复制标题
发现和评估机器人网络协议中的细粒度指标
DOI：
10.1109/srdsw.2014.34
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Sebastien Tixeuil
中科院分区：
文献类型：
--
作者：
Francois Bonnet;Xavier Defago;Franck Petit;Maria Potop-Butucaru;Sebastien Tixeuil
自主遗忘和匿名的移动的机器人模型最近成为一个有吸引力的分布式计算抽象，允许评估许多基本任务的内在困难，如探索或收集在一个离散的空间。我们提出并实现了一个通用的方法，以获得所有可能的协议，一群移动的机器人在一个特定的离散空间。我们使用匿名环的独家永久探索作为案例研究。我们的方法允许发现解决问题的新协议，并评估特定的优化标准（如个人覆盖率，访问频率等）。符合这些协议。据我们所知，这是第一次尝试机械化的分布式移动的机器人协议的发现和细粒度的属性测试。
The model of autonomous oblivious and anonymous mobile robots recently emerged as an attractive distributed computing abstraction that permits to assess the intrinsic difficulties of many fundamentals tasks, such as exploring or gathering in a discrete space. We present and implement a generic method for obtaining all possible protocols for a swarm of mobile robots operating in a particular discrete space. We use the exclusive perpetual exploration of anonymous rings as a case study. Our method permits to discover new protocols that solve the problem, and to assess specific optimization criteria (such as individual coverage, visits frequency, etc.) that are met by those protocols. To our knowledge, this is the first attempt to mechanize the discovery and fine-grained property testing of distributed mobile robot protocols.
登录
查看更多内容
异步、匿名、不经意的机器人形成任意模式
DOI：
10.1016/j.tcs.2008.07.026
发表时间：
2008
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
P. Flocchini;G. Prencipe;N. Santoro;P. Widmayer
通讯作者：
P. Widmayer
DOI：
10.1007/978-3-642-15763-9_29
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Lélia Blin;A. Milani;M. Potop;S. Tixeuil
通讯作者：
S. Tixeuil
利用对称性：将许多异步遗忘机器人聚集在环上
影响因子：
1.1
作者：
R. Klasing;A. Kosowski;A. Navarra
通讯作者：
A. Navarra
异步遗忘机器人的最优网格探索
DOI：
10.1007/978-3-642-33536-5_7
发表时间：
2011
期刊：
--
影响因子：
--
作者：
Stéphane Devismes;Anissa Lamani;F. Petit;Pascal Raymond;S. Tixeuil
通讯作者：
S. Tixeuil
DOI：
10.1016/j.tcs.2013.05.031
发表时间：
2009
期刊：
ArXiv
影响因子：
--
作者：
Stéphane Devismes;F. Petit;S. Tixeuil
通讯作者：
S. Tixeuil