text: 監督控制理論的方法，監督器可以限制系統行為，儘可能的滿足給定規格。會假設系統會自發性的產生事件，事件可以分為兩類：可控及不可控。監督器觀察系統產生的事件序列，會避免系統產生的事件是在不可控的子集內。不過監督器不會強迫系統產生事件。在最早的敘述中，監督控制理論考慮其系統以及規劃可以用任何形式語言來建模，不一定要是有限狀態機產生的正則語言，不過後來的論文中大多是以有限狀態機產生的正則語言來建模。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 監督控制理論
metadata: https://zh.wikipedia.org/wiki?curid=6057355