非ホロノミック移動ロボットのためのスケーリングに基づく相互制御障壁関数

本論文は、力制御される非ホロノミック移動ロボットにおいて、位置レベルの障害物回避から生じる相対次数2の安全制約を扱うためのControl Barrier Function (CBF)の構築法を提案している。具体的には、物理的な安全関数に関連するreciprocal barrierの分子に、運動に依存する正のスケーリング因子を配置するscaling-based reciprocal barrier構築を導入する。このバリアは物理的安全集合の内部で正確に定義され、境界で特異的になり、元の安全制約の認証された内部領域を保持しつつ、一次の制御権限を回復する。

従来のCBFは相対次数1の制約に適用されるが、非ホロノミックロボットの位置ベースの安全制約は相対次数2となり、直接適用が困難である。既存の高次CBF（Exponential CBFなど）は複雑な設計を要する。本提案は、スケーリング因子を導入することで、元の安全集合の内部を保証しつつ、一次の制御権限を回復する点が新しい。これにより、より簡単な構造で高次安全制約を扱える可能性がある。

手法の核心は、物理的安全関数h(x)に対して、スケーリング因子s(x)（正の運動依存関数）を分子に配置したreciprocal barrier B(x) = s(x) / h(x)を定義すること。このB(x)はh(x)>0の内部で定義され、h(x)→0で無限大に発散する。これにより、元の安全集合の内部をそのまま保証しつつ、Bの時間微分が制御入力に一次的に依存するように設計する。力制御非ホロノミックモデルに対して、この構築がreciprocal CBFとなる十分条件を導出し、その条件下で安全集合の前方不変性を証明する。さらに、スカラーstrict-feedbackシステムを用いて、高次カスケードの構造的解釈を与える。

数値シミュレーションにより、提案した安全集合の幾何学的性質と、最適化ベースの制御フレームワーク（例：QP-based controller）との統合による障害物回避の有効性を示している。具体的なシミュレーション結果の詳細は要旨からは不明だが、安全集合の内部が維持され、障害物回避が達成されることを確認している。

要旨からは、提案手法の限界や課題についての議論は明示されていない。ただし、スケーリング因子の選択が安全性と制御性能に与える影響や、より複雑なロボットモデルへの拡張性などが議論の余地として考えられるが、要旨には記載がない。

要旨で参照されている関連研究として、Control Barrier Functions (CBFs)の基礎理論、特に高次CBF（Exponential CBF）や非ホロノミックシステムへの応用に関する論文が挙げられる。具体的には、Ames et al.のCBFに関する研究や、非ホロノミックロボットの安全制御に関する研究が関連する。