入力制約付き劣駆動線形システムのためのロバスト安全フィルタリング

本論文は、未知の外乱を受ける入力制約付きの劣駆動線形システムに対する、ロバストな安全フィルタリングの枠組みを提案している。ベースラインとなるH∞入力をゼロ和微分ゲームから導出し、外乱オブザーバが推定値と過渡誤差の上界を提供する。ベースライン入力は外乱推定値で調整され、推定値と誤差上界はロバストな高次制御バリア関数制約を定義するために用いられる。許容入力集合が空でない限り前方不変性が保証される。スカラー入力システムでは、正確な入力区間から点ごとの実行可能性が決定され、区間幅が実行可能性マージンとなる。有限ホライズンのH∞性能バランスは、適用入力のベースラインH∞ポリシーからの累積偏差を考慮する。線形化された二輪バランスロボットのシミュレーションにより、位置と体幹ピッチの制約が同じ有界な車輪トルク入力を競合する様子を示している。

先行研究と比べて、本手法は入力制約と劣駆動性を同時に扱い、未知の外乱に対してロバストな安全性を保証する点が優れている。従来の制御バリア関数（CBF）ベースの安全フィルタは、外乱を考慮しないか、外乱の影響を過大評価することが多かった。また、劣駆動システムでは高次CBFが必要となるが、入力制約と外乱を統一的に扱う枠組みは限られていた。本手法は、外乱オブザーバによる推定と誤差上界をCBF制約に組み込むことで、保守的すぎず、かつ実行可能性を保証する点が新しい。さらに、H∞性能とのバランスを取ることで、安全性と性能のトレードオフを明示的に扱う。

手法の核は、外乱オブザーバとロバスト高次CBFを組み合わせた安全フィルタリングである。まず、ゼロ和微分ゲームからベースラインH∞入力を導出する。外乱オブザーバは外乱の推定値と過渡誤差の上界を提供する。ベースライン入力は外乱推定値で補正され、推定誤差の上界を用いてロバストな高次CBF制約を定義する。これにより、外乱が存在しても前方不変性が保証される。スカラー入力システムでは、入力区間を正確に計算し、その区間が空でないことを確認することで点ごとの実行可能性を判定する。区間幅は実行可能性マージンとして用いられる。さらに、有限ホライズンのH∞性能指標を導入し、適用入力のベースラインからの累積偏差を評価する。

有効性の検証は、線形化された二輪バランスロボットのシミュレーションによって行われた。このシステムは劣駆動であり、位置と体幹ピッチの制約が同じ有界な車輪トルク入力を競合する。シミュレーションでは、提案する安全フィルタリングが外乱下で安全性を維持しつつ、H∞性能を達成することを示した。具体的な数値結果は要旨からは不明だが、位置とピッチの制約が競合する状況で、提案手法が実行可能性を保ちながら安全を確保できることを実証している。

議論としては、提案手法はスカラー入力システムに焦点を当てており、多入力システムへの拡張が課題として考えられる。また、実行可能性は許容入力集合が非空であることに依存しており、外乱が大きい場合や制約が厳しい場合には実行不可能になる可能性がある。さらに、外乱オブザーバの推定誤差上界が保守的である場合、性能が低下する可能性がある。H∞性能バランスの重みの選定も重要であり、その調整方法については要旨からは不明である。また、シミュレーションのみで実機検証は行われていない。

次に読むべき論文としては、要旨で参照されているゼロ和微分ゲームに基づくH∞制御の基礎論文や、高次制御バリア関数（High-Order Control Barrier Functions）の原論文、外乱オブザーバ（Disturbance Observer）の関連論文が挙げられる。具体的には、AmesらのCBFに関する研究や、Sontagの入力対状態安定性（ISS）に関する研究などが関連する。また、劣駆動システムの安全制御に関する最近の研究も参考になる。