• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

Automatic Verification of Distributed Mobile Robot Algorithms

研究課題

研究課題/領域番号 26870228
研究種目

若手研究(B)

配分区分基金
研究分野 情報学基礎理論
ソフトウェア
研究機関北陸先端科学技術大学院大学

研究代表者

BONNET Francois  北陸先端科学技術大学院大学, 情報科学研究科, 助教 (60700185)

研究期間 (年度) 2014-04-01 – 2016-03-31
研究課題ステータス 完了 (2015年度)
配分額 *注記
1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2015年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2014年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
キーワードAlgorithm / Distributed Computing / Robot / Verification / Computing
研究成果の概要

二年目も、ツールの開発を行い、このツールによってロボットのgathering問題のアルゴリズムの正しさの確認ができました。Workshop on Distributed Robotics Swarms (WDRS'15)で発表し、さらにAdHoc-Now'16の国際会議に採択され、発表する予定です。

報告書

(3件)
  • 2015 実績報告書   研究成果報告書 ( PDF )
  • 2014 実施状況報告書
  • 研究成果

    (7件)

すべて 2016 2015 2014

すべて 雑誌論文 (6件) (うち国際共著 3件、 査読あり 6件、 謝辞記載あり 6件) 学会発表 (1件) (うち国際学会 1件)

  • [雑誌論文] Asynchronous Gathering in Rings with 4 Robots2016

    • 著者名/発表者名
      Francois Bonnet, Maria Potop-Butucaru, Sebastien Tixeuil
    • 雑誌名

      Proceedings of the 14th International Conference on Ad-hoc, Mobile, and Wireless Networks

      巻: AdHoc-Now'16 ページ: 1-14

    • 関連する報告書
      2015 実績報告書
    • 査読あり / 国際共著 / 謝辞記載あり
  • [雑誌論文] Nash Equilibrium in Mastermind2016

    • 著者名/発表者名
      Francois Bonnet, Simon Viennot
    • 雑誌名

      Proceedings of the 8th International Conference on Computers and Games

      巻: CG'16 ページ: 1-12

    • 関連する報告書
      2015 実績報告書
    • 査読あり / 国際共著 / 謝辞記載あり
  • [雑誌論文] Tight bound on mobile Byzantine Agreement2016

    • 著者名/発表者名
      F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
    • 雑誌名

      Theoretical Computer Science

      巻: 609 ページ: 361-373

    • DOI

      10.1016/j.tcs.2015.10.019

    • NAID

      110010061343

    • 関連する報告書
      2015 実績報告書
    • 査読あり / 国際共著 / 謝辞記載あり
  • [雑誌論文] Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols2014

    • 著者名/発表者名
      Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sebastien Tixeuil
    • 雑誌名

      Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops

      巻: SRDSW'14 ページ: 50-59

    • DOI

      10.1109/srdsw.2014.34

    • 関連する報告書
      2014 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Tight Bound on Mobile Byzantine Agreement2014

    • 著者名/発表者名
      F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 8784 ページ: 76-90

    • DOI

      10.1007/978-3-662-45174-8_6

    • NAID

      110010061343

    • ISBN
      9783662451731, 9783662451748
    • 関連する報告書
      2014 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Mitigating the Spread of a Virus in the Internet2014

    • 著者名/発表者名
      T. D. Nguyen, F. Bonnet, X. Defago
    • 雑誌名

      2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW)

      巻: none ページ: 14-19

    • DOI

      10.1109/srdsw.2014.26

    • NAID

      120006675658

    • 関連する報告書
      2014 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [学会発表] Asynchronous Gathering in Rings with 4 Robots2015

    • 著者名/発表者名
      Francois Bonnet, Maria Potop-Butucaru, and Sebastien Tixeuil
    • 学会等名
      Workshop on Distributed Robotic Swarms (WDRS'15, co-located with DISC'15)
    • 発表場所
      Arcadia Ichigaya hotel, Chiyoda-ku, Tokyo
    • 年月日
      2015-10-05
    • 関連する報告書
      2015 実績報告書
    • 国際学会

URL: 

公開日: 2014-04-04   更新日: 2017-05-10  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi