전환 시스템 기반 비볼록 최적화 새로운 접근법

초록

**
본 논문은 원시 변수만을 추정하는 저차원 전환 동역학을 제안한다. 제안된 방법은 스위칭 법칙을 통해 활성 부등식 제약을 자동으로 판단하고, 목적 함수를 공통 라프노프 함수로 이용해 비볼록 최적화 문제의 KKT 점으로 수렴함을 보인다. 기존의 프라임‑듀얼 동역학에 비해 차원이 낮고, 입력‑상태 안정성(ISS) 분석이 용이하며, 이차형 프로그래밍, Rosenbrock 함수, 에너지 효율 건물 제어 사례에서 유효성을 입증한다.

**

상세 분석

**
논문은 연속시간 최적화 동역학을 전환 시스템(switching system) 프레임워크 안에 배치함으로써 기존 프라임‑듀얼 방식이 갖는 차원·복잡도 문제를 근본적으로 해결한다. 핵심 아이디어는 라그랑지안의 이중 변수(라그랑주 승수)를 명시적으로 추적하지 않고, 원시 변수 z 만을 상태로 하는 n‑차원 시스템을 설계하는 것이다. 이를 위해 부등식 제약 g_inq(z)≤0 의 활성 여부를 실시간으로 판단하는 스위칭 법칙 σ(t) 을 정의한다. 활성 제약 집합이 바뀔 때마다 시스템은 서로 다른 서브시스템 h_s(z) 으로 전환되며, 각 서브시스템은 KKT 조건의 1차식 ∇f(z)+A_eq^Tλ+A_inq^Tν=0 을 만족하도록 설계된다.

수학적으로는 제약을 A_eq(z)∇f(z)+d_eq=0, A_inq(z)∇f(z)+d_inq≤0 형태로 표현하고, 활성 제약에 대해서는 라그랑주 승수를 암묵적으로 1로 가정한다. 스위칭 신호는 g_inq_i(z)≥0 이면 해당 제약을 활성화하고, g_inq_i(z)<0 이면 비활성화하는 규칙을 따르며, 이는 내부 장벽법(barrier)과 유사하게 feasible set을 양향 불변(invariant)하게 만든다.

안정성 분석은 목적 함수 f(z) 그 자체를 공통 라프노프 함수 V(z)=f(z)−f(z*) 로 사용한다. 각 서브시스템에 대해 ∇V·h_s≤0 이 성립함을 증명하고, 평균 체류 시간(average dwell‑time) 조건을 도입해 무한 스위칭(채터링·제노 현상)을 방지한다. 라프노프 감소율이 부등식 제약에 의해 방해받지 않도록 ISS‑Lyapunov 구조를 활용, 외란이나 초기 조건 변화에 대해 입력‑상태 안정성을 확보한다.

수렴 증명은 두 단계로 진행된다. 첫째, 스위칭에 의해 feasible set Γ 내에서 trajectories가 유계이며, 라프노프 함수가 단조 감소함을 보인다. 둘째, 제한된 스위칭 횟수와 라그랑주 승수의 암묵적 존재를 이용해 수렴점이 KKT 조건을 만족하는 점임을 보인다. 이때 기술적 가정으로는 ∇f 의 방사형 무한성(radial unboundedness)과 제약 행렬 A_eq(z), A_inq(z) 의 전순위(full rank) 조건이 필요하다.

비볼록 문제에 대한 기존 연구는 주로 지역 수렴(local convergence)이나 강한 가정(예: quasi‑convex) 하에서만 결과를 제시했지만, 본 접근법은 KKT 점에 대한 전역적인 수렴 영역을 G_inq (부등식 feasible set)으로 확대한다. 또한 차원 감소( n 대 n+m+p )는 실시간 제어와 분산 최적화에 큰 장점을 제공한다.

**