연속‑이산 하이브리드 피드백 최적화: 수렴성 및 강인성 분석

초록

본 논문은 연속시간 선형 시스템에 대한 입력을 디지털(이산시간) 최적화 알고리즘으로 계산하는 하이브리드 모델을 제시한다. 모델의 잘 정의됨, Zeno 현상 방지, 지수적 수렴 및 측정·모델·시점 교란에 대한 강인성을 정량적으로 증명하고, 시뮬레이션을 통해 교란 억제 효과를 확인한다.

상세 분석

이 연구는 기존의 피드백 최적화 문헌이 연속‑연속 혹은 이산‑이산 형태로 시스템 동역학과 최적화 연산을 동시에 모델링한 점을 비판하고, 실제 물리 시스템(연속시간)과 디지털 컴퓨터(이산시간) 사이의 간극을 메우기 위해 하이브리드 시스템 이론을 도입한다. 저자는 선형 시불변(LTI) 시스템 (\dot x = Ax + Bu,; y = \Psi x + d) 에 대해 입력 (u) 가 일정 시간 구간 동안 고정되고, 그 사이에 출력 (y) 가 샘플링되어 이산시간 경사하강법에 투입되는 구조를 정의한다. 흐름 집합 (C)와 점프 집합 (D)를 명시적으로 구성하고, 흐름 지도 (F)는 연속 동역학을, 점프 지도 (G)는 (i) 출력 샘플링, (ii) 입력 업데이트, (iii) 최적화 연산 완료를 각각 다루는 세 가지 경우로 나눈다.

핵심 이론적 기여는 다음과 같다. 첫째, 하이브리드 기본 조건(Hybrid Basic Conditions)을 만족함을 증명해 시스템이 잘 정의되고 해가 존재함을 보인다(정리 1). 둘째, Zeno 현상이 발생하지 않으며 모든 최대 해가 완전함을 제시해 장기 운용 가능성을 확보한다(정리 2). 셋째, 목표 상태 ((x^\star,u^\star)) 에 대한 지수적 수렴을 보이며, 수렴 반경은 시스템 행렬 (A,B,\Psi) 와 알고리즘 파라미터 (\gamma) 및 제약 집합 (U) 에 의해 명시적으로 계산된다(정리 3, 4).

특히 강인성 분석에서는 세 종류의 교란을 동시에 고려한다. (i) 측정값 (y_s) 의 잡음, (ii) 시스템 행렬 (A,B,\Psi) 의 불확실성, (iii) 입력·출력 샘플링 시점의 변동이다. 하이브리드 시스템 프레임워크를 이용해 유한 시간 구간 (