기술 요약: 단일 제어 장벽 함수(Control Barrier Function) 제약을 통한 센싱 범위 제한 하의 강성 인지형 대형 추적

1. 문제 정의

본 논문은 제한된 센싱 범위 하에서 운용되는 비선형 동역학을 가진 **이종 다중 로봇 시스템(MRS)**의 대형 추적 및 강성 유지(rigidity maintenance) 문제를 다룹 다.

GPS가 불가능한 환경(예: 실내, 수중, 심우주)에서 에이전트들은 국부적인 상대 측정값에 의존합니다. 방위각 기반(bearing-based) 대형 제어는 최소한의 센싱 요구사항에 효과적이지만, 일반적으로 미션 전반에 걸쳐 **강성 통신 그래프(rigid communication graph)**가 유지된다고 가정합니다. 그러나 에이전트의 센싱 범위($\lambda$)가 제한된 실제 시나리오에서는 통신 링크가 동적으로 끊기거나 형성될 수 있으며, 이는 잠재적으로 **방위각 강성(bearing rigidity)**의 상실을 초형할 수 있습니다. 강성은 고유한 대형을 설정하고 보존하기 위한 전제 조건이므로, 강성의 상실은 개별 추적 목표가 달성되더라도 대형 실패로 이어집니다.

핵심 문제(Problem 1)는 다음과 같은 조건을 만족하는 이종 에이전트를 위한 분산 제어 전략을 설계하는 것입니다:

1. 원하는 리더 궤적과 방위 벡터에 의해 정의된 **고유한 강성 대형(unique rigid formation)**을 달성한다.
2. 링크 탈락을 유발할 수 있는 제한된 센싱 범위에도 불구하고, 항상 방위각 강성을 보존한다 ($\det(B_{ff}(t)) \neq 0$).
3. 이웃으로부터의 국부적인 상대 정보만을 사용하여 운용한다.

2. 방법론

제안된 솔루션은 이차 계획법(Quadratic Programming, QP) 프레임워크 내에서 단일 제어 장벽 함수(Control Barrier Function, CBF) 제약을 통해 대형 추적과 강성 유지를 통합합니다.

2.1 시스템 및 그래프 모델

• 동역학: 에이전트는 더블 인테그레이터(double-integrator), 차동 구동(differential-drive), 아커만 구동(Ackermann-drive) 차량을 포함하는 비선형 동역학($\dot{p}_i = v_i, \dot{v}_i = f_{v_i}(v_i) + h_{v_i}(v_i)u_i$)을 가진 평면 로봇으로 모델링됩니다.
• 그래프: 통신 토폴로지 $G(t)$는 무방향이며, 센싱 범위 $\lambda$에 의해 결정되는 시변(time-varying) 그래프입니다.
• 프레임워크: 리더($V_L$)는 전역 위치 접근 권한을 갖고, 팔로워($V_F$)는 국부적인 방위각에 의존하는 리더-팔로워 구조를 사용합니다.

2.2 강성 보존 전략

강성이 유지된다고 가정하는 기존 연구들과 달리, 본 논문은 강성 보존을 명시적인 제어 목표로 취급합니다.

• 참조 할당(Reference Assignment): Henneberg 유형의 정점 추가 순서(vertex-addition sequence)를 기반으로, 각 팔로워에는 서로 평행하지 않은 원하는 방위각을 가진 **참조 쌍(reference pair)**의 이웃($j_1, j_2$)이 할당됩니다.
• **임계성(Criticality): 이러한 특정 참조 쌍의 비공선성(non-collinearity)과 센싱 범위 제약을 유지하는 것이 전체 그래프의 전역 강성을 보장하기 위한 충분조건임을 입증합니다.
• 이중 목표: 참조 링크의 상태에 따라 두 가지 목표 사이를 전환합니다:
  1. 방위각 가이드 목표 ($p^b_{iT}$): 강성이 확보되었을 때 사용됩니다. 이 목표는 에이전트를 원하는 대형 형상에 정렬시킵니다.
  2. 강성 임계 목표 ($p^r_{iT}$): 참조 링크가 센싱 한계에 도달하거나 참조 간의 각도가 공선성에 가까워질 때 활성화됩니다. 이 목표는 에이전트를 참조 링크의 안전 마진을 최대화하는 위치로 끌어당겨, 링크들이 범위를 벗어나지 않고 비공선성을 유지하도록 보장합니다.

2.3 제어 프레임워크: 도달 가능성 CBF (Reachability CBF)

저자들은 이러한 목표들을 통합하기 위해 **도달 가능성 제어 장벽 함수(reach-CBF)**를 채택합니다.

• 안전 집합 및 목표 집합: 에이전트가 센싱 범위 내에 있고 비공선 상태인 안전 집합 $X$와, 원하는 정렬을 위한 목표 집합 $R$을 정의합니다.
• 단일 제약: 추적과 안전을 위한 별도의 제약 대신, 시스템이 전방 불변(forward-invariant) 안전 집합 $X$ 내에 머물면서 유한 시간 $\tau$ 내에 목표 집합 $R$에 도달하도록 보장하는 단일 reach-CBF 제약을 공식화합니다.
• QP 공식화: 제어 입력 $u_i$는 다음을 만족하면서 명목 제어기(nominal controller)로부터의 편차를 최소화하는 QP를 풀어 계산됩니다:
  $$u_i = \arg \min_q \frac{1}{2} \|q - u_{nom}\|^2 \quad \text{s.t.} \quad K_f + K_h^\top q \geq \frac{\mu}{\tau}$$
• 안정성: 폐루프 시스템은 스위칭 비선형 시스템으로 분석됩니다. 저자들은 특정 이득 조건과 최소 체류 시간(센싱 및 각도 마진에 의해 보장됨) 하에서 시스템이 균등 최종 유계(uniformly ultimately bounded)이며, 고유한 대형이 달성됨을 증명합니다.

3. 주요 기여

1. 통합 프레임워크: 대형 추적과 강성 유지를 단일 reach-CBF 제약으로 통합하여, 복잡한 다층 제약 처리를 제거한 새로운 제어 프레임워크를 제시합니다.
2. 국부적 강성 유지: "강성 임계" 참조 쌍을 식별하고 유지함으로써 국부적인 상대 정보만을 사용하여 전역 강성 보존을 보장하며, 영구적인 강성 가정을 제거합니다.
3. 이종 시스템 지원: 비선형 동역학(예: 더블 인테그레이터 및 차동 구동 로봇)을 가진 이종 시스템에 적용 가능합니다.
4. 분산 구현: 컨트롤러는 국부적인 이웃 데이터만을 필요로 하므로 확장 가능하며 분산 운용에 적합합니다.

4. 결과

본 접근 방식은 2D 공간에서 8개의 에이전트(리더 2개, 팔로워 6개)를 대상으로 더블 인테그레이터 및 차동 구동 모델을 포함한 시뮬레이션을 통해 검증되었습니다. 세 가지 시나리오가 테스트되었습니다:

• Case (i) 명목 추적: 에이전트들이 움직이는 대형을 성공적으로 추적하였으며, 방위각 오차는 $\approx 10^{-2}$로 수렴했습니다.
• Case (ii) 강성 유지 없는 외란: 0~7초 사이에 지속적인 외란이 적용되었으며, **팔로워 1 (에이전트 3)**과 **팔로워 2 (에이전트 4)**의 위치에 각각 $[-0.05, 0.04]$ 및 $[-0.01, 0.04]$의 섭동이 추가되었습니다. 그 결과, **팔로워 5 (에이전트 7)**가 **팔로워 2 (에이전트 4)**와의 연결성을 상실하여 $\det(B_{ff}) \to 0$ (즉, $\log_{10}(| \det(B_{ff})|) \approx -12$)이 되면서 네트워크 강성이 상실되었습니다. 방위각 오차는 작게 유지되었으나, 강성 상실로 인해 평균 대형 오차가 크게 증가하였고 팔로워 7은 원하는 대형에서 벗어났습니다.
• Case (iii) 강성 유지가 포함된 외란: 동일한 외란 하에서도 팔로워 4와 팔로워 7 사이의 강성 임계 링크가 보존되었습니다. 결과적으로 대형은 강성을 유지하였고 성공적으로 추적되었습니다.

비교: 본 논문은 전역 스펙트럼 추정(예: 파워 반복법을 통한 강성 고유값) 또는 단순 연결성 유지(Fiedler 고유값)에 의존하는 기존 전략과 대조됩니다. 제안된 방법은 전역 계산을 피하면서 단순 연결성이 아닌 더 강력한 조건인 강성을 보장합니다.

5. 의의 및 주장

본 논문은 특히 외란과 제한된 센싱 범위가 존재하는 상황에서 강성 보존이 정확한 대형 추적을 위해 필수적이라고 주장합니다. 명시적인 강성 유지가 없다면, 국부적인 방위각 오차가 최소화되더라도 대형 추적 제어기가 실패할 수 있습니다.

본 연구의 의의는 다음과 같습니다:

• 간극 해소: 이론적인 대형 제어(강성 그래프를 가정함)와 실제적인 제약(제한된 센싱) 사이의 간극을 해결합니다.
• 효율성: 단일 CBF 제약을 사용하여 여러 제약이나 전역 추정기를 필요로 하는 방법들에 비해 제어 구조를 단순화합니다.
• 강건성: 동적이고 제약이 있는 환경에서 대형의 구조적 무결성을 유지하는 증명 가능한 안정적 방법을 제공합니다.

저자들은 향후 연구를 통해 이 프레임워크를 3D로 확장하고, 장애물 회피 및 입력 제한을 포함하며, 항공 차량에 대한 실험적 검증을 수행할 것이라고 언급했습니다.