近日，我校電子信息工程學(xué)院教師冉寧博士在離散事件系統(tǒng)故障診斷研究方面取得重要進(jìn)展，相關(guān)成果發(fā)表在自動(dòng)控制領(lǐng)域TOP期刊IEEE Transactions on Automatic Control上。

離散事件系統(tǒng)故障診斷問(wèn)題一直是自動(dòng)控制領(lǐng)域內(nèi)廣受關(guān)注的問(wèn)題之一，目前仍然存在諸多疑難問(wèn)題有待解決，如狀態(tài)空間枚舉帶來(lái)的計(jì)算復(fù)雜度過(guò)高、可覆蓋性圖（Coverability Graph）無(wú)法完整表達(dá)無(wú)界系統(tǒng)的可達(dá)信息等問(wèn)題。近年來(lái)，電子信息工程學(xué)院自動(dòng)化系教師冉寧博士和浙江大學(xué)蘇宏業(yè)教授、意大利卡利亞里大學(xué)Alessandro Giua教授、Carla Seatzu教授合作，開(kāi)展了基于Petri網(wǎng)模型化簡(jiǎn)的故障診斷方法研究。在保證不丟失有效信息的基礎(chǔ)上去掉了模型中的冗余結(jié)構(gòu)，從而避免枚舉系統(tǒng)的狀態(tài)空間，在一定程度上提高了故障診斷方法效率。相關(guān)成果“Codiagnosability Analysis of Bounded Petri Nets”以冉寧博士作為該論文的第一作者，河北大學(xué)為第一單位發(fā)表于自動(dòng)控制領(lǐng)域TOP期刊IEEE Transactions on Automatic Control上。

近期，冉寧博士等人在上述成果的基礎(chǔ)上提出了可達(dá)路徑融合方法，從理論上證明了故障信息只與關(guān)鍵路徑有關(guān)，以某個(gè)具有7個(gè)庫(kù)所和8個(gè)變遷的系統(tǒng)為例，傳統(tǒng)的可達(dá)圖方法需要計(jì)算616條可達(dá)路徑，提出的方法只需要計(jì)算6條關(guān)鍵路徑，明顯提高了計(jì)算效率。相關(guān)成果“Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection”以河北大學(xué)為第一單位發(fā)表于IEEE Transactions on Automatic Control上，冉寧博士作為該論文的第一作者兼通訊作者。

IEEE Transactions on Automatic Control是IEEE控制系統(tǒng)學(xué)會(huì)主辦的自動(dòng)控制領(lǐng)域高水平學(xué)術(shù)期刊。以上工作得到了國(guó)家自然科學(xué)基金、河北省教育廳青年基金等項(xiàng)目的資助。

論文鏈接：

https://ieeexplore.ieee.org/document/8013799

https://ieeexplore.ieee.org/document/8481461

（電子信息工程學(xué)院、科學(xué)技術(shù)處供稿）