安全フィルタのセキュア化：センサ攻撃下での安全な飛行制御に向けて

- 本論文は、sensor attack 下での flight control の安全性を確保する modular な手法「secure safety filter」を提案する。 - 既存の control barrier function (CBF) ベースの safety filter を拡張したもの。 - secure state reconstructor（もっともらしい状態を生成）と safety filter（nominal 入力に最も近い安全制御入力を計算）の2要素で構成。 - drone の nonlinear dynamics に適用可能。

- 既存研究は linear かつ noise-free なシステムを対象としていた。 - 提案手法は bounded measurement noise を扱える点が異なる。 - reduced-order model 技術を活用し、drone の nonlinear dynamics にも適用可能とした点が先行研究に対する新規性。

- modular 構成：secure state reconstructor が plausible な状態を生成し、safety filter が nominal 制御入力に最も近い安全入力を算出。 - 基盤は control barrier function (CBF) ベースの safety filter の拡張。 - bounded measurement noise に対処する設計。 - reduced-order model 技術により nonlinear な drone dynamics へ適用。

- Software-in-the-loop simulations を実施。 - drone hardware experiments を実施。 - 両者により、sensor attack 存在下でシステムを安全に保つ有効性を実証。

- 要旨からは不明（具体的な限界や議論の詳細は記述されていない）。

- 基盤手法である control barrier function (CBF)-based safety filter の関連論文。 - reduced-order model 技術の関連研究。 - sensor attack 下の state estimation / secure state reconstruction に関する研究。 - drone の nonlinear control および hardware experiments 関連の定番研究。