[論文レビュー] Safe Feedback Optimization through Control Barrier Functions

Giannis Delimpaltadakis, Pol Mestres+2 more|arXiv (Cornell University)|Feb 10, 2026

Stability and Control of Uncertain Systems被引用数 0

ひとこと要約

安全な勾配流フィードバック最適化法で、高次制御バリア関数を用いて常に状態と入力の制約を課し、良く定義された問題設定、安全性の保証、および（局所/全体）安定性の結果を提供する。

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.

研究の動機と目的

• フィードバック最適化設定における状態制約の enforcing 検討を動機づけ、対処する。
• 安全性を保証しつつ、システムを最適化平衡点へ導くコントローラを開発する。
• 閉ループダイナミクスの下で安全集合のwell-posednessと前方不変性を確立する。
• 平衡点を最適化の臨界点と結びつけ、最適解の局所/全体安定性を分析する。

提案手法

• 高次 CBF によって入力と状態の制約を課す二次計画法（QP）として安全勾配流コントローラを定式化する。
• 高い相対階数の状態制約を扱い前方不変性を確保するために h_i 関数を再帰的に定義する。
• b(u) ≤ 0 および h_r(x,u) ≤ 0 を保証するように QP ベースのベクトル場として SGF-CL ダイナミクス ɡ_{\, abla...} を設計する。
• 正規性条件の下で QP の実現可能性を証明し、閉ループ解の存在・一意性を確立する。
• 制約条件充足性を前提とする場合に、閉ループの平衡点と最適化問題の臨界点の同値性を示す。
• 最適化解が境界上にある場合でも、正則化技術により内部平衡点を得つつ、サブ最適性を任意に小さく保つことができる。
• 安全集合内部での局所的な漸近安定性を示し、追加の凸性・正規性条件の下で唯一のグローバル最適解のグローバル漸近安定性を示す。

実験結果

リサーチクエスチョン

• RQ1 状態制約を満たすことを失わずに、フィードバック最適化ループで常に課すことができるか。平衡点の最適性等価性を損なわずに。
• RQ2 SGF-CL の平衡点は最適化問題の KKT 点に対応する条件は何か。
• RQ3 高次の制御バリア関数を安全な勾配流と組み合わせて前方不変性と安全性を保証するにはどうするか。
• RQ4 SGF ベースのコントローラのwell-posednessと実現可能性を保証するための正規性要件は何か。
• RQ5 安全集合内での局所および全体の最適点への収束をどのように保証するか。

主な発見

• 提案された SGF コントローラは、入力と状態の両方の制約を常時満たし、状態-入力空間の安全な部分集合の前方不変性を保証する。
• CRCQ および関連する正規性条件の下で、閉ループ SGF-CL の解の実現可能性と存在/一意性を確立。
• 閉ループの平衡点と最適化問題の臨界点の等価性は、MFCQ/CRCQ および内部点または特定の固有ベクトル条件の下で成立する。
• グローバル最適解が境界上にある場合、正則化スキームにより内部平衡点を得て、サブ最適性を任意に小さくすることができる。
• 安全集合の内部での局所解の局所漸近安定性を示し、追加の凸性と正規性仮定の下で唯一のグローバル最適解の全体漸近安定性を示す。
• シミュレーションは安全性、最適点への収束、および入力制約満足のみを保証する以前の方法に対する利点を示す。