線形システム論のソースを表示

{{出典の明記|date=2012年2月}}
'''線形システム論'''（せんけいシステムろん、[[英語]]：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>
:の階数が[[列フルランク]]であればよい．完全可観測である系は、観測器によって出力からその内部状態を推定することが可能である。
<!--
;可安定性 (Stabilizability)、可検出性 (Detectability)
:状態空間の一部が可制御（可観測）である場合、残りの部分空間が安定である場合、可安定（可検出）であるという。
-->
;正準形 (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)
:システムの入力と出力からシステム内部のパラメータを求めること<ref>藤本悠介、永原正章：「線形システム同定の基礎：最小二乗推定と正則化の原理」、コロナ社、ISBN 978-4-339-01403-7 (2021年8月16日).</ref>。モデルを記述するパラメータが既知であることを前提とする現代制御論においては、非常に重要なプロセスである。

=== 制御系設計 ===
;状態フィードバック (state feedback)
:全ての内部状態をもとにして制御入力を決めること、またはその入力
::<math> u = F x </math>

;出力フィードバック (output feedback)
:出力をもとにして制御入力を決めること、またはその入力
::<math> u = K y </math>

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

;最適レギュレータ (optimal regulator)
:[[制御理論#最適制御論|最適制御論]]を参照

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 関連項目 ==
* [[制御理論]]
** [[制御理論#現代制御論|現代制御論]]
** [[制御理論#最適制御論|最適制御論]]
** [[H∞制御理論]]
** [[非線形システム論]]
* [[LTIシステム理論]]

{{Tech-stub}}

{{Normdaten}}
{{DEFAULTSORT:せんけいしすてむろん}}
[[Category:制御工学]]
[[Category:システム理論]]