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

2011 Fiscal Year Final Research Report

A universal model for distributed systems based on mobilecomputational particles and its computational bound

Research Project

  • PDF
Project/Area Number 21500013
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionNagoya Institute of Technology

Principal Investigator

WADA Koighi  名古屋工業大学, 大学院・工学研究科, 教授 (90167198)

Co-Investigator(Renkei-kenkyūsha) KATAYAMA Yoshiaki  名古屋工業大学, 大学院・工学研究科, 准教授 (10263435)
IZUMI Taisuke  名古屋工業大学, 大学院・工学研究科, 准教授 (20432461)
Project Period (FY) 2009 – 2011
Keywordsモバイル粒子 / 自律分散ロボット群 / 個体群プロトコル / センサーネットワーク / 耐故障性 / 計算限界
Research Abstract

We have analyzed distributed systems consisting of mobile entitiescalled mobile computational particles(MCP for short) from the viewpoints of the system size, computational power of particles, mobile power of particles, communication power, uncertainty of systems, have resolved essential features involved in mobile distributed systems consisting of MCPs, including autonomous mobile robots, emergent systems and molecular computation and have developed their computational bounds. We have also given new viewpoints for their previous open problems and verified possibility of newly creative problems.

  • Research Products

    (21 results)

All 2012 2011 2010 2009

All Journal Article (8 results) (of which Peer Reviewed: 8 results) Presentation (13 results)

  • [Journal Article] A better dynamic cluster-based structure of wireless sensor network for efficient routing2012

    • Author(s)
      A. K. M. M. Islam, K. Wada, J. Uchida, W. Chen, 7.
    • Journal Title

      International Journal of Innovative Computing, Information and Control(IJICIC)

    • Peer Reviewed
  • [Journal Article] The optimal tolerance of uniform observation error for mobile robot convergence2012

    • Author(s)
      K. Yamamoto, T. Izumi, Y. Katayama, N. Inuzuka, K. Wada, 8.
    • Journal Title

      Theoretical Computer Science

    • Peer Reviewed
  • [Journal Article] How to prove impossibility under global fairness : On space complexity of self-stabilizing leader election on a population protocol model2012

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

      Theory of Computer Systems

      Volume: 50, 3 Pages: 433-445

    • Peer Reviewed
  • [Journal Article] The gathering problem for two robots with unreliable compasses2012

    • Author(s)
      T. Izumi, S. Souissi, Y. Katayama, N. Inuzuka, X. Defago, K. Wada, M. Yamashita
    • Journal Title

      SIAM Journal on Computing

      Volume: 41, 1 Pages: 26-46

    • Peer Reviewed
  • [Journal Article] On the approximability and hardness of minimum topic connected overlay and its special instances2011

    • Author(s)
      J. Hosoda, J. Hromkovic, T. Izumi・H. Ono, M. Steinova, K. Wada
    • Journal Title

      Theoretical Computer Science

      Volume: 429, 20 Pages: 144-154

    • Peer Reviewed
  • [Journal Article] Adaptive and doubly-expedited one-step consensus in Byzantine asynchronous systems2011

    • Author(s)
      N. Banu, T. Izumi, K. Wada
    • Journal Title

      Parallel Processing Letters

      Volume: 21, 4 Pages: 461-477

    • Peer Reviewed
  • [Journal Article] Oracle-based flocking of mobile robots in crash-recovery model2011

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

      Theoretical Computer Science

      Volume: 412, 33 Pages: 4350-4360

    • Peer Reviewed
  • [Journal Article] Approximability and inapproximability of the minimum certificate dispersal problem2010

    • Author(s)
      To. Izumi, Ta. Izumi, H. Ono, K. Wada
    • Journal Title

      Theoretical Computer Science

      Volume: 411 Pages: 31-33

    • Peer Reviewed
  • [Presentation] Minimum Certificate Dispersal with Tree Structures2012

    • Author(s)
      Ta. Izumi, To. Izumi, H. Ono, K. Wada
    • Organizer
      9th annual conference on Theory and Applications of Models of Computation
    • Year and Date
      2012-03-19
  • [Presentation] The BG-simulation for Byzantine mobile robots(Brief Announcement)2011

    • Author(s)
      T. Izumi, Z. Bouzid, S. Tixeuil, K. Wada
    • Organizer
      25th International Symposium on Distributed Computing
    • Year and Date
      2011-09-21
  • [Presentation] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2011

    • Author(s)
      J. Hosoda, J. Hromkovic, T. Izumi, H. Ono, M. Steinova, K. Wada
    • Organizer
      36th International Symposium on Mathematical Foundations of Computer Science
    • Year and Date
      2011-08-25
  • [Presentation] Time-efficient data congregation protocols on Wireless Sensor Networ2011

    • Author(s)
      A. K. M. Islam, W. Chen, K. Wada
    • Organizer
      6th International Symposium on Ubiquitous Virtual Reality(ISUVR2011)
    • Year and Date
      2011-06-02
  • [Presentation] An efficient routing protocol on a dynamic cluster-based architecture for wireless sensor networks2011

    • Author(s)
      A. K. M. Islam, K. Wada, S. S. Abdullah, J. Uchida, W. Chen
    • Organizer
      6th Int' l ICST Conference on Cognitive Radio Oriented Wireless Networks(Crown Com 2011)
    • Year and Date
      2011-06-02
  • [Presentation] Byzantine-tolerant circle formation by oblivious mobile robots2011

    • Author(s)
      S. Souissi, T. Izumi, K. Wada
    • Organizer
      2011 International Conference on Communications
    • Year and Date
      2011-03-15
  • [Presentation] Improving space complexity of self-stabilizing counting on mobile sensor networks2010

    • Author(s)
      K. Kinpara, To. Izumi, Ta. Izumi, K. Wada
    • Organizer
      14th International Conference of Principles of Distributed Systems(OPODIS 2010) LNCS 6490
    • Year and Date
      2010-12-16
  • [Presentation] Doubly-expedited one-step Byzantine consensus, Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks(DSN)2010

    • Author(s)
      N. Banu, T. Izumi, K. Wada
    • Organizer
      Dependable Computing and Communication Symposium(DCCS)
    • Year and Date
      2010-06-30
  • [Presentation] Space complexity of self-stabilizing leader election in passively-mobile anonymous agent2009

    • Author(s)
      S. Cai, T. Izumi, K. Wada
    • Organizer
      16th International Colloquium on Structural Information and Communication Complexity(SIROCCO 2009)
    • Year and Date
      20090300
  • [Presentation] Communication-efficient self-stabilizing protocols for spanning-tree construction(Brief Announcement)'2009

    • Author(s)
      T. Masuzawa, T. Izumi, Y. Katayama, K. Wada
    • Organizer
      13th International Conference of Principles of Distributed Systems(OPODIS09)
    • Year and Date
      2009-12-17
  • [Presentation] Oracle-based flocking of mobile robots in crash-recovery model2009

    • Author(s)
      S. Souissi, T. Izumi, K. Wada
    • Organizer
      11th International Symposium of Stabilization, Safety, and Security of Distributed Systems(SSS 2009)
    • Year and Date
      2009-11-05
  • [Presentation] Relationship between approximability and request structures in the minimum certificate dispersal problem2009

    • Author(s)
      To. Izumi, Ta. Izumi, H. Ono, K. Wada
    • Organizer
      15th Annual International Computing and Combinatorics Conference(COCOON 2009), LNCS5609
    • Year and Date
      2009-07-13
  • [Presentation] Convergence of mobile robots with uniformly-inaccurate sensors2009

    • Author(s)
      K. Yamamoto, T. Izumi, Y. Katayama, N. Inuzuka, K. Wada
    • Organizer
      16th International Colloquium on Structural Information and Communication Complexity(SIROCCO 2009)
    • Year and Date
      2009-03-31

URL: 

Published: 2013-07-31  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi