Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

技術的サマリー：離散時間不確実非線形スイッチングシステムにおける集合の吸引性の認証

問題定義
本論文は、スイッチング則が決定変数として作用する離散時間における不確実非線形スイッチングシステムに対して、集合のロバスト局所吸引性を認証する課題に取り組んでいる。線形および不確実性のないスイッチングシステム（連続時間および離散時間の両方）の安定性解析に関する文献は豊富に存在し、不確実線形システムを扱う研究も一部あるが、不確実非線形スイッチングシステムにおけるこの問題は依然として重要な未解決課題である。既存のリアプノフ関数に基づく手法は非線形システムへの適用がしばしば容易ではなく、不変集合に基づく集合論的アプローチも、この特定のクラスのシステムにおける不確実性の存在下での吸引性に関する一般的な結果を提供するには至っていない。

手法
著者らは、吸引性保証（AG）関数と呼ばれる新しい関数クラスを中心とした枠組みを提案する。手法は以下の論理的ステップを経て進行する。

1. AG 関数の定義: AG 関数は、制御リアプノフ関数の概念の緩和である。これは、目標集合 $\Omega$ 上でゼロとなり、特定の減少条件を満たす非負関数 $L: X \to \mathbb{R}_{\geq 0}$ である。具体的には、あるレベル集合内の状態に対して、すべての可能な不確実性の実現にわたる関数値の上限が、集合 $\Omega$ までの距離に依存するマージンだけ減少するようなスイッチングモードが存在しなければならない。
2. 吸引性との理論的関連: 本論文は（命題 2）、集合 $\Omega$ に関連する AG 関数の存在が、その集合のロバスト局所吸引性を保証することを証明している。
3. 収縮集合を通じた構成的手法: 非線形システムに対して AG 関数を直接見出すことの困難さに対処するため、著者らは**ロバスト制御収縮集合（RCCS）*に基づく構成的手法を提案する。RCCS とは、すべての不確実性を考慮した際、すべての状態に対して、システムを集合の内部*へと駆動するスイッチングモードが存在する集合である。
4. 存在証明: 著者らは（命題 5）、コンパクトな RCCS が存在する場合、制御可能集合を経由して目標集合に到達するために必要なステップ数によって測定される状態の目標集合からの「距離」に基づいて、区分的に一定な AG 関数を明示的に構成できることを示している。
5. アルゴリズム的実装:
   • 加法性不確実性を持つ線形システムの場合、著者らは既存のアルゴリズム（Fiacchini and Jungers, 2014）を適応させ、ミンコフスキー差を用いて再帰的にロバスト制御可能集合を計算する。これにより、安定化スイッチング則のオフライン計算が可能となる。
   • 非線形システムの場合、制御可能集合を近似し、グリッドベースのアプローチを用いて収縮条件（$\Omega \subset \text{int}_X(C(\Omega))$）を検証する数値手順が提案されている。

主要な貢献

• AG 関数の導入: 本論文は、スイッチングに起因する不連続性を特に許容しつつ、従来のリアプノフ関数よりも緩い要件で集合の吸引性を認証するツールとして AG 関数を定義する。
• 理論的保証: ロバスト制御収縮集合（RCCS）の存在 $\implies$ AG 関数の存在 $\implies$ 集合のロバスト局所吸引性という厳密な論理的連鎖を確立する。
• 構成的手法: 論文は、RCCS から AG 関数を生成する具体的な方法を提供し、関数をロバスト制御可能集合（$C_k(\Omega)$）のステップインデックスに基づいて定義する。
• スイッチング則の合成: 目標集合へのステップインデックスを最小化するモードを選択し、システム軌道が吸引領域内に留まり集合に収束することを保証する、明示的な安定化スイッチング則が導出される（式 16）。
• 線形および非線形での検証: この枠組みは、加法性不確実性を持つ線形スイッチングシステムで検証され、非線形ケーススタディにも適用された。

結果

• 線形ケース: 提案されたアルゴリズムは、有界不確実性を持つ線形システムに対して RCCS と安定化スイッチング則を正常に特定した。ある例において、この手法は安定化則を特定したが、不確実性を無視した解析では安定性が示唆されていたにもかかわらず、不確実性の存在により収縮集合の特定が妨げられていた。これはロバストアプローチの必要性を浮き彫りにしている。
• 非線形ケーススタディ（抗菌薬耐性）: この枠組みは、免疫応答および抗菌薬治療下での細菌個体群動態（感受性株と耐性株）の離散時間モデルに適用された。
  • 著者らは、特定の初期細菌負荷（例：総負荷 $b_0 \leq 10,000$）に対して RCCS を特定した。
  • 数値シミュレーションは、これらの負荷においてシステムが吸引的集合を有することを示した。つまり、離散化およびモデルパラメータの不確実性にもかかわらず、細菌個体群を低負荷状態へ駆動できることを意味する。
  • より高い初期負荷（$b_0 = 120,000$）の場合、収縮条件が満たされず、高細菌負荷に対する治療プロトコルの限界を示唆した。

意義と主張
本論文は、不確実非線形スイッチングシステムにおける集合の吸引性を認証する最初の一般的な結果を提供すると主張している。その意義は以下の点にある。

• ギャップの埋め合わせ: 集合論的制御手法を、線形・不確実性のないシステムから、より複雑な不確実非線形システムの領域へ拡張する。
• 実用的関連性: 抗菌薬耐性（AMR）への応用は、生物学的システムにおけるこのアプローチの有効性を示しており、特に初期細菌負荷に基づいた抗菌薬治療プロトコルの根本的な限界を評価する点で有用である。
• ロバスト性: この手法は明示的に不確実性を考慮し、モデル変動および離散化誤差に対してロバストな漸近安定性と制約満足度の幾何学的証明を提供する。

著者らは、このアプローチが現在局所的な吸引性に限定されており、制御可能集合のオフライン計算の必要性により、一般的な非線形システムに対するスイッチング則の構築は計算集約的になり得ると指摘している。今後の課題として、AG 関数の存在に対するより緩い条件や、性能指向のスイッチング戦略への焦点が提案されている。