Supervisory Control of Discrete Event Systems
Shigemasa Takai · IEICE ESS FUNDAMENTALS REVIEW · 2014
スーパバイザ制御は，与えられた論理的な制御仕様が満足されるように，対象である離散事象システムの振舞いを制限する制御手法である．その特徴は，制御器であるスーパバイザによって禁止することができない不可制御事象を陽に考慮するところにある．本稿では，言語の可制御性に基づくスーパバイザの存在条件，最大許容スーパバイザの構成法といったスーパバイザ制御の基礎理論だけでなく，不可制御事象とその影響，対象システムと制御仕様のモデル化についても解説する．