基于Petri網(wǎng)的混雜系統(tǒng)驗證.pdf

1、混雜系統(tǒng)的驗證對于混雜控制系統(tǒng)的設計是一項非常重要的工作，本文基于控制系統(tǒng)分析和設計的角度，詳細討論了混雜系統(tǒng)的建模、分析和控制方法，提出了采用兩類Petri網(wǎng)用于混雜系統(tǒng)的控制方案驗證的方案，即：當將混雜系統(tǒng)可以轉化為離散事件系統(tǒng)時，采用了賦時Petri網(wǎng)，而當需要更細致研究混雜系統(tǒng)的離散和連續(xù)變量的交互特性時，采用了混合Petri網(wǎng)對混雜系統(tǒng)進行了建模和分析。 論文分別采用了兩個新型Petri網(wǎng)分析軟件作為混雜系統(tǒng)的形式驗證

2、工具，其主要的內(nèi)容是確定混雜系統(tǒng)的狀態(tài)，并與不期望的控制系統(tǒng)異?；蛭ｋU狀態(tài)進行比較。論文的工作是圍繞一個在實際化工過程中常見的蒸發(fā)間歇過程對象而具體展開，首先是研究防止控制系統(tǒng)的控制策略可能導致的異?；蛭ｋU狀態(tài)，另外則是設計和計算出控制參數(shù)的變化極限，研究的結果獲得了此間歇過程在不同工藝條件下的溫度允許變化范圍。 論文研究工作的重要性在于目前工業(yè)控制系統(tǒng)日益復雜化的要求，因此，研究和討論與此相適應的分析和驗證方法是必須的。論文的