양자화 평균 합의의 불연속성 및 히스테리시스

초록

연속시간 평균 합의 시스템에 균일 양자화를 적용하고, 해를 Krasovskii 미분가능성으로 정의한다. 실용적 합의(프랙티컬 컨센서스)로 수렴함을 증명하고, 채터링을 방지하기 위해 히스테리시스 양자화를 도입한다. 하이브리드 시스템 이론을 이용해 수렴 특성을 분석한다.

상세 요약

본 논문은 네트워크에 연결된 다수의 에이전트가 연속시간 평균 합의 알고리즘을 수행할 때, 각 에이전트가 자신의 상태를 이웃에게 전송하는 과정에서 균일 양자화기를 사용한다는 가정 하에 시스템 모델을 구축한다. 양자화는 본질적으로 비선형이며 불연속적인 특성을 가지므로, 전통적인 미분방정식 해석 기법으로는 해의 존재와 유일성을 보장하기 어렵다. 이를 해결하기 위해 저자들은 Krasovskii 미분가능성 개념을 도입하여, 양자화된 신호에 의해 발생하는 다중값성을 포함하는 집합값 미분방정식(set‑valued differential equation) 형태로 시스템을 정의한다. Krasovskii 해는 일반적인 Carathéodory 해보다 넓은 해 공간을 제공하며, 불연속점에서의 슬라이딩 모드와 같은 현상을 자연스럽게 포착한다.

논문은 먼저 양자화된 합의 동역학이 “practical consensus”라 불리는 상태, 즉 모든 에이전트의 상태 차이가 양자화 단계 Δ보다 작아지는 집합으로 수렴함을 정리한다. 이때 Lyapunov 함수 V = ½ xᵀLx (L은 그래프 라플라시안) 를 이용해 V̇ ≤ −λ₂‖x‖² + Δ·‖L‖·‖x‖ 형태의 부등식을 얻고, Δ가 충분히 작을 경우 V가 유계 감소함을 보인다. 결과적으로 상태는 유한 시간 내에 Δ‑볼록 집합 안으로 들어가며, 이후에는 양자화 오차가 상쇄되어 더 이상 변동하지 않는다.

하지만 Krasovskii 해는 불연속점에서 무한히 빠른 스위칭, 즉 채터링(chattering) 현상을 야기할 수 있다. 채터링은 실제 디지털 구현에서 통신 부하와 에너지 소모를 급격히 증가시키므로 실용적이지 않다. 이를 완화하기 위해 저자들은 히스테리시스 양자화기를 설계한다. 히스테리시스 양자화는 양자화 경계에 폭(히스테리시스 폭) ε를 도입하여, 상태가 경계를 넘을 때만 출력이 변하도록 만든다. 이 구조는 스위칭 빈도를 제한하고, 연속적인 상태 변화에 대해 일정 기간 동안 동일한 양자화 값을 유지한다.

히스테리시스 양자화기를 포함한 시스템은 연속적인 동역학과 이산적인 스위칭이 교차하는 하이브리드 시스템으로 모델링된다. 저자들은 Hybrid Automaton 프레임워크를 사용해 흐름 집합(C)과 점프 집합(D)를 명시하고, 흐름 규칙은 기존 연속시간 합의 방정식, 점프 규칙은 히스테리시스 경계 통과 시 양자화 값 업데이트로 정의한다. 이 하이브리드 모델에 대해 Lyapunov‑based 불변 집합 분석을 수행하여, 모든 실행이 유한 시간 내에 “hysteretic practical consensus” 집합에 도달함을 증명한다. 특히, 흐름 단계에서 V̇ ≤ −α‖x‖² (α>0) 를 유지하고, 점프 단계에서는 V가 증가하지 않음이 보장된다.

수치 실험에서는 5‑node 및 20‑node 무작위 연결 그래프를 대상으로, 순수 균일 양자화와 히스테리시스 양자화 두 경우를 비교한다. 순수 양자화는 채터링으로 인해 스위칭 빈도가 수천 회에 달하는 반면, 히스테리시스 양자화는 스위칭 횟수가 수십 회 수준으로 크게 감소하면서도 동일한 실용적 합의 정확도를 달성한다. 또한 히스테리시스 폭 ε를 조절함으로써 수렴 속도와 최종 오차 사이의 트레이드오프를 정량화한다.

본 연구는 양자화된 합의 시스템에 대한 이론적 기반을 Krasovskii 해와 하이브리드 시스템 접근법으로 확장함으로써, 실시간 디지털 네트워크에서 발생할 수 있는 비선형·불연속 현상을 체계적으로 다룰 수 있음을 보여준다. 특히, 히스테리시스 양자화기의 설계 원칙과 수렴 보장은 실제 무선 센서 네트워크, 로봇 군집, 전력 시스템 등에서 제한된 대역폭과 에너지 제약 하에 평균 합의를 구현하는 데 중요한 지침을 제공한다.