[論文レビュー] Exact-Time Safety Recovery using Time-Varying Control Barrier Functions with Optimal Barrier Tracking

Yingqing Chen, Christos G. Cassandras+2 more|arXiv (Cornell University)|Mar 19, 2026

Traffic control and management被引用数 0

ひとこと要約

この論文は、設計者指定の障壁軌道を追跡することにより、正確に規定された時間に安全集合への安全回復を強制する Exact-Time Recovery CBF (ExT-CBF) フレームワークを導入し、それを Connected and Automated Vehicles (CAVs) のラウンドアバウト協調へ適用します。

ABSTRACT

This paper is motivated by controllers developed for autonomous vehicles which occasionally result into conditions where safety is no longer guaranteed. We develop an exact-time safety recovery framework for any control-affine nonlinear system when its state is outside a safe region using time-varying Control Barrier Functions (CBFs) with optimal barrier tracking. Unlike conventional formulations that provide only conservative upper bounds on recovery time convergence, the proposed approach guarantees recovery to the safe set at a prescribed time. The key mechanism is an active barrier tracking condition that forces the barrier function to follow exactly a designer-specified recovery trajectory. This transforms safety recovery into a trajectory design problem. The recovery trajectory is parameterized and optimized to achieve optimal performance while preserving feasibility under input constraints, avoiding the aggressive corrective actions typically induced by conventional finite-time formulations. The safety recovery framework is applied to the roundabout traffic coordination problem for Connected and Automated Vehicles (CAVs), where any initially violated safe merging constraint is replaced by an exact-time recovery barrier constraint to ensure safety guarantee restoration before CAV conflict points are reached. Simulation results demonstrate improved feasibility and performance.

研究の動機と目的

• 自動運転システムで安全性が重要な制御を動機付ける。
• 時変障壁関数を用いて正確時間の安全回復手法を開発する。
• 安全回復を障壁空間の軌道設計問題へ転換し、入力制約の下で最適化する。
• ExT-CBF を CAV ラウンドアバウト協調へ適用し、衝突点の前で安全な merging を回復する。
• 従来の有限時間回復法に比べて実現性と性能上の利点を示す。

提案手法

• unsafe な初期状態を含む制御-アフィン系の正確時間安全回復を、時変障壁関数 s(x,t)=b(x)-γ(t) を用いて定式化する。
• ExT-CBF 条件を [t0,t1] 上で Lf b + Lg b u - γ̇(t) + α(b-γ(t)) ≥ 0 として課す。
• ExT-CBF が有効な場合、全ての t ∈ [t0,t1] で b(x(t)) = γ(t) が成立する正確な障壁追跡を証明する。
• exact-time 収束を保証する境界条件で γ(t;θ) をパラメータ化し、実現性と性能のバランスをとるよう θ を最適化する。
• 問題 1 を、ダイナミクスと ExT-CBF 等式制約の下でコスト J(θ,t) を最小化するよう θ を最適化する問題として定式化する。
• ラウンドアバウトの協調へ ExT-CBF を適用する際、unsafe な merging 制約を ExT-CBF 制約に置換し、個別車両の QP（問題 2）を解いてエネルギー・速度・追従精度のバランスを取る。

実験結果

リサーチクエスチョン

• RQ1 制御-アフィン系に対して、入力制約下で安全集合への正確時間回復を保証できるか。
• RQ2 δ θ を最適化した障壁追跡軌道が、固定時間法と比較して実現性と性能にどう影響するか。
• RQ3 ExT-CBF は CAV ラウンドアバウトのような複雑な安全重要シナリオで実現性を改善し、保守性を低減できるか。
• RQ4 回復軌道を形作る際の回復 尖鋭性と制御努力のトレードオフはどうなるか。
• RQ5 ExT-CBF は安全性保証・エネルギー使用・実現性の点で CLBF および FxT-CBF とどのように比較されるか。

主な発見

Balanced Avg. Obj.	Balanced Avg. Energy	Balanced Avg. Time	Balanced Avg. Discomfort	Balanced Avg. Hard Deceleration Cnt	Balanced Avg. Infeasible Cnt	Unbalanced Avg. Obj.	Unbalanced Avg. Energy	Unbalanced Avg. Time	Unbalanced Avg. Discomfort	Unbalanced Avg. Hard Deceleration Cnt	Unbalanced Avg. Infeasible Cnt	Heavy Avg. Obj.	Heavy Avg. Energy	Heavy Avg. Time	Heavy Avg. Discomfort	Heavy Avg. Hard Deceleration Cnt	Heavy Avg. Infeasible Cnt	Method
0.990	2.293	16.468	48.621	0.536	0.536	1.091	3.210	16.502	48.031	0.963	0.725	1.045	2.865	16.174	46.824	0.963	0.725	CBF
0.954	1.915	16.466	48.549	0.232	0.232	0.976	2.081	16.424	48.029	0.375	0.213	0.989	2.240	16.194	46.719	0.213	0.213	CLBF
0.984	2.252	16.459	48.579	0.518	0.518	1.034	2.731	16.415	48.103	1.000	0.450	1.010	2.492	16.180	46.729	0.613	0.450	FxT-CBF
0.952	1.866	16.468	48.692	0.161	0.161	0.974	1.965	16.462	48.107	0.309	0.213	0.985	2.179	16.195	46.770	0.375	0.213	ExT-CBF

• ExT-CBF は入力制約下で実現可能なとき、所定の時刻 t1 で安全集合への回復を正確に保証する。
• 障壁軌道 γ(t;θ) をパラメータ化し最適化することで回復過渡現象を明示的に制御し、固定時間法と比較して保守性を低減する。
• ACC シミュレーションでは、ExT-CBF は t=T での正確な回復を達成し、CLBF および FxT-CBF よりも蓄積制御努力が小さい。
• ラウンドアバウトのシミュレーションでは、ExT-CBF は CLBF および FxT-CBF と比べて目的値とエネルギー消費が低く、非実現性カウントが減少した。
• バランス型・非バランス型・混雑時の各ケースで、ExT-CBF は OCBF および FxT-CBF に対して全体目的値とエネルギーを低下させつつ、実現性を改善している。