この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "線形システム論"
線形システム論（せんけいシステムろん、英語：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]} の階数が列フルランクであればよい．完全可観測である系は、観測器によって出力からその内部状態を推定することが可能である。