분산 고차 비선형 다중에이전트 시스템의 지정시간 내 볼록 최적화 달성

초록

본 논문은 무방향 연결 그래프 위에 놓인 고차 비선형 다중에이전트 시스템(MAS)에 대해, 초기 상태와 제어 파라미터에 무관하게 사전에 지정한 시간 안에 전역 최적값에 수렴하도록 하는 분산 지정시간 볼록 최적화(DPTCO) 프레임워크를 제안한다. 설계는 최적 궤적 생성기와 로컬 추적 제어기를 계층적으로 결합한 캐스케이드 구조로 이루어지며, 변환된 시스템의 지정시간 안정성을 라플루노프 함수와 시간 가변 상태 변환을 이용해 증명한다. 또한 외란에 강인한 체인‑인테그레이터 MAS와 파라미터 불확실성을 포함한 스트릭‑피드백 MAS에 대한 로버스트 및 적응형 DPTCO 알고리즘을 각각 제시하고, 수치 시뮬레이션을 통해 이론적 결과를 검증한다.

상세 분석

이 논문은 기존의 분산 최적화 연구를 지정시간 제어(prescribed‑time control)와 결합함으로써, 수렴 시간(T) 를 사전에 정확히 지정할 수 있는 새로운 패러다임을 제시한다. 핵심 아이디어는 DPTCO 문제를 두 개의 서브시스템, 즉 ‘분산 최적 궤적 생성기(ζ‑subsystem)’와 ‘로컬 추적 제어기(ς‑subsystem)’로 분리하고, 이들을 캐스케이드 형태로 연결한 뒤 전체 시스템의 지정시간 안정성을 분석하는 것이다.

1. 시간 가변 이득 µ(t)
   µ(t)=1/(T+t₀−t) 로 정의된 시간 가변 이득은 t→T+t₀ 에서 무한대로 발산한다. 이 이득을 라플루노프 미분식에 삽입함으로써, V̇≤−α̃(µ)V 형태의 지정시간 수렴 조건을 만들 수 있다. α̃(µ) 가 µ에 비례하면, V는 지수적으로 감소하지만 µ가 무한대로 커짐에 따라 수렴 속도가 급격히 증가해 정확히 T 안에 0에 도달한다.

2. 변환 라플루노프 함수와 충분조건
   저자들은 ‘changing Lyapunov function’ 기법을 사용해, ζ‑subsystem 과 ς‑subsystem 각각에 대해 별도의 라플루노프 함수를 구성하고, 두 함수를 적절히 가중합한 복합 라플루노프 함수를 정의한다. 이 복합 함수는 두 서브시스템 간의 상호작용 항을 포함하지만, 시간 가변 이득에 의해 상쇄되도록 설계된다. 충분조건은 (i) ζ‑subsystem 의 추정 오차 eᵣ 가 µ에 의해 지정시간 안에 0으로 수렴, (ii) ς‑subsystem 의 추적 오차 eₛ 가 eᵣ 에 의해 유도된 바운드 내에서 지정시간 안에 0으로 수렴, (iii) 내부 신호 x, y, u 가 모두 유계임을 보장한다.

3. 로버스트 DPTCO for Chain‑Integrator MAS
   체인‑인테그레이터 형태의 MAS에 대해, 저자들은 새로운 슬라이딩‑모드 변수와 시간 가변 상태 변환을 도입한다. 이 변수는 외란 dᵢ(t) 와 무관하게 제한된 범위에 머무르며, µ(t) 로 스케일링된 동역학을 통해 지정시간 안에 추적 오차를 0으로 만든다. 기존 슬라이딩‑모드 제어와 달리 고차 미분항(예: ÿ, y‴)을 필요로 하지 않아 구현 복잡도가 크게 감소한다.

4. 적응형 DPTCO for Strict‑Feedback MAS
   스트릭‑피드백 구조에서는 백스테핑(backstepping) 과정에서 시간 가변 이득의 미분이 급격히 증가하는 문제가 발생한다. 이를 해결하기 위해 ‘하강 파워 상태 변환(descending power transformation)’을 도입해, 각 단계에서 변수 스케일을 µ(t)⁻ᵏ 형태로 감소시킨다. 이렇게 하면 백스테핑 단계마다 발생하는 µ̇/µ 비율이 유계가 되며, 지정시간 동적 필터와 결합된 적응 법칙을 통해 파라미터 불확실성을 보상한다.

5. 수치 검증
   두 개의 시뮬레이션 사례—(i) 5대 에이전트 체인‑인테그레이터 MAS에 외란이 가해진 경우, (ii) 4대 에이전트 스트릭‑피드백 MAS에 파라미터 오차가 존재하는 경우—를 통해 제안된 프레임워크가 실제로 T=5초 이내에 전역 최적값에 수렴하고, 모든 내부 신호가 유계임을 확인한다.

전반적으로 이 논문은 지정시간 제어 이론을 분산 최적화에 성공적으로 적용함으로써, 초기 조건이나 제어 파라미터에 독립적인 ‘정확히 지정된 시간’ 내 수렴을 보장한다는 점에서 기존의 유한시간·고정시간·선정시간 최적화와 차별화된다. 또한 고차 비선형 시스템, 외란, 파라미터 불확실성 등 실무에서 흔히 마주하는 복합적인 상황까지 포괄적으로 다루어, 이론적 기여와 실용적 적용 가능성을 동시에 제공한다.