안전한 피드백 최적화를 위한 고차 제어 장벽 함수 기반 설계

초록

본 논문은 고차 제어‑장벽 함수(HOCBF)를 이용해 피드백 최적화 과정에서 상태 제약을 실시간으로 보장하는 새로운 제어기를 제안한다. 제안된 안전 그래디언트 흐름(SGF) 컨트롤러는 QP 기반으로 설계되어 입력·상태 제약을 언제든 만족시키며, 폐루프 평형점과 최적화 문제의 KKT 점이 일치함을 증명한다. 또한, 제약 집합 내부에서의 지역 및 특정 볼록 경우 전역 수렴성을 확보한다.

상세 분석

이 연구는 피드백 최적화 분야에서 가장 난제였던 “상태 제약을 전 과정에서 보장하면서도 폐루프 안정성을 유지하는 방법”을 해결한다. 기존의 피드백 최적화는 주로 입력 제약만을 다루었으며, 상태 제약은 수렴 단계에서만 만족하거나 정적 시스템에 한정되었다. 저자들은 이러한 한계를 극복하기 위해 두 가지 핵심 아이디어를 결합한다. 첫째, 안전 그래디언트 흐름(SGF)이라는 개념을 도입해 기존의 그래디언트 플로우를 최소 수정하는 형태의 QP(Quadratic Program)로 변환한다. 이 QP는 제어 입력의 변화량 q를 최적화하면서, 입력 제약 ∇ᵀb(u)·q+αb(u)≥0와 고차 제어‑장벽 함수 조건 ∂h_r/∂x·f+∂h_r/∂u·q+γh_r≥0를 동시에 만족하도록 설계된다. 둘째, 고차 제어‑장벽 함수(HOCBF)를 활용해 상태 제약 h(x)≥0의 상대 차수 r을 고려한다. HOCBF는 시스템 동역학을 r번 미분한 뒤에야 제어 입력이 등장하도록 설계되므로, 상태 제약을 직접 제어 입력에 매핑할 수 있다. 이때 β>0 파라미터를 통해 h_i(x,u)≈β^i h(x) 형태로 근사함으로써, 제약 집합 S와 거의 동일한 전방 불변 집합 T⁰_r S_i를 정의한다.

주요 이론적 기여는 다음과 같다. (1) Feasibility: 제안된 QP가 모든 (x,u)∈C_r에서 실현 가능함을 보이기 위해 MFCQ와 유사한 조건을 제시하고, 충분히 큰 α,γ를 선택하면 언제든 해결 가능함을 증명한다. (2) Well‑posedness: CRCQ가 만족될 경우 g_{ε,α,γ}가 지역적으로 Lipschitz 연속임을 보이며, 따라서 폐루프 시스템 (SGF‑CL)은 초기값에 대해 유일한 해를 갖는다. (3) Safety: 고차 CBF 조건을 통해 S의 부분집합이 전방 불변임을 보이고, β 파라미터 조정으로 이 부분집합을 임의로 S에 가깝게 만들 수 있다. (4) Equivalence: 평형점이 상태 제약 내부에 있을 때, 해당 평형점이 원래 최적화 문제의 KKT 점과 일치함을 증명한다. 경계에 최적점이 존재하는 경우, 정규화 기반 변형을 통해 내부에 근접한 평형점을 만들고, 소량의 서브옵티멀리티를 허용한다. (5) Stability: 내부에 위치한 지역 최적점에 대해 로컬 지수 안정성을, 볼록 목적함수와 유일한 전역 최적점이 존재하는 경우 전역 지수 안정성을 확보한다.

또한, 논문은 기존 연구와의 차별점을 명확히 한다. SGF는 기존의 안전 필터 방식과 달리 제어 입력 자체를 수정하므로, 상태와 입력 제약을 동시에 만족하면서도 최적화 흐름을 크게 왜곡하지 않는다. 고차 CBF를 도입함으로써 제약의 상대 차수가 1보다 큰 경우에도 적용 가능하게 하였으며, 이는 전통적인 CBF가 다루기 어려운 비선형 제약을 처리하는 데 핵심적이다. 다만, 완전한 시스템 모델을 필요로 한다는 점은 제한점으로 언급된다.

실험 섹션에서는 전력 시스템, 교통 흐름, 스마트 빌딩 등 다양한 사례에 적용하여, 제안된 제어기가 제약 위반 없이 목표 최적점에 수렴함을 시뮬레이션으로 검증한다. 특히, 기존 피드백 최적화 방법이 전이 과정에서 상태 제약을 위반하는 반면, 제안 방법은 전 과정에서 안전을 유지한다는 점이 강조된다.

전반적으로 이 논문은 고차 제어‑장벽 함수와 안전 그래디언트 흐름을 결합한 새로운 피드백 최적화 프레임워크를 제시함으로써, 실시간 제약 보장이 필요한 사이버‑물리 시스템에 중요한 이론적·실용적 기여를 한다.