[논문 리뷰] Flocking formation and stabilizer of boosted cooperative control on a sphere

Sun-Ho Choi, Dohyun Kwon외 1명|arXiv (Cornell University)|2021. 07. 09.

Distributed Control Multi-Agent Systems참고 문헌 34인용 수 5

한 줄 요약

이 논문은 Cucker-Smale 유형의 군집 운동 연산자와 당김 및 밀려나는 힘을 통합하여, 비영인 일정 속도로 안정적인 이동하는 군집 형성에 성공하는 2-구면에서의 이阶 협동 제어 시스템을 제안한다. 군집 운동 연산자는 안정제로 작용하여 제어 파rameter에 따라 수렴하는 구성(집합, 전개, 국소적 전개)을 보장하며, 속도 감쇠를 방지하기 위한 보조 항을 통해 지속적인 운동이 검증된다.

ABSTRACT

The purpose of this paper is to consider flocking formations of a second order dynamic system on a sphere with a Cucker-Smale type flocking operator and cooperative control. The flocking operator consists of a weighted control parameter and a natural relative velocity. The cooperative control law is given by a combination of attractive and repulsive forces. We prove that the solution to this system converges to an asymptotic spherical configuration depending on the control parameters of the cooperative control law. All possible asymptotic configurations for this system are classified and sufficient conditions for rendezvous, deployment, and local deployment, respectively, are presented. In addition, we provide several numerical simulations to confirm our analytic results. We numerically verify that the solution to this system converges to a formation flight with a nonzero constant speed if we add a boost term. The flocking operator acts as a stabilizer on the spherical cooperative control laws.

연구 동기 및 목표

• 공기 감시 및 위성 편대와 같은 실제 적용 사례에서 유도된, 곡면에서 다중 에이전트 시스템의 집단 운동을 모델링하고 분석하는 것.
• 표준 평면 공간 제어 법칙이 실패하는 비유클리드 다양체에서 비영인 곡률을 갖는 곳에서 안정적이고 동적인 군집 구성 형성의 과제를 해결하는 것.
• 당김 및 밀려나는 힘과 Cucker-Smale 유형의 군집 운동 연산자를 조합한 협동 제어 법칙을 설계하여 원하는 형성으로 점점 수렴하는 것.
• 군집 운동 연산자가 시스템을 안정화시키며, 보조 메커니즘을 통해 비영인 일정 속도로 지속적인 운동이 가능하게 하는 것.
• 모든 가능한 점점 수렴 구성(집합, 전개, 국소적 전개)을 분류하고 각각에 대한 충분 조건을 도출하는 것.

제안 방법

• 곡률에 기인한 가속도, 군집 운동 연산자, 협동 제어 힘의 조합으로 이루어진 2-구면에서의 이계 미분방정식 시스템을 수립한다. 이는 위치 및 속도 역학을 제어한다.
• 한 에이전트에서 다른 에이전트로 속도를 평행 이동시키기 위해 회전 연산자 $ R_{x_j \to x_i}(v_j) $ 를 도입하여 상대 속도 계산에서 기하학적 일관성을 확보한다.
• 위치에 따라 변하는 힘을 갖는 협동 제어 법칙을 적용: $ \sigma_{ij} = \sigma_a - \frac{\sigma_r}{\|x_i - x_j\|^2} $, 이는 당김 및 밀려나는 상호작용을 모델링한다.
• 속도가 임계값 이하로 떨어지면 속도를 증가시키는 보조 항 $ f_i^b $ 를 통합하여 정체를 방지하고 지속적인 운동을 가능하게 한다.
• 기하학적 제약과 피드백을 통해 시스템이 구면에서 벗어나지 않도록 하는 정규화된 제어 프레임워크를 사용하여 수치 오차로 인한 이격을 방지한다.
• 불변 다양체 기법과 리아프노프 방법을 활용한 이론적 분석을 통해 전역적인 잘 정의성과 점점 수렴성의 증명을 수행한다.

실험 결과

연구 질문

• RQ1 2-구면에서 이계 다중 에이전트 시스템은 비영인 일정 속도로 안정적이고 동적인 군집 형성을 달성할 수 있는가?
• RQ2 Cucker-Smale 유형의 군집 운동 연산자는 곡면에서 시스템을 안정화시키고 지속적인 운동을 가능하게 하는 데 어떤 역할을 하는가?
• RQ3 이 시스템의 가능한 점점 수렴 구성의 전체 집합(예: 집합, 전개)은 무엇이며, 각각의 경우에 해당하는 파rameter 조건은 무엇인가?
• RQ4 보조 항의 추가는 구면 군집에서 장기적인 역학에 어떤 영향을 미치며, 속도 감쇠를 방지하는 데 어떻게 기여하는가?
• RQ5 감쇠나 외부 보정 없이 군집 운동 연산자만으로도 시스템을 안정화시켜 글로벌 스케일에서 형성 비행을 가능하게 할 수 있는가?

주요 결과

• 시스템은 전역적으로 잘 정의되어 있으며, 제어 파rameter에 따라 세 가지 구성 중 하나로 점점 수렴한다: 집합, 전개, 또는 국소적 전개.
• 상대 속도와 함께 회전 이동을 고려한 군집 운동 연산자는 안정제로 작용하여, 감쇠나 외부 보정 없이도 수렴을 가능하게 한다.
• 보조 항 $ f_i^b $ 가 존재할 경우, 수치 시뮬레이션을 통해 안정 상태에서 $ \|v_1(t)\| \approx 1.25 $ 로 비영인 일정 속도를 유지하는 것으로 확인되었다.
• 점점 수렴 구성은 비율 $ \frac{(N-1)\sigma_r}{2\sigma_a} $ 에 따라 달라지며, 보조 메커니즘 하에서 $ \rho(t) $ 는 이 값 근처에서 진동한다.
• 수치 결과는 군집 운동 연산자가 없을 경우 시스템이 지속적인 형성으로 안정화되지 않음을 확인하여, 이 연산자가 핵심적인 안정화 역할을 한다는 것을 입증한다.
• 기하학적 구조와 보조 제어 덕분에, 수치 오차가 존재하는 상황에서도 장기간에 걸쳐 에이전트들이 구면에 유지됨을 모델이 성공적으로 보여주었다.