[論文レビュー] Impulsive Stabilization of Linear Delay Differential Equations

Leonid Berezansky, Elena Braverman|ArXiv.org|Feb 21, 1995

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

ひとこと要約

本稿は、一般の時変係数および時変遅れを有するスカラー線形遅れ微分方程式のインパルス的安定化を調査する。所定の時刻に離散的インパルスを適用することにより、正の係数を有する方程式および符号が任意のものである係数を有する方程式の両方について、漸近的安定性の明示的十分条件を導出し、不安定なシステムをインパルス制御によって安定化するための構成的枠組みを提供する。

ABSTRACT

The paper is concerned with stabilization of a scalar delay differention equation $$ {\dot x}(t) - \sum_{k=1}^m A_k(t)x[h_k(t)] = 0,~t\geq 0,~ x(ξ)=φ(ξ), ξ<0, $$ by introducing impulses in certain moments of time $$ x(τ_j) = B_j x(τ_j -0), ~j=1,2, \dots ~. $$ Explicit stability results are presented both for the equation with positive coefficients and for the equation with $A_k$ being of arbitrary sign.

研究の動機と目的

• 時間遅れおよび時変係数によって本質的に不安定である線形遅れ微分方程式を安定化するという課題に取り組む。
• 離散的時刻におけるインパルス的介入を用いた制御戦略を構築し、漸近的安定性を達成する。
• 正の係数に限定されない、符号が任意のものである係数を有する方程式への安定性結果の拡張を図る。
• インパルスの大きさおよびタイミングに依存する、明示的かつ検証可能な安定性条件を提供する。
• スカラーおよび潜在的に高次元の遅れ動的システムに適用可能な理論的枠組みを提供する。

提案手法

• 分布遅れを有するスカラー線形遅れ微分方程式としてシステムをモデル化する：$ \dot{x}(t) - \sum_{k=1}^m A_k(t)x[h_k(t)] = 0 $, $ t \geq 0 $, 初期履歴 $ x(\xi) = \varphi(\xi) $, $ \xi < 0 $。
• 時刻 $ \tau_j $ におけるインパルス効果を、$ x(\tau_j) = B_j x(\tau_j - 0) $ という条件により導入し、瞬時の状態リセットをモデル化する。
• インパルス的遅れ系に特化したリャプノフ型汎関数および比較技法を用いて安定性を分析する。
• インパルス利得 $ B_j $、係数関数 $ A_k(t) $、遅れ関数 $ h_k(t) $ に依存する漸近的安定性の明示的十分条件を導出する。
• ケースを区別する：(1) $ A_k(t) \geq 0 $、および (2) $ A_k(t) $ が符号が任意のものである場合、それぞれ別個の安定性基準を提供する。
• 補助的なインパルス的微分方程式との比較を用いて、インパルス系理論における既知の安定性結果に分析を還元する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、不安定な線形遅れ微分方程式がインパルス制御によって安定化可能か？
• RQ2 インパルスの大きさおよびタイミングは、時変係数および遅れを有するシステムの安定性にどのように影響するか？
• RQ3 符号が任意のものである係数を有するシステムに対し、明示的な安定性基準を導出可能か？（非負係数に限定されない。）
• RQ4 遅れ関数 $ h_k(t) $ は、インパルス系の安定性を決定づける役割を果たすか？
• RQ5 インパルス利得 $ B_j $ は、解の収束速度および長期的挙動にどのように影響するか？

主な発見

• 係数 $ A_k(t) \geq 0 $ を有する方程式に対しては、インパルス利得 $ B_j $ および遅れ構造に依存する漸近的安定性の十分条件が導出された。
• 係数 $ A_k(t) $ が符号が任意のものであっても、明示的な安定性条件が確立され、従来の結果をより広いクラスのシステムに拡張した。
• 本稿は、インパルスが存在しない場合に不安定なシステムを安定化するための、インパルス時刻および利得 $ B_j $ の選択を構成的に提供する。
• 時間変動遅れ $ h_k(t) $ に対しても安定性解析が有効であり、時間に依存する一般関数的依存性を許容する。
• 結果はスカラー方程式に適用可能であり、高次元遅れ系へのインパルス的安定化の拡張の基盤を形成する。
• 導出された条件は検証可能であり、システムパラメータ、インパルス位置、利得に明示的に依存するため、実装が可能である。