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

Constructing a Theory of Autonomous Distributed Computing

Research Project

Project/Area Number 24650008
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Fundamental theory of informatics
Research InstitutionKyushu University

Principal Investigator

Yamashita Masafumi  九州大学, システム情報科学研究科(研究院, 教授 (00135419)

Project Period (FY) 2012-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords分散システム / 自律性 / Population protocol / 自律分散ロボット / Population Protocol / 分子ロボット / 合意問題 / 回転群 / 自励振動 / 分散ロボットシステム / 確率的アルゴリズム / 自己安定性 / 乱歩 / 自己組織化
Outline of Final Research Achievements

We investigated how a large-scale distributed systems realize autonomy. Our aim is to understand large-scale distributed systems in terms of the structure of distributed computing. We mainly obtained the following three results: (1) Oscillation in population protocol model: We show a condition for a population protocol model to have oscillation and how to design such an oscillatory population protocol model. (2) Self-organization of autonomous mobile robots in the two-dimensional space: We show the effect of synchrony, obliviousness, and randomness of the robots on their self-organization ability. (3) We considered mobile robots in the three-dimensional space and showed that a rotation group and its action on the positions of the robots determine their self-organization ability.

Report

(5 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • 2012 Research-status Report
  • Research Products

    (26 results)

All 2015 2014 2013 2012 Other

All Int'l Joint Research (2 results) Journal Article (4 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 4 results,  Acknowledgement Compliant: 1 results) Presentation (20 results) (of which Int'l Joint Research: 3 results)

  • [Int'l Joint Research] U.Ottawa/Carleton U(カナダ)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] King's College(英国)

    • Related Report
      2015 Annual Research Report
  • [Journal Article] Autonomous mobile robots with lights2015

    • Author(s)
      Shantanu Das, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Masafumi Yamashita
    • Journal Title

      Theoretical Computer Science

      Volume: 609 Pages: 171-184

    • DOI

      10.1016/j.tcs.2015.09.018

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] On the Expressivity of Time-Varying Graphs2015

    • Author(s)
      Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, NicolaSantoro, Masafumi Yamashita
    • Journal Title

      Theoretical Computer Science

      Volume: 未

    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Journal Article] On space complexity of self-stabilizing leader election in mediated population protocol2012

    • Author(s)
      Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita
    • Journal Title

      Distributed Computing

      Volume: 25 Issue: 6 Pages: 451-460

    • DOI

      10.1007/s00446-012-0173-9

    • NAID

      110007995639

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Probabilistic Self-Stabilization and Biased Random Walks on Dynamic Graphs2012

    • Author(s)
      Masafumi Yamashita
    • Journal Title

      International Journal of Networking and Computing

      Volume: 2

    • NAID

      130005475374

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] Formation problems for synchronous mobile robots in the three dimensional Euclidean space2015

    • Author(s)
      Yukiko Yamauchi, Taichi Uehara, and Masafumi Yamashita
    • Organizer
      第155回アルゴリズム研究会
    • Place of Presentation
      指宿市民会館(鹿児島県指宿市)
    • Year and Date
      2015-11-20
    • Related Report
      2015 Annual Research Report
  • [Presentation] Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space2015

    • Author(s)
      Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 29th International Symposium on Distributed Computing (DISC2015)
    • Place of Presentation
      Tokyo (Japan)
    • Year and Date
      2015-10-07
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Forming a plane by semi-synchronous autonomous mobile robots2015

    • Author(s)
      Taichi Uehara , Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      Workshop on Distributed Robotic Swarms
    • Place of Presentation
      アルカディア市ヶ谷 (東京都千代田区)
    • Year and Date
      2015-10-05
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 3次元空間中におけるキラリティの無い分散ロボットの平面形成問題2015

    • Author(s)
      冨田祐作,山内由紀子,来嶋秀治,山下雅史
    • Organizer
      電気・情報関連学会九州支部第68回連合大会
    • Place of Presentation
      福岡大学(福岡県福岡市)
    • Year and Date
      2015-09-26
    • Related Report
      2015 Annual Research Report
  • [Presentation] Constructing Self-Stabilizing Oscillators in Population Protocols2015

    • Author(s)
      Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, and Yukiko Yamauchi
    • Organizer
      The 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015)
    • Place of Presentation
      Edmonton (Canada)
    • Year and Date
      2015-08-18
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Agreement in the Three Dimensional Space: Plane Formation by Synchronous Mobile Robots2015

    • Author(s)
      Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      第153回アルゴリズム研究会
    • Place of Presentation
      定山渓ビューホテル(北海道札幌市)
    • Year and Date
      2015-06-12
    • Related Report
      2015 Annual Research Report
  • [Presentation] ストリーム中のアイテム頻度に関する省領域乱択近似アルゴリズム2015

    • Author(s)
      任熙宰,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      2014年度 冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2015-01-28 – 2015-01-30
    • Related Report
      2014 Research-status Report
  • [Presentation] 多項式時間決定的サンプラーの頂点誤差解析2014

    • Author(s)
      白髪 丈晴,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      第150回アルゴリズム研究会
    • Place of Presentation
      伝国の杜(山形県米沢市)
    • Year and Date
      2014-09-12
    • Related Report
      2014 Research-status Report
  • [Presentation] L∞-Discrepancy Analysis of Polynomial-time Deterministic Samplers Emulating Rapidly Mixing Chains2014

    • Author(s)
      Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 20th International Computing and Combinatorics Conference (COCOON 2014)
    • Place of Presentation
      Atlanta, USA
    • Year and Date
      2014-08-04 – 2014-08-06
    • Related Report
      2014 Research-status Report
  • [Presentation] An Analysis of Deterministic Random Walks on Hypercubes using the Krawtchouk Polynomial2014

    • Author(s)
      Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 20th Conference of the International Federation of Operational Research Societies (IFORS 2014)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2014-07-13 – 2014-07-18
    • Related Report
      2014 Research-status Report
  • [Presentation] Estimation of Non-linear Function of the Frequency in A Pairwise Data Stream2014

    • Author(s)
      Heejae Yim, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 17th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2014)
    • Place of Presentation
      Okinawa, Japan
    • Year and Date
      2014-07-13 – 2014-07-15
    • Related Report
      2014 Research-status Report
  • [Presentation] Rendezvous of Two Robots with Constant Memory2013

    • Author(s)
      Paola Flocchini, Nicola Santoro, Giovanni Viglietta, and Masafumi Yamashita
    • Organizer
      The 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2013)
    • Place of Presentation
      Ischia, Italy
    • Related Report
      2013 Research-status Report
  • [Presentation] Pattern Formation by Mobile Robots with Limited Visibility2013

    • Author(s)
      Yukiko Yamauchi and Masafumi Yamashita
    • Organizer
      The 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2013)
    • Place of Presentation
      Ischia, Italy
    • Related Report
      2013 Research-status Report
  • [Presentation] 関数ルーターモデルによるハイパーキューブ上ランダムウォークの脱乱択化2013

    • Author(s)
      白髪丈晴,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      第144回アルゴリズム研究会
    • Place of Presentation
      小樽商科大学
    • Related Report
      2013 Research-status Report
  • [Presentation] 無理数の遷移確率を含むランダムウォークの脱乱択化2013

    • Author(s)
      白髪丈晴,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      日本OR学会「最適化の理論と応用」研究部会 -- 未来を担う若手研究者の集い2013 --
    • Place of Presentation
      筑波大学
    • Related Report
      2013 Research-status Report
  • [Presentation] グラフの辺削除がランダムウォークに与える影響に関する実験2013

    • Author(s)
      中島淳平,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      平成25年度(第66回)電気関係学会九州支部連合大会
    • Place of Presentation
      熊本大学
    • Related Report
      2013 Research-status Report
  • [Presentation] 森および連結全域部分グラフの乱択近似数え上げ2013

    • Author(s)
      三原勇治
    • Organizer
      2013年電子情報通信学会 総合大会,COMP学生シンポジウム
    • Place of Presentation
      岐阜大学,岐阜
    • Related Report
      2012 Research-status Report
  • [Presentation] 動的グラフ上のランダムウォークの到達時間と全訪問時間2013

    • Author(s)
      木場孝輔
    • Organizer
      2013年電子情報通信学会 総合大会,COMP学生シンポジウム
    • Place of Presentation
      岐阜大学,岐阜
    • Related Report
      2012 Research-status Report
  • [Presentation] An extension of Matthews' bound to multiplex random walks2012

    • Author(s)
      Yusuke Hosaka
    • Organizer
      The 14th Workshop on Advances in Parallel and Distributed Computational Models (APDCM 2012)
    • Place of Presentation
      Regal Shanghai East Asia Hotel Shanghai, Shanghai, China
    • Related Report
      2012 Research-status Report
  • [Presentation] Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers2012

    • Author(s)
      Yukiko Yamauchi
    • Organizer
      The 26th International Symposium on Distributed Computing (DISC 2012)
    • Place of Presentation
      Pestana Bahia Hotel, Brazil
    • Related Report
      2012 Research-status Report

URL: 

Published: 2013-05-31   Modified: 2022-01-31  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi