確率的安全制御の境界到達を高次近似で計算
Higher-Order Approximation of Exit Functionals in Sampling-Based Stochastic Model Predictive Control
この論文をやさしく読む
ひとことで言うと
確率的な安全制御で、危険領域への初回退出時刻と失敗の判定を高次の数値法で近似した。
何に役立つ？
考えられる用途は、確率制約を持つ制御器の数値的な安全性評価である。
この研究の面白いところ
動力学が可換かどうかで1次と1.5次の方法を使い分け、失敗指標への誤差の伝播も示した。
どこまで分かった？
失敗指標の強近似には退出時刻分布の局所反集中条件が必要である。評価は数値実験で、実機試験は要旨にない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
サンプリングに基づく確率的モデル予測制御の安全性評価では、領域からの退出に関する量を数値的に推定することが多い。初回退出時刻と退出したかどうかの指標の近似は計算上の主な障害であり、これらの離散化誤差は制御器に直接影響する。本論文は、退出時刻の強い近似に関する既存の高次手法を安全制御へ取り入れる方法を調べる。 一般の非可換な動力学には、Wiktorssonの方法によるLévy面積のシミュレーションと組み合わせた、適応的な1次Milstein離散化を用いる。可換な動力学では、適応的な1.5次の構成により、より強い退出時刻の収束率を得る。退出時刻の分布に局所的な反集中条件を課すと、退出時刻の強近似が失敗指標の強近似にも移ることを示す。次に、退出事象を通じて連続時間の安全性を厳密に表せる、確率制約付きの経路積分制御でこれらの方法を検討する。数値実験では、二つの場合について退出時刻の強誤差、失敗指標の誤差、閉ループでの制約充足を比較し、Euler–Maruyama法より改善することを示した。これにより、より精確な強近似に依存する既存・将来の技術が利用しやすくなる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Safety evaluation in sampling-based stochastic model predictive control often requires numerical estimation of exit functionals. The approximation of first-exit times and exit indicators is therefore a key numerical bottleneck, and discretization error in these quantities directly affects the resulting controller. This paper studies how existing higher-order methods for strong approximation of exit times can be brought into safe control. Two cases are highlighted. For general noncommutative dynamics, an adaptive order-1 Milstein discretization is used together with Lévy-area simulation via Wiktorsson's method. For commutative dynamics, an adaptive order-1.5 construction achieves a stronger exit-time rate. Under a local anti-concentration condition on the exit-time law, we show that strong exit-time approximation transfers to strong approximation of the failure indicator. The methods are then studied in the context of chance-constrained path integral control, which provides an exact continuous-time representation of safety through exit events. Numerical experiments compare the two cases in terms of strong exit-time error, failure-indicator error, and closed-loop constraint satisfaction, showing improvement over Euler-Maruyama and thereby enabling existing and future techniques whose applicability depends on improved strong approximation.
著者のコメント
Accepted for publication in the proceedings of the 2026 IEEE Conference on Decision and Control (CDC 2026)
arXiv ID: 2609.25257 ／ 要約の誤りについて