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

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

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

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

論文鏈接：

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

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

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