日本フィジカルAI新聞

世界のフィジカルAIを、日本語で。

制御/学習arXiv:2605.09659

不確かなシステムのための安全な能動的連続クープマン学習:収縮性保証付き

SACK : Safe Active Continual Koopman Learning for Uncertain Systems with Contractive Guarantees

シェア:XThreadsFacebookLINEはてブBluesky

クープマンモデルをオンラインで安全に適応学習させる枠組みSACKを提案し、収縮則による理論的収束保証と能動学習によるデータ効率向上を実現した。

詳しい要約

1. どんなもの?

- 非線形システムのKoopman表現をオンラインで適応的に学習するフレームワークSACKを提案。 - オフラインで学習したKoopmanモデルを、contractive adaptation lawによりオンラインで改良。 - 分布シフトやモデル不確実性下での理論的収束保証を提供。 - アクティブラーニングを統合し、タスク遂行中に情報量の多いデータを収集。 - 安全制約付き非凸最適化として制御問題を定式化。 - ロバストMPCとconformal predictionを組み合わせ、形式的安全保証を実現。

2. 先行研究と比べてどこがすごい?

- 従来のオンライン適応はニューラルネットワークベースの更新が多く、計算オーバーヘッドが大きく、形式的安全保証が欠如。 - SACKはcontractive adaptation lawにより理論的収束保証を提供。 - アクティブラーニングと安全制約を統合し、データ効率と安全性を両立。 - ロバストMPCとconformal predictionを組み合わせ、実用的な安全マージンをオンライン調整。 - リアルタイムかつ安全クリティカルなロボティクス応用に適する。

3. 技術・手法の肝は?

- オフラインでKoopmanモデルを学習後、contractive adaptation lawでオンライン改良。 - アクティブラーニング戦略を統合し、タスク目的を達成しつつ情報量の多いデータを収集。 - 制御問題を非凸最適化として定式化し、アクティブラーニング目的と安全制約を組み込む。 - モデル近似誤差の理論的限界を導出し、ロバストMPCに組み込んで安全保証。 - conformal predictionベースのタイト化機構で安全マージンをオンライン調整。

4. どうやって有効だと検証した?

- 広範なシミュレーションと実験研究により提案手法の有効性を実証。 - 具体的な検証内容やベンチマークは要旨からは不明。

5. 議論はある?

- 理論的収束保証と安全保証を提供するが、実際の保守性を低減するためにconformal predictionを導入。 - 計算効率やリアルタイム性に関する議論は要旨からは不明。 - 限界や今後の課題については要旨からは不明。

6. 次に読むべき論文は?

- Koopman operator theoryに関する基礎文献(例: Koopman, 1931; Mezić, 2005)。 - ロバストMPCとconformal predictionを組み合わせた安全制御(例: Koller et al., 2018; Lederer et al., 2019)。 - アクティブラーニングと制御の統合(例: Buisson-Fenet et al., 2020)。 - 継続学習と安全保証(例: Safe Learning for Control, 2021)。

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Chandan Kumar Sah, Rajpal Singh, Jishnu Keshavan

分類: cs.RO

原文アブストラクト

Koopman operator theory provides a powerful framework for representing nonlinear dynamics through a linear operator acting on lifted observables, enabling the use of linear control techniques for nonlinear systems. However, Koopman models are typically learned from data and often degrade in performance under model uncertainty and distributional shifts between training and deployment. Although several works have explored online adaptation to address this issue, many rely on neural network-based updates that introduce significant computational overhead and lack formal safety guarantees, limiting their suitability for real-time and safety-critical robotic applications. In this work, we propose SACK, a unified framework for continual adaptive Koopman learning that enables safe and efficient online refinement of learned models during task execution. A Koopman model is first learned offline and subsequently refined online through a contractive adaptation law, which provides theoretical convergence guarantees under distributional shifts and model uncertainty. To improve data efficiency and accelerate model refinement, the adaptation mechanism is integrated with an active learning strategy that drives the system to collect informative data while accomplishing task objectives. The resulting control problem is formulated as a nonconvex optimization problem incorporating both active learning objectives and safety constraints. We further derive theoretical bounds on model approximation error and show how these bounds can be incorporated within a robust Model Predictive Control (MPC) framework to provide formal safety guarantees. To reduce conservatism in practice, we also introduce a conformal prediction-based tightening mechanism that calibrates safety margins online from observed residuals. Extensive simulation and experimental studies demonstrate efficacy of the proposed scheme.

関連論文

  1. 1Boston Dynamics、車輪付きAtlasの研究試作機を紹介研究・技術
  2. 2GXOとApptronik、Apolloの物流現場試験を拡大 最大1,000台の展開を構想量産・展開
  3. 3newmoとKDDIが資本業務提携 2028年に堺市で自動運転タクシー商用化目指す提携・買収
  4. 4NVIDIA、CoRLでGR00T 2とIsaac Lab 3.0を発表新製品・発表
  5. 5UC BerkeleyとNVIDIAの研究者、AIエージェントでロボット制御コードを仮想環境で改善研究・技術

PR・アフィリエイト広告

OZ GAMING(GPU搭載BTOゲーミングPC)

OZ GAMING(GPU搭載BTOゲーミングPC)の公式広告バナーOZ GAMINGで完成品PCを見る ↗
PR本紙発行元 EmplifAI