事象と状態の観測に基づく非決定離散事象システムの双模倣制御

摘要

本稿では，非決定オートマトンでモデル化された制御対象と制御仕様に対して，スーパバイザ制御されたシステムと制御仕様が双模倣となるような非決定スーパバイザを構成する問題について考察する．スーパバイザは生起した事象だけでなく，現在の状態も観測可能であると仮定し，スーパバイザによって許可された事象による非決定なすべての状態遷移が制御されたシステムで生起可能であることを保証する完全性の概念を導入する．そして，完全なスーパバイザが存在するための必要十分条件を導出する．