論文の概要: Koopman-Based Robust Model Predictive Control for Nonlinear Systems with Stochastic Intermittent Measurements
- arxiv url: http://arxiv.org/abs/2609.02079v1
- Date: Wed, 02 Sep 2026 04:08:49 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-03 17:53:18.04712
- Title: Koopman-Based Robust Model Predictive Control for Nonlinear Systems with Stochastic Intermittent Measurements
- Title(参考訳): 確率的断続的測定を用いた非線形系のクープマンに基づくロバストモデル予測制御
- Abstract要約: 間欠状態測定は、制約付き非線形システムの予測制御をモデル化するための根本的な課題を提起する。
本稿では,確率的に歪んだソフト制約を持つクープマンベースのMPCフレームワークを開発する。
- 参考スコア(独自算出の注目度): 11.153670606528545
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Intermittent state measurements pose fundamental challenges to model predictive control of constrained nonlinear systems because prediction uncertainty grows during feedback outages and measurement-triggered resets disrupt nominal state propagation, potentially compromising closed-loop stability and recursive feasibility. This paper develops a Koopman-based stochastic MPC framework with probabilistically truncated soft constraints. Specifically, a Lipschitz-constrained deep Koopman model provides a linear latent predictor, enabling computationally efficient online optimization. The intermittent measurement process is modeled as a two-mode discrete-time Markov chain, yielding a unified Markov jump error model for open-loop propagation and measurement-triggered resets. Under numerically verifiable sufficient conditions, the prediction error is shown to be mean-square ultimately bounded, and an explicit uniform second-moment bound is obtained. A distribution-free probabilistic error radius is then constructed for a prescribed confidence level and used to truncate dropout-dependent constraint tightening. An exact-penalty soft-constraint mechanism accommodates reset-induced jumps and prolonged dropouts. Under the stated terminal compatibility and bounded-disturbance conditions, recursive feasibility and mean-square ultimate boundedness of the closed-loop regulation error are established. Numerical simulations on a visual-servoing tracking task corroborate these theoretical results and demonstrate effective tracking under stochastic measurement unavailability.
- Abstract(参考訳): 間欠状態測定は、フィードバックの停止時に予測の不確かさが増大し、測定トリガーされたリセットが名目状態の伝播を妨害し、閉ループ安定性と再帰的実現可能性を高めるため、制約付き非線形システムの予測制御をモデル化するための根本的な課題となる。
本稿では,確率的に制約されたソフト制約を持つクープマンに基づく確率的MPCフレームワークを開発する。
特に、Lipschitz-Constrained Deep Koopman モデルは線形潜在予測器を提供し、計算効率のよいオンライン最適化を可能にする。
間欠的測定プロセスは2モードの離散時間マルコフ連鎖としてモデル化され、オープンループ伝搬と測定トリガーリセットのための統一マルコフジャンプ誤差モデルを生成する。
数値的に検証可能な十分条件下では、予測誤差は平均二乗が最終的に有界であることが示され、明示的な一様二乗境界が得られる。
次に、所定の信頼度に対して分布自由確率誤差半径を構築し、ドロップアウト依存制約締め付けをトラルケートする。
厳密なペナルティのソフト制約機構は、リセットによって引き起こされたジャンプと長時間のドロップアウトを許容する。
記述された終端互換性と有界変動条件の下では、閉ループ規制誤差の帰納的実現可能性と平均二乗的有界性を確立する。
視覚的サーボ追跡タスクの数値シミュレーションは,これらの理論結果を相関させ,確率的測定が不可能な場合の効果的な追跡を実証する。
関連論文リスト
- Finite-Sample Metric Non-Collapse for Geometrically Supervised Latent World Models in Control [0.0]
非線形決定論系の幾何学的教師付き潜在モデルに対する有限サンプル学習制御理論を確立する。
本稿では,方向分解能と分離状態判別を強制するエンコーダのみの局所的計量ヒンジを提案する。
モジュラー決定論は、学習した証明書を軌跡、有限水平コスト、学習コストヘッド、および論理的保証に転送する一方、検証された有限ネットの結果は、よりシャープなモデル固有の認証を可能にする。
論文 参考訳(メタデータ) (2026-08-07T14:25:33Z) - TRIE: An Evaluation Framework for Stochastic PDE Surrogates [5.2492759201709065]
PDEサロゲートの評価フレームワークTRIEを紹介する。
モデルが不変測度を再現し、信頼できる予測の不確実性を提供し、効率的な生成にスケールするかを問う。
自動次元発見を伴う潜在生成モデルは,コルモゴロフ推定時間を約12倍に抑えながら,この統計的忠実度の多くを保っていることを示す。
論文 参考訳(メタデータ) (2026-06-30T21:20:37Z) - Statistical Contraction for Chance-Constrained Trajectory Optimization of Non-Gaussian Stochastic Systems [0.0]
このフレームワークは共形推論を用いて任意の参照軌跡を囲む閉ループ力学に対する信頼セットを生成する。
適切な制約の締め付けにより、基準軌跡上の統計的に妥当な決定論的制約をトラクタブルに修正することができる。
これにより、安全クリティカルな現実世界のアプリケーションにおいて、ニューラルネットワークメトリクスのような学習ベースのモーションプランナとコントローラを活用、検証するフォーマルなパスが可能になる。
論文 参考訳(メタデータ) (2026-03-07T08:01:20Z) - Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning [52.23804865017831]
本稿では,ニューラルネットワークによるパラメータ化を行う非線形制御系における閉ループ収縮の検証問題に対処する。
我々は、対称メッツラー行列の優越的固有値が非正であることを確かめるために、閉ループの縮約性に対するトラクタブルでスケーラブルな十分条件を導出する。
論文 参考訳(メタデータ) (2025-12-01T23:06:56Z) - Km-scale dynamical downscaling through conformalized latent diffusion models [45.94979929172337]
高分解能気象場を粗大なシミュレーションから導き出すためには, 動的ダウンスケーリングが不可欠である。
Generative Diffusion Model(DM)は、最近、このタスクのための強力なデータ駆動ツールとして登場した。
しかし、DMは過信予測に対する有限サンプル保証を欠いているため、グリッドポイントレベルの不確実性推定が誤って行われる。
我々は、コンフォーマルな予測フレームワークでダウンスケーリングパイプラインを拡張することで、この問題に対処する。
論文 参考訳(メタデータ) (2025-10-15T08:41:36Z) - Error-quantified Conformal Inference for Time Series [55.11926160774831]
時系列予測の不確かさの定量化は、時系列データの時間的依存と分布シフトのために困難である。
量子化損失関数をスムースにすることで,iError-quantified Conformal Inference (ECI)を提案する。
ECIは有効な誤発見制御と、他のベースラインよりも厳密な予測セットを出力することができる。
論文 参考訳(メタデータ) (2025-02-02T15:02:36Z) - Distributionally Robust Policy and Lyapunov-Certificate Learning [13.38077406934971]
不確実なシステムに対する安定性を保証するコントローラの設計における重要な課題は、オンラインデプロイメント中のモデルパラメトリック不確実性の変化の正確な決定と適応である。
我々は、リアプノフ証明書の単調な減少を保証するために、リアプノフ微分チャンス制約を分布的に頑健に定式化することで、この問題に取り組む。
得られた閉ループシステムに対して、その平衡のグローバルな安定性は、アウト・オブ・ディストリビューションの不確実性があっても高い信頼性で証明できることを示す。
論文 参考訳(メタデータ) (2024-04-03T18:57:54Z) - Calibrating Neural Simulation-Based Inference with Differentiable
Coverage Probability [50.44439018155837]
ニューラルモデルのトレーニング目的に直接キャリブレーション項を含めることを提案する。
古典的なキャリブレーション誤差の定式化を緩和することにより、エンドツーエンドのバックプロパゲーションを可能にする。
既存の計算パイプラインに直接適用でき、信頼性の高いブラックボックス後部推論が可能である。
論文 参考訳(メタデータ) (2023-10-20T10:20:45Z) - The Implicit Delta Method [61.36121543728134]
本稿では,不確実性のトレーニング損失を無限に正規化することで機能する,暗黙のデルタ法を提案する。
有限差分により無限小変化が近似された場合でも, 正則化による評価の変化は評価推定器の分散に一定であることを示す。
論文 参考訳(メタデータ) (2022-11-11T19:34:17Z) - Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic
Dynamical Models with Epistemic Uncertainty [68.00748155945047]
複雑な力学系のモデルにおける不確実性を捉えることは、安全なコントローラの設計に不可欠である。
いくつかのアプローチでは、安全と到達可能性に関する時間的仕様を満たすポリシーを形式的な抽象化を用いて合成する。
我々の貢献は、ノイズ、不確実なパラメータ、外乱を含む連続状態モデルに対する新しい抽象的制御法である。
論文 参考訳(メタデータ) (2022-10-12T07:57:03Z) - Conditional-Flow NeRF: Accurate 3D Modelling with Reliable Uncertainty
Quantification [44.598503284186336]
Conditional-Flow NeRF (CF-NeRF) は、不確実な定量化をNeRFベースのアプローチに組み込む新しい確率的フレームワークである。
CF-NeRFは、モデル化されたシーンに関連する不確実性を定量化するために使用される全ての可能な放射場モデリング上の分布を学習する。
論文 参考訳(メタデータ) (2022-03-18T23:26:20Z) - Neural Stochastic Contraction Metrics for Learning-based Control and
Estimation [13.751135823626493]
NSCMフレームワークにより、自律エージェントは最適な安定制御と推定ポリシーをリアルタイムで近似することができる。
これは、状態依存リカティ方程式、反復LQR、EKF、神経収縮など、既存の非線形制御と推定技術より優れている。
論文 参考訳(メタデータ) (2020-11-06T03:04:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。