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

Adaptive fault-tolerant distributed algorithms for dynamic tasks in dynamic networks

Research Project

Project/Area Number 19K11828
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60010:Theory of informatics-related
Research InstitutionHiroshima University

Principal Investigator

Kamei Sayaka  広島大学, 先進理工系科学研究科(工), 准教授 (90434977)

Project Period (FY) 2019-04-01 – 2024-03-31
Project Status Discontinued (Fiscal Year 2023)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2023: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2022: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2021: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2020: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2019: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywords分散アルゴリズム / 耐故障性 / 自己安定性 / 動的分散問題 / 自己安定アルゴリズム / 安全収束性 / 低機能モバイルロボット / 危険区域問題 / 支配集合問題 / ロボットモデル / 2-極小支配集合問題 / 相互排除問題 / 動的ネットワーク
Outline of Research at the Start

本研究では,トポロジが動的に変化するネットワークにおいても十分に実用に耐える,故障耐性を持つ自己安定分散アルゴリズムの設計を目的とする.本研究では特に,解状況が動的な問題について,安全収束性を持たせた自己安定アルゴリズムを考える.安全収束性は,最低限のサービスが保証できる性質を持つ状況にすばやく収束し,その性質を保持しながら最適な状況へと収束するというものであり,一般的に安全収束性を持たせることは難しい.よって,安全収束性を持つ自己安定アルゴリズムを複数設計する中で,安全収束性を持たせるための設計の簡単化手法を探る.

Outline of Final Research Achievements

We discuss the global (or local) critical section problem (hereafter CS problem), a dynamic task, which is a generalized framework of mutual exclusion, k-mutual exclusion, and mutual inclusion problems, in which at each time, at least l and at most k processes in the system (or their neighbors) are allowed to access the CS.
Furthermore, given that processes in a dynamic network may have limited computing power (power, memory, etc.) to spend on such distributed problems, we also consider the computability of the basic problem in robot models with less computing power.

Academic Significance and Societal Importance of the Research Achievements

本研究は,トポロジが動的に変化するネットワークにおいても十分に実用に耐える,故障耐性を持つ分散アルゴリズムの設計を目的とした.動的なネットワークでは,リンクの切断やメッセージの損失,外乱によるメモリ内容の改変などの一時故障が起こりやすい.そういった故障や変化に対する耐性を持つ分散アルゴリズムとして,自己安定性を持つ分散アルゴリズムが有効である.本研究では特に,解状況が動的な問題について考え,その一つとして危険区域問題を扱ってきた.これは相互排除問題やk-相互排除問題,相互包括問題など,多くの応用が考えられる問題を一般化した枠組みである.

Report

(5 results)
  • 2023 Final Research Report ( PDF )
  • 2022 Annual Research Report
  • 2021 Research-status Report
  • 2020 Research-status Report
  • 2019 Research-status Report
  • Research Products

    (24 results)

All 2022 2021 2020 2019 Other

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

  • [Int'l Joint Research] Sorbonne University(フランス)

    • Related Report
      2022 Annual Research Report
  • [Int'l Joint Research] Ben-Gurion University of the Negev(イスラエル)

    • Related Report
      2022 Annual Research Report
  • [Int'l Joint Research] ソルボンヌ大学(フランス)

    • Related Report
      2019 Research-status Report
  • [Int'l Joint Research] ネゲヴ・ベン=グリオン大学(イスラエル)

    • Related Report
      2019 Research-status Report
  • [Journal Article] An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous Robots on Grids2022

    • Author(s)
      Sayaka Kamei and Sebastien Tixeuil
    • Journal Title

      The Computer Journal

      Volume: - Issue: 1 Pages: 57-77

    • DOI

      10.1093/comjnl/bxac158

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A self-stabilizing token circulation with graceful handover on bidirectional ring networks2022

    • Author(s)
      Hirotsugu Kakugawa, Sayaka Kamei and Yoshiaki Katayama
    • Journal Title

      International Journal of Networking and Computing

      Volume: 12 Issue: 1 Pages: 103-130

    • DOI

      10.15803/ijnc.12.1_103

    • NAID

      130008142104

    • ISSN
      2185-2839, 2185-2847
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Evacuation from a Finite 2D Square Grid Field by a Metamorphic Robotic System2021

    • Author(s)
      Junya Nakamura, Sayaka Kamei and Yukiko Yamauchi
    • Journal Title

      Concurrency and Computation: Practice and Experience

      Volume: - Issue: 14

    • DOI

      10.1002/cpe.6628

    • Related Report
      2021 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] A self-stabilizing distributed algorithm for the local (1,|Ni|)-critical section problem2019

    • Author(s)
      Sayaka Kamei, Hirotsugu Kakugawa
    • Journal Title

      Concurrency and Computation: Practice and Experience

      Volume: - Issue: 12 Pages: 1-21

    • DOI

      10.1002/cpe.5628

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Asynchronous message-passing distributed algorithm for the global critical section problem2019

    • Author(s)
      Sayaka Kamei, Hirotsugu Kakugawa
    • Journal Title

      International Journal of Networking and Computing

      Volume: 9 Issue: 2 Pages: 147-160

    • DOI

      10.15803/ijnc.9.2_147

    • NAID

      130007680118

    • ISSN
      2185-2839, 2185-2847
    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Presentation] A linear-time self-stabilizing distributed algorithm for the minimal minus (L,K,Z)-domination problem under the distance-2 model2022

    • Author(s)
      Hirotsugu Kakugawa and Sayaka Kamei
    • Organizer
      International Workshop on Parallel and Distributed Algorithms and Applications
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A self-stabilizing 2-minimal dominating set algorithm based on loop composition in networks of girth at least 72022

    • Author(s)
      Syohei Maruyama, Yuichi Sudo, Sayaka Kamei and Hirotsugu Kakugawa
    • Organizer
      IEEE International Parallel and Distributed Processing Symposium (IPDPS)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous Robots on Grids2022

    • Author(s)
      Sayaka Kamei and Sebastien Tixeuil
    • Organizer
      Research Meeting and School on Distributed Computing by Mobile Robots
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] A self-stabilizing token circulation with graceful handover on bidirectional ring networks2021

    • Author(s)
      Hirotsugu Kakugawa and Sayaka Kamei
    • Organizer
      23rd Workshop on Advances in Parallel and Distributed Computational Models
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Location Functions for Self-Stabilizing Byzantine Tolerant Swarms2021

    • Author(s)
      Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita and Koichi Wada
    • Organizer
      23st International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] A Distributed Multi-group Mutual Exclusion Algorithm for Intersection Traffic Control2021

    • Author(s)
      Hirotsugu Kakugawa and Sayaka Kamei
    • Organizer
      4th Sustainable Computing Systems Workshop
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Asynchronous Gathering in a Torus2021

    • Author(s)
      Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sebastien Tixeuil and Koichi Wada
    • Organizer
      International Conference on Principles of Distributed Systems
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Autonomous Distributed Systems of Myopic Mobile Robots with Lights2021

    • Author(s)
      Sayaka Kamei
    • Organizer
      The 22nd International Conference on Distributed Computing & Networking (ICDCN 2021)
    • Related Report
      2020 Research-status Report
    • Invited
  • [Presentation] Evacuation from a Finite 2D Square Grid Field by a Metamorphic Robotic System2020

    • Author(s)
      Junya Nakamura, Sayaka Kamei, Yukiko Yamauchi
    • Organizer
      Eighth International Symposium on Computing and Networking
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research
  • [Presentation] Gathering on Rings for Myopic Asynchronous Robots with Lights2019

    • Author(s)
      Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sebastien Tixeuil and Koichi Wada
    • Organizer
      International Conference on Principles of Distributed Systems
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots2019

    • Author(s)
      Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita and Koichi Wada
    • Organizer
      International Workshop on Parallel and Distributed Algorithms and Applications
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Brief announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots2019

    • Author(s)
      Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita and Koichi Wada
    • Organizer
      International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Brief Announcement: Self-Stabilizing Implementation of LCM Robots2019

    • Author(s)
      Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
    • Organizer
      International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Brief Announcement: Neighborhood Mutual Remainder and its Self-Stabilizing Implementation of Look-Compute-Move Robots2019

    • Author(s)
      Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
    • Organizer
      International Symposium on Distributed Computing
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] A self-stabilizing algorithm for the local (1,|Ni|)-critical section problem with safe convergence2019

    • Author(s)
      Sayaka Kamei and Hirotsugu Kakugawa
    • Organizer
      Workshop on Advances in Parallel and Distributed Computational Models
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research

URL: 

Published: 2019-04-18   Modified: 2025-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi