Core Concepts
本論文では、従来の監視制御理論に強制イベントを導入し、強制可制御性という新しい概念を定義する。強制可制御性は、監視制御器が制御可能なイベントを無効化するだけでなく、強制可能なイベントを使って制御不可能なイベントを先取りできることを表す。この概念に基づき、最大許容の強制可制御かつ非ブロッキング監視制御器の存在を示し、その合成アルゴリズムを提案する。
Abstract
本論文は、従来の監視制御理論に強制イベントを導入し、新しい概念である強制可制御性を定義している。
まず、従来の監視制御理論では、監視制御器は制御可能なイベントを無効化することしかできないが、実際の実装では監視制御器が特定のイベントを強制的に発生させることができる場合がある。この差異が問題となることが指摘されている。
そこで本論文では、監視制御器に強制イベントを使う機能を追加する。強制可能なイベントは制御可能なイベントと制御不可能なイベントの両方を含むことができ、監視制御器はこれらのイベントを強制することで制御不可能なイベントを先取りできる。
この強制イベントの概念に基づき、強制可制御性という新しい性質が定義される。これは、監視制御器が制御不可能なイベントを無効化するか、強制可能なイベントを使って先取りできることを表す。
本論文では、この強制可制御性を満たす最大許容の監視制御器の存在を示し、その合成アルゴリズムを提案している。アルゴリズムの終了性と正しさが証明されている。
また、2つの小さな事例研究によって、強制イベントを導入することの有効性が示されている。