| 研究課題/領域番号 |
10F00720
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 外国 |
|---|
| 研究分野 |
計算機システム・ネットワーク
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
DEFAGO Xavier 北陸先端科学技術大学院大学, 情報科学研究科, 准教授
|
|---|
| 研究分担者 |
BONNET Francois 北陸先端科学技術大学院大学, 情報科学研究科, 外国人特別研究員
|
|---|
| 研究期間 (年度) |
2010 – 2012
|
| 研究課題ステータス |
完了 (2012年度)
|
| 配分額 *注記 |
1,600千円 (直接経費: 1,600千円)
2012年度: 500千円 (直接経費: 500千円)
2011年度: 600千円 (直接経費: 600千円)
2010年度: 500千円 (直接経費: 500千円)
|
|---|
| キーワード | 分散システム / ロボット群 / 耐故障性 / アルゴリズム / モデル化 |
|---|
| 研究概要 |
本プロジェクトでは、自律移動ロボット群向けの協調および合意問題に対する研究を行う。
平成24年度は、自律エージェントのグループがグラフを描くために協調するという拡張問題についての成果を主に得た。研究代表者らは以下の2つのソフトウェアツールを開発した。
1つ目のプログラムは、環境の抽象的表現を入力情報としてとり、あらゆる探索アルゴリズムを生成する。本ツールにより、逆に、不能問題にはアルゴリズムが存在しないということを証明することができた。本成果は、他の研究者による既存論文の誤りの指摘に役立っている。
2つ目のプログラムは、専門的なモデルチェックツールである。探索プログラムの正確性を自動的にチェックする。環境サイズ、ロボット数といった特定のパラメーターにより、本ツールは(1)アルゴリズムが構文的に正しいか、(2)アルゴリズムが安全か(たとえば、衝突の回避が保証できるか)、そして(3)アルゴリズムが正確か(たとえば、探索が必ず成功するか)を示す。現在のところ、本ツールはリングトポロジーのみで動作する。
予備的な研究結果はSSS国際会議(SSS2012:14th International Symposium on Stabilization, Safety, and Security of Distributed Systems)で発表済みであり、最終的な成果は今後発表予定である。
|
