技術要約：出力摂動制限を伴うARMAXシステムのクローズドループ同定のための再帰的実験設計

1. 問題定式化

本論文は、線形動的システムがクローズドループ構成で動作している際のシステム同定の課題に取り組んでいる。多くの実用的なシナリオでは、安全性確保や運用維持のために、既知の固定出力フィードバックコントローラが作動している状態で実験を行う必要がある。システムは、以下のARMAX（自己回帰移動平均外生入力）構造としてモデル化される：
$$y_t = G(q; \theta)u_t + H(q; \theta)e_t$$
ここで、$G$ と $H$ はパラメータ $\theta$ で表される未知の伝達関数であり、$e_t$ はホワイトノイズ（白色雑音）のイノベーション過程である。

核心となる問題は、一定のリファレンス信号によって駆動される既存のクローズドループ・ダイナミクスが、システムパラメータを同定するために十分な励起を提供できない場合（情報の不足として知られる状態）に発生する。この対策として、制御入力にプロービング信号 $d_t$ を加える（$\tilde{u}_t = u_t + d_t$）。しかし、この信号の注入は必然的にシステム出力に摂動をもたらす（$\tilde{y}_t = y_t + \delta_t$）。目的は、以下の条件を満たすようにプロービング信号 $d_t$ を再帰的に設計することである：

1. 得られる入出力データが、ARMAXモデルの同定に十分な情報量を持つこと。
2. 出力摂動 $\delta_t$ が、ユーザー指定の範囲（$\delta_{\min} \le \delta_t \le \delta_{\max}$）内に収まること。
3. 設計が逐次推定されるモデルパラメータに適応すること。

2. 手法

2.1 同定可能性の解析

著者らは、まずクローズドループ・データが情報量を持つための条件を確立している。

• 構造的同定可能性： プラント、コントローラ、およびノイズモデルの次数に基づいた条件（定理1）を導出している。コントローラのダイナミクスが十分に豊かである場合（具体的には、計算された整数 $\gamma < 0$ の場合）、プロービング信号がなくてもシステムは同定可能である。
• プロービング信号の要件： 構造的な豊かさが不十分な場合（$\gamma \ge 0$）、有界かつ離散値をとる、次数 $n_e \ge \gamma$ の持続的励起を持つプロービング信号が、同定可能性を保証するために十分であることを本論文は証明している（定理2）。

2.2 摂動制限の実現可能性

重要な貢献の一つは、「再帰的実現可能性（recursive feasibility）」の解析である。著者らは、時刻 $t$ において摂動制限を満たすことが、時刻 $t+1$ において実行可能な解が存在することを保証するかどうかを分析している。

• 摂動 $\delta_t$ を、プロービング信号によって駆動される感度関数の出力としてモデル化している。
• 命題1 は、ユーザー指定の制限（$\delta_{\min}, \delta_{\max}$）と、最大許容プロービング振幅（$d_{\max}$）およびシステムのインパルス応答との間の十分条件を提供している。この条件が満たされる場合、多ステップの制約問題を単一ステップの制約へと緩和することができ、設計を大幅に簡素化できる。

2.3 再帰的設計アルゴリズム

本論文は、再帰的予測誤差法（RPEM）を用いた、プロービング信号設計のための計算効率の高い閉形式解を提案している。

• パラメータ化： 未知の入力遅延を扱うために、拡張されたパラメータベクトルを使用している。
• 設計基準： 推定誤差共分散を最小化する。二つの基準、すなわち共分散行列の行列式（D基準）と、重み付き共分散のトレース（L基準）が検討されている。これらはいずれも、予測誤差の勾配を含む二次形式の最大化へと帰着する。
• 閉形式解（定理3）： 共分散行列と勾配ベクトルを分割することにより、最適化問題は、線形制約の下での凸二次関数の最大化へと簡約される。最適なプロービング信号 $d^*_t$ は、単純な閾値比較によって決定されるバイナリ信号（実行可能区間の境界値をとる信号）であることが示されている。
• 適応性： 制約および信号の値は、現在のパラメータ推定値 $\hat{\theta}_t$ を用いて再帰的に更新される。また、未知の入力遅延をオンラインで推定するための実用的な手法も提供されている。

3. 主な貢献

1. 適応的再帰設計： 本論文は、固定周波数や固定時間設計とは異なり、逐次推定されるモデルパラメータに適応するプロービング信号を設計する手法を導入している。
2. 閉形式解： 最適なプロービング信号のための、計算効率の高い閉形式の式を導出している。この信号は離散値かつ有界であり、持続的励起の理論的条件を満たすことを保証する。
3. 実現可能性の解析： ユーザー指定の出力摂動制限が再帰的に実現可能であることを保証する厳密な条件を提供し、複雑な多ステップの最適化をワンステップの問題として解くことを可能にしている。
4. 未知の遅延の処理： 再帰的フレームワーク内で未知の入力遅延を扱うために、拡張されたパラメータ化と推定器を組み込んでいる。

4. 数値結果

提案手法は、異なる特性を持つ2つのARMAXシステム（入力遅延がある場合とない場合を含む）を用いたモンテカルロ・シミュレーションによって評価された。

• ベースラインとの性能比較： 提案された適応的設計を、「ゼロ・プロービング（励起なし）」ベースラインおよび「擬似ランダムバイナリ系列（PRBS）」ベースラインと比較した。
  • ゼロ・ベースラインは、励起が不十分であるため、収束が非常に遅いか、あるいは全く行われなかった。
  • PRBSベースラインは高速な収束を実現したが、大きな出力摂動を引き起こし、しばしばリファレンスの25%を超えた。
  • 提案手法は、PRBSと同等の収束速度を達成しながら、ユーザー定義の摂動制限（例：摂動をリファレンスの10-20%未満に抑える）を厳格に遵守した。
• トレードオフ： 結果は明確なトレードオフを示している。摂動制限を厳しくする（$\delta_{\max}$ を小さくする）と、収束速度はわずかに低下するが、安全性が確保される。設計の適応的な性質により、モデル推定が改善される過程においても、これらの制限を遵守することが可能となる。
• 堅牢性： 本手法は、未知の入力遅延を持つシステムを正常に扱い、遅延を正しく推定し、それに応じてプロービング信号を調整することに成功した。

5. 意義と主張

本論文の主要な意義は、固定コントローラが既に配置されているシステムにおいて、安全で情報量の多いクローズドループ同定を可能にすることにある。有界で適応的なプロービング信号を加えることで、運用の安全性を損なうことなく、既存のコントローラを改良することができる。

著者らは、自身のアプローチが以下の特徴を持つことを強調している：

• コントローラ自体の再設計を必要としない。
• 静的な設計とは異なり、実験中に得られた情報に適応する。
• 同定可能性と再帰的実現可能性に関する数学的に厳密な保証を提供する。
• 実装に適した、計算コストの低い実用的なソリューションを提供する。

本研究は、理論的な実験設計と実用的な制約の間の架け橋となるものであり、特に産業制御の設定における、同定精度と出力摂動制限のバランスという課題に対処している。