状態空間 (制御理論)のソースを表示

'''状態空間'''（じょうたいくうかん、{{lang-en-short|State Space}}）あるいは'''状態空間表現'''（じょうたいくうかんひょうげん、{{lang-en-short|State Space Representation}}）は、[[制御工学]]において、物理的システムを入力と出力と状態変数を使った一階連立[[微分方程式]]で表した数学的モデルである。入力、出力、状態は複数存在することが多いため、これらの変数はベクトルとして表され、行列形式で微分代数方程式を表す（[[力学系]]が線形で時不変の場合）。状態空間表現は[[時間領域]]の手法であり、これを使うと複数の入力と出力を持つシステムをコンパクトにモデル化でき、解析が容易になる。[[周波数領域]]では、<math>p</math> 個の入力と <math>q</math> 個の出力があるとき、システム全体を現すには <math>q \times p</math> 個の[[ラプラス変換]]を書かなければならない。周波数領域の手法とは異なり、状態空間表現では、線形性と初期値がゼロという制限は存在しない。「状態空間」は、その次元軸が個々の状態変数に対応することから名づけられている。システムの状態はこの空間内のベクトルとして表現される。

== 状態変数 ==
[[画像:Typical State Space model.png|framed|典型的な状態空間モデル]]
状態変数は、任意の時点でシステム全体の状態を表せるシステム変数群の最小の部分集合である。状態変数群は線形独立でなければならない。すなわち、ある状態変数を別の状態変数群の線形結合で表すことはできない。システムを表現するのに必要な状態変数の最小個数 <math>n</math> は、一般にそのシステムを定義する微分方程式の次数に等しい。システムが伝達関数形式で表されるとき、状態変数の最小個数は伝達関数を適切に約分したときの分母の次数に等しい。状態空間実現（state space realization）を伝達関数形式に変換することで、システムについての内部情報を失う可能性があるが、状態空間実現では不安定なはずなのに安定しているシステムを説明できることがある。電気回路では、状態変数の数は回路内のエネルギー蓄積部品（[[コンデンサ]]や[[コイル]]）の個数と同じであることが多い（常にそうとは限らない）。

== 線形システム ==
<math>p</math> 個の入力変数、<math>q</math> 個の出力変数、<math>n</math> 個の状態変数の状態空間表現の一般形は次のようになる。
{{Indent|<math>\dot{\mathbf{x}}(t) = A(t) \mathbf{x}(t) + B(t) \mathbf{u}(t)</math><br />
<math>\mathbf{y}(t) = C(t) \mathbf{x}(t) + D(t) \mathbf{u}(t)</math>}}
ここで、
{{Indent|<math>x(t) \in \mathbb{R}^n</math>; <math>y(t) \in \mathbb{R}^q</math>; <math>u(t) \in \mathbb{R}^p</math>;<br />
<math>\operatorname{dim}[A(\cdot)] = n \times n</math>,<br />
<math>\operatorname{dim}[B(\cdot)] = n \times p</math>,<br />
<math>\operatorname{dim}[C(\cdot)] = q \times n</math>,<br />
<math>\operatorname{dim}[D(\cdot)] = q \times p</math>,<br />
<math>\dot{\mathbf{x}}(t) := {d\mathbf{x}(t) \over dt}</math>.
}}
<math>x(\cdot)</math> を「状態ベクトル」、<math>y(\cdot)</math> を「出力ベクトル」、<math>u(\cdot)</math> を「入力（または制御）ベクトル」、<math>A(\cdot)</math> を「状態行列」、<math>B(\cdot)</math> を「入力行列」、<math>C(\cdot)</math> を「出力行列」、<math>D(\cdot)</math> を「直達行列」と呼ぶ。単純化するため、<math>D(\cdot)</math> は零行列とされることが多い。すなわち、システムには直達項（feedthrough term）が無いものとして扱う。なお、この一般形式では全ての行列は時変とみなされ、その要素は時と共に変化するものとされている。時変数 <math>t</math> は連続的（<math>t \in \mathbb{R}</math>）でも離散的（<math>t \in \mathbb{Z}</math>）でもよい。後者の場合は時変数を <math>k</math> で表すことが多い。時変か時不変か、連続か離散かによって、状態空間モデルの表現は以下のように変化する。
{| cellpadding="4"
|- valign="top"
|'''系の種類''' || '''状態空間モデル'''
|- valign="top"
|連続時不変 || <math>\dot{\mathbf{x}}(t) = A \mathbf{x}(t) + B \mathbf{u}(t)</math><BR /><math>\mathbf{y}(t) = C \mathbf{x}(t) + D \mathbf{u}(t)</math>
|- valign="top"
|連続時変 || <math>\dot{\mathbf{x}}(t) = \mathbf{A}(t) \mathbf{x}(t) + \mathbf{B}(t) \mathbf{u}(t)</math><BR /><math>\mathbf{y}(t) = \mathbf{C}(t) \mathbf{x}(t) + \mathbf{D}(t) \mathbf{u}(t)</math>
|- valign="top"
|離散時不変 || <math>\mathbf{x}(k+1) = A \mathbf{x}(k) + B \mathbf{u}(k)</math><BR /><math>\mathbf{y}(k) = C \mathbf{x}(k) + D \mathbf{u}(k)</math>
|- valign="top"
|離散時変 || <math>\mathbf{x}(k+1) = \mathbf{A}(k) \mathbf{x}(k) + \mathbf{B}(k) \mathbf{u}(k)</math><BR /><math>\mathbf{y}(k) = \mathbf{C}(k) \mathbf{x}(k) + \mathbf{D}(k) \mathbf{u}(k)</math>
|- valign="top"
|連続時不変の<BR />ラプラス領域 || <math>s \mathbf{X}(s) = A \mathbf{X}(s) + B \mathbf{U}(s)</math><BR /><math>\mathbf{Y}(s) = C \mathbf{X}(s) + D \mathbf{U}(s)</math>
|- valign="top"
|離散時不変の<BR />Z領域 || <math>z \mathbf{X}(z) = A \mathbf{X}(z) + B \mathbf{U}(z)</math><BR /><math>\mathbf{Y}(z) = C \mathbf{X}(z) + D \mathbf{U}(z)</math>
|}

システムのさまざまな特性（可制御性、可観測性、安定性）は、行列 '''A'''、'''B'''、'''C'''と'''D'''に決められる。

=== 伝達関数 ===
連続時不変状態空間モデルの[[伝達関数法|伝達関数]]は、次のように導出できる。

まず、次の式
{{Indent|<math>\dot{\mathbf{x}}(t) = A \mathbf{x}(t) + B \mathbf{u}(t)</math>}}
の[[ラプラス変換]]を求める。
{{Indent|<math>s\mathbf{X}(s) = A \mathbf{X}(s) + B \mathbf{U}(s)</math>}}
次に <math>\mathbf{X}(s)</math> に着目すると次のように変形できる。
{{Indent|<math>(s\mathbf{I} - A)\mathbf{X}(s) = B\mathbf{U}(s)</math><br />
<math>\mathbf{X}(s) = (s\mathbf{I} - A)^{-1}B\mathbf{U}(s)</math>}}

これを使って、出力方程式の <math>\mathbf{X}(s)</math> を置き換える。

{{Indent|<math>\mathbf{Y}(s) = C\mathbf{X}(s) + D\mathbf{U}(s)</math> であるから、<br />
<math>\mathbf{Y}(s) = C((s\mathbf{I} - A)^{-1}B\mathbf{U}(s)) + D\mathbf{U}(s)</math>}}

となる。[[伝達関数法|伝達関数]] <math>\mathbf{G}(s)</math> はシステムの出力と入力の比であるから、次のようになる。
{{Indent|<math>\mathbf{G}(s) = \mathbf{Y}(s) / \mathbf{U}(s)</math>}}
従って、上で求めた <math>\mathbf{Y}(s)</math> で置き換えれば <math>\mathbf{U}(s)</math> が約分され、次の式が得られる。
{{Indent|<math>\mathbf{G}(s) = C(s\mathbf{I} - A)^{-1}B + D=C\frac{\mathrm{adj}(s\mathbf{I} - A)}{\mathrm{det}(s\mathbf{I} - A)}B+D</math>}}

式の中には、<math>\mathrm{det}(s\mathbf{I} - A)</math>が<math>sI - A</math> の[[行列式]]であり、<math>\mathrm{adj}(s\mathbf{I} - A)</math>が<math>sI - A</math>の[[行列式#余因子行列と逆行列|余因子行列]]である。

<math>\mathbf{G}(s)</math> は明らかに <math>q</math> <math>\times</math><math>p</math> の次元を持ち、全体で <math>qp</math> 個の要素から成る。従って、個々の入力に対して <math>q</math> 個の伝達関数があり、それぞれが個々の出力に対応している。そのため、複数入力/複数出力システムでは状態空間表現の方が好まれる。

なお、<math>\mathrm{det}(s\mathbf{I} - A)</math>は[[特性多項式]]と呼ばれる。その多項式の根（[[固有値]]）から、システムの伝達関数の極が得られる。それらの極を使って、そのシステムの安定性を解析できる。<math>\textbf{G}(s)</math> の分子にあるゼロも同様に、システムが[[最小位相]]かどうかの判定に使うことができる。

<math>(s\mathbf{I} - A)^{-1}</math>を計算するため、下記の[[アルゴリズム]]がある。

====Souriau-Frame-Faddeev アルゴリズム====

{{Indent|<math>
\begin{align}
(s\mathbf{I} - A)^{-1}&=\frac{\mathrm{adj}(s\mathbf{I} - A)}{\mathrm{det}(s\mathbf{I} - A)}\\
                      &=\frac{\sum_{k=0}^{n-1}\mathbf{Q}_ks^k}{s^n+a_{n-1}s^{n-1}+\cdots+a_1s+a_0}
\end{align}
</math>}}
その中には、

{{Indent|<math>\mathbf{Q}_{n-1}=\mathbf{I}</math>

<math>
\begin{align}
a_k&=\frac{1}{k}\mathrm{tr}\mathbf{Q}_{k-1}\\
   &=-\frac{1}{n-k}\mathrm{tr}(\mathbf{AQ}_k)=-\frac{1}{n-k}\mathrm{tr}(\mathbf{Q}_k\mathbf{A})
\end{align}
</math><br />
<math>\mathbf{Q}_{k-1}=\mathbf{Q}_{k}\mathbf{A}+a_k\mathbf{I}=\mathbf{A}\mathbf{Q}_{k}+a_k\mathbf{I}\qquad\qquad (k=n-1,n-2,\cdots,2,1)</math>
<br/>
<math>a_0=-\frac{1}{n}\mathrm{tr}(\mathbf{AQ}_0)=-\frac{1}{n}\mathrm{tr}(\mathbf{Q}_0\mathbf{A})</math>
}}
または
{{Indent|<math>\mathbf{0}=\mathbf{Q}_0\mathbf{A}+a_0\mathbf{I}=\mathbf{AQ}_0+a_0\mathbf{I}</math>}}
最後の等式は、前の演算の精度を検査することができる。

=== プロパーな伝達関数 ===
プロパーな伝達関数（「厳密にプロパー」ではない）の実現も容易に得られる。その場合伝達関数を、厳密にプロパーな部分と定数部分という2つの部分に分割するというトリックを用いる。
{{Indent|<math> \textbf{G}(s) = \textbf{G}_{SP}(s) + \textbf{G}(\infty)</math>}}
厳密にプロパーな伝達関数は上述した方法で正準状態空間実現に変換できる。定数の状態空間実現が <math>\textbf{y}(t) = \textbf{G}(\infty)\textbf{u}(t)</math> であることは明らかである。以上から、行列 ''A'', ''B'', ''C'' の状態空間実現は厳密にプロパーな部分から得られ、行列 ''D'' は定数部分から得られる。

もう少し判りやすくするため、例を挙げて説明する。
{{Indent|<math> \textbf{G}(s) = \frac{s^{2} + 3s + 3}{s^{2} + 2s + 1}
                      = \frac{s + 2}{s^{2} + 2s + 1} + 1</math>}}
この伝達関数から、次の可制御実現が得られる。
{{Indent|<math>\dot{\textbf{x}}(t) = \begin{bmatrix}
                               -2& -1\\
                                1&      0\\
                             \end{bmatrix}\textbf{x}(t) + 
                             \begin{bmatrix} 1\\ 0\end{bmatrix}\textbf{u}(t)</math>}}

{{Indent|<math> \textbf{y}(t) = \begin{bmatrix} 1& 2\end{bmatrix}\textbf{x}(t) + \begin{bmatrix} 1\end{bmatrix}\textbf{u}(t)</math>}}
出力が入力に直接依存している点に注意されたい。これは伝達関数の <math>\textbf{G}(\infty)</math> 定数部分によるものである。

=== 可制御性 ===
従って、状態の可制御性（controllability）条件は、許容範囲内の入力で、ある有限の時間をかければ状態をある初期値から特定の値へと変化させることが可能であることを暗に示している。連続時不変状態空間モデルが'''制御可能'''（controllable）であるとは、次が成り立つ場合である。
{{Indent|<math>\operatorname{rank}\begin{bmatrix}B& AB& A^{2}B& ...& A^{n-1}B\end{bmatrix} = n</math>}}

=== 可観測性 ===
可観測性（observability）とは、システムの外部出力を観測することでシステムの内部状態を推測可能かどうかの尺度である。システムの可観測性と可制御性は数学的な双対である。

連続時不変状態空間モデルが'''観測可能'''（observable）であるとは、次が成り立つ場合である。
{{Indent|<math>\operatorname{rank}\begin{bmatrix}C\\ CA\\ ...\\ CA^{n-1}\end{bmatrix} = n</math>}}
なお、[[行列の階数|Rank]]とは行列内の線形独立な列の数である。

=== 正準実現 ===
厳密にプロパー（strictly proper）な伝達関数は、次のようにして容易に状態空間に変換可能である。

伝達関数を展開して分子と分母の全ての係数を明らかにする。これは、次のような形式になる。
{{Indent|<math> \textbf{G}(s) = \frac{n_{1}s^{3} + n_{2}s^{2} + n_{3}s + n_{4}}{s^{4} + d_{1}s^{3} + d_{2}s^{2} + d_{3}s + d_{4}}</math>}}

これらの係数を以下のように直接に状態空間モデルに挿入できる。
{{Indent|<math>\dot{\textbf{x}}(t) = \begin{bmatrix}
                               -d_{1}& -d_{2}& -d_{3}& -d_{4}\\
                                1&      0&      0&      0\\
                                0&      1&      0&      0\\
                                0&      0&      1&      0
                             \end{bmatrix}\textbf{x}(t) + 
                             \begin{bmatrix} 1\\ 0\\ 0\\ 0\\ \end{bmatrix}\textbf{u}(t)</math>

<math> \textbf{y}(t) = \begin{bmatrix} n_{1}& n_{2}& n_{3}& n_{4} \end{bmatrix}\textbf{x}(t)</math>
}}
この状態空間実現を'''可制御正準形式'''（controllable canonical form）と呼ぶ。「可制御」とされるのは、得られるモデルが可制御であることが保証されているためである。

伝達関数の係数を使って、次のような正準形式も構築可能である。
{{Indent|<math>\dot{\textbf{x}}(t) = \begin{bmatrix}
                               -d_{1}&   1&  0&  0\\
                               -d_{2}&   0&  1&  0\\
                               -d_{3}&   0&  0&  1\\
                               -d_{4}&   0&  0&  0
                             \end{bmatrix}\textbf{x}(t) + 
                             \begin{bmatrix} n_{1}\\ n_{2}\\ n_{3}\\ n_{4} \end{bmatrix}\textbf{u}(t)</math>

<math> \textbf{y}(t) = \begin{bmatrix} 1& 0& 0& 0 \end{bmatrix}\textbf{x}(t)</math>
}}
この状態空間実現を'''可観測正準形式'''（observable canonical form）と呼ぶ。「可観測」とされるのは、得られるモデルが可観測であることが保証されているためである。

===安定性===
安定性については、外部的な安定に関するBIBO安定性があり、内部的な安定に関するリアプノフ安定性と漸近安定性など[[力学系#不動点|平衡状態]]の安定性もある。[[非線形システム論|非線形システム]]の平衡状態は唯一ではないが、[[線形システム論|線形システム]]の状態行列'''A(t)'''が可逆的であるとき平衡状態が<math>\mathbf{0}</math>しかない。

BIBO安定性はシステムの[[零状態応答]]を着目し、平衡状態の安定性はシステムの[[零入力応答]]を着目する。なお、リアプノフ安定性は、[[力学系]]の安定性理論の基礎である。安定性の判定には、状態行列'''A'''との密接な関係がある。

====BIBO安定性====
{{Main|有界入力有界出力安定性}}
BIBO安定性は、入力は有界するとき出力は必ず有界であること。これは、不安定な極がゼロによって打ち消される場合と考えられる。

システムを[[#プロパーな伝達関数|プロパーな伝達関数]]<math>\mathrm{G}(s)=\mathrm{det}(s\mathbf{I}-A)</math>としてモデル化するとき、BIBO安定の必要十分条件は、システムの極が全部複素平面の左平面になければならないこと、または極が全部負の実部を持つこと。

====リアプノフ安定性====
{{Main|リアプノフ安定}}

====漸近安定性====
状態空間の原点はリアプノフ安定の平衡状態である上に、次を満たす<math>\delta(t_0)>0</math>が存在すれば、状態空間の原点は時刻<math>t_0</math>の漸近安定状態という。
{{Indent|<math>\|x(t_0)\|<\delta(t_0)\Rightarrow\lim_{t\to\infty}\|x(t)\|=0</math>}}
<math>\delta(t_0)</math>は<math>t_0</math>と関係ないとき、状態空間の原点は''一様漸近安定''状態という。

[[LTIシステム理論|LTIシステム]]が漸近安定する必要十分条件は、システムの固有値（'''A'''の固有値）がすべて負の実部を持つ。

====安定性の間の関係====
* 漸近安定のシステムは必ずBIBO安定する。
* システムが可制御性または可観測性持たないとき、伝達関数の極が状態行列'''A'''のスペクトル（固有値の集）の真部分集合であるため、BIBO安定は必ず漸近安定ではない。でも、
* LTIシステムには可制御性と可観測性が同時にあるとき、以下の命題が等価である。
*#システムがBIBO安定する。
*#システムが漸近安定する。
*#伝達関数の極が負の実部を持つ。
*#システムの固有値（'''A'''の固有値）が負の実部を持つ。

=== フィードバック ===
{{See also|フィードバック}}
[[画像:Typical State Space model with feedback.png|framed|フィードバックのある典型的な状態空間モデル]]
典型的なフィードバックは、出力に行列 ''K'' をかけたものをシステムの入力とする。
system: <math>\mathbf{u}(t) = K \mathbf{y}(t)</math>
''K'' 内の値には制限はないので、負の値することで容易にネガティブ・フィードバック（負帰還）となる。負の符号は単に表記上の問題であって、式にそれが現われなくとも最終的な結果には何の影響もない。
{{Indent|
<math>\dot{\mathbf{x}}(t) = A \mathbf{x}(t) + B \mathbf{u}(t)</math><br />
<math>\mathbf{y}(t) = C \mathbf{x}(t) + D \mathbf{u}(t)</math>
}}
この式の入力をフィードバックに置き換えると次の式になる。
{{Indent|
<math>\dot{\mathbf{x}}(t) = A \mathbf{x}(t) + B K \mathbf{y}(t)</math><br />
<math>\mathbf{y}(t) = C \mathbf{x}(t) + D K \mathbf{y}(t)</math>
}}
出力方程式を <math>\mathbf{y}(t)</math> について解き、その結果を状態方程式に当てはめると次のようになる。
{{Indent|
<math>\dot{\mathbf{x}}(t) = \left(A + B K \left(I - D K\right)^{-1} C \right) \mathbf{x}(t)</math><br />
<math>\mathbf{y}(t) = \left(I - D K\right)^{-1} C \mathbf{x}(t)</math>
}}
この場合の利点は、<math>\left(A + B K \left(I - D K\right)^{-1} C \right)</math> の固有値分解を使って ''K'' を適切に設定することで ''A'' の[[固有値]]を制御できる点である。これは、[[開ループ制御|開ループ系が制御可能]]であるか、または ''A'' の不安定な固有値を ''K'' を適切に設定することで安定にできるということを前提としている。

比較的一般的な単純化として、''D'' を除去し、''C'' を単位元にすると、次のような式が得られる。
{{Indent|
<math>\dot{\mathbf{x}}(t) = \left(A + B K \right) \mathbf{x}(t)</math><br />
<math>\mathbf{y}(t) = \mathbf{x}(t)</math>
}}
こうすると、固有値分解は <math>A + B K</math> についてのみ行えばよい。

=== 基準となる入力を持つフィードバック ===
[[画像:Typical State Space model with feedback and input.png|framed|基準入力のある出力フィードバック]]
フィードバックに加えて、入力 <math>r(t)</math> がある場合、<math>\mathbf{u}(t) = -K \mathbf{y}(t) + \mathbf{r}(t)</math> となる。
{{Indent|
<math>\dot{\mathbf{x}}(t) = A \mathbf{x}(t) + B \mathbf{u}(t)</math><br />
<math>\mathbf{y}(t) = C \mathbf{x}(t) + D \mathbf{u}(t)</math>
}}
この式に当てはめると、次のようになる。
{{Indent|
<math>\dot{\mathbf{x}}(t) = A \mathbf{x}(t) - B K \mathbf{y}(t) + B \mathbf{r}(t)</math><br />
<math>\mathbf{y}(t) = C \mathbf{x}(t) - D K \mathbf{y}(t) + D \mathbf{r}(t)</math>
}}
出力方程式を <math>\mathbf{y}(t)</math> について解き、その結果を状態方程式に当てはめると次のようになる。
{{Indent|
<math>\dot{\mathbf{x}}(t) = \left(A - B K \left(I + D K\right)^{-1} C \right) \mathbf{x}(t) + B \left(I -  K \left(I + D K\right)^{-1}D \right) \mathbf{r}(t)</math><br />
<math>\mathbf{y}(t) = \left(I + D K\right)^{-1} C \mathbf{x}(t) + \left(I + D K\right)^{-1} D \mathbf{r}(t)</math>
}}
比較的一般的な単純化として、''D'' を除去すると、次のような式が得られる。
{{Indent|
<math>\dot{\mathbf{x}}(t) = \left(A - B K C \right) \mathbf{x}(t) + B \mathbf{r}(t)</math><br />
<math>\mathbf{y}(t) = C \mathbf{x}(t)</math>
}}
=== 移動する物体の例 ===
古典的な線形システムとして、一次元の移動する物体を考える。壁にバネで繋がれた物体が水平な平面上を移動する場合、[[ニュートン力学]]では次の式で表される。

{{Indent|<math>m \ddot{y}(t) = u(t) - k_1 \dot{y}(t) - k_2 y(t)</math>}}

ここで
*<math>y(t)</math> は位置、<math>\dot y(t)</math> は速度、<math>\ddot{y}(t)</math> は加速度である。
*<math>u(t)</math> は加えられた力である。
*<math>k_1</math> は粘性摩擦係数である。
*<math>k_2</math> はバネ定数である。
*<math>m</math> は物体の質量である。

この場合の状態方程式は次のようになる。
{{Indent|
<math>\left[ \begin{matrix} \mathbf{\dot{x_1}}(t) \\ \mathbf{\dot{x_2}}(t) \end{matrix} \right] = \left[ \begin{matrix} 0 & 1 \\ -\frac{k_2}{m} & -\frac{k_1}{m} \end{matrix} \right] \left[ \begin{matrix} \mathbf{x_1}(t) \\ \mathbf{x_2}(t) \end{matrix} \right] + \left[ \begin{matrix} 0 \\ \frac{1}{m} \end{matrix} \right] \mathbf{u}(t)</math><br />
<math>\mathbf{y}(t) = \left[ \begin{matrix} 1 & 0 \end{matrix} \right] \left[ \begin{matrix} \mathbf{x_1}(t) \\ \mathbf{x_2}(t) \end{matrix} \right]</math>
}}
ここで、
*<math>x_1(t)</math> は物体の位置を表す。
*<math>x_2(t) := \dot{x_1}(t)</math> は物体の速度を表す。
*<math>\dot{x_2}(t) = \ddot{x_1}(t)</math> は物体の加速度を表す。
*出力 <math>\mathbf{y}(t)</math> は物体の位置である。

可制御性を評価すると、次のようになる。
{{Indent|
<math>\left[ \begin{matrix} B & AB \end{matrix} \right] = \left[ \begin{matrix} \left[ \begin{matrix} 0 \\ \frac{1}{m} \end{matrix} \right] & \left[ \begin{matrix} 0 & 1 \\ -\frac{k_2}{m} & -\frac{k_1}{m} \end{matrix} \right]   \left[ \begin{matrix} 0 \\ \frac{1}{m} \end{matrix} \right] \end{matrix} \right] = \left[ \begin{matrix} 0 & \frac{1}{m} \\ \frac{1}{m} & \frac{k_1}{m^2} \end{matrix} \right]</math>
}}
したがって、<math>k_1</math> についても <math>m</math> についてもフルランクである。

可観測性を評価すると、次のようになる。
{{Indent|
<math>\left[ \begin{matrix} C \\ CA \end{matrix} \right] = \left[ \begin{matrix} \left[ \begin{matrix} 1 & 0 \end{matrix} \right] \\ \left[ \begin{matrix} 1 & 0 \end{matrix} \right] \left[ \begin{matrix} 0 & 1 \\ -\frac{k_2}{m} & -\frac{k_1}{m} \end{matrix} \right] \end{matrix} \right] = \left[ \begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix} \right]</math>
}}
したがって、フルランクである。以上から、このシステムは制御可能で、かつ観測可能である。

== 非線形システム ==
{{Main|非線形システム論}}
より普遍的な状態空間モデルの形式は次のように表される。
{{Indent|
<math>\mathbf{\dot{x}}(t) = \mathbf{f}(t, x(t), u(t))</math><br />
<math>\mathbf{y}(t) = \mathbf{h}(t, x(t), u(t))</math>
}}
1つ目が状態方程式、2つ目が出力方程式である。<math>f(\cdot,\cdot,\cdot)</math> が状態と入力の線形な組合せなら、前述のような行列で表現できる。関数の引数である <math>u(t)</math> は、入力のないシステムでは省略できる。

=== 振り子の例 ===
古典的な非線形システムとして、力を加えない単純な[[振り子]]を考える。

{{Indent|<math>ml\ddot\theta(t)= -mg\sin\theta(t) - kl\dot\theta(t)</math>}}

ここで、
*<math>\theta(t)</math> は（重力の方向から見た）振り子の角度である。
*<math>m</math> は振り子の質量である（先端にのみ質量があると見なす）。
*<math>g</math> は重力加速度である。
*<math>k</math> は支点における摩擦係数である。
*<math>l</math> は振り子の長さ（回転半径）である（質量 <math>m</math> の重心までの距離）。
すると、状態方程式は次のようになる。
{{Indent|
<math>\dot{x_1}(t) = x_2(t)</math><br />
<math>\dot{x_2}(t) = - \frac{g}{l}\sin{x_1}(t) - \frac{k}{m}{x_2}(t)</math>
}}
ここで、
*<math>x_1(t):=\theta(t)</math> は、振り子の角度である。
*<math>x_2(t) :=\dot{x_1}(t)</math> は、振り子の回転速度である。
*<math>\dot{x_2} =\ddot{x_1}</math> は、振り子の回転加速度である。

状態方程式は、次のようにも書き表せる。

{{Indent|<math>\dot{x}(t) = \left( \begin{matrix} \dot{x_1}(t) \\ \dot{x_2}(t) \end{matrix} \right) = \mathbf{f}(t, x(t)) = \left( \begin{matrix} x_2(t) \\ - \frac{g}{l}\sin{x_1}(t) - \frac{k}{m}{x_2}(t) \end{matrix} \right)</math>}}

システムの平衡/安定点は <math>\dot{x} = 0</math> のときであり、従って振り子の平衡点は以下が成り立つ場合である。

{{Indent|<math>\left( \begin{matrix} x_1 \\ x_2 \end{matrix} \right) = \left( \begin{matrix} n\pi \\ 0 \end{matrix} \right)</math>}}

ここで ''n'' は整数である。

== 関連項目 ==
* [[制御工学]]
* [[制御理論]]
* [[状態観測器]]
* [[位相空間 (物理学)]]、 [[位相空間法]]

== 参考文献 ==
{{参照方法|date=2023年1月8日 (日) 04:07 (UTC)|section=1}}
* Chen, Chi-Tsong 1999. ''Linear System Theory and Design'', 3rd. ed., Oxford University Press (ISBN 0-19-511777-8)
* Khalil, Hassan K. ''Nonlinear Systems'', 3rd. ed., Prentice Hall (ISBN 0-13-067389-7)
* Nise, Norman S. 2004. ''Control Systems Engineering'', 4th ed., John Wiley & Sons, Inc. (ISBN 0-471-44577-0)
* Hinrichsen, Diederich and Pritchard, Anthony J. 2005. ''Mathematical Systems Theory I, Modelling, State Space Analysis, Stability and Robustness''. Springer. (ISBN 978-3-540-44125-0)
* Sontag, Eduardo D. 1999. ''Mathematical Control Theory: Deterministic Finite Dimensional Systems. Second Edition''.  Springer.  (ISBN 0-387-984895) ([http://www.math.rutgers.edu/~sontag/FTP_DIR/sontag_mathematical_control_theory_springer98.pdf フリーなオンライン版])
* Durbin, J. and S. Koopman (2001). ''Time series analysis by state space methods''. Oxford University Press, Oxford. 状態空間の考え方を[[計量経済学]]に応用したもの

{{制御理論}}
{{DEFAULTSORT:しようたいくうかん}}
[[Category:制御理論]]
[[Category:サイバネティックス]]
<!-- [[Category:空間]] -->
[[Category:力学系]]