監視制御理論

スーパーバイザ制御理論( SCT ) は、ラマッジ-ウォナム フレームワーク( RW フレームワーク)とも呼ばれ、指定された仕様が可能な限り満たされるようにプラントの動作を制限するスーパーバイザを自動的に合成する方法です。プラントは自発的にイベントを生成するものと想定されます。イベントは、制御可能または制御不可能の2 つのカテゴリのいずれかになります。スーパーバイザは、プラントによって生成された一連のイベントを観察し、プラントが制御可能なイベントのサブセットを生成するのを防ぐ場合があります。ただし、スーパーバイザにはプラントにイベントを生成させる手段はありません。

SCT の当初の定式化では、プラントと仕様は形式言語でモデル化されるものとみなされていましたが、その後のほとんどの作業で行われたように、必ずしも有限オートマトンによって生成される正規言語である必要はありませんでした。

• 離散事象動的システム( DEDS )
• ブール微分積分学( BDC ) – ブール変数と関数の変化を議論するブール代数の分野

• Ramadge, Peter J.; Wonham, Walter M. ( 1987年 1 月)。「離散イベント プロセスのクラスの監視制御」。SIAM Journal on Control and Optimization。25 (1): 206–230。doi :10.1137/0325013。
• Kumar, Ratnesh; Garg, Vijay K. (1995).論理的離散イベントシステムのモデリングと制御. Springer . ISBN 978-0-7923-9538-6。
• Pinzon, Luz E. (1997-10-15). 「Ramadge and Wonham フレームワーク」。2017-10-09 にオリジナルからアーカイブ。2017-10-09に取得。