中文

异步调度下有限内存与有限通信机器人的能力

分布式、并行与集群计算 2021-04-27 v1

摘要

在群体机器人学中,一组机器人须在指定的内部能力(模型)与给定的对抗调度器下执行给定任务。模型 M1M_1 在调度器 S1S_1 下与模型 M2M_2 在调度器 S2S_2 下的关系可有四类:不弱于、强于、等价与正交。文献中存在四类带灯机器人主要模型:LUMI\mathcal{LUMI}(机器人可观测所有机器人的灯),FSTA\mathcal{FSTA}(每个机器人仅可见自身灯),FCOM\mathcal{FCOM}(每个机器人可观测除自身外所有其他机器人的灯),以及 OBLOT\mathcal{OBLOT}(机器人无任何灯)。本文中,我们通过将 FSTA\mathcal{FSTA}FCOM\mathcal{FCOM} 模型在异步调度器下与其他模型及调度器组合比较,考察其计算能力。我们的主要关注是理解并比较异步调度下机器人的持久内存与显式通信的能力。

关键词

引用

@article{arxiv.2104.12202,
  title  = {Power of Finite Memory and Finite Communication Robots under Asynchronous Scheduler},
  author = {Archak Das and Avisek Sharma and Buddhadeb Sau},
  journal= {arXiv preprint arXiv:2104.12202},
  year   = {2021}
}