離散事件動態系統邏輯監控理論((logical su- pervisory control theory for discrete event dynamic system)離散事件動態系統邏輯層控制的一種理論.它以離散的事件或狀態過程滿足預定邏輯規範為目標而進行控制器設計。
概念
離散事件動態系統邏輯監控理論((logical su- pervisory control theory for discrete event dynamic system)離散事件動態系統邏輯層控制的一種理論.它以離散的事件或狀態過程滿足預定邏輯規範為目標而進行控制器設計.根據被控對象的不同描述模型(參見“離散事件動態系統邏輯層次模型”)和對系統觀側信息及控制途徑的不同，邏輯監控的方式也有多種.
對離散事件動態系統的有限自動機模型，一種監控途徑是假定所有可能發生的“事件”中，一部分是無法加以防止的，稱為不可控事件.其餘則是可以取消和防止的，稱為可控事件.而可用的信息包括系統輸出的事件符號串信息，或系統狀態演變的軌跡信息.這時邏輯監控問題歸結為如何由可得到的信息來決定是否要對某些可控事件加以阻止或取消. 控制目標可表示為由此生成的事件串集合(稱為子語言)分別不能小於及不能大於某些給定的集合.控制機制可以是用專門設計的另一稱為監控器的有限自動機來實現的動態邏輯反饋，也可是按系統狀態確定的邏輯反饋.這種監控理論的主要結果，包括用所謂可控子語言概念表達的監控器存在性的充分必要條件;邏輯監控和狀態反饋控制間的關係;等等. 由於這類問題的主要困難在於計算複雜度過高，又導致對其進行分解、合成的分散監控或遞階協調監控的研究.該方法曾被用於一種複雜的半導體生產設備的邏輯設計，根據問題特點，該設備中引人一種可強制使能的事件，簡化了控制器結構.111111 用其他各種邏輯層次模型也可提出相應的邏輯控制問題.例如，常用的匹特里網(參見“匹特里網”)，具有更強的描述能力和分析及綜合方法，並已形成一套遞階建模和控制綜合的方法和工具.
