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

适应多种环境的移动机器人群分布式算法设计

• 批准号: 10F00720
• 负责人: DEFAGO Xavier
• 金额: $ 1.02万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10F00720/
• 关键词: 分散システム; ロボット群; 耐故障性; アルゴリズム; モデル化

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

This paper studies the coordination and coordination of autonomous mobile communication. Heisei 24 years, self-discipline, self-discipline The study representative responded to the following 2 questions: 1. The abstract expression of the environment and the input information are generated. This is the first time I've ever seen a problem. This achievement is against the criticism of existing papers by other researchers. 2. Explore the legitimacy of the list and automate the search. The environment, the number of entries, the specific entries, the text,(1) the entries,(2) the entries,(3) the entries,(4) the entries,(5) the entries,(6) the entries,(7) the entries,(8) the entries,(9) the entries,(9) the entries,(10) the entries,(11) the entries,(12) the entries,(13) the entries,(14) the entries,(15) the entries,(16) the entries,(17) the entries,(18) the entries,(19) the entries,(19) the entries,(10) the entries,(19) the entries,(10) the entries,(11) the entries,(10) the entries,(10) the entries,(11) the entries,(10) the entries,(10) the entries,(11) the entries,(10) the entries,(10) the entries, Now we have a lot of work to do. The results of the study are expected to be presented at the SSS International Conference (SSS2012: 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems), and the final results are expected to be presented in the future.

项目成果

Anonymous asynchronous systems : the case of failure detectors

匿名异步系统：故障检测器的案例

• 发表时间: 2012
• 期刊: Distributed Computing (Springer)
• 作者: F.Bonnet;M.Raynal
• 通讯作者: M.Raynal

On the road to the weakest failure detector for k-set agreement in message-passing systems

消息传递系统中 k 集协议的最弱故障检测器之路

• DOI: 10.1016/j.tcs.2010.11.007
• 发表时间: 2011
• 期刊: Theoretical Computer Science
• 影响因子: 1.1
• 作者: F.Bonnet;M.Raynal
• 通讯作者: M.Raynal

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols (brief announcement)

发现和评估机器人网络协议中的细粒度指标（简短公告）

• DOI: 10.1007/978-3-642-33536-5_28
• 发表时间: 2012
• 期刊: Stabilization, Safety, and Security of Distributed Systems. Lecture Notes in Computer Science
• 作者: F.Bonnet;x.Defago;F.Petit;M.Potop-Butucaru;S.Tixeuil
• 通讯作者: S.Tixeuil

Asynchronous Exelusive Perpetual Grid Exploration without Sense of Direction

无方向感的异步排他性永久网格探索

• 发表时间: 2011
• 作者: F.Bonnet;X.Defago;F.Bonnet;F.Bonnet;F.Bonnet
• 通讯作者: F.Bonnet

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction

异步独家永无方向感的网格探索

• DOI: 10.1007/978-3-642-25873-2_18
• 发表时间: 2011
• 期刊: Proc.15th Intl.Conf.on Principles of Distributed Systems (OPODIS 2011)
• 作者: F.Bonnet;A.Milani;M.Potop-Butucaru;S.Tixeuil
• 通讯作者: S.Tixeuil