精度保証付き計算を用いた制御系解析·設計

摘要

本稿では，精度保証付き計算というものがどのようなものであるか，その重要性を議論しながら紹介し，その基礎となるアルゴリズムを概説し，いくつかの制御系解析·設計問題に対し精度保証付き計算が可能であることを示した．また，今後の展望についても述べた．非常に研究の進んだ，そして歴史も長い数値解析·数値計算の分野に比べると，精度保証付き計算の認知度は残念ながら低いといわざるをえない。 実用的により有用となるためには，基本アルゴリズムのさらなる高速化を図る研究,また，精度保証付き計算で解くことができる制御問題のクラスを広げていく研究が望まれる．精度保証付き計算というものが普及し，普通の数値計算アルゴリズムから得られた解が何か変だと思ったとき，すべてのエンジニアが「そうだ，精度保証付き計算で確認してみよう」と思える日がくることを願ってやまない。