まず穴埋め問題の解答を示します。太字がキーワードなので、確認してください。
[1] 制御対象の状態空間表現が与えられているとする。これは「状態方程式」と観測方程式からなる。ここで、はそれぞれ次数をもつベクトル、はそれぞれサイズをもつ行列である。また、初期状態「」は、平衡状態を表すように選ばれているものとする。
[2] いま、何らかの外乱により平衡状態が乱され、となったとする。このとき、次第に平衡状態に戻るとき、すなわちとなるとき、制御対象は「漸近安定」であるという。そのための条件は、行列が安定行列、すなわち行列の「すべての固有値の実部が負」であることである。
[3] いま、制御対象が安定ではないとき、これを「状態フィードバック」により安定化したい。すなわち、閉ループ系の行列「」を安定行列としたい。それが可能かどうか調べるためには、「可制御」性の条件「」が成立するかどうかをチェックすればよい。
[4] 状態フィードバックを実施するためには、全ての状態変数を、「センサ」を用いて計測する必要がある。しかし、これはいつも可能とは限らないので、状態変数の値を漸近的に推定する「状態オブザーバ」が用いられる。これは、となるように、オフザーバゲインを選択することにより達成される。それが可能かどうか調べるためには、「可観測」性の条件「」が成立するかどうかをチェックすればよい。
[5] 状態フィードバックを状態オブザーバを用いて、のように実施するとき、状態空間表現、を「オブザーバベース」コントローラと呼ぶ。これによる閉ループ系の固有値の集合は、行列「」の固有値の集合と行列「」の固有値の集合の和集合となることが知られている。したがって、状態フィードバックと状態オブザーバの設計は独立に行うことができる。ただ、制御動作より状態推定が速く行われなければならないので、複素平面上で、行列「」の固有値は行列「」の固有値のより左寄りとすることが考えられる。
【選択肢】 (a) 発展方程式、(b) 状態方程式、(c)、(d)、(e)安定、(f)漸近安定、(g)不安定、(h)すべての固有値の実部が負、(i)ある固有値の実部が負、(j)すべての固有値の実部が正、(k)ある固有値の実部が正、(l)状態フィードバック、(m)状態オブザーバ、(n)、(o)、(p)、(q)可制御、(r)可観測、(s)可安定、(t)可検出、(u)、(v)、(w)アクチュエータ、(x)センサ、(y)PID、(z)オブザーバベース
次に、可検出性と可観測性の証明は、とりあえず次を参照してください。