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

Fault-tolerant distributed algorithms and realistic models for groups of autonomous mobile robots

Research Project

Project/Area Number 23500060
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Computer system/Network
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

DEFAGO Xavier  北陸先端科学技術大学院大学, 情報科学研究科, 准教授 (70333557)

Project Period (FY) 2011 – 2013
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,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)
Keywords分散アルゴリズム / 分散システム / ロボット群 / モデル化 / 合意問題 / 自己安定 / センサーネットワーク / 国際情報交換
Research Abstract

This research aims at improving the development of fault-tolerant and reliable multi-robots systems. In particular, this includes relating formal models developed in the field of fault-tolerant distributed systems to the problem of mobile robot coordination. The purpose of such a model is to study the correctness of algorithms and identify the minimum capabilities (i.e., set of sensors) that the individual robots must have in order to reliably solve a given problem as a group. At the same time, it is essential that both model and problem be practically accurate so that results are directly applicable to real systems.
In particular, we have obtained important results for several problems, among which,
(1) gathering of robots when some robots or their sensors may fail, (2) exploration of a discrete environment, (3) motion planning of multiple-robots, and (4) cascading failures in large systems.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (27 results)

All 2014 2013 2012 2011 Other

All Journal Article (11 results) (of which Peer Reviewed: 10 results) Presentation (16 results) (of which Invited: 5 results)

  • [Journal Article] Reliability Prediction for Component-based Software Systems with Architectural-level Fault-tolerance Mechanisms (extended version)2014

    • Author(s)
      T.-T. Pham, F. Bonnet, X. Defago
    • Journal Title

      Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications

      Volume: 5(1) Pages: 4-36

    • URL

      http://isyou.info/jowua/abstracts/jowua-v5n1-1.htm

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms (Extended version)2014

    • Author(s)
      Thanh-Trung Pham, Francois Bonnet, Xavier Defago
    • Journal Title

      Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications

      Volume: 5(1) Pages: 4-36

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reliability prediction for component-based software systems2014

    • Author(s)
      Thanh-Trung Pham, Xavier Defago, Quyet-Thang Huynh
    • Journal Title

      Science of Computer Programming Journal

      Volume: tbd

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Taxonomy of Congestion Control Techniques for TCP in Wired and Wireless Networks2013

    • Author(s)
      K.C. Lee, X. Defago, Y. Tan, A.O. Lim
    • Journal Title

      IEEE Symp. on Wireless Technology & Applications (ISWTA)

      Pages: 147-152

    • DOI

      10.1109/iswta.2013.6688758

    • NAID

      120006675653

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms2013

    • Author(s)
      Thanh-Trung Pham, Xavier Defago
    • Journal Title

      In Proc. 8th Intl Conf on Availability, Reliability and Security

      Volume: ARES'13 Pages: 11-20

    • DOI

      10.1109/ares.2013.8

    • NAID

      120006675659

    • Related Report
      2013 Annual Research Report 2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] The Gathering Problem for Two Oblivious Robots with Unreliable Compasses2012

    • Author(s)
      Taisuke Izumi
    • Journal Title

      SIAM Journal on Computing

      Volume: 41(1) Issue: 1 Pages: 26-46

    • DOI

      10.1137/100797916

    • Related Report
      2013 Final Research Report 2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Fast and Robust Optimistic Total Order Broadcast for Online Video Games2012

    • Author(s)
      S. Bernard, X. Defago, S. Tixeuil
    • Journal Title

      In Proc. 26th Intl. Conf. on Advanced Information Networking and Applications Workshops, WAINA 2012

      Pages: 189-196

    • DOI

      10.1109/waina.2012.105

    • Related Report
      2013 Final Research Report 2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols (brief announcement)2012

    • Author(s)
      F.Bonnet, x.Defago, F.Petit, M.Potop-Butucaru, S.Tixeuil
    • Journal Title

      Stabilization, Safety, and Security of Distributed Systems. Lecture Notes in Computer Science

      Volume: 7596 Pages: 282-284

    • DOI

      10.1007/978-3-642-33536-5_28

    • ISBN
      9783642335358, 9783642335365
    • Related Report
      2013 Final Research Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models2012

    • Author(s)
      T.-T. Pham, X. Defago
    • Journal Title

      In Proc. 12th International Conference on Quality Software (QSIC-12)

      Pages: 106-115

    • DOI

      10.1109/qsic.2012.20

    • Related Report
      2013 Final Research Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Exploration and Surveillance in Multi-robots Networks2011

    • Author(s)
      F.Bonnet, X.Defago
    • Journal Title

      Proc.2nd Intl.Conf.on Networking and Computing (ICNC 2011), Workshop on Frontiers of Distributed Computing

      Volume: 1 Pages: 342-344

    • DOI

      10.1109/icnc.2011.66

    • Related Report
      2013 Final Research Report 2011 Research-status Report
  • [Journal Article] Reliability Prediction for Component-based Software Dealing with Concurrent Propagating Errors

    • Author(s)
      T.-T. Pham, X. Défago, Q.-T. Huynh
    • Journal Title

      Science of Computer Programming, Elsevier

      Volume: (In print)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Presentation] Bridging the Chasm between Theory and Practice of Multi-Robots Systems2014

    • Author(s)
      X. Defago
    • Organizer
      JAIST-LORIA Workshop
    • Place of Presentation
      Kanazawa, Ishikawa, Japan
    • Related Report
      2013 Final Research Report
    • Invited
  • [Presentation] Bridging the Chasm Between Theory and Practice of Multi-Robot Systems2014

    • Author(s)
      Xavier Defago
    • Organizer
      JAIST-LORIA Workshop
    • Place of Presentation
      Kanazawa, Japan
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] Reaching Group Agreement in Spite of Faulty Robots2013

    • Author(s)
      X. Defago
    • Organizer
      Research Seminar at Research into Artefacts, Center for Engineering (RACE), Univ. Tokyo
    • Place of Presentation
      Kashiwa, Chiba, Japan
    • Year and Date
      2013-05-31
    • Related Report
      2013 Final Research Report
  • [Presentation] Self-stabilizing crash tolerant gathering with daemons and dice2013

    • Author(s)
      X. Defago
    • Organizer
      Research meeting on Distributed Computing by Mobile Robots (MAC 2013)
    • Place of Presentation
      Ischia, Italy
    • Related Report
      2013 Final Research Report
    • Invited
  • [Presentation] Self-stabilizing crash tolerant gathering with daemons and dice2013

    • Author(s)
      Xavier Defago
    • Organizer
      Research Meeting on Distributed Computing by Mobile Robots (MAC 2013)
    • Place of Presentation
      Ischia, Italy
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] A Fast and Robust Optimistic Total Order Broadcast for Online Video Games2012

    • Author(s)
      S. Bernard, X. Defago, S. Tixeuil
    • Organizer
      26th Intl. Conf. on Advanced Information Networking and Applications Workshops, WAINA 2012
    • Place of Presentation
      Fukuoka, Japan
    • Year and Date
      2012-03-24
    • Related Report
      2013 Final Research Report 2011 Research-status Report
  • [Presentation] Cooperative Mobile Robots in a Planar Environment2012

    • Author(s)
      X. Defago
    • Organizer
      INRIA Sophia-Antipolis
    • Place of Presentation
      Sophia-Antipolis, France
    • Year and Date
      2012-03-13
    • Related Report
      2013 Final Research Report
  • [Presentation] Byzantine Fault Tolerant Protocols for TaskManagement in Mobile Robots2012

    • Author(s)
      T. D. Nguyen, F. Bonnet, X. Defago
    • Organizer
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • Place of Presentation
      Niigata, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] Making Reliability Modeling of Component-based Systems Usable in Practice2012

    • Author(s)
      T.-T. Pham, Q.-T. Huynh, X. Defago
    • Organizer
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • Place of Presentation
      Niigata, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] Reliable Micro-protocols Composition and Combination2012

    • Author(s)
      D. Higashihara, X. Defago
    • Organizer
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • Place of Presentation
      Niigata, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] Byzantine Fault Tolerant Protocols for TaskManagement in Mobile Robots (fast abstract)2012

    • Author(s)
      Thanh Dang Nguyen, F. Bonnet and X. Defago
    • Organizer
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • Place of Presentation
      Niigata, Japan
    • Related Report
      2012 Research-status Report
  • [Presentation] Making Reliability Modeling ofComponent-based Systems Usable in Practice (fast abstract)2012

    • Author(s)
      Thanh-Trung Pham, Quyet-Thang Huynh and X. Defago
    • Organizer
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • Place of Presentation
      Niigata, Japan
    • Related Report
      2012 Research-status Report
  • [Presentation] Reliable Micro-protocols Composition and Combination (fast abstract)2012

    • Author(s)
      D. Higashihara and X. Defago
    • Organizer
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • Place of Presentation
      Niigata, Japan
    • Related Report
      2012 Research-status Report
  • [Presentation] Cooperative Mobile Robots in a Planar Environment2012

    • Author(s)
      Xavier Defago
    • Organizer
      INRIA Sophia-Antipolis
    • Place of Presentation
      Nice, France
    • Related Report
      2011 Research-status Report
  • [Presentation] Exploration and Surveillance in Multi-robots Networks (invited paper)2011

    • Author(s)
      Francois Bonnet, Xavier Defago
    • Organizer
      2nd Intl. Conf. on Networking and Computing, ICNC 2011, Workshop on Frontiers of Distributed Computing(招待講演)
    • Place of Presentation
      Osaka, Japan
    • Related Report
      2011 Research-status Report
  • [Presentation] Reaching group agreement in spite of faulty robots

    • Author(s)
      Xavier Defago
    • Organizer
      Research seminar at Research into Artifacts, Center for Engineering, U. Tokyo
    • Place of Presentation
      Kashiwa, Japan
    • Related Report
      2013 Annual Research Report
    • Invited

URL: 

Published: 2011-08-05   Modified: 2021-04-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi