Ami Sakakibara 研究室

Ami Sakakibara研究室は、複雑なシステムの制御と検査に関する研究を行っています。 研究の主な対象は、複数の事象が時間的に発生する離散的なシステムであり、特に確率的な振る舞いを持つものを扱っています。これらのシステムに対して、線形時間論理という形式化された仕様を満たすような制御戦略（スーパーバイザー）を設計することが主要な課題です。具体的には、システムが特定の条件を永続的に守るように、どのような操作を許可・禁止すべきかを決定する問題に取り組んでいます。 手法としては、計算理論的なアプローチを採用しており、境界付き合成や安全ゲームという理論的枠組みを用いて制御問題を整式化しています。メモリサイズの制限下での制御戦略の導出や、動的計画法による最適解の探索、報酬関数を利用した価値関数の計算など、形式手法と制御理論を組み合わせた手法が特徴です。 主要な成果として、有限メモリという現実的な制約の下で、仕様の満足度を定量的に評価しながら制御器を設計できることを示しています。これにより、理論的に保証された制御戦略を現実的なシステムに適用する道が開かれています。