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

A study on self-stabilizing algorithms for mobile agents

Research Project

Project/Area Number 18K11167
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60010:Theory of informatics-related
Research InstitutionNara Institute of Science and Technology

Principal Investigator

Ooshita Fukuhito  奈良先端科学技術大学院大学, 先端科学技術研究科, 准教授 (20362650)

Co-Investigator(Kenkyū-buntansha) 井上 美智子  奈良先端科学技術大学院大学, 先端科学技術研究科, 教授 (30273840)
Project Period (FY) 2018-04-01 – 2021-03-31
Project Status Completed (Fiscal Year 2020)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2019: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2018: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywordsモバイルエージェント / モバイルロボット / 個体群プロトコル / 自己安定 / ビザンチン故障 / 動的ネットワーク / 分散アルゴリズム / 自己安定アルゴリズム
Outline of Final Research Achievements

We have developed distributed algorithms for mobile agents (i.e., computing objects that can move autonomously) in environments with various disturbance. In this work, we have focused on a software agent model (for software agents in computer networks), a mobile robot model (for mobile robots in real environments), and a population protocol model (for nano-scale systems with low-functional devices), and have developed distributed algorithms for various tasks. Some proposed algorithms are self-stabilizing, that is, they make a system recover automatically even if the system becomes inconsistent.

Academic Significance and Societal Importance of the Research Achievements

本研究では、モバイルエージェントを協調動作させるための多数の高効率・高信頼な分散アルゴリズムを提案した。提案したアルゴリズムは、工場・倉庫等で実用化が進むモバイルロボット、農業・物流等で導入が進むドローン、今後広まると期待される自動運転車などが構成するシステムに適用することができる。そのため、本研究成果により、上記のシステムの高効率化・高信頼化を実現することができる。

Report

(4 results)
  • 2020 Annual Research Report   Final Research Report ( PDF )
  • 2019 Research-status Report
  • 2018 Research-status Report
  • Research Products

    (45 results)

All 2021 2020 2019 2018 Other

All Int'l Joint Research (7 results) Journal Article (12 results) (of which Int'l Joint Research: 5 results,  Peer Reviewed: 12 results,  Open Access: 3 results) Presentation (26 results) (of which Int'l Joint Research: 21 results,  Invited: 1 results)

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

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

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] ソルボンヌ大学/国際情報処理科学大学院(フランス)

    • Related Report
      2019 Research-status Report
  • [Int'l Joint Research] ネバダ大学ラスベガス校(米国)

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

    • Related Report
      2019 Research-status Report
  • [Int'l Joint Research] University of Nevada, Las Vegas(米国)

    • Related Report
      2018 Research-status Report
  • [Int'l Joint Research] Sorbonne University(フランス)

    • Related Report
      2018 Research-status Report
  • [Journal Article] Eventually consistent distributed ledger despite degraded atomic broadcast2021

    • Author(s)
      Gregory Benassy, Fukuhito Ooshita, and Michiko Inoue
    • Journal Title

      Concurrency and Computation: Practice and Experience

      Volume: - Issue: 11

    • DOI

      10.1002/cpe.6199

    • NAID

      120007166832

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Ring exploration with myopic luminous robots2021

    • Author(s)
      Fukuhito Ooshita and Sebastien Tixeuil
    • Journal Title

      Information and Computation

      Volume: - Pages: 104702-104702

    • DOI

      10.1016/j.ic.2021.104702

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Exploration of dynamic tori by multiple agents2021

    • Author(s)
      Gotoh Tsuyoshi、Sudo Yuichi、Ooshita Fukuhito、Kakugawa Hirotsugu、Masuzawa Toshimitsu
    • Journal Title

      Theoretical Computer Science

      Volume: 850 Pages: 202-220

    • DOI

      10.1016/j.tcs.2020.11.004

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Loosely Stabilizing Leader Election on Arbitrary Graphs in Population Protocols without Identifiers or Random Numbers2020

    • Author(s)
      SUDO Yuichi、OOSHITA Fukuhito、KAKUGAWA Hirotsugu、MASUZAWA Toshimitsu
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E103.D Issue: 3 Pages: 489-499

    • DOI

      10.1587/transinf.2019FCP0003

    • NAID

      130007804163

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2020-03-01
    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots2020

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

      Concurrency and Computation Practice and Experience

      Volume: 32 Issue: 11 Pages: 1-15

    • DOI

      10.1002/cpe.6123

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Time-Optimal Leader Election in Population Protocols2020

    • Author(s)
      Sudo Yuichi、Ooshita Fukuhito、Izumi Taisuke、Kakugawa Hirotsugu、Masuzawa Toshimitsu
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems

      Volume: 31 Issue: 11 Pages: 2620-2632

    • DOI

      10.1109/tpds.2020.2991771

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Dynamic Ring Exploration with (H,S) View2020

    • Author(s)
      Gotoh Tsuyoshi、Sudo Yuichi、Ooshita Fukuhito、Masuzawa Toshimitsu
    • Journal Title

      Algorithms

      Volume: 13 Issue: 6 Pages: 141-141

    • DOI

      10.3390/a13060141

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Byzantine-tolerant gathering of mobile agents in asynchronous arbitrary networks with authenticated whiteboards2020

    • Author(s)
      Masashi Tsuchida, Fukuhito Ooshita, and Michiko Inoue
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E103-D

    • NAID

      130007867759

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Move-optimal partial gathering of mobile agents without identifiers or global knowledge in asynchronous unidirectional rings2020

    • Author(s)
      Masahiro Shibata, Norikazu Kawata, Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Journal Title

      Theoretical Computer Science

      Volume: - Pages: 92-109

    • DOI

      10.1016/j.tcs.2020.04.002

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Loosely-stabilizing leader election with polylogarithmic convergence time2020

    • Author(s)
      Sudo Yuichi、Ooshita Fukuhito、Kakugawa Hirotsugu、Masuzawa Toshimitsu、Datta Ajoy K.、Larmore Lawrence L.
    • Journal Title

      Theoretical Computer Science

      Volume: 806 Pages: 617-631

    • DOI

      10.1016/j.tcs.2019.09.034

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Loosely-stabilizing leader election for arbitrary graphs in population protocol model2019

    • Author(s)
      Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta, and Lawrence L. Larmore
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems

      Volume: 30 Issue: 6 Pages: 1359-1373

    • DOI

      10.1109/tpds.2018.2881125

    • Related Report
      2019 Research-status Report 2018 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A population protocol for uniform k-partition under global fairness2019

    • Author(s)
      Hiroto Yasumi, Naoki Kitamura, Fukuhito Ooshita, Taisuke Izumi, and Michiko Inoue
    • Journal Title

      International Journal of Networking and Computing

      Volume: 9 Pages: 97-110

    • NAID

      130007581112

    • Related Report
      2018 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] Terminating grid exploration with myopic luminous robots2021

    • Author(s)
      Shota Nagahama, Fukuhito Ooshita, and Michiko Inoue
    • Organizer
      23rd Workshop on Advances in Parallel and Distributed Computational Models (APDCM)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Gathering with a strong team in weakly Byzantine environments2021

    • Author(s)
      Jion Hirose, Junya Nakamura, Fukuhito Ooshita, and Michiko Inoue
    • Organizer
      22nd International Conference on Distributed Computing and Networking (ICDCN)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Uniform bipartition in population protocol model with arbitrary communication graphs2020

    • Author(s)
      Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, and Sebastien Tixeuil
    • Organizer
      24th International Conference on Principles of Distributed Systems (OPODIS)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Brief announcement: Gathering with a strong team in weakly Byzantine environments2020

    • Author(s)
      Jion Hirose, Masashi Tsuchida, Junya Nakamura, Fukuhito Ooshita, and Michiko Inoue
    • Organizer
      27th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Uniform bipartition in population protocol model over arbitrary communication networks2020

    • Author(s)
      Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, and Sebastien Tixeuil
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2020 Annual Research Report
  • [Presentation] Gathering for mobile agents with a strong team in weakly Byzantine environments2020

    • Author(s)
      Jion Hirose, Masashi Tsuchida, Junya Nakamura, Fukuhito Ooshita, and Michiko Inoue
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2020 Annual Research Report
  • [Presentation] Uniform partition in population protocol model under weak fairness2019

    • Author(s)
      Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue
    • Organizer
      the 23rd International Conference on Principles of Distributed Systems (OPODIS)
    • Related Report
      2019 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
      the 23rd International Conference on Principles of Distributed Systems (OPODIS)
    • 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
      the 11th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Eventually consistent distributed ledger relying on degraded atomic broadcast2019

    • Author(s)
      Gregory Benassy, Fukuhito Ooshita, and Michiko Inoue
    • Organizer
      the 11th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Black hole search despite Byzantine agents2019

    • Author(s)
      Masashi Tsuchida, Fukuhito Ooshita, and Michiko Inoue
    • Organizer
      the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view2019

    • Author(s)
      Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, and Toshimitsu Masuzawa
    • Organizer
      the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Logarithmic expected-time leader election in population protocol model2019

    • Author(s)
      Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Organizer
      the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Ring exploration of myopic luminous robots with visibility more than one2019

    • Author(s)
      Shota Nagahama, Fukuhito Ooshita, and Michiko Inoue
    • Organizer
      the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Brief announcement: Self-stabilizing LCM schedulers for autonomous mobile robots using neighborhood mutual remainder2019

    • Author(s)
      Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, and Koichi Wada
    • Organizer
      the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • 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
      the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • 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, and Koichi Wada
    • Organizer
      the 33rd International Symposium on Distributed Computing (DISC)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Brief announcement: Logarithmic expected-time leader election in population protocol model2019

    • Author(s)
      Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Organizer
      the 38th ACM Symposium on Principles of Distributed Computing (PODC)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Partial gathering of mobile agents without identifiers or global knowledge in asynchronous unidirectional rings2019

    • Author(s)
      Masahiro Shibata, Norikazu Kawata, Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Organizer
      the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] 視界に制限のあるライト付きモバイルロボットによるリング探索2019

    • Author(s)
      長濵将太,大下福仁,井上美智子
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2019 Research-status Report 2018 Research-status Report
  • [Presentation] 匿名単方向リングにおける部分集合問題に対する移動数最適な匿名エージェント乱択アルゴリズム2019

    • Author(s)
      河田倫和,柴田将拡,首藤裕一,大下福仁,角川裕次,増澤利光
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2018 Research-status Report
  • [Presentation] Ring exploration with myopic luminous robots2018

    • Author(s)
      Fukuhito Ooshita and Sebastien Tixeuil
    • Organizer
      The 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Brief announcement: Feasibility of weak gathering in connected-over-time dynamic rings2018

    • Author(s)
      Fukuhito Ooshita and Ajoy K. Datta
    • Organizer
      The 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Computational power of myopic robots on graphs2018

    • Author(s)
      Fukuhito Ooshita
    • Organizer
      2nd Workshop on Self-organization in Swarm of Robots
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Loosely-stabilizing leader election with polylogarithmic convergence time2018

    • Author(s)
      Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta, and Lawrence L. Larmore
    • Organizer
      The 22nd International Conference on Principles of Distributed Systems (OPODIS)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] ラインおよびリングを形成する基地局を用いた仲介型個体群プロトコル2018

    • Author(s)
      吉川裕美,首藤裕一,大下福仁,角川裕次,増澤利光
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Related Report
      2018 Research-status Report

URL: 

Published: 2018-04-23   Modified: 2022-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi