관측기 기반 차등 프라이버시 합의 제어를 위한 선형 다중에이전트 시스템

초록

본 논문은 출력 피드백 기반 관측기를 이용해 일반 선형 다중에이전트 시스템(MAS)의 합의를 달성하면서, 각 에이전트의 출력 정보를 라플라스 잡음으로 보호하는 차등 프라이버시 프레임워크를 제시한다. 백스테핑 설계와 비음수 거의 초마르티니게일 이론을 활용해 평균제곱 및 거의 확실한 합의 조건을 도출하고, 감쇠 라플라스 잡음 하에서도 분리 원리가 성립함을 증명한다. 또한 전체 차수와 차수 감소 관측기 모두에 대해 관측기 이득, 제어 이득, 잡음 파라미터를 공동 설계하는 방법을 제공하여 ε‑차등 프라이버시와 ε*‑프라이버시를 만족하면서 동적 평균 합의를 달성한다. 시뮬레이션을 통해 이론적 결과를 검증한다.

상세 분석

이 연구는 기존 차등 프라이버시 기반 합의 연구가 주로 초기 상태만을 보호하고, 라플라스 잡음의 지수적 감쇠에 의존해 시간 경과에 따라 프라이버시 보호가 급격히 약해지는 한계를 극복하고자 한다. 저자는 출력 피드백 형태의 관측기를 설계함으로써, 직접 측정이 어려운 내부 상태를 추정하고 이를 제어 입력에 활용한다. 핵심 기술은 백스테핑 방법을 이용해 관측기와 제어기를 단계별로 설계하고, 시스템 전체를 비음수 거의 초마르티니게일 과정으로 모델링해 평균제곱(mean‑square) 및 거의 확실(almost‑sure) 합의 수렴을 엄격히 증명한 점이다. 특히, 라플라스 잡음의 스케일 파라미터가 지수적이든 다항적이든 일정한 감쇠율을 만족하면, 잡음이 점차 사라지면서도 ε‑차등 프라이버시를 매 순간 유지할 수 있음을 보였다. 이는 기존 연구에서 요구하던 급격한 지수 감쇠 조건을 완화한 것으로, 실시간 시스템에서 프라이버시와 성능 사이의 트레이드오프를 보다 유연하게 조정할 수 있게 한다.

또한, 관측기와 제어기의 이득(L, K)을 잡음 파라미터와 동시에 설계하는 통합 프레임워크를 제시한다. 여기서는 일반적인 인접 데이터 관계를 확장한 ‘일반화 인접 관계’를 도입해, 데이터셋 간 허용 가능한 차이를 넓히고, 그에 따른 프라이버시 보장 조건을 명시한다. 설계 과정은 선형 행렬 부등식(LMI) 형태로 변환되어, 수치적으로 해결이 가능하도록 구성된다.

분리 원리(separation principle)가 라플라스 잡음이 포함된 경우에도 유지된다는 증명은 중요한 이론적 기여이다. 즉, 관측기 설계와 제어기 설계를 독립적으로 진행해도 전체 시스템의 안정성과 합의 수렴이 보장된다. 이는 실무에서 모듈화된 설계 절차를 가능하게 하며, 시스템 복잡도가 높은 대규모 MAS에도 적용 가능함을 의미한다.

마지막으로, 전체 차수 관측기와 차수 감소 관측기 두 가지 경우에 대해 충분조건을 각각 도출하였다. 차수 감소 관측기는 계산량과 통신 부담을 크게 줄이면서도 동일한 프라이버시·합의 성능을 달성한다는 점에서 실용적이다. ε*‑차등 프라이버시 개념을 도입해, 사전에 정의된 프라이버시 예산 ε*를 만족하도록 설계 파라미터를 선택하는 구체적인 부등식도 제공한다. 시뮬레이션 결과는 제시된 이론이 실제 시스템에 적용될 때 수렴 속도와 프라이버시 보호 수준이 기대한 대로 동작함을 확인한다.