科学技術と共に歩む

人間はさまざまなシステムを相手に意思決定を行う。システム制御も一つの意思決定である。意思決定を行う際重要となるのは，対象となるシステムについての知識である。そのシステムがどのように作られ，どのような法則に従って動いているかはもちろんであるが，それを知ったうえでさらに重要なことは，そのシステムが現在どのような状態にあるかを知ることである。元来，システムの状態を把握するのに十分な情報を指して，「状態」という述語が限定的に使われるのであるが，現実のシステムにおいてその状態を完全に知ることができるのはむしろ稀である。そのような場合，入手できるデータに基づいて状態を推定し，それを状態と見なすことは無理のない方策である。この本は，不確かさを含む一般的なシステムに対して，その状態を推定するための基礎理論への入門書である。

本書が対象とするのは，有限次元ベクトルを従属変数とする線形常微分方程式で表されるシステムである。そして，その不確かさは初期状態と加法的な入力項にのみあるとする。ここまで限定しでも，不確かさをどのように取り扱うかによってまた議論の仕方が分かれる。入力についていえば，ここでは，それを部分的に既知の属性を持った未知の時間関数と見る方法と，確率過程と見る方法の2通りを考える。どちらの道をとるかによってその後の展開が大きく異なるので，1章であらかじめ総括を行ったうえで，2~4章と5~7章に分けて論じた。いずれも対象とするシステムを相当に限定したうえでの一般論であり，理論の一般性を確保することより，理論の全体像の理解が容易となるような記述を心がけた。実際の応用においては，応用の可否を判断するために理論の体系的な把握が重要であると考えたからである。

2~4章の内容は，確定論的な状態推定理論である。中心となるのは，ある時刻(初期時刻)から先の入力が既知の場合に漸近的に正しい状態推定を実現するオブザーバの理論と，エネルギーの上界のみが既知の未知入力のもとでー定の推定精度を保証するH^∞フィルタの理論である。システム論的な理解を深める助けとなることを期して，制御問題との関連や，状態推定問題の別解釈などについても論じている。

5~7章の内容は，線形確率システムの状態推定理論である。目標は，よく知られたカルマンとビュシイのフィルタであるが，その基礎となる線形確率システムの理論についても詳述した。また，制御問題において状態推定が持つ意味を端的に示す「分離定理」についても言及した。ところで，確率論を基礎とするシステム論は初学者にとって手ごわいものとなりがちである。この点に配慮して，ここでは一つの試みを行った。それは，必要な予備知識の最小化である。すなわち，確率変数に対していったん2次積率の概念を導入したのちは，2次積率の議論に徹することにした。これによって，確率という概念すら陽に意識することなしに，2次積率から導かれる距離とそれに基づく収束概念だけで話を組み立てることができた。ただし，このような試みが成功したかどうかについては，読者の判断を待たなければならない。

記号や表記法は，できるだけ多くの書物や文献に共通する習慣に従った。人名については，日本人のものを除いてはすべてかたかな表記とし，複数の表記法が可能な場合は，著者らの周辺で最もよく見かけるものを採用した。また，数学者リヤプノフの名を冠した方程式に微分方程式と代数方程式があるが，どちらを指すかが文脈から明らかな場合は，あえて区別せず「リヤプノフ方程式」とした。「リカッチ方程式」についても同様である。全体にわたって共通に必要な基礎的事項は，参照しやすいように付録にまとめた。

本書が計画されてから出版に漕ぎつけるまでに思いのほか長い時聞を費やしてしまった。この間，原稿に目を通し適切なご意見をくださった編集委員長 池田雅夫先生ならびに編集委員 足立修一先生に感謝の意を表したい。また，コロナ社の方々にはさまざまな面でお世話になった。あわせて感謝申しあげる。

2004年4月
内田健康
山中一雄