ス一パバイザ制御の理論と応用

摘要

離散値をとる状態が事象の生起にょって遷移するょうなシステムは離散事象システムと呼ばれる.離散事象システムでは,デッドロック回避などのため,事象の生起を制限する制御が必要となる.そのょうな制御のためのモデルベ一ストアプロ一チとして, ス一パバイザ制御がある.ス一パバイザ制御では,制御対象とその所望の動作を表現する有限オ一トマトンモデルに基づき,ス一パバイザという制御器を構成する.本稿では,有限オ一トマトンにょる離散事象システムのモデリング及びモデルに基づくス一パバイザ制御现論にっいて紹介する.