• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2022 Fiscal Year Research-status Report

On Memory, Communication, and Synchronous Schedulers for Computational Bounds of Autonomous Mobile Robots

Research Project

Project/Area Number 20K11685
Research InstitutionHosei University

Principal Investigator

和田 幸一  法政大学, 理工学部, 教授 (90167198)

Co-Investigator(Kenkyū-buntansha) DEFAGO Xavier  東京工業大学, 情報理工学院, 教授 (70333557)
Project Period (FY) 2020-04-01 – 2024-03-31
Keywords無記憶ロボット / LCMサイクル / ライト付きロボット / メモリ対通信 / 同期度
Outline of Annual Research Achievements

本研究は,ロボットが記憶できる能力,ロボット問の通信能力,ロボットを動作させる同期度がロボット群の計算能力に及ぼす影響を解明することを目的としている.ロボットに搭載するライトは自身も他のロボットも認識できるモデル(LUMI), 自身のライトのみを認識するモデル(FSTA),他のロボットのみが認識できるモデル(FCOM)を考える.FSTAモデルにおいては,定数有限状態を持つだけで通信不可であると考える.また,FCOMモデルにおいては,ライトの色を見せることによって他のロボットと直榜通信可能となるが,自身のライトの色は見えないため,次のサイクルでは通信内容を忘れてしまう,すなわち,ロボットは通信可能だが無記憶であると考える.それぞれのモデルの計算能力を同期度と合わせて明らかにすることが本研究の目的である.
この目的に対して,令和2年度では持続性メモリと直接通信が動作スケジュールに対してどのように影響するかを明らかにした. まず全同期(Fsynch)と半同期(Ssynch)におけるこれまでの結果をもとにSsynchとFsynchにおける持続性メモリと直接的通信による能力の限界を導出した.令和3年度では,これらの結果を拡張し,ロボットが持つ機能を限定しても同様の結果が成り立つことを示した.また,FsynchとSsynchの中間に位置するRsynchと呼ばれるクラスを導入し,Fsynch,Rsynch,Ssynchの相互関係を完全に解明した.また, Rsynchはエネルギーを制限したロボット群の能力と一致することを示し,エネルギーの制限されたロボット群の計算能力を議論できる枠組みを与え,エネルギー無制限のロボット群との能力の差を明らかにした.令和4年度は,非同期スケジューラ(Asynch)と各ロボットモデル間の関係を明らかにした.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

本研究の目標は,ロボットが記憶できる能力,ロボット問の通信能力,ロボットを動作させる同期度がロボット群の計算能力に及ぼす影響を解明することである.同期度の条件に基づいて,Fsynch,Ssynch,Rsynch(新しいクラス)における各ロボットモデルの計算能力を完全に明らかにし,2022年度は最も挑戦的であるAsynchに関しても完全に解明できた.ただ,Rsynchはロボットのエネルギーを制限したモデルと関連しており,Rsynchの性質を解明するには至らず,新しい目標として,もう一年延長して,このモデルの解明に取り組む.

Strategy for Future Research Activity

ロボットが記憶できる能力,ロボット問の通信能力,ロボットを動作させる同期度がロボット群の計算能力に及ぼす影響を解明する過程で,新しい同期度を発見し,その性質を明らかにしたが,この同期度(Rsynch)は従来理論的には考えられていなかったエネルギー制限をしたロボット群の計算能力という,新しい研究分野を生み出したたため,これに関する研究を引き続き行う.

Causes of Carryover

コロナ等の理由によって,海外での国際会議に発表できなかったことが主な理由である.次年度に海外にて成果発表を行う.

  • Research Products

    (10 results)

All 2023 2022

All Journal Article (8 results) (of which Int'l Joint Research: 4 results,  Peer Reviewed: 8 results,  Open Access: 5 results) Presentation (2 results) (of which Int'l Joint Research: 2 results,  Invited: 2 results)

  • [Journal Article] Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space2023

    • Author(s)
      Defago Xavier、Heriban Adam、Tixeuil Sebastien、Wada Koichi
    • Journal Title

      Robotics and Autonomous Systems

      Volume: 163 Pages: 104378~104378

    • DOI

      10.1016/j.robot.2023.104378

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Efficient deterministic MapReduce algorithms for parallelizable problems2023

    • Author(s)
      Frei Fabian、Wada Koichi
    • Journal Title

      Journal of Parallel and Distributed Computing

      Volume: 177 Pages: 28~38

    • DOI

      10.1016/j.jpdc.2023.02.010

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Gathering problems for autonomous mobile robots with lights2023

    • Author(s)
      Terai Satoshi、Wada Koichi、Katayama Yoshiaki
    • Journal Title

      Theoretical Computer Science

      Volume: 941 Pages: 241~261

    • DOI

      10.1016/j.tcs.2022.11.018

    • Peer Reviewed
  • [Journal Article] Location functions for self-stabilizing byzantine tolerant swarms2023

    • Author(s)
      Ashkenazi Yotam、Dolev Shlomi、Kamei Sayaka、Katayama Yoshiaki、Ooshita Fukuhito、Wada Koichi
    • Journal Title

      Theoretical Computer Science

      Volume: 954 Pages: 113755

    • DOI

      10.1016/j.tcs.2023.113755

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] On the Computational Power of Energy-Constrained Mobile Robots: Algorithms and Cross-Model Analysis2022

    • Author(s)
      Buchin Kevin、Flocchini Paola、Kostitsyna Irina、Peters Tom、Santoro Nicola、Wada Koichi
    • Journal Title

      29th International Colloquium on Structural Information and Communication Complexity

      Volume: 13298 Pages: 42~61

    • DOI

      10.1007/978-3-031-09993-9_3

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes2022

    • Author(s)
      Wang Yuan、Ishii Hideaki、Bonnet Francois、Defago Xavier
    • Journal Title

      IEEE Transactions on Network Science and Engineering

      Volume: 9 Pages: 3316~3331

    • DOI

      10.1109/TNSE.2022.3176214

    • Peer Reviewed / Open Access
  • [Journal Article] Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution2022

    • Author(s)
      Okumura Keisuke、Defago Xavier
    • Journal Title

      Proceedings of the International Conference on Automated Planning and Scheduling

      Volume: 32 Pages: 270~278

    • DOI

      10.1609/icaps.v32i1.19810

    • Peer Reviewed / Open Access
  • [Journal Article] Priority inheritance with backtracking for iterative multi-agent path finding2022

    • Author(s)
      Okumura Keisuke、Machida Manao、Defago Xavier、Tamura Yasumasa
    • Journal Title

      Artificial Intelligence

      Volume: 310 Pages: 103752~103752

    • DOI

      10.1016/j.artint.2022.103752

    • Peer Reviewed / Open Access
  • [Presentation] Energy-constrained mobile robots and their computational power2022

    • Author(s)
      Koichi Wada
    • Organizer
      Research Meeting and School on Distributed Computing by Mobile Robots
    • Int'l Joint Research / Invited
  • [Presentation] Verification and Synthesis of Rendezvous Algorithms for Luminous Robots2022

    • Author(s)
      Xavier Defago
    • Organizer
      Research Meeting and School on Distributed Computing by Mobile Robots
    • Int'l Joint Research / Invited

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi