研究課題
若手研究(B)
安心安全な制御系の実現のためには，システムの抱えるリスクを定量的に評価した上での設計が重要である。本研究では，離散事象システムに対し，システムの抱えるリスクを一定以下に保証する中で，事象の生起と禁止からのコストに関して最適とするスーパバイザの設計法を示した。また，複数のサブシステムからなる大規模離散事象システムへの対応として，システムの振る舞いの先読みに基づく最適LLPスーパバイザの設計法を示した。
システム制御
