Core Concepts
非線形確率動的システムの分布を近似するための新しいアプローチを提案し、正確性を保証する。
Abstract
現代の自律システムは非線形性、データ駆動コンポーネント、不確かさなどが増加しており、安全重視のアプリケーションでは非線形確率ダイナミクスを考慮する必要がある。
非線形確率ダイナミックモデルでは、特定時点でのシステムの分布を閉形式で計算できない。
新しいフレームワークは、時間ごとに与えられた非線形確率ダイナミックシステムの混合分布近似を構築し、その正確性を保証する。
時間進化によって導入された近似エラーがどれだけ小さくなるか示す収束アルゴリズムも提供されている。
Stats
本論文ではTV距離に基づく上限値が効果的に計算可能であることが示されています。
Quotes
"Various methods have been proposed to propagate uncertainty in non-linear stochastic systems."
"Our approach provides tractable approximations for the distribution of a non-linear stochastic system with formal guarantees of correctness."