Safe Adaptive Control of Parabolic PDE-ODE Cascades

技術要約：放物型PDE-ODEカスケードの安全な適応制御

問題定式化
本論文は、放物型偏微分方程式（PDE）と常微分方程式（ODE）からなるカスケードシステムのクラスにおける制御を取り扱う。プラントは、拡散項と反応項を持つ放物型PDEと結合された、可制御標準形にある線形ODEによってモデル化されている。対処すべき重要な課題は、PDEサブシステム（具体的には反応係数 $\lambda$）およびODEサブシステム（具体的には入力ゲイン $b$）の両方に存在するパラメータ不確かさである。

制御目的は以下の2点である：

1. 安定化： すべてのプラント状態（PDE状態 $u(x,t)$ およびODE状態 $Y(t)$ の両方）をゼロに収束させること。
2. 安全性： バリア関数 $h(y_1(t), t) \geq 0$ によって定義される状態制約を遵守すること（ここで $y_1$ はODEの第1状態である）。コントローラは、システムが安全集合から開始された場合は安全を維持し、もし安全でない集合から開始された場合は、ユーザーが指定した有限時間内に安全領域へと引き戻すことを保証しなければならない。

手法
提案される解は、適応型制御バリア関数（aCBF）、バックステッピング設計、および**バッチ最小二乗識別（BaLSI）**スキームを統合したものである。

1. 名目上の安全制御設計：

   • 座標変換： ODEを、線形変換行列 $T_z$ を用いて積分器の連鎖へと変換する。その後、高相対次数CBFフレームワークを変換されたODE状態（$z_i$）に適用し、一連のバリア関数 $h_i$ を構築する。
   • 初期の非安全状態への対処： 時変の補助関数 $\sigma(t)$ を導入する。初期状態が非安全（$h \leq 0$）である場合、$\sigma(t)$ は一時的なバリアを作成し、状態を指定された時間 $t_a$ 内に安全領域へと導く。
   • PDEバックステッピング： バックステッピング変換を用いて、元の不安定なPDE-ODEカスケードをターゲットシステムへと写像する。このターゲットシステムは、安定なODE（バリアダイナミクスに従う）と、減衰項を持つ安定な熱方程式で構成される。
   • 制御則： 境界制御入力 $U(t)$ は、不安定化させる項を相殺し、安全条件を満たすために減衰信号 $\delta(t)$ を注入するように設計される。

2. 適応拡張：

   • パラメータ識別： $\lambda$ と $b$ は未知であるため、名目上のコントローラは、パラメータ推定値 $\hat{\lambda}$ と $\hat{b}$ を用いた適応型バージョンに置き換えられる。
   • BaLSIスキマ： トリガー型のバッチ最小二乗識別器が用いられる。連続的な適応とは異なり、このスキームは離散的な時刻 $t_i$ においてパラメータを更新する。特定の区間におけるシステムダイナミクスを積分することにより、線形回帰問題が形成される。
   • 有限時間での正確な識別： 提案されたトリガリングメカニズムと励起条件の下では、パラメータ推定値が正確な真の値に有限時間内（具体的には最初の更新時刻 $t_1$）で収束するという重要な理論的結果が得られる。これにより、無限時間における持続的励起条件の必要性が排除され、$t_1$ 以降のパラメータ推定誤差が除去される。

3. 安定性と安全性の解析：

   • ターゲットシステムの状態がゼロへ指数関数的に収束することを証明するために、リアプノフ関数が構築される。
   • 安全性の解析は、高相対次数のCBF条件が満たされることを示す。この設計は、初期状態が安全であればバリア関数が常に非負であることを保証し、初期状態が非安全であれば、指定された時間 $t_a$ 内に非負となることを保証する。

主要な貢献
本論文は、主に3つの貢献を主張している：

1. 放物型PDEの適応制御における厳密な安全性保証： 既存の放物型PDEの適応境界制御手法は主に安定化に焦点を当てているが、本研究はパラメータ不確かさの下での厳密な安全性保証を提供する。
2. 安全なバックステッピングの一般化： 以前の研究（例：[12]）は、シュテファンモデル（特定の放物型PDE）の安全制御を扱っていたが、本研究は、領域内不安定性、結合されたODE、および一般的な安全性制約を含む、より広範なクラスの問題へとこの枠組みを拡張している。
3. 放物型PDE-ODEカスケードに対する初の安全な適応制御： 本論文は、最近の双曲型PDE-ODEカスケード（例：[42]）に対する安全な適応制御の結果と区別し、放物型システムという根本的に異なるダイナミクスに対処している。著者らの知る限り、これは放物型PDEに対する安全な適応制御を確立した初の結果である。

結果
放物型PDEに結合された2次のODEを用いて数値シミュレーションが行われた。シミュレーションにより、理論的主張が検証された：

• 安定化： すべての状態（$u(x,t)$ および $Y(t)$）がゼロに収束した。
• 安全性：
  • 初期状態で安全な場合： 出力 $y_1(t)$ は過渡期を通じて安全領域内に留まった。
  • 初期状態で非安全な場合： コントローラは、指定された時間 $t_a$（例：1秒）以内に、出力を安全領域へと正常に引き戻した。
• パラメータ識別： BaLSIスキームは、未知のパラメータ $\lambda$ と $b$ の正確な識別を最初のトリガリング時刻で達成し、その後、適応コントローラは名目上の（既知パラメータの）コントローラと同一の挙動を示した。
• 初期条件へのロバスト性： コントローラは、システムが安全領域または非安全領域のどちらから開始するか、また安全バリア関数の定義（線形減衰または指数減衰）が異なる場合でも、効果的に機能した。

意義と主張
本論文は、安全性が極めて重要となる分布パラメータシステムの制御における重要な進展として位置づけられている。本研究は、安全性に不可欠な制御（CBF）と、不確かさを伴う無限次元システムの適応制御との間の溝を埋めるものである。著者らは、有限時間での正確なパラメータ識別と高相対次数のCBFの組み合わせにより、適応制御に伴う保守性を排除し、識別フェーズ完了後にパラメータ推定誤差によって安全性が損なわれないことを強調している。本研究は、実用的な物理システム（導入部で言及されている流体流動、熱伝達、化学プロセスなど）への適用に向けた基礎を築くものであるが、具体的なハードウェア実装については今後の課題としている。