[논문 리뷰] Multi-agent systems with CBF-based controllers -- collision avoidance and liveness from instability

Mrdjan Janković, Mario Santillo외 1명|arXiv (Cornell University)|2022. 07. 11.

Traffic control and management인용 수 4

한 줄 요약

이 논문은 다중 에이전트 시스템에서 안전성과 활성화성(라이브니스)을 동시에 달성하기 위해 제어 장벽 함수(CBF)를 사용하는 새로운 탈중앙화된 제어 정책인 충돌 회피를 위한 예측-보정(Predictor-Corrector for Collision Avoidance, PCCA)을 제안한다. 기존의 탈중앙화 정책이 안정된 평형점으로 인해 정체에 빠지지만, PCCA는 불안정한 평형점을 유도함으로써 빠른 수렴과 거의 0에 가까운 정체를 달성한다. 이는 국소 정보만을 사용하면서도 중심집중형 성능에 근접한다.

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 제어 정책의 실현 가능성을 증명하기 위해.
• 이중 에이전트 공동 상태 공간에서 평형점 안정성 분석을 통해 관측된 활성화성 차이를 설명하기 위해.
• 부분 정보 조건에서도 불안정한 평형점이 정체 감소와 더 빠른 수렴과 관련이 있음을 보여주기 위해.

제안 방법

• 다중 에이전트 충돌 회피를 위한 중심집중형 CBF 기반 2차 프rogramming(QP)을 수립하고, 거리-CBF 제약 조건에 대해 실현 가능성을 증명한다.
• 다른 에이전트의 행동을 외부 간섭 모델을 사용해 예측하고 보정하는 방식으로, PCCA 알고리즘을 공최적화 정책으로 도입한다.
• 다른 에이전트의 행동을 사용하지 않고 모든 에이전트의 제어를 계산하는 공최적화 대안으로 완전 제어 집합(CC: Complete Control Set, CCS) 정책을 개발한다.
• 합동 상태 공간에서 두 에이전트가 융합점이나 교차로에서 협상할 때의 평형점 구조를 분석한다.
• 상태 변수(위치, 속도)를 갖는 1차원 운동 모델을 사용하고, QP 해를 통해 안전성을 확보하기 위해 CBF 제약 조건을 적용한다.
• 5개의 에이전트를 포함한 몬테카를로 시뮬레이션을 수행하여 정책 간의 활성화성, 충돌 비율, 수렴 시간을 비교한다.

실험 결과

연구 질문

• RQ1 왜 DF 및 DR과 같은 탈중앙화된 CBF 정책은 안전성은 확보하고도 다중 에이전트 시나리오에서 정체를 보이는가?
• RQ2 합동 상태 공간에서 평형점의 안정성이 CBF 기반 다중 에이전트 제어에서 활성화성과 수렴성에 어떻게 영향을 미치는가?
• RQ3 공최적화 정책인 PCCA 및 CCS는 탈중앙화 구현을 유지하면서도 중심집중형 제어 수준의 활성화성을 달성할 수 있는가?
• RQ4 특히 안정/불안정 다변량(manifold)의 평형점 구조가 정체 발생 경향에 어떤 역할을 하는가?
• RQ5 정체를 피하기 위해 불안정한 평형점을 유도하는 탈중앙화된 CBF 정책을 설계할 수 있으며, 만약 가능하면 그 방법은 무엇인가?

주요 결과

• 중심집중형 CBF 정책은 항상 실현 가능하며, 정체는 0이며, 평형점으로 이어지는 初기 조건의 측도가 0인 집합 외에는 발생하지 않는다.
• PCCA는 중심집중형 정책과 구분할 수 없을 정도로 뛰어난 활성화성 성능을 보이며, 시뮬레이션의 0.002%만이 정체 상태에 빠지게 된다.
• 탈중앙화 정책(DF/DR)과 CCS는 합동 상태 공간의 안정된 평형점으로 인해 심각한 정체를 보이며, 각각 15.4%와 거의 100%의 정체 비율을 보인다.
• 중심집중형 정책의 안정 다변량은 2차원 상태 공간에서 1차원 선이며, 정체 가능성은 낮다; PCCA의 경우 4차원 공간에서 2차원 다변량이므로 정체 가능성은 더욱 감소한다.
• CCS는 공최적화를 수행하지만 안정된 평형점으로 인해 탈중앙화 정책과 유사하게 행동하여 높은 정체 비율과 열악한 활성화성을 보인다.
• 이 논문은 특히 지수적으로 불안정한 평형점이 가까운 정체 상태에서의 신속한 탈출을 가능하게 하여, PCCA의 뛰어난 활성화성의 근본 원인을 설명한다.