Updated on 2025/09/30

写真a

 
BONNET FRANCOIS PIERRE ANDRE
 
Organization
School of Computing Specially Appointed Associate Professor
Title
Specially Appointed Associate Professor
External link

Papers

▼display all

Research Projects

  • Automatic Verification of Distributed Mobile Robot Algorithms

    Grant number：26870228  2014.4 - 2016.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Young Scientists (B)

    BONNET Francois

    　 More details

    Grant amount：\1820000 （ Direct Cost: \1400000 、 Indirect Cost：\420000 ）

    In this second year of funding, we continued the development of the tool and obtained some new results.
    (1) We had a paper accepted in AdHoc-Now'16 (to be published in July), which is an extension of our previous work: With the help of our verification tool, we could design and check new algorithms to solve the gathering problem in rings with four robots. More precisely, we studied the class of configurations SP4 which is the single class left open in this context. Same results were also presented in the Workshop on Distributed Robotic Swarms (WDRS'15).
    (2) While being on a totally different topic, namely Game Theory, we would like to mention another accepted paper (in CG'16, to be published in July). Indeed to obtain this result, we used techniques similar to the ones we introduced in our verification tool. Hence our Kakenhi funding indirectly contributed to that paper. We developed a tool that compute Nash Equilibrium (NE) and used it to find NE of the famous Mastermind game.

    researchmap

  • 複数の環境に適応可能な移動ロボット群向けの分散アルゴリズム設計

    Grant number：10F00720  2010 - 2012

    日本学術振興会  科学研究費助成事業  特別研究員奨励費

    DEFAGO Xavier, BONNET Francois

    　 More details

    Grant amount：\1600000 （ Direct Cost: \1600000 ）

    本プロジェクトでは、自律移動ロボット群向けの協調および合意問題に対する研究を行う。
    平成24年度は、自律エージェントのグループがグラフを描くために協調するという拡張問題についての成果を主に得た。研究代表者らは以下の2つのソフトウェアツールを開発した。
    1つ目のプログラムは、環境の抽象的表現を入力情報としてとり、あらゆる探索アルゴリズムを生成する。本ツールにより、逆に、不能問題にはアルゴリズムが存在しないということを証明することができた。本成果は、他の研究者による既存論文の誤りの指摘に役立っている。
    2つ目のプログラムは、専門的なモデルチェックツールである。探索プログラムの正確性を自動的にチェックする。環境サイズ、ロボット数といった特定のパラメーターにより、本ツールは(1)アルゴリズムが構文的に正しいか、(2)アルゴリズムが安全か(たとえば、衝突の回避が保証できるか)、そして(3)アルゴリズムが正確か(たとえば、探索が必ず成功するか)を示す。現在のところ、本ツールはリングトポロジーのみで動作する。
    予備的な研究結果はSSS国際会議(SSS2012:14th International Symposium on Stabilization, Safety, and Security of Distributed Systems)で発表済みであり、最終的な成果は今後発表予定である。

    researchmap