コントラクタフィルタ：有界不確かさと外れ値に対する集合論的状態推定

非線形連続時間状態推定のための集合メンバーシップアーキテクチャ Contractor Filters (CFs) を提案。有界不確かさと散発的 outlier に対応。feasible states を contractors の合成として記号的表現し、更新ごとに幾何的 enclosure を再構成しない。集合論的フィルタ方程式と数値実現の間の抽象化層を提供し、prediction, correction, ambiguity, outlier handling を単一代数で表現。厳密な nominal recursion と保証付き robust enclosure を導出し、validated flow inclusions で soundness を保持。任意の sub-paving compression で有限外側表現を得る。

従来の集合メンバーシップフィルタは更新ごとに幾何的 enclosure を再構成する必要があったが、CFs は contractors の合成として記号的表現を維持し、状態幾何を規定せずに prediction, correction, ambiguity, outlier handling を単一代数で扱える。robust particle filter との比較で、outlier, 確率的モデルミスマッチ、association ambiguity, multimodality 下でも CFs は全テスト構成で simulated truth を保持したが、particle filter は持続的バイアスと空間エイリアシングで信頼性が低下。

CFs は contractors の合成で feasible states を記号的表現。集合論的フィルタ方程式と数値実現の間の抽象化層を提供。厳密な nominal recursion と保証付き robust enclosure を導出。validated flow inclusions で soundness を保持。任意の sub-paving compression で有限外側表現。contractor strength と compression budget が paving tightness と計算コストのトレードオフを制御し、enclosure guarantee を保持。

range-only と terrain-based localization において、outlier, 確率的モデルミスマッチ, association ambiguity, multimodality 下で robust particle filter と比較評価。CFs は全テスト構成で simulated truth を保持したが、particle filter は持続的バイアスと空間エイリアシングで信頼性が低下。contractor strength と compression budget が paving tightness と計算コストのトレードオフを制御することを確認。

contractor strength と compression budget が paving tightness と計算コストのトレードオフを制御し、enclosure guarantee を保持する点が議論されている。その他の議論は要旨からは不明。

robust particle filter との比較が行われているため、particle filter 関連の研究や、集合メンバーシップフィルタの先行研究（例: interval analysis, contractor programming, guaranteed state estimation）が次に読むべき論文として挙げられる。要旨で参照されている具体的な論文名は不明。