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

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

Research Project

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
Project Status Completed (Fiscal Year 2011)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,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)
Fiscal Year 2009: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
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.

Report

(4 results)
  • 2011 Annual Research Report   Final Research Report ( PDF )
  • 2010 Annual Research Report
  • 2009 Annual Research Report
  • Research Products

    (37 results)

All 2012 2011 2010 2009

All Journal Article (23 results) (of which Peer Reviewed: 23 results) Presentation (14 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)

    • Related Report
      2011 Final Research Report
    • 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

    • Related Report
      2011 Final Research Report
    • 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

    • Related Report
      2011 Final Research Report
    • 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

    • Related Report
      2011 Final Research Report
    • 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

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the approximability and hardness of minimum topic connected overlay and its special instances2012

    • 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

    • Related Report
      2011 Annual Research Report
    • 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

    • Related Report
      2011 Final Research Report
    • 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

    • Related Report
      2011 Final Research Report
    • 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

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] The BG-simulation for Byzantine mobile robots2011

    • Author(s)
      T.Izumi, Z.Bouzid, S.Tixeuil, K.Wada
    • Journal Title

      25th International Symposium on Distributed Computing, LNCS 6950

      Pages: 330-331

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Time-efficient data congregation protocols on Wireless Sensor Network2011

    • Author(s)
      A.K.M.Islam, Wei Chen, Koichi Wada
    • Journal Title

      6th International Symposium on Ubiquitous Virtual Reality (ISUVR2011)

      Pages: 1-6

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An efficient routing protocol on a dynamic cluster-based sensor network2011

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

      6^<th> International ICST Conference on Cognitive Radio Oriented Wireless Networks

      Volume: (印刷中)

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Byzantine-tolerant circle formation by oblivious mobile robots2011

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

      2011 International Conference on Communications, Computing and Control Applications

      Volume: (印刷中)

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

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

      Theory of Computer Systems

      Volume: (掲載確定)

    • Related Report
      2010 Annual Research Report
    • 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: (掲載確定)

    • Related Report
      2010 Annual Research Report
    • 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

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Improving space complexity of self-stabilizing counting on mobile sensor networks2010

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

      14^<th> International Conference of Principles of Distributed Systems

      Volume: 6490 Pages: 504-515

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Approximability and inapproximability of the minimum certificate dispersal problem2010

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

      Theoretical Computer Science (未定, 掲載確定)

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Doubly-expedited one-step Byzantine consensus2010

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

      The 40^<th> Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2010) (未定, 掲載確定)

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Convergence of mobile robots with uniformly-inaccurate sensors2009

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

      LNCS (SIROCCO 2009) 5869

      Pages: 320-333

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Space complexity of self-stabilizing leader election in passively-mobile anouymous agent2009

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

      LNCS (SIROCCO 2009) 5869

      Pages: 113-125

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Oracle-based flocking of mobile robots in crash-recovery model2009

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

      LNCS (SSS 2009) 5873

      Pages: 683-697

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Communication-efficient self-stabilizing protocols for spanning-tree construction2009

    • Author(s)
      T.Masuzawa, T.Izumi, Y.Katayama, K.Wada
    • Journal Title

      LNCS (OPODIS 2009) 5923

      Pages: 219-224

    • Related Report
      2009 Annual Research Report
    • 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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [Presentation] The gathering problems for two oblivious robots with unreliable compasses2010

    • Author(s)
      K.Wada
    • Organizer
      Research Meeting on Distributed Computing by Mobile Robots
    • Place of Presentation
      Ottawa, Canada
    • Year and Date
      2010-08-16
    • Related Report
      2010 Annual Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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
    • Related Report
      2011 Final Research Report
  • [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)
    • Related Report
      2011 Final Research Report

URL: 

Published: 2009-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi