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

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

近期，冉寧博士等人在上述成果的基礎(chǔ)上提出了可達路徑融合方法，從理論上證明了故障信息只與關(guān)鍵路徑有關(guān)，以某個具有7個庫所和8個變遷的系統(tǒng)為例，傳統(tǒng)的可達圖方法需要計算616條可達路徑，提出的方法只需要計算6條關(guān)鍵路徑，明顯提高了計算效率。相關(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é)會主辦的自動控制領(lǐng)域高水平學(xué)術(shù)期刊。以上工作得到了國家自然科學(xué)基金、河北省教育廳青年基金等項目的資助。

論文鏈接：

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

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

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