[논문 리뷰] Decentralized Formation Control Part I: Geometric Aspects

Mohamed-Ali Belabbas|arXiv (Cornell University)|2011. 01. 12.

Distributed Control Multi-Agent Systems참고 문헌 14인용 수 7

한 줄 요약

이 논문은 기하 제어 이론을 활용하여 다중 에이전트 시스템에서 탈중앙화된 형성 제어를 조사하며, 방향성 있는 정보 흐름을 가진 최소 강성 그래프가 구성 공간의 위상적 제약로 인해 전역 안정성을 보장할 수 없다고 보여준다. 구성 공간의 위상적 성질을 분석하여 평면상의 n에이전트 형성의 공간이 CP(n−2) × (0,∞)와 미분동형임을 규명함으로써, 거리 기반 제어와 강성 변환에 대한 불변성에 영향을 주는 비자명한 위상적 성질을 밝혀낸다.

ABSTRACT

In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with multiple agents corresponding to the nodes of a graph whose edges encode the information that is available to the agents. We address the question of whether the information flow defined by the graph is sufficient for the agents to accomplish a given task. Formation control is concerned with problems in which agents are required to stabilize at a given distance from other agents. In this context, the graph of a formation encodes both the information flow and the distance constraints, by fixing the lengths of the edges. A formation is said to be rigid if it cannot be continuously deformed with the distance constraints satisfied; a formation is minimally rigid if no distance constraint can be omitted without the formation losing its rigidity. Hence, the graph underlying minimally rigid formation provides just enough constraints to yield a rigid formation. An open question we will settle is whether the information flow afforded by a minimally rigid graph is sufficient to insure global stability. We show that the answer is negative in the case of directed information flow. In this first part, we establish basic properties of formation control in the plane. Formations and the associated control problems are defined modulo rigid transformations. This fact has strong implications on the geometry of the space of formations and on the feedback laws, since they need to respect this invariance. We study both aspects here. We show that the space of frameworks of n agents is CP(n-2) x (0,\infty). We then illustrate how the non-trivial topology of this space relates to the parametrization of the formation by inter-agent distances.

연구 동기 및 목표

• 탈중앙화된 정보 흐름 하에서 다중 에이전트 시스템의 형성 제어 공간의 기하적 구조를 분석하기.
• 방향성 있는 통신을 가진 최소 강성 그래프가 형성 제어에서 전역 안정성을 보장할 수 있는지 결정하기.
• 강성 변환에 대한 불변성이 구성 공간과 피드백 설계에 어떻게 영향을 주는지 이해하기.
• 복소 사영 기하학을 활용하여 평면상의 n에이전트 형성의 공간을 특성화하기.
• 방향성 있는 정보 흐름 환경에서 전역 수렴을 방해하는 위상적 장애를 식별하기.

제안 방법

• 에지 길이가 에이전트 간의 거리 제약을 나타내는 그래프 위의 프레임워크로 형성을 모델링하기.
• 미분기하학을 사용하여 n에이전트의 구성 공간이 CP(n−2) × (0,∞)와 미분동형임을 보여주기.
• 강성 변환에 대한 불변성이 피드백 제어 법칙에 미치는 영향을 분석하며, SO(2) × R²에 대한 불변성을 요구하기.
• 거리 유지 동역학의 안정성을 연구하기 위해 최적화 및 제어 이론 도구를 적용하기.
• 위상적 추론을 통해 방향성 있는 최소 강성 그래프가 전역 수렴을 보장하지 못함을 입증하기.
• CP(n−2)의 비자명한 위상이 방향성 있는 정보 흐름에서 전역 안정성의 저해 요소로 작용하는 역할을 특성화하기.

실험 결과

연구 질문

• RQ1 방향성 있는 정보 흐름을 가진 최소 강성 그래프가 탈중앙화된 형성 제어에서 전역 안정성을 보장할 수 있는가?
• RQ2 거리 제약 하에서 평면상의 n에이전트 형성의 공간은 어떤 위상적 구조를 가지는가?
• RQ3 강성 변환에 대한 불변성이 탈중앙화된 제어 법칙 설계에 어떻게 제약을 가하는가?
• RQ4 왜 충분한 제약 조건이 존재함에도 불구하고 방향성 있는 정보 흐름은 전역 수렴을 보장하지 못하는가?
• RQ5 복소 사영 공간 CP(n−2)는 형성 구성의 매개변수화에 어떤 역할을 하는가?

주요 결과

• 평면상의 n에이전트 형성의 구성 공간은 CP(n−2) × (0,∞)와 미분동형이며, 이는 비자명한 위상적 구조를 드러낸다.
• CP(n−2)의 비자명한 위상은 방향성 있는 정보 흐름에서 형성 제어의 전역 수렴을 방해한다.
• 에지가 방향성을 가진 최소 강성 그래프는 모든 거리 제약 조건이 충족되더라도 전역 안정성을 보장할 수 없다.
• 피드백 법칙은 강성 변환에 대한 불변성을 유지해야 하며, 이는 그들의 설계를 제약하고 전역 수렴 성질을 제한한다.
• n ≥ 4일 때, 강성 운동에 모odulo된 프레임워크의 공간은 단순연결되지 않으며, 이는 위상적 장애를 초래한다.
• 방향성 있는 정보 흐름은 구성 공간 내 충분한 연결성을 제공하지 못해 전역 안정성을 보장하지 못한다.