線型システム論

テンプレート:告知 テンプレート:出典の明記 線型システム論（せんけいシステムろん、英語：linear system theory）は一階連立線型微分方程式で表された状態方程式を対象とした制御理論である。状態方程式が行列を用いて表現できることから、行列代数の多くの知見が適用され、現代制御論の多くの主要な結果が得られた。そのため、現代制御論と言えば線型システム論を指すことが多い。非線型システムであっても、平衡点近傍で線型近似したものを対象に制御系を設計することでうまく行くことが多く、応用範囲は非常に広い。

主な概念

モデル表現

状態方程式 (state equation)

一階線型定係数常微分方程式

<math> \begin{matrix}\dot{x}(t) &=& Ax(t) + Bu(t)\\y(t) &= & C x(t) + D u(t)\end{matrix}</math>

の形で表現されるものを対象とする。ただし、<math>x(t) \in R^{n}</math>はシステムの状態，<math>x_0</math>はシステムの初期状態，<math>u(t) \in R^{m}</math>はシステムの入力，<math>y(t) \in R^{l}</math>はシステムの出力である．また，<math>A</math>, <math>B</math>, <math>C</math>, <math>D</math> はそれぞれ <math>(n,n)</math>, <math>(n,m)</math>, <math>(l,n)</math>, <math>(l,m)</math> 次の行列であり、大抵は <math>D=0</math> の場合（厳密にプロパーな系) を扱う．1入力1出力のシステムをSISO(single input and single output)システム，それ以外をMIMO(multiple input and multiple output)システムと呼ぶ．

解析手法

平衡点 (equilibrium)

全ての入力を零としたときに、状態が変化しないような点。線型システムにおいては、原点または原点を含む線型空間である。

安定性 (stability)

状態が平衡点からわずかにずれたとき、再び平衡点に戻るような性質。<math>A</math> 行列の固有値の実部の符号により判別される。

可制御性 (controllability)

線型状態方程式で記述されたシステム又は(A,B)の対は可制御(controllable)であるとは，任意の初期状態<math>x(0)=x_0</math>，時刻<math>t_1>0</math>と最終的な状態<math>x_1</math>に対して，システムの解が<math>x(t_1)=x_1</math>を満たすような(区分的に連続(piecewise continuous)な)入力<math>u(t)</math>が存在することである．また，それ以外では不可制御(uncontrollable)であるという．

<math>A</math> 行列と <math>B</math> 行列によって生成される可制御行列

<math>

V = \left[B, AB, \ldots, A^{n-1}B \right] </math>

の階数が行フルランクであれば良い．完全可制御である系は、元の系が不安定であっても状態フィードバックによって必ず安定化することができる。

可観測性 (observability)

線型状態方程式で記述されたシステム又は<math>(C,A)</math>の対は可観測であるとは，任意の<math>t_1>0</math>に対して，<math>[0,t_1]</math>の区間での入力<math>u(t)</math>と出力<math>y(t)</math>の時間応答から，初期状態<math>x(0)=x_0</math>が決定できることである，それ以外の場合では，システム<math>(C,A)</math>は不可観測であるという．

<math>A</math> 行列と <math>C</math> 行列によって生成される可観測行列

<math>

N = \left[\begin{matrix} C \\ CA \\ \vdots \\ CA^{n-1}\end{matrix}\right] </math>

の階数が列フルランクであればよい．完全可観測である系は、観測器によって出力からその内部状態を推定することが可能である。

正準形 (canonical form)

線型システムは、座標変換によって元の系と全く同じ挙動を持つ系に変換することができる。そこで与えられた系を正準形と呼ばれる特定の形に座標変換して共通の性質を探ることがある。ジョルダン標準形や Luenberger の可制御正準形

<math>

\frac{d}{dt} x = \left[\begin{matrix}

0     & 1      & \cdots & 0 \\ 

\vdots & \vdots & \ddots & \vdots \\

0     & 0      & \cdots & 1 \\
-a_0  & -a_1   & \cdots & -a_{n-1}

\end{matrix}\right] x + \left[\begin{matrix}0\\ \vdots \\ 0 \\ 1 \end{matrix}\right] u </math>

などがある。ここで <math>a_i \ (i=0,\ldots,n-1)</math> はこの系の特性多項式の <math> i </math> 次項の係数となっている。

観測器 (observer)

制御入力と出力から内部状態を推定するシステム

システム同定 (system identification)

システムの入力と出力からシステム内部のパラメータを求めること。モデルを記述するパラメータが既知であることを前提とする現代制御論においては、非常に重要なプロセスである。

制御系設計

状態フィードバック (state feedback)

全ての内部状態をもとにして制御入力を決めること、またはその入力

<math> u = F x </math>

出力フィードバック (output feedback)

出力をもとにして制御入力を決めること、またはその入力

<math> u = K y </math>

極配置法 (pole placement method)

閉ループ系の極を決定し、それを実現するようなフィードバックゲインを求める制御系設計方法

最適レギュレータ (optimal regulator)

最適制御論を参照

関連項目

• 制御理論
  • 現代制御論
  • 最適制御論
  • H∞制御理論
  • 非線型システム論