arXiv論文メモ
新着一覧
eess.SY / cs.SY · 査読状況未確認

予測誤差の軌道全体で安全性を保証するチューブ型制御

Collective Tube Model Predictive Control With Distribution-Free Joint Safety Certificates

Giuseppe C. Calafiore

この論文をやさしく読む

ひとことで言うと

予測誤差を時点ごとに分けず軌道全体として扱い、モデル予測制御の安全余裕を定める研究。

何に役立つ?

線形系で不確実性があるとき、安全制約を満たしながら過度に保守的な制約縮小を避ける制御方法の設計に役立つと考えられる。

この研究の面白いところ

チューブから軌道全体が外れる確率を校正し、分布に依存しない有限標本保証と再帰的実行可能性を結びつけている。

どこまで分かった?

理論保証は加法的不確実性のある線形系、固定補助フィードバック、分割校正などの条件の下で示される。比較結果は数値実験であり、実機での安全性実証は要旨にない。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

データで校正した確率的モデル予測制御(MPC)では通常、予測期間中の時点、制約面、状態・入力の成分、障害物など、多数の事象について個別のリスク余裕を設け、和集合の上界で結合する。この方法は妥当だが、チューブMPCの再帰的な実行可能性の証明で使う、誤差チューブ全体を移動する操作とは一致しない。本論文は、有限の予測期間における予測誤差の軌道を校正対象とする集約チューブMPC(CT-MPC)を開発する。再利用可能な軌道チューブをオフラインで校正し、その各時点の断面によってオンラインで確定的なPontryagin差による制約の縮小を定める。保証対象の違反事象は、新しい予測誤差軌道がチューブから外れることである。 加法的な不確実性を持つ線形系と固定した補助フィードバックについて、予測期間中の状態・入力の同時安全性、明示的に構成した移動後の候補から導く一段階の再帰的実行可能性、有限回の運用に対するリスク上界、および実用的な価値関数の減少不等式を証明する。有限標本の保証は分割校正の下で分布に依存せず、ベータ二項分布の形を取る。その複雑さは予測期間中の制約ブロック数ではなく、チューブを定め得ると保証された残差軌道の本数によって決まる。さらに、多面体チューブについて実装可能な移動互換性の検査を与え、不規則なチューブ設計に対して安定した圧縮による代替策を示す。数値実験ではCT-MPCをBonferroni型の制約縮小、標本包絡チューブ、時間方向に同時保証する適合的MPCの基準手法と比較した。集約チューブは、経験的な安全性と再帰的実行可能性を保ちながら、確定的な制約縮小を減らした。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-22(UTC)
最新改訂
2026-09-22 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Data-calibrated stochastic MPC typically builds separate risk margins for many events along the horizon, such as times, facets, state/input components, or obstacles, and then combines them with a union bound. This approach is valid, but it does not match the key object used in the tube-MPC recursive-feasibility proof, which shifts a complete error tube. This paper develops collective tube MPC (CT-MPC), where the calibrated uncertainty object is the finite-horizon prediction-error trajectory. A reusable trajectory tube is calibrated offline, its cross-sections define deterministic Pontryagin tightenings online, and the certified violation event is that a fresh prediction-error trajectory leaves the tube. For linear systems with additive uncertainty and fixed ancillary feedback, we prove joint state-input safety over the prediction horizon, one-step recursive feasibility from an explicit shifted candidate, a finite-deployment risk bound, and a practical value-decrease inequality. The finite-sample certificate is distribution-free under split calibration and has beta-binomial form; its complexity is the certified number of residual trajectories that can define the tube, rather than the number of horizon-constraint blocks. We also give implementable shift-compatibility tests for polytopic tubes and a stable-compression fallback for irregular tube designers. Numerical experiments compare CT-MPC with Bonferroni tightening, a sample-envelope tube, and a joint-in-time conformal MPC baseline. The collective tube reduces deterministic tightening while preserving empirical safety and recursive feasibility.

arXiv ID: 2609.26339 / 要約の誤りについて