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

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

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