[論文レビュー] Multi-agent systems with CBF-based controllers -- collision avoidance and liveness from instability

Mrdjan Janković, Mario Santillo+1 more|arXiv (Cornell University)|Jul 11, 2022

Traffic control and management被引用数 4

ひとこと要約

本稿では、制御バリア関数（CBF）を用いて、安全かつ活性性を両立させる、マルチエージェントシステムにおける新しい分散型制御方策、予測・補正型衝突回避（PCCA）を提案する。従来の分散型方策とは異なり、安定な均衡が生じるのを避けることで、グリッドロックを極力低減し、高速な収束を実現する。結果として、局所情報のみを用いても、集中型制御と同等の性能を達成する。

ABSTRACT

Assuring system stability is typically a major control design objective. In this paper, we present a system where instability provides a crucial benefit. We consider multi-agent collision avoidance using Control Barrier Functions (CBF) and study trade-offs between safety and liveness -- the ability to reach a destination without large detours or gridlock. We compare two standard decentralized policies, with only the local (host) control available, to co-optimization policies (PCCA and CCS) where everyone's (virtual) control action is available. The co-optimization policies compute control for everyone even though they lack information about others' intentions. For comparison, we use a Centralized, full information policy as the benchmark. One contribution of this paper is proving feasibility for the Centralized, PCCA, and CCS policies. Monte Carlo simulations show that decentralized, host-only control policies and CCS lack liveness while the PCCA policy performs as well as the Centralized. Next, we explain the observed results by considering two agents negotiating the passing order through an intersection. We show that the structure and stability of the resulting equilibria correlates with the observed propensity to gridlock -- the policies with unstable equilibria avoid gridlocks while those with stable ones do not.

研究の動機と目的

• CBFに基づく制御器を用いて、マルチエージェントシステムにおける安全と活性性のトレードオフを解消すること。
• 分散型CBF方策がグリッドロックを示すのに対し、集中型および共同最適化方策が示さない理由を分析すること。
• 距離型CBFフレームワークにおいて、集中型、PCCA、CCS制御方策の実現可能性を証明すること。
• 2エージェントの連合状態空間における均衡安定性解析を通じて、観察された活性性の差を説明すること。
• 不完全な情報下でも、不安定な均衡がグリッドロックの低減と高速収束に寄与することを示すこと。

提案手法

• 距離型CBF制約を満たすために、マルチエージェント衝突回避を目的とした集中型CBFに基づく二次計画（QP）を定式化し、その実現可能性を証明する。
• 他のエージェントの行動を予測・補正するための摂動モデルを用いた、PCCAアルゴリズムを導入し、共同最適化方策を提示する。
• 他のエージェントの行動を一切使用しない、すべてのエージェントの制御を同時に計算する完全制御集合（CCS）方策を提案する。
• 合流点や交差点をめぐる2エージェントの連合状態空間における均衡構造を分析する。
• 位置と速度を状態変数とする1次元運動モデルを用い、QP解を介して安全を保証するCBF制約を適用する。
• 5エージェントを用いたモンテカルロシミュレーションを実施し、各制御方策の活性性、衝突率、収束時間の比較を行う。

実験結果

リサーチクエスチョン

• RQ1 なぜ分散型CBF方策（DF/DR）は、安全であるにもかかわらず、マルチエージェント状況下でグリッドロックを示すのか？
• RQ2 連合状態空間における均衡の安定性が、CBFに基づくマルチエージェント制御における活性性と収束に与える影響は何か？
• RQ3 共同最適化方策（PCCAやCCS）は、分散実装を維持しつつも、集中型制御と同等の活性性を達成できるか？
• RQ4 均衡構造、特に安定多様体と不安定多様体の役割が、グリッドロックの発生確率に与える影響は何か？
• RQ5 グリッドロックを回避するために、不安定な均衡を誘発する分散型CBF方策を設計可能か？もし可能であれば、その方法は何か？

主な発見

• 集中型CBF方策は常に実現可能であり、グリッドロックはゼロである。初期条件の測度ゼロの集合を除き、均衡状態に陥らない。
• PCCAは集中型方策と区別できない活性性性能を達成し、グリッドロックが発生するのはたった0.002%のシミュレーションにとどまる。
• 分散型方策（DF/DR）およびCCSは、連合状態空間における安定な均衡のため、顕著なグリッドロックを示す（それぞれ15.4%およびほぼ100%）。
• 集中型方策の安定多様体は2次元状態空間内では1次元の直線であり、グリッドロックの発生は極めて稀である。PCCAでは、4次元空間内に2次元の多様体となるため、さらに確率が低下する。
• CCSでさえ、共同最適化を採用しているにもかかわらず、安定な均衡のため、分散型方策と同様に高いグリッドロック率と劣った活性性を示す。
• 本稿では、特に指数的不安定な均衡が、準グリッドロック状態からの迅速な脱出を可能にし、PCCAの優れた活性性を説明している。