強制イベントを用いた監視制御理論

本論文では、従来の監視制御理論に強制イベントを導入し、強制可制御性という新しい概念を定義する。強制可制御性は、監視制御器が制御可能なイベントを無効化するだけでなく、強制可能なイベントを使って制御不可能なイベントを先取りできることを表す。この概念に基づき、最大許容の強制可制御かつ非ブロッキング監視制御器の存在を示し、その合成アルゴリズムを提案する。