決定性の仕様をもつ部分観測非決定離散事象システムの双模倣制御

摘要

事象の完全観測のもとでは，決定性の制御仕様をもつ非決定離散事象システムに対して，双模倣制御問題の解となるスーパバイザが存在するための必要十分条件が従来研究において示されている．しかし，すべての事象が観測できるとは限らない．そこで，本研究では，事象の部分観測のもとで，すべての可制御事象は可観測であると仮定し，双模倣制御問題の解となるスーパバイザが存在するための必要十分条件を導出する．