[論文レビュー] Tunable Input-to-State Safety with Input Constraints

Ming Li, Jin Chen+1 more|arXiv (Cornell University)|Mar 8, 2026

Formal Methods in Verification被引用数 0

ひとこと要約

論文は Tunable Input-to-State Safety (TISSf) を一般的なコンパクトな入力制約を組み込み、サポート関数ベースの適合性条件を導出し、安全で制約を満たす制御のオフラインLPベースのチューニングを提供する。接続クルーズコントロールの例は入力制約下での頑健性を示す。

ABSTRACT

Tunable input-to-state safety (TISSf) generalizes the input-to-state safety (ISSf) framework by incorporating a tuning function that regulates safety conservatism while preserving robustness against perturbations. Despite its flexibility, the TISSf tuning function is often designed without explicitly incorporating actuator limits, which can lead to incompatibility with input constraints. To address this gap, this paper proposes a framework that integrates general compact input constraints into tuning function synthesis. Leveraging a geometric perspective, we characterize the TISSf condition as a state-dependent half-space constraint and derive a verifiable certificate for input compatibility using support functions. This characterization transforms the compatibility requirement into a design constraint on the tuning function, yielding a prescriptive lower bound that defines an admissible family of tunings under input constraints. These results are specialized to norm-bounded, polyhedral, and box constraints, yielding tractable control design conditions. We show that these conditions, combined with tuning function monotonicity, guarantee input compatibility and recursive feasibility of the resulting quadratic program (QP)-based safety filter. Furthermore, an offline parameter selection procedure using a covering-based sampling strategy ensures compatibility across the entire safe set via a linear program (LP). A connected cruise control (CCC) application demonstrates robust safety under TISSf while enforcing input constraints by design.

研究の動機と目的

• TISSf のチューニングとアクータの入力制約との適合性の不一致を動機づけ、解決する。
• 入力制約の適合性をサポート関数を用いて特徴づける。
• ノルム有界、ポリヘドリカル、およびボックス型入力セットに対する後処理可能なチューニング条件を導出する。
• カバリングベースのサンプリングとLP定式化によるオフラインパラメータ設計を提供する。
• 接続クルーズコントロールの適用で手法を実証する。

提案手法

• 状態依存の半空間制約を入力に対して含む TISSf を定式化する。
• 入力集合のサポート関数を用いた適合性条件を確立する（補題1）。
• ノルム有界、ポリヘドリカル、ボックス型の入力制約へ条件を特化する（セクション3.2）。
• チューニング関数を ε(h)=ε0 e^{λ h} とパラメータ化して、(ln ε0, λ) に対するアフィン制約を得る（補注2）。
• safe set の κ-カバーとリプシッツ性質を用いて有限サンプリングベースの制約を導出する（命題1）。
• 安全性の適合性を確保するオフラインチューニングパラメータを求める線形計画問題を解く（式30）。

実験結果

リサーチクエスチョン

• RQ1 一般の入力制約と適合性を保証するように TISSf のチューニング関数をどのように設計できるか？
• RQ2 ε(·) に関する明示的な条件は、すべての x ∈ C に対して Pi_ε(x) が許容入力集合 U と交差することをどう保証するか？
• RQ3 異なる入力制約ファミリの下で実現可能なオフライン合成を得るように、チューニング関数をどのようにパラメータ化できるか？
• RQ4 オンライン安全フィルタの再帰的実行可能性を摂動下でオフラインのチューニングアプローチが保証するか？
• RQ5 接続クルーズコントロールのような現実的な制約付き安全タスクでこの手法はどう機能するか？

主な発見

• サポート関数を用いた入力制約適合性を保証する検証可能な下限条件を提供する（補題1）。
• 指数チューニング ε(h)=ε0 e^{λ h} に対する明示的なチューニング条件を導出し、状態と線形不等式で結ぶ（補注2）。
• 一般的な入力集合に対して、ユークリッドノルム、ポリヘドリカル、ボックス制約の計算可能な表現を得る（セクション3.2）。
• κ-カバーを用いたオフラインLPベースの手続きで、全 safe set にわたる適合性を満たすチューニングパラメータを選択する（式30）。
• 入力制約を含む摂動下でも TISSf の安全性を維持できることを示す（セクション3.3 および適用例）。
• 結果は、事後検証よりも構成上適合性を保証する設計空間を規定する。