[論文レビュー] Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms

Carlo Pinciroli, Adam Lee-Brown+1 more|arXiv (Cornell University)|Jul 21, 2015

Modular Robots and Swarm Intelligence参考文献 26被引用数 28

ひとこと要約

Buzzは、自己組織的かつ異種混合なロボットスワームを対象としたドメイン特化型プログラミング言語であり、合成的かつ拡張可能なプリミティブを通じて、ボトムアップとトップダウンの抽象化を統合する。分散型ランタイムプラットフォームを介してスケーラブルで頑健なスワーム行動の開発を可能にし、シミュレーテッド実験でその効率性と正しさが実証された。

ABSTRACT

We present Buzz, a novel programming language for heterogeneous robot swarms. Buzz advocates a compositional approach, offering primitives to define swarm behaviors both from the perspective of the single robot and of the overall swarm. Single-robot primitives include robot-specific instructions and manipulation of neighborhood data. Swarm-based primitives allow for the dynamic management of robot teams, and for sharing information globally across the swarm. Self-organization stems from the completely decentralized mechanisms upon which the Buzz run-time platform is based. The language can be extended to add new primitives (thus supporting heterogeneous robot swarms), and its run-time platform is designed to be laid on top of other frameworks, such as Robot Operating System. We showcase the capabilities of Buzz by providing code examples, and analyze scalability and robustness of the run-time platform through realistic simulated experiments with representative swarm algorithms.

研究の動機と目的

• 大規模ロボットスワームのプログラミングに向けた標準化され、再利用可能なツールの不足に対処すること。
• 既存のアプローチが繰り返し共通のスワーム行動を再実装させることを強いるという制限を克服すること。
• 個々のロボットの論理とグローバルなスワーム調整の両方をサポートする統一されたプログラミングモデルを提供すること。
• 分散型ランタイムプラットフォームを通じて、リソース制約のあるロボットにおいても効率的でスケーラブルかつ頑健な実行を可能にすること。
• ROSのような既存のロボティクスフレームワークとの統合を可能とする、異種ロボットプラットフォームへの拡張性を提供すること。

提案手法

• ロボットレベルのプリミティブ（個々の行動用）とスワームレベルのプリミティブ（集団的調整用）の二重抽象化を持つドメイン特化言語（DSL）としてBuzzを設計すること。
• センサ読み取り、メッセージ処理、スクリプト実行、メッセージ送信、アクチュエータ作動の5段階からなる、離散的かつステップワイズな実行モデルを実装すること。
• 異種ロボットの能力と局所的相互作用をサポートするため、ロボット固有のシンボルとネイバーhoodデータ構造を導入すること。
• バーチャルスティグメトリと共有状態メカニズムなどのスワームベースのプリミティブを通じて、動的チーム管理とグローバル情報共有を可能にすること。
• 各ロボット上で独立して動作する分散型ランタイムプラットフォーム（BVM）を構築し、スケーラビリティとフェイルセーフを確保すること。
• 新しいプリミティブの追加を可能とする仕組みを提供することで拡張性を実現し、ROSのような多様なロボティクスプラットフォームやフレームワークとの統合を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 ロボットスワーム向けのプログラミング言語は、どのようにしてボトムアップとトップダウンの抽象化を効果的にバランスさせ、細粒度の制御とグローバルな調整の両方を可能にするか？
• RQ2 合成的で予測可能な言語設計は、スワーム行動開発における複雑さとエラー率をどの程度低減できるか？
• RQ3 分散型ランタイムプラットフォームは、現実的なネットワーク環境下で、大規模かつ異種混合なロボットスワームにおいてスケーラビリティと頑健性を確保できるか？
• RQ4 言語の抽象化レイヤーは、低レベルのネットワーキングや空間的複雑性をどのようにフィルタリングしながら、リソース制約のあるロボット上で効率的であるか？
• RQ5 Buzzは、コードの再利用、ベンチマーク、およびスワームロボティクス分野の今後の研究のための共通プラットフォームとして、どの程度の可能性を秘めているか？

主な発見

• ロボットレベルとスワームレベルのプリミティブの組み合わせにより、Buzzは複雑なスワーム行動の簡潔でモジュラーなプログラミングを可能にし、コードの重複を削減し、保守性を向上させた。
• 分散型BVMランタイムプラットフォームは、シミュレーテッド実験において頑健な性能を示し、一時的な通信障害が発生しても正しく動作を維持した。
• スケーラビリティ分析の結果、スワームサイズの増加に対してもBuzzは一貫したパフォーマンスを維持し、大規模な展開においてもメッセージ送信の効率性が保たれた。
• 言語の拡張性により、異種ロボットプラットフォームやROSのような外部フレームワークとのシームレスな統合が可能となり、実世界への展開性が向上した。
• ランタイムプラットフォームはアプリケーションロジックと低レベルの調整詳細を効果的に分離し、開発者がネットワークや空間的複雑性を管理せずに、高レベルのスワーム目標に集中できるようにした。
• Buzzの設計は、一貫性があり合成可能な構文を用いて、フェイキング、タスク割り当て、集団的意思決定といった標準的なスワームアルゴリズムの実装を可能にした。