定義 においてとするとき、任意の初期状態に対して となるとき、システムは漸近安定であるという。 定理 システムが漸近安定であるための必要十分条件は行列の固有値の実部がすべて負となることである。 証明 （必要性） とおくと の固有値を、それに対応す…

定義 出力をの間観測することによって、時刻0における状態を求めることができるならば、このシステムは可観測である（observable）という。 定理 のシステムが可観測であるための必要十分条件は \begin{equation} \pmb{R}=\begin{bmatrix} \pmb{c}^T \\ \pmb…