[論文レビュー] Ergodic Theorem for Stabilization of a Hyperbolic PDE Inspired by Age-Structured Chemostat

Iasson Karafyllis, Michael Malisoff+1 more|arXiv (Cornell University)|Jan 18, 2015

Stability and Controllability of Differential Equations参考文献 18被引用数 5

ひとこと要約

本稿では、希釈レートが乗法的入力として作用する1階双曲型PDEで記述される年齢構造的ケモスタットを安定化するためのサンプリング・データフィードバック制御則を提案する。状態の線形汎関数のサンプリング測定値に基づいて、希釈レートが更新される。主な貢献は、任意に疎なサンプリングおよび入力制約下でも、正確なモデル知識や全状態観測を必要とせず、エルゴディック理論に基づく対数フィードバック則を用いて、グローバル指数的安定化を達成できることである。

ABSTRACT

We study a feedback stabilization problem for a first-order hyperbolic partial differential equation. The problem is inspired by the stabilization of equilibrium age profiles for an age-structured chemostat, using the dilution rate as the control. Two distinguishing features of the problem are that (a) the PDE has a multiplicative (instead of an additive) input and (b) the state is fed back to the inlet boundary. We provide a sampled-data feedback that ensures stabilization under arbitrarily sparse sampling and that satisfies input constraints. Our chemostat feedback does not require measurement of the age profile, nor does it require exact knowledge of the model.

研究の動機と目的

• 1階双曲型PDEで記述され、乗法的入力と境界フィードバックを有する年齢構造的ケモスタットモデルの安定化を扱う。
• 任意に疎なサンプリング間隔下でもグローバル指数的安定化を保証するサンプリング・データフィードバック制御を設計する。
• 初期年齢プロファイルの正確な知識やモデルパラメータの正確な値を必要としない安定化を達成する。
• 制御入力を事前に指定された区間内に制限することで、入力制約を組み込む。
• エルゴディック定理が双曲型PDEの制御問題に効果的に適用可能であることを示す。

提案手法

• 制御則は、状態のサンプリングされた線形汎関数の自然対数を用いることで、疎なサンプリング下でも有界性とロバスト性を保証する。
• 双曲型PDEと積分遅れ方程式（IDE）の関係を用いてシステムを分析し、[13]の先行結果を活用する。
• 主要な安定性推定は、状態が平衡プロファイルから逸脱する対数的偏差のsupノルムに基づいて定式化される。
• 証明は、時間平均の収束を確立する強力なエルゴディック定理に依存し、最小限の測定周波数でも安定化が可能であることを可能にする。
• 制御入力はサンプリング時のみ更新され、更新間は一定値を維持するため、実装可能性が保証される。
• 指数的減衰推定と積分不等式を用いた状態の時間発展に関する境界により、ロバスト性が達成される。

実験結果

リサーチクエスチョン

• RQ1 乗法的入力と境界フィードバックを有する双曲型PDEに対して、サンプリング測定値のみを用いてグローバル指数的安定化を達成できるか？
• RQ2 安定性を維持しつつ、制御則にどのように入力制約を組み込むことができるか？
• RQ3 このようなシステムの制御設計において、モデルの不確実性はどの程度耐えられるか？
• RQ4 エルゴディック定理は、PDEの制御理論的設定において安定性結果を導出するために効果的に適用可能か？
• RQ5 このクラスのシステムに対して安定化を保証するための最小サンプリング周波数は何か？

主な発見

• 初期年齢分布が正である限り、初期プロファイルの形状や大きさにかかわらず、すべての正の初期年齢分布に対してグローバル指数的安定化が達成される。
• 制御則により、制御入力が事前に指定された区間内で有界であることが保証され、物理的入力制約を満たす。
• 任意に疎なサンプリング間隔下でも安定化が保証され、サンプリング周期に下限がない。
• 対数フィードバック則により、状態プロファイルが、対数的偏差のsupノルムにおいて指数的に平衡状態に収束する。
• 収束速度は時間に関して指数的であり、減衰率はシステムパラメータとサンプリング周期に依存する。
• モデルの不確実性に対してもロバストである。これは、初期年齢プロファイルやモデルパラメータの正確な知識を必要としないためである。