⚡ electrical engineering

Formation Matrix and Energy-based Control of Multi-Agent Systems

본 논문은 본드 그래프 모델과 새로운 대형 행렬을 활용하여 시스템의 역학을 포트-해밀토니안 프레임워크 내의 상호연결 제어(Control-by-Interconnection) 체계로 매핑함으로써, 수치 시뮬레이션을 통해 검증된 안정적인 대형 유지, 충돌 회피 및 리더 추종 능력을 달성하는 다중 에이전트 대형 시스템을 위한 에너지 기반 제어 프레임워크를 제안한다.

원저자: Martín Crespo, Sergio Junco, Matías Nacusse

게시일 2026-09-04

📖 3 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Martín Crespo, Sergio Junco, Matías Nacusse

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

평평한 바닥을 가로질러 움직이는 작은 로봇 군집을 상상해 보십시오. 각 로봇은 이웃한 로봇과 특정 거리를 유지해야 하는 동시에, 충돌을 피하면서 공유된 경로를 따라가야 합니다. 이것이 바로 로봇 공학, 물리학, 수학의 접점에 위치한 분야인 다중 에이전트 대형 제어(multi-agent formation control)의 과제입니다. 이 기계들이 효과적으로 협력하기 위해서는 단순히 독립적인 개체로서 행동해서는 안 되며, 하나의 조율된 단위처럼 움직여야 합니다. 어려움은 모든 로봇이 움직이는 동안 선, 원, 또는 복잡한 기하학적 패턴과 같은 원하는 형태를 유지하기 위해 각각 어떻게 움직여야 하는지 정확히 알려주는 제어 시스템을 설계하는 데 있습니다. 로봇들이 너무 가까워지면 충돌하고, 너무 멀어지면 대형이 무너집니다. 이를 해결하려면 움직이는 물체 사이의 에너지가 어떻게 흐르는지, 그리고 그 에너지를 사용하여 어떻게 원하는 배열으로 유도할 수 있는지에 대한 깊은 이해가 필요합니다.

최근 아르헨티나의 로사리오 국립대학교 연구진은 로봇 군집을 단순한 기계의 집합이 아니라, 보이지 않는 힘에 의해 결합된 물리적 구조체로 바라봄으로써 이 문제를 해결했습니다. 연구진은 각 로봇에게 다른 모든 로봇에 대한 위치를 계산하도록 복잡한 규칙을 프로그래밍하는 대신, 에이전트들을 연결하는 스프링과 댐퍼(damper) 네트워크를 모방한 시스템을 설계했습니다. 이 가상 설정에서, 일정한 거리를 유지해야 하는 모든 로봇 쌍은 서로 너무 멀어지면 끌어당기고 너무 가까워지면 밀어내는 "스프링"에 의해 연결됩니다. 충돌을 방지하기 위해, 이 가상 스프링은 특수한 성질을 갖도록 설계되었습니다. 즉, 두 로봇이 위험할 정도로 가까워지면 서로를 밀어내는 힘이 무한히 강해져 난공불락의 장벽 역할을 하게 됩니다. 이러한 접근 방식은 대형 제어라는 추상적인 문제를, 로봇들이 마치 탄성 밴드로 연결된 실제 물체처럼 자연스럽게 올바른 위치에 자리 잡게 되는 구체적인 물리 현상으로 변환시 ст니다.

이 연구의 핵심 혁신은 저자들이 "대형 행렬(formation matrix)"이라고 부르는 새로운 수학적 도구입니다. 기존의 방법들은 각도나 단순한 거리를 측정하는 데 의존하는 경우가 많았지만, 이 행렬은 로봇 사이의 거리와 서로에 대한 상대적인 속도를 모두 포착합니다. 이는 전체 그룹의 복잡한 움직임을 명확한 지침 세트로 변환하는 번역기 역할을 합니다. 연구진은 이 행렬을 사용하여 가상 스프링 네트워크가 로봇들이 원하는 대형에 도달하고 이를 유지할 수 있음을 수학적으로 보장하는 안정적인 시스템을 생성한다는 것을 증명할 수 있었습니다. 그들은 이 구조가 단순한 시뮬레이션 기법이 아니라 그룹의 근본적인 기하학적 특성임을 입증했습니다. 즉, 제어 시스템을 복잡하고 동적인 계산 대신 직접적이고 정적인 피드백 루프로 단순화할 수 있다는 의미입니다. 이는 로봇들이 실시간으로 어려운 방정식을 풀 필요 없이 변화에 즉각적으로 반응할 수 있음을 뜻합니다.

아이디어를 테스트하기 위해 연구진은 질량과 회전과 같은 실제 물리적 특성을 가진 소형 전방향 이동 차량과 유사한 강체(rigid bodies)로 모델링된 6대의 이동 로봇 그룹을 대상으로 상세한 컴퓨터 시뮬레이션을 수행했습니다. 그들은 두 가지 다른 전략을 테스트했습니다. 첫 번째에서는 한 로봇을 "리더"로 지정하고 가상 스프링을 사용하여 전체 그룹을 특정 위치와 방향으로 유도했습니다. 시뮬레이션 결과, 리더가 나머지 군집을 끌어당김에 따라 그룹은 성공적으로 원하는 형태를 형성하고 함께 움직였습니다. 두 번째 전략에서는 전체 그룹이 형태를 유지하면서 특정 경로를 따라 이동하도록 하는 위치 제어에 집중했습니다. 연구진은 가상 스프링만으로는 충돌을 방지하고 로봇들을 어느 정도 조직적으로 유지할 수는 있지만, 그룹이 의도한 경로와 형태에 완벽하게 수렴하도록 하기 위해서는 추가적인 제어 신호가 필요하다는 것을 발견했습니다. 이 추가 신호를 더했을 때, 로봇들은 충돌을 피했을 뿐만 아니라 오차 없이 정확한 대형으로 안착했습니다.

이 시뮬레이션 결과는 로봇 군집을 서로 연결된 스프링과 댐퍼의 물리적 시스템으로 취급하는 것이 대형 제어 문제를 해결하는 강력한 방법임을 확인시켜 줍니다. 연구진은 새로운 대형 행렬을 사용함으로써 물리적으로 직관적이면서도 수학적으로 견고한 제어기를 만들 수 있음을 보여주었습니다. 이 시스템은 로봇이 질량 및 회전과 같은 실제 물리적 특성을 가지고 있음에도 불구하고, 특정 형태를 유지하고 충돌을 피하는 이중 과제를 성공적으로 처리했습니다. 연구는 에너지 기반의 접근 방식이 로봇 군집을 조율하는 신뢰할 수 있는 프레임워크를 제공하며, 군집이 복잡한 환경에서 함께 움직여야 하는 미래의 응용 분야를 위한 명확한 경로를 제시한다고 결론짓습니다. 이 연구는 에이전트 간의 에너지 교환을 이해함으로써, 엔지니어들이 새 떼나 물고기 떼처럼 로봇들이 자연스럽게 협력할 수 있도록 하는 더 단순하고 효과적인 제어 시스템을 설계할 수 있음을 시사합니다.

기술 요약: 다중 에이전트 시스템의 포메이션 행렬 및 에너지 기반 제어

문제 정의
본 논문은 평면에서 작동하는 $n$ 개의 이동형 전방향 로봇으로 구성된 다중 에이전트 시스템(MAS)의 포메이션 제어 문제를 다룬다. 주요 목표는 특정 기하학적 포메이션을 달ato하고 유지하며, 에이전트 간의 충돌을 방지하고, 특정 구성에서는 포메이션의 전역 위치와 방향을 제어하는 것이다. 저자들은 다중 에이전트 상호작용에 내재된 저장(storage), 흐름(flow), 소산(dissipation)의 복잡한 상호작용을 처리하기 위해 에너지 기반 방법을 활용하여, 물리적으로 직관적이면서도 이론적으로 엄밀한 제어 설계를 추구한다.

방법론
제안된 접근 방식은 그래프 이론, 본드 그래프(BG) 모델링, 그리고 제어에 의한 상호연결(CbI) 프레임워크 내의 포트-해밀토니안 시스템(pHS) 이론을 통합한다.

상호연결된 물리 구조 (IPS): 저자들은 MAS를 "기초 결합 블록(Elementary Coupling Blocks, ECB)"의 네트워크로 모델링한다. 각 ECB는 에이전트 쌍을 연결하는 가상 스프링-댐퍼 모듈로 구성된다.
- 스프링: 장벽 함수(barrier function) 포텐셜 에너지를 갖도록 설계되었다. 이들은 에이전트 간 거리가 0에 가까워질 때 척력(무한대로 발산)을 가하여 충돌을 방지하고, 거리가 원하는 기준치를 초과할 때는 인력을 가하여 포메이션 유지를 돕는다.
- 댐퍼: 네트워크 내의 진동을 감쇠시킨다.
포메이션 행렬 ( $F(r)$ ): 본 연구의 핵심적인 기여는 포메이션 행렬의 도입이다. 오직 각도 기반 또는 거리 기반 표현에만 의존하는 기존 방식과 달리, $F(r)$ 은 에이전트 간의 유클리드 거리와 상대 속도를 수학적으로 캡슐화한다. 이는 상호작용 그래프의 인시던스 행렬(incidence matrix)과 에지의 각도 사인/코사인 값을 사용하여 정의된다. 이 행렬은 에이전트 속도와 에이전트 간 거리의 변화율 사이의 선형 사상 역할을 한다.
모델링:
- 에이전트는 먼저 점 질량으로 모델링된 후, 이후 전방향 휠을 가진 강체로 확장된다.
- IPS는 에너지 교환과 인과 관계를 포착하는 본드 그래프(BG)를 사용하여 모델링된다. 이 BG 모델은 포트-해밀토니안 시스템 표현으로 변환된다.
제어 설계 (CbI):
- 제어기는 CbI 기술을 사용하여 설계된다. ECB는 플랜트(plant) 역할을 하는 에이전트에 대해 컨트롤러 역할을 수행한다.
- 상호연결은 **카시미르 함수(Casimir functions)**를 생성하는데, 이는 시스템의 기하학적 구조(상호연결 구조)에 의해 결정되는 보존량이다. 구체적으로, $K(r, \tilde{z}) = F(r)r - \tilde{z}$ 인 함수가 카시미르 함수로 식별되며, 이는 플랜트 상태(위치)와 컨트롤러 상태(스프링 변형)를 연결한다.
- 이러한 관계를 통해 동적 컨트롤러를 **정적 상태 피드백 법칙(static state-feedback law)**으로 축소할 수 있으며, 이를 통해 속도 신호를 적분할 필요를 없애고 컨트롤러 초기 조건 요구 사항을 단순화할 수 있다.
제어 전략:
- 리더 에이전트 제어: 포메이션의 전역 위치와 방향을 정의하기 위해 리더 노드와 특정 에지가 선택된다. PI 제어기는 리더의 위치와 에지의 각도를 조절한다. 안정성은 리로프노프 분석을 통해 증명되며, 변환 행렬이 풀 랭크(full rank)를 보장하기 위해 상호작용 그래프가 *최소 강성(minimally rigid)*을 갖출 것을 요구한다.
- 위치 기반 제어: 가상 참조 구조(VRS)가 정의되며, 에이전트들은 그에 대응하는 가상 참조점(VRP)을 추적한다. 거리 기반 제어만으로는 원하는 토폴로지로의 정확한 수렴을 보장하지 못할 수 있는 한계를 극복하기 위해, 슬라이딩 모드 유사 항인 추가 제어 신호 $\omega$ 가 도입된다.

주요 기여

포메이션 행렬: 에이전트 간 거리와 상대 속도를 동시에 나타내어 통일된 에너지 기반 제어 정식화를 용이하게 하는 행렬을 도입하였다.
카시미르 함수를 통한 정적 피드back: IPS의 특정 기하학적 구조와 홀로노믹 제약 조건이 카시미르 불변량을 생성함을 입증하였다. 이를 통해 동적 CbI 컨트롤러를 정적 상태 피드백 법칙으로 구현할 수 있게 하여, 컨트롤러 상태의 복잡한 적분이나 임의의 초기 조건 문제를 해결하였다.
통합 프레임워크: 본드 그래프를 pHS 및 CbI와 결합함으로써, 물리적 해석(스프링/댐퍼)과 수학적 제어 구조를 명시적으로 연결하는 구조적이고 물리적으로 일관된 아키텍처를 제공한다.
강체 확장: 본 방법론이 점 질량이 아닌 전방향 휠을 가진 강체 에이전트에도 적용 가능함을 보여줌으로써, 병진 운동과 회전 운동을 분리하여 적용할 수 있음을 입증하였다.

결과
6개의 강체 에이전트를 모델로 하여 두 가지 시나리오에서 수치 시뮬레이션을 수행하였다.

리더 에이전트 제어: 최소 강성 그래프( $m=9$ )를 사용했을 때, 시스템은 원하는 위치와 방향에서 포메이션을 성공적으로 안정화했다. 에이전트들은 원하는 거리에 수렴하였으며, 포메이션은 형태를 유지하며 궤적을 따라 이동하였다.
위치 제어: 완전 강성 그래프( $m=15$ )를 사용했을 때, 보조 제어 신호 $\omega$ 가 없을 경우 에이전트들이 원하는 전역 토폴로지와 일치하지 않는 국부 평형점에 도달할 수 있음을 확인하였다. $\omega$ 가 활성화되었을 때, 에이전트들은 충돌 없는 거리(0.9m 이상)를 유지하면서 원하는 포메이션과 궤적으로 점근적 안정성을 달성하였다.

의의 및 주장
본 논문은 자신의 주요 의의가 포메이션 제어를 위한 물리적 영감을 얻으면서도 이론적으로 뒷받침되는 접근 방식을 제공하는 데 있다고 주장한다. 포메이션 행렬과 CbI 체계를 활용함으로써 저자들은 다음과 같은 제어 아키텍처를 달성하였다:

에너지 기반 설계는 충돌 방지와 포메이션 유지를 자연스럽게 처리한다.
시스템의 기하학적 특성(포메이션 행렬을 통해)은 정적 피드백 형태로 제어 법칙을 단순화하는 데 필요한 불변량(카시미르 함수)을 본질적으로 생성한다.
본 접근 방식은 에너지 모델을 상호작용 기하학과 분리하거나 오직 각도 기반 표현에만 의존하는 방법들에 비해 더 포괄적이고 물리적으로 일관된 대안을 제공한다.

저자들은 리더 에이전트 제어가 변환 행렬의 풀 랭크와 안정성을 보장하기 위해 최소 강성 그래프를 요구하는 반면, 위치 제어 전략은 가상 참조 구조와 추가적인 안정화 신호를 사용하여 토폴로지 유지 측면에서 견고함을 제공한다고 강조한다. 본 연구는 특히 정적 피드백 해석으로 이어지는 인과 관계를 밝혀내는 데 있어 본드 그래프 기법이 결정적인 역할을 했음을 결론짓는다.

유사한 논문