非決定性離散事象システムの模倣制御における最大許容スーパバイザの存在性

摘要

非決定性オートマトンでモデル化された離散事象システムとその制御仕様に対して，制御されたシステムが制御仕様に模倣されるようなスーパバイザを構成する問題は，模倣制御問題と呼ばれる．一般に，模倣制御問題の解となるスーパバイザは複数存在する．そこで，模倣関係のもとで，制御されたシステムの振舞いが最大許容となる，という意味での最大許容スーパバイザが存在することを示す．