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

自律分散ロボット群に対する故障耐性をもつ協調プロトコル

Research Project

Project/Area Number 08F08046
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section外国
Research Field Fundamental theory of informatics
Research InstitutionNagoya Institute of Technology

Principal Investigator

和田 幸一  Nagoya Institute of Technology

Co-Investigator(Kenkyū-buntansha) SOUISSI S.  
SOUISSI Samia  名古屋工業大学, 工学研究科, 外国人特別研究員
Project Period (FY) 2008 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2010: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2009: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2008: ¥600,000 (Direct Cost: ¥600,000)
Keywords自律分散ロボット / 分散アルゴリズム / 耐故障性 / フロッキング / 形状形成 / ビザンチン故障 / 無記憶性 / 匿名性 / 非同期性 / 停止故障 / 一時故障
Research Abstract

自律分散ロボットシステムの理論モデルでは,各ロボットは固有の識別子を持たず(匿名性),過去の履歴を記憶できず(無記憶性),全てのロボットは同じアルゴリズムで制御され.非同期的に動作する.このロボットモデルでは,従来ロボットの故障に関しては,センサーの故障はロボットが認識する共通座標系の不一致として,筆者らのグループを含めていくつか考えられているが,ロボット自体の故障を考慮したものはほとんどない.
平成21年度は,前年度の研究に引き続き,故障を含めた自律分散ロボットシステムにおける協調問題を検討した.具体的には,一時故障を含む自律分散ロボット群に対するフロッキング問題を理論的に定式化し,準同期耐故障性アルゴリズムを開発した.また,ロボットが任意のふるまいをするビザンチン故障を含むロボット群に対して,故障していないロボット群が円形成するための条件を明らかにした.すなわち,ロボットの台数をN,ビザンチン故障のロボット数をfとしたとき,N〓2f+2(f〓1)ならば,円形成できる完全同期アルゴリズムは存在しないことを示し,N>4f+1の場合には,円形成できる完全同期アルゴリズムを与えた.また,準同期を仮定した場合には,N〓3f+2であるとき,円形成するアルゴリズムは存在しないことも証明した.

Report

(2 results)
  • 2009 Annual Research Report
  • 2008 Annual Research Report
  • Research Products

    (7 results)

All 2010 2009 2008

All Journal Article (7 results) (of which Peer Reviewed: 7 results)

  • [Journal Article] Circle Formation by Oblivious Robots in Byzantine Environment2010

    • Author(s)
      S.Souissi, T.Izumi, K.Wada
    • Journal Title

      Proc.3^<rd> Annual Meeting of Asian Association for Algorithms and computation (AAAC ^'10) (To appear)

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Fault-tolerant Flocking of Mobile Robots with whole Formation Rotation2009

    • Author(s)
      Y.Yang, S.Souissi, X.Defago
    • Journal Title

      IEEE International Conference on Advanced Information Networking and Applications (AINA ^'09), May 2009.

      Pages: 830-837

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Crash-tolerant Flocking of Mobile Robots with Eventually Perfect Failure Detectors2009

    • Author(s)
      S.Souissi, T.Izumi, K.Wada
    • Journal Title

      Proc.11th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS ^'09) 5873

      Pages: 683-697

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Using Eventually Consistent Compasses to Gather Memoryless Mobile Robots with Limited Visibility2009

    • Author(s)
      S. Souissi, X. Defago, M. Yamashita
    • Journal Title

      ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4,1

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Fault-tolerant Flocking of Mobile Robots with whole Fornation Rotation2009

    • Author(s)
      Y. Yang, S. Souissi, X. Defago
    • Journal Title

      IEEE International Conference on Advanced Information Networking and Applications (AINA '09) (To appear)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Crash-tolerant Flocking of Mobile Robots with Eventually Perfect Failure Detectors2009

    • Author(s)
      S. Souissi, T. Izumi, K. Wada
    • Journal Title

      Proc. 2^<nd> Annual fleeting of Asian Association for Algorithms and computation (AAAC '09) (To appear)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Fault-tolerant Flocking in a k-bounded Asynchronous System2008

    • Author(s)
      S. Souissi, Y. Yang, X. Defago
    • Journal Title

      Proc. 12th International Conference On Principles Of Distributed Systems (OPODIS '08). LNCS 5401

      Pages: 145-163

    • NAID

      110007110872

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed

URL: 

Published: 2008-04-01   Modified: 2024-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi