複数存在することが多いため、これらの変数はベクトルとして表され、行列形式で微分代数方程式を表す(力学系が線形で時不変の場合)。状態空間表現は時間領域の手法であり、これを使うと複数の入力と出力を持つシステムをコンパクトにモデル化でき、解析が容易になる。個のラプラス変換を書かなければならない。周波数領域の手法とは異なり、状態空間表現では、線形性と初期値がゼロという制限は存在しない。「状態空間」は、その次元軸が個々の状態変数に対応することから名づけられている。システムの状態はこの空間内のベクトルとして表現される。状態空間モデル状態変数は、任意の時点でシステム全体の状態を表せるシステム変数群の最小の部分集合である。状態変数群は線形独立でなければならない。ある状態変数を別の状態変数群の線形結合で表すことはできない。n}は、一般にそのシステムを定義する微分方程式の次数に等しい。システムが伝達関数形式で表されるとき、状態変数の最小個数は伝達関数を適切に約分したときの分母の次数に等しい。realization)を伝達関数形式に変換することで、システムについての内部情報を失う可能性があるが、状態空間実現では不安定なはずなのに安定しているシステムを説明できることがある。電気回路では、状態変数の数は回路内のエネルギー蓄積部品(コンデンサやコイル)の個数と同じであることが多い(常にそうとは限らない)。n}個の状態変数の状態空間表現の一般形は次のようになる。)}を「直達行列」と呼ぶ。)}は零行列とされることが多い。term)が無いものとして扱う。この一般形式では全ての行列は時変とみなされ、その要素は時と共に変化するものとされている。k}で表すことが多い。時変か時不変か、連続か離散かによって、状態空間モデルの表現は以下のように変化する。モデルの伝達関数は、次のように導出できる。(t)}のラプラス変換を求める。(s)}に着目すると次のように変形できる。(s)}を置き換える。(s)}はシステムの出力と入力の比であるから、次のようになる。(s)}が約分され、次の式が得られる。sI-A}の余因子行列である。qp}個の要素から成る。q}個の伝達関数があり、それぞれが個々の出力に対応している。そのため、複数入力/複数出力システムでは状態空間表現の方が好まれる。-A)}は特性多項式と呼ばれる。その多項式の根(固有値)から、システムの伝達関数の極が得られる。それらの極を使って、そのシステムの安定性を解析できる。{G}}(s)}の分子にあるゼロも同様に、システムが最小位相かどうかの判定に使うことができる。-A)^{-1}}を計算するため、下記のアルゴリズムがある。}最後の等式は、前の演算の精度を検査することができる。編集プロパーな伝達関数(「厳密にプロパー」ではない)の実現も容易に得られる。その場合伝達関数を、厳密にプロパーな部分と定数部分という2つの部分に分割するというトリックを用いる。)}厳密にプロパーな伝達関数は上述した方法で正準状態空間実現に変換できる。{u}}(t)}であることは明らかである。定数部分から得られる。判りやすくするため、例を挙げて説明する。{s+2}{s^{2}+2s+1}}+1}この伝達関数から、次の可制御実現が得られる。{u}}(t)}出力が入力に直接依存している点に注意されたい。モデルが制御可能(controllable)であるとは、次が成り立つ場合である。(observability)とは、システムの外部出力を観測することでシステムの内部状態を推測可能かどうかの尺度である。モデルが観測可能(observable)であるとは、次が成り立つ場合である。proper)な伝達関数は、次のようにして容易に状態空間に変換可能である。伝達関数を展開して分子と分母の全ての係数を明らかにする。これは、次のような形式になる。{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}}}}これらの係数を以下のように直接に状態空間モデルに挿入できる。「可制御」とされるのは、得られるモデルが可制御であることが保証されているためである。伝達関数の係数を使って、次のような正準形式も構築可能である。ついては、外部的な安定に関するBIBO安定性があり、内部的な安定に関するリアプノフ安定性と漸近安定性など平衡状態の安定性もある。BIBO安定性はシステムの零状態応答を着目し、平衡状態の安定性はシステムの零入力応答を着目する。リアプノフ安定性は、力学系の安定性理論の基礎である。安定性の判定には、状態行列Aとの密接な関係がある。参照BIBO安定性は、入力は有界するとき出力は必ず有界であること。これは、不安定な極がゼロによって打ち消される場合と考えられる。-A)}としてモデル化するとき、BIBO安定の必要十分条件は、システムの極が全部複素平面の左平面になければならないこと、または極が全部負の実部を持つこと。t_{0}}の漸近安定状態という。t_{0}}と関係ないとき、状態空間の原点は一様漸近安定状態という。LTIシステムが漸近安定する必要十分条件は、システムの固有値(Aの固有値)がすべて負の実部を持つ。システムは必ずBIBO安定する。システムが可制御性または可観測性持たないとき、伝達関数の極が状態行列Aのスペクトル(固有値の集)の真部分集合であるため、BIBO安定は必ず漸近安定ではない。LTIシステムには可制御性と可観測性が同時にあるとき、以下の命題が等価である。システムがBIBO安定する。システムが漸近安定する。伝達関数の極が負の実部を持つ。システムの固有値(Aの固有値)が負の実部を持つ。かけたものをシステムの入力とする。内の値には制限はないので、負の値することで容易にネガティブ・フィードバック(負帰還)となる。負の符号は単に表記上の問題であって、式にそれが現われなくとも最終的な結果には何の影響もない。(t)}この式の入力をフィードバックに置き換えると次の式になる。(t)}について解き、その結果を状態方程式に当てはめると次のようになる。固有値を制御できる点である。適切に設定することで安定にできるということを前提としている。単位元にすると、次のような式が得られる。A+BK}についてのみ行えばよい。(t)}この式に当てはめると、次のようになる。(t)}について解き、その結果を状態方程式に当てはめると次のようになる。除去すると、次のような式が得られる。古典的な線形システムとして、一次元の移動する物体を考える。壁にバネで繋がれた物体が水平な平面上を移動する場合、ニュートン力学では次の式で表される。{y}}(t)}は加速度である。u(t)}は加えられた力である。k_{1}}は粘性摩擦係数である。k_{2}}はバネ定数である。m}は物体の質量である。この場合の状態方程式は次のようになる。x_{1}(t)}は物体の位置を表す。{x_{1}}}(t)}は物体の速度を表す。{x_{1}}}(t)}は物体の加速度を表す。(t)}は物体の位置である。可制御性を評価すると、次のようになる。m}についてもフルランクである。可観測性を評価すると、次のようになる。{k_{1}}{m}}\end{matrix}}\right]\end{matrix}}\right]=\left[{\begin{matrix}1&0\\0&1\end{matrix}}\right]}したがって、フルランクである。以上から、このシステムは制御可能で、かつ観測可能である。→詳細は「非線形システム論」を参照より普遍的な状態空間モデルの形式は次のように表される。(t,x(t),u(t))}1つ目が状態方程式、2つ目が出力方程式である。)}が状態と入力の線形な組合せなら、前述のような行列で表現できる。u(t)}は、入力のないシステムでは省略できる。古典的な非線形システムとして、力を加えない単純な振り子を考える。(t)}は(重力の方向から見た)振り子の角度である。m}は振り子の質量である(先端にのみ質量があると見なす)。g}は重力加速度である。k}は支点における摩擦係数である。m}の重心までの距離)。すると、状態方程式は次のようになる。(t)}は、振り子の角度である。{x_{1}}}(t)}は、振り子の回転速度である。{x_{1}}}}は、振り子の回転加速度である。状態方程式は、次のようにも書き表せる。{x}}=0}のときであり、従って振り子の平衡点は以下が成り立つ場合である。列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(日時は個人設定で未設定ならばUTC)。4.0のもとで利用可能です。利用規約デスクトップ。