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

2013 Fiscal Year Final Research Report

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

Research Project

  • PDF
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
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.

  • Research Products

    (17 results)

All 2014 2013 2012 2011 Other

All Journal Article (9 results) (of which Peer Reviewed: 8 results) Presentation (8 results) (of which Invited: 2 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

    • 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

    • Peer Reviewed
  • [Journal Article] Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms2013

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

      In Proc. 8th Intl. Conf. on Availability, Reliability and Security (ARES 2013)

      Pages: 11-20

    • DOI

      10.1109/ARES.2013.8

    • Peer Reviewed
  • [Journal Article] The Gathering Problem for Two Oblivious Robots with Unreliable Compasses2012

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

      SIAM J. Comput

      Volume: 41(1) Pages: 26-46

    • DOI

      10.1137/100797916

    • 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

    • Peer Reviewed
  • [Journal Article] Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols2012

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

      In Proc. Stabilization, Safety, and Security of Distributed Systems (SSS)

      Volume: 7596 Pages: 282-284

    • DOI

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

    • 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

    • Peer Reviewed
  • [Journal Article] Exploration and Surveillance in Multi-robots Networks2011

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

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

      Pages: 342-344

    • DOI

      10.1109/ICNC.2011.66

  • [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)

    • 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
    • Year and Date
      20140401-02
    • Invited
  • [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
    • Year and Date
      20130704-05
    • 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
  • [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
    • Year and Date
      20121118-19
  • [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
    • Year and Date
      20121118-19
  • [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
    • Year and Date
      20121118-19
  • [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
  • [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

URL: 

Published: 2015-07-16   Modified: 2021-04-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi