Designing distributed algorithms running on continuous network dynamics

• Project/Area Number: 22700010
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Fundamental theory of informatics
• Research Institution: Nagoya Institute of Technology
• Principal Investigator: IZUMI Taisuke 名古屋工業大学, 工学研究科, 准教授 (20432461)
• Project Period (FY): 2010 – 2012
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000); Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2010: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
• Keywords: アルゴリズム / 情報基礎 / 分散システム / 分散アルゴリズム

Research Abstract

We studied distributed algorithms for the networks that continuously and dynamically changes their toplogical properties, such as mobile wireless systems and P2P systems. In particular, focusing on theoretical models recently emerging, we developed several new algorithms. Our research topics include autonomous mobile robots, overlay design, and population protocol models.

Research Products

• [Journal Article] Feasibility of Polynomial-time Randomized Gathering for Oblivious Mobile Robots (2013)
  • Author(s): Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Oosita
  • Journal Title: IEEE Transactions on Parallel and Distributed Systems Volume: Vol. 24, No. 4 Issue: 4 Pages: 716-723
  • DOI: 10.1109/tpds.2012.212
  • Peer Reviewed
• [Journal Article] Time-Optimal Gathering Algorihm of Mobile Robots with Local Weak Multiplicity Detection in Rings (2013)
  • Author(s): Tomoko Izumi, Taisuke Izumi, Sayaka, Kamei, Fukuhito Oosita
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E96-A
  • Peer Reviewed
• [Journal Article] The Optimal Tolerance of Uniform Observation Error for Mobile Robot Convergence (2012)
  • Author(s): Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
  • Journal Title: Theoretical ComputerScience Volume: Vol. 444, No. 27 Pages: 77-86
  • DOI: 10.1016/j.tcs.2012.04.038
  • Peer Reviewed
• [Journal Article] The price of multi-organization constraint in unrelated parallel machine scheduling (2012)
  • Author(s): Fukuhito Oosita, Tomoko Izumi, Taisuke Izumi
  • Journal Title: Parallel Processing Letters Volume: Vol. 22, No. 2 Issue: 02 Pages: 1250006-1250006
  • DOI: 10.1142/s0129626412500065
  • Peer Reviewed
• [Journal Article] Minimum Certificate Dispersal with Tree Structure (2012)
  • Author(s): Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
  • Journal Title: 9th annual conference on Theory and Applications of Models of Computation(TAMC) Volume: Vol. 7287 of LNCS Pages: 548-559
• [Journal Article] On the approximability and hardness of minimum topic connected overlay and its special instances (2012)
  • Author(s): J.Hosoda, J.Hromkovic, T.Izumi,, H.Ono, M.Steinova, K.Wada
  • Journal Title: Theoretical Computer Science Volume: 429 Pages: 144-154
  • DOI: 10.1016/j.tcs.2011.12.033
  • Peer Reviewed
• [Journal Article] The Gathering Problem for Two Oblivious Robots with Unreliable Compasses (2012)
  • Author(s): Taisuke Izumi
  • Journal Title: SIAM Journal on Computing Volume: 41(1) Issue: 1 Pages: 26-46
  • DOI: 10.1137/100797916
  • Peer Reviewed
• [Journal Article] How to Prove Impossibility under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model (2012)
  • Author(s): Cai Shukai, Taisuke Izumi, Koichi Wada
  • Journal Title: Theory of Computing Systems Volume: Vol. 50, No. 3 Issue: 3 Pages: 433-445
  • DOI: 10.1007/s00224-011-9313-z
• [Journal Article] Minimum Certificate Dispersal with Tree Structures (2012)
  • Author(s): Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
  • Journal Title: TAMC Volume: 7287 Pages: 548-559
  • DOI: 10.1007/978-3-642-29952-0_51
  • ISBN: 9783642299513, 9783642299520
  • Peer Reviewed
• [Journal Article] Adaptive and Doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems (2011)
  • Author(s): Nazreen Banu, Taisuke Izumi, Koichi Wada
  • Journal Title: Parallel Processing Letters Volume: Vol. 21, No. 4 Issue: 04 Pages: 461-477
  • DOI: 10.1142/s0129626411000321
• [Journal Article] The BG-simulation for Byzantine Mobile Robots (2011)
  • Author(s): Taisuke Izumi, Zohir Bouzid, Sebastien Tixeuil, Koichi Wada
  • Journal Title: 25th International Symposium on Distributed Computing(DISC) Volume: Vol. 6950 of LNCS Pages: 330-331
  • DOI: 10.1007/978-3-642-24100-0_32
  • ISBN: 9783642240997, 9783642241000
• [Journal Article] Physical Expander in Virtual Tree Overlay (2011)
  • Author(s): Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero
  • Journal Title: 25th International Symposium on Distributed Computing(DISC) Volume: Vol. 6950 of LNCS Pages: 82-96
• [Journal Article] Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model (2011)
  • Author(s): Samia Souissi, Taisuke Izumi, Koichi Wada
  • Journal Title: Theoretical Computer Science Volume: Vol. 412, No. 33 Issue: 33 Pages: 4350-4360
  • DOI: 10.1016/j.tcs.2010.11.011
• [Journal Article] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances (2011)
  • Author(s): Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada
  • Journal Title: 36th International Symposium on Mathematical Foundations of Computer Science(MFCS) Volume: Vol. 6907 of LNCS Pages: 376-387
• [Journal Article] Physical Expander in Virtual Tree Overlay (2011)
  • Author(s): Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero
  • Journal Title: Proc.of 25th International Symposium on Distributed Computing Volume: Vol.6950 of LNCS Pages: 82-96
  • DOI: 10.1007/978-3-642-24100-0_6
  • ISBN: 9783642240997, 9783642241000
  • Peer Reviewed
• [Journal Article] How to Prove Impossibility under Global Fairness : On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model (2011)
  • Author(s): S.Cai, T.Izumi, K.Wada
  • Journal Title: Theory of Computing Systems Volume: (未出版(採録決定))
  • Peer Reviewed
• [Journal Article] Improving SpacE Complexity of Self-stabilizing Countingon Mobile Sensor Networks (2010)
  • Author(s): Keigo Kinpara, Tomoko Izumi, TaisukE Izumi, Koichi Wada
  • Journal Title: 14th International Conference on Principle of Distributed Systems (OPODIS) Volume: Vol. 6430 of LNCS Pages: 504-515
  • DOI: 10.1007/978-3-642-17653-1_36
  • ISBN: 9783642176524, 9783642176531
• [Journal Article] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility (2010)
  • Author(s): Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sebastien Tixeuil
  • Journal Title: The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) Volume: Vol. 6366 of LNCS Pages: 319-331
  • DOI: 10.1007/978-3-642-16023-3_27
  • ISBN: 9783642160226, 9783642160233
• [Journal Article] Doubly-Expedited One-step Byzantine Consensus (2010)
  • Author(s): Nazreen Banu, Taisuke Izumi, Koichi Wada
  • Journal Title: The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010) Pages: 373-382
  • DOI: 10.1109/dsn.2010.5544293
• [Journal Article] Mobile Robot Gathering Algorithm with Local Weak Multiplicity in Rings (2010)
  • Author(s): Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, Fukuhito Ooshita
  • Journal Title: 17th International Colloquium on Structural Information and Communication Complexity (SIROCCO) Volume: Vol. 6058 of LNCS Pages: 101-113
  • DOI: 10.1007/978-3-642-13284-1_9
  • ISBN: 9783642132834, 9783642132841
• [Journal Article] Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks (2010)
  • Author(s): K.Kinpara, T.Izumi, K.Wada
  • Journal Title: Lecture Notes in Computer Science (14th International Conference on Principle of Distributed Systems (OPODIS)) Volume: 6430 Pages: 504-515
  • Peer Reviewed
• [Journal Article] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility (2010)
  • Author(s): Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sebastien Tixeuil
  • Journal Title: Lecture Notes in Computer Science (The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)) Volume: 6366 Pages: 319-331
  • Peer Reviewed
• [Presentation] 完全ネットワーク上で最小生成木問題を解く新しい分散アルゴリズム (2012)
  • Author(s): 泉泰介
  • Organizer: 2012年夏のLAシンポジウム
  • Place of Presentation: 兵庫
  • Year and Date: 2012-07-18
• [Presentation] Minimum CertificateDispersal with Tree Structure (2012)
  • Author(s): 泉泰介
  • Organizer: 9th annual conference on Theory and Applications of Models of Computation
  • Place of Presentation: 北京,中国
  • Year and Date: 2012-05-17
• [Presentation] Minimum Certificate Dispersal with Tree Structure (2012)
  • Author(s): Taisuke Izumi
  • Organizer: 9th annual conference on Theory and Applications of Models of Computation
  • Place of Presentation: Beijing, China
• [Presentation] The BG-simulation for Byzantine Mobile Robots (2011)
  • Author(s): 泉泰介
  • Organizer: 25th International Symposium on Distributed Computing
  • Place of Presentation: ローマ,イタリア
  • Year and Date: 2011-09-21
• [Presentation] Physical Expander in Virtual Tree Overlay (2011)
  • Author(s): 泉泰介
  • Organizer: 25th International Symposium on Distributed Computing
  • Place of Presentation: ローマ,イタリア
  • Year and Date: 2011-09-20
• [Presentation] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances (2011)
  • Author(s): Monika Steinova, Taisuke Izumi
  • Organizer: 36th International Symposium on Mathematical Foundations of Computer Science(MFCS)
  • Place of Presentation: ワルシャワ,ポーランド.
  • Year and Date: 2011-08-25
• [Presentation] 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成 (2011)
  • Author(s): 泉泰介
  • Organizer: 2011年夏のLAシンポジウム
  • Place of Presentation: 静岡
  • Year and Date: 2011-07-21
• [Presentation] Distributed Algorithms for Cooperative Mobile Robots : A Survey (2011)
  • Author(s): S.Souissi
  • Organizer: Second International Conference on Networking and Computing(ICNC)
  • Place of Presentation: 大阪府,日本(招待講演)
• [Presentation] Physical Expander in Virtual Tree Overlay (2011)
  • Author(s): T.Izumi
  • Organizer: 25th International Symposium on Distributed Computing (DISC)
  • Place of Presentation: ローマ,イタリア
• [Presentation] The BG-simulation for Byzantine Mobile Robots (2011)
  • Author(s): T.Izumi
  • Organizer: 25th International Symposium on Distributed Computing (DISC)
  • Place of Presentation: ローマ,イタリア
• [Presentation] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances (2011)
  • Author(s): M.Steinova
  • Organizer: 36th International Symposium on Mathematical Foundations of Computer Science (MFCS)
  • Place of Presentation: ワルシャワ,ポーランド
• [Presentation] 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成 (2011)
  • Author(s): 泉泰介
  • Organizer: 2011年夏のLAシンポジウム
  • Place of Presentation: 静岡県,日本
• [Presentation] lmproving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks (2010)
  • Author(s): 金原圭吾,泉泰介
  • Organizer: 14th International Conference on Principle of Distributed Systems(OPODIS)
  • Place of Presentation: トズル,チュニジア
  • Year and Date: 2010-12-14
• [Presentation] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility (2010)
  • Author(s): 泉泰介
  • Organizer: The l2th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
  • Place of Presentation: ニューヨーク,米国
  • Year and Date: 2010-09-21
• [Presentation] ビザンチン故障を含むロボット群の一点集合問題に対する強い不可能性 (2010)
  • Author(s): 泉泰介
  • Organizer: 2010年夏の猛シンポジウム
  • Place of Presentation: 富山.
  • Year and Date: 2010-07-20
• [Presentation] Doubly-Expedited One-step Byzantine Consensus (2010)
  • Author(s): 泉泰介
  • Organizer: The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
  • Place of Presentation: シカゴ,米国
  • Year and Date: 2010-06-29
• [Presentation] Mobile Robot Gathering Algorithm with Local Weak Multiplicity in Rings (2010)
  • Author(s): 亀井清華,泉泰介
  • Organizer: 17th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
  • Place of Presentation: シリンス,トノレコ.
  • Year and Date: 2010-06-10
• [Presentation] Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks (2010)
  • Author(s): Keigo Kinpara
  • Organizer: 14th International Conference on Principle of Distributed Systems (OPODIS)
  • Place of Presentation: トズル、チュニジア
• [Presentation] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibillty (2010)
  • Author(s): Taisuke Izumi
  • Organizer: The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
  • Place of Presentation: ニューヨーク、アメリカ
• [Presentation] ビザンチン故障を含むロボット群の一点集合問題に対する強い不可能性 (2010)
  • Author(s): 泉泰介
  • Organizer: 2010年夏のLAシンポジウム
  • Place of Presentation: 富山、日本