出典: フリー百科事典『ウィキペディア(Wikipedia)』
この記事は検証可能 な参考文献や出典 が全く示されていないか、不十分です。 出典を追加 して記事の信頼性向上にご協力ください。(このテンプレートの使い方 ) 出典検索? : "線形システム論" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2012年2月 )
線形システム論 (せんけいシステムろん、英語 :linear system theory)は一階連立線形微分方程式 で表された状態方程式 を対象とした制御理論 である。状態方程式が行列 を用いて表現できることから、行列代数の多くの知見が適用され、現代制御論 の多くの主要な結果が得られた。そのため、現代制御論と言えば線形システム論を指すことが多い。非線形システムであっても、平衡点近傍で線形近似したものを対象に制御系 を設計することでうまく行くことが多く、応用範囲は非常に広い。
状態方程式 (state equation)
一階線形定係数常微分方程式
x
˙
(
t
)
=
A
x
(
t
)
+
B
u
(
t
)
y
(
t
)
=
C
x
(
t
)
+
D
u
(
t
)
{\displaystyle {\begin{matrix}{\dot {x}}(t)&=&Ax(t)+Bu(t)\\y(t)&=&Cx(t)+Du(t)\end{matrix}}}
の形で表現されるものを対象とする。ただし、
x
(
t
)
∈
R
n
{\displaystyle x(t)\in R^{n}}
はシステムの状態,
x
0
{\displaystyle x_{0}}
はシステムの初期状態,
u
(
t
)
∈
R
m
{\displaystyle u(t)\in R^{m}}
はシステムの入力,
y
(
t
)
∈
R
l
{\displaystyle y(t)\in R^{l}}
はシステムの出力である.また,
A
{\displaystyle A}
,
B
{\displaystyle B}
,
C
{\displaystyle C}
,
D
{\displaystyle D}
はそれぞれ
(
n
,
n
)
{\displaystyle (n,n)}
,
(
n
,
m
)
{\displaystyle (n,m)}
,
(
l
,
n
)
{\displaystyle (l,n)}
,
(
l
,
m
)
{\displaystyle (l,m)}
次の行列であり、大抵は
D
=
0
{\displaystyle D=0}
の場合(厳密にプロパーな系) を扱う.1入力1出力のシステムをSISO(single input and single output)システム,それ以外をMIMO(multiple input and multiple output)システムと呼ぶ.
平衡点 (equilibrium)
全ての入力を零としたときに、状態が変化しないような点。線形システムにおいては、原点または原点を含む線形空間である。
安定性 (stability)
状態が平衡点からわずかにずれたとき、再び平衡点に戻るような性質。
A
{\displaystyle A}
行列の固有値 の実部の符号により判別される。
可制御性 (controllability)
線形状態方程式で記述されたシステム又は(A,B)の対は可制御(controllable)であるとは,任意の初期状態
x
(
0
)
=
x
0
{\displaystyle x(0)=x_{0}}
,時刻
t
1
>
0
{\displaystyle t_{1}>0}
と最終的な状態
x
1
{\displaystyle x_{1}}
に対して,システムの解が
x
(
t
1
)
=
x
1
{\displaystyle x(t_{1})=x_{1}}
を満たすような(区分的に連続(piecewise continuous)な)入力
u
(
t
)
{\displaystyle u(t)}
が存在することである.また,それ以外では不可制御(uncontrollable)であるという.
A
{\displaystyle A}
行列と
B
{\displaystyle B}
行列によって生成される可制御行列
V
=
[
B
,
A
B
,
…
,
A
n
−
1
B
]
{\displaystyle V=\left[B,AB,\ldots ,A^{n-1}B\right]}
の階数が行フルランク であれば良い.完全可制御である系は、元の系が不安定であっても状態フィードバックによって必ず安定化することができる。
可観測性 (observability)
線形状態方程式で記述されたシステム又は
(
C
,
A
)
{\displaystyle (C,A)}
の対は可観測であるとは,任意の
t
1
>
0
{\displaystyle t_{1}>0}
に対して,
[
0
,
t
1
]
{\displaystyle [0,t_{1}]}
の区間での入力
u
(
t
)
{\displaystyle u(t)}
と出力
y
(
t
)
{\displaystyle y(t)}
の時間応答から,初期状態
x
(
0
)
=
x
0
{\displaystyle x(0)=x_{0}}
が決定できることである,それ以外の場合では,システム
(
C
,
A
)
{\displaystyle (C,A)}
は不可観測であるという.
A
{\displaystyle A}
行列と
C
{\displaystyle C}
行列によって生成される可観測行列
N
=
[
C
C
A
⋮
C
A
n
−
1
]
{\displaystyle N=\left[{\begin{matrix}C\\CA\\\vdots \\CA^{n-1}\end{matrix}}\right]}
の階数が列フルランク であればよい.完全可観測である系は、観測器によって出力からその内部状態を推定することが可能である。
正準形 (canonical form)
線形システムは、座標変換 によって元の系と全く同じ挙動を持つ系に変換することができる。そこで与えられた系を正準形と呼ばれる特定の形に座標変換して共通の性質を探ることがある。ジョルダン標準形 や Luenberger の可制御正準形
d
d
t
x
=
[
0
1
⋯
0
⋮
⋮
⋱
⋮
0
0
⋯
1
−
a
0
−
a
1
⋯
−
a
n
−
1
]
x
+
[
0
⋮
0
1
]
u
{\displaystyle {\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}
などがある。ここで
a
i
(
i
=
0
,
…
,
n
−
1
)
{\displaystyle a_{i}\ (i=0,\ldots ,n-1)}
はこの系の特性多項式の
i
{\displaystyle i}
次項の係数となっている。
観測器 (observer)
制御入力と出力から内部状態を推定するシステム
システム同定 (system identification)
システムの入力と出力からシステム内部のパラメータを求めること。モデルを記述するパラメータが既知であることを前提とする現代制御論においては、非常に重要なプロセスである。
状態フィードバック (state feedback)
全ての内部状態をもとにして制御入力を決めること、またはその入力
u
=
F
x
{\displaystyle u=Fx}
出力フィードバック (output feedback)
出力をもとにして制御入力を決めること、またはその入力
u
=
K
y
{\displaystyle u=Ky}
極配置法 (pole placement method)
閉ループ系の極を決定し、それを実現するようなフィードバックゲインを求める制御系設計方法
最適レギュレータ (optimal regulator)
最適制御論 を参照