[논문 리뷰] Safe Feedback Optimization through Control Barrier Functions

Giannis Delimpaltadakis, Pol Mestres외 2명|arXiv (Cornell University)|2026. 02. 10.

Stability and Control of Uncertain Systems인용 수 0

한 줄 요약

안전한 그래디언트-플로 피드백 최적화 방법으로, 고차 제어 바리어 함수(high-order CBF)를 사용하여 항상 상태와 입력 제약을 강제하고, well-posedness(올바르게 정의된 문제), 안전 보장, 및 (국소/전역) 안정성 결과를 제공한다.

ABSTRACT

Feedback optimization refers to a class of methods that steer a control system to a steady state that solves an optimization problem. Despite tremendous progress on the topic, an important problem remains open: enforcing state constraints at all times. The difficulty in addressing it lies on mediating between the safety enforcement and the closed-loop stability, and ensuring the equivalence between closed-loop equilibria and the optimization problem's critical points. In this work, we present a feedback-optimization method that enforces state constraints at all times employing high-order control-barrier functions. We provide several results on the proposed controller dynamics, including well-posedness, safety guarantees, equivalence between equilibria and critical points, and local and global (in certain convex cases) asymptotic stability of optima. Various simulations illustrate our results.

연구 동기 및 목표

• 상태 제약의 피드백 최적화 설정에서의 강제화를 동기 부여하고 다루는 것.
• 시스템을 최적화 평형점으로 유도하면서 안전을 보장하는 제어기 개발.
• 폐루프 다이나믹스 하에서 안전 집합의 충분히 잘 정의된성(Well-posedness) 및 순방향 불변성(forward invariance) 확립.
• 평형점을 최적화 임계점과 연결하고 국소/전역 안정성 분석.

제안 방법

• 고차 CBF를 통해 입력 및 상태 제약을 강제하는 안전 그래디언트 흐름 컨트롤러를 QP(Quadratic Program)로 형식화한다.
• 상태 제약의 고상대(고 상대 차수) 처리를 위해 h_i 함수를 재귀적으로 정의하고 순방향 불변성을 보장한다.
• SGF-CL 다이나믹스를 QP 기반 벡터 필드로 설계하여 b(u) ≧ 0 및 h_r(x,u) ≦ 0를 보장한다.
• 정칙성 조건하에서 QP의 가능성을 증명하고 폐루프 해의 존재/유일성을 확립한다.
• 폐루프의 평형점과 최적화 문제의 임계점 사이의 등가가 적절한 제약 자격조건 하에서 성립함을 보인다.
• 최적화자가 경계에 위치하는 경우 내부를 유지하기 위한 정규화 기법을 제시한다.
• 최적점에 대한 국소 및, 볼록성/전역 조건하에서 전역 점근 안정성 결과를 제시한다.

실험 결과

연구 질문

• RQ1 피드백-최적화 루프에서 상태 제약을 항상 강제할 수 있는가? 평형점 최적성 등가를 해치지 않는가?
• RQ2 SGF-CL 평형점이 최적화 문제의 KKT 점과 대응하는 조건은 무엇인가?
• RQ3 고차 CBF를 안전한 그래디언트 흐름과 어떻게 통합하여 순방향 불변성과 안전성을 보장하는가?
• RQ4 SGF 기반 제어기의 well-posedness와 가능성을 보장하기 위한 정규성 요건은 무엇인가?
• RQ5 안전한 집합 내에서 최적점으로의 국소 및 전역 수렴에 대한 보장은 무엇인가?

주요 결과

• 제안된 SGF 컨트롤러는 입력과 상태 제약을 항상 강제하여 상태-입력 공간의 안전한 부분의 순방향 불변성을 보장한다.
• CRCQ 및 관련 정규성 조건 하에서 폐루프 SGF-CL의 해의 가능성과 존재/유일성이 확립된다.
• 균등하게 만족하는 경우(Interior 또는 특정 고유벡터 조건 하에서) 폐루프의 평형점과 최적화 문제의 임계점 사이의 등가가 성립한다.
• 전역 최적점이 경계에 위치하는 경우 내부 평형점을 갖도록 하는 정규화 방식으로 약간의 하위최적성을 허용하며 내부로의 진입이 가능하다.
• 안전 집합 내부의 지역 최적점에 대한 국소 점근 안정성이 입증되며, 추가적인 볼록성 및 정규성 가정 하에 고유 최적점의 전역 점근 안정성이 보장된다.
• 시뮬레이션은 안전성, 최적점으로의 수렴, 그리고 입력-제약 만족만 보장하는 기존 방법에 비해 우수함을 보여준다.