近日，我校电子信息工程学院教师冉宁博士在离散事件系统故障诊断研究方面取得重要进展，相关成果发表在自动控制领域TOP期刊IEEE Transactions on Automatic Control上。
离散事件系统故障诊断问题一直是自动控制领域内广受关注的问题之一，目前仍然存在诸多疑难问题有待解决，如状态空间枚举带来的计算复杂度过高、可覆盖性图（Coverability Graph）无法完整表达无界系统的可达信息等问题。近年来，电子信息工程学院自动化系教师冉宁博士和浙江大学苏宏业教授、意大利卡利亚里大学Alessandro Giua教授、Carla Seatzu教授合作，开展了基于Petri网模型化简的故障诊断方法研究。在保证不丢失有效信息的基础上去掉了模型中的冗余结构，从而避免枚举系统的状态空间，在一定程度上提高了故障诊断方法效率。相关成果“Codiagnosability Analysis of Bounded Petri Nets”以冉宁博士作为该论文的第一作者，河北大学为第一单位发表于自动控制领域TOP期刊IEEE Transactions on Automatic Control上。
近期，冉宁博士等人在上述成果的基础上提出了可达路径融合方法，从理论上证明了故障信息只与关键路径有关，以某个具有7个库所和8个变迁的系统为例，传统的可达图方法需要计算616条可达路径，提出的方法只需要计算6条关键路径，明显提高了计算效率。相关成果“Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection”以河北大学为第一单位发表于IEEE Transactions on Automatic Control上，冉宁博士作为该论文的第一作者兼通讯作者。
IEEE Transactions on Automatic Control是IEEE控制系统学会主办的自动控制领域高水平学术期刊。以上工作得到了国家自然科学基金、河北省教育厅青年基金等项目的资助。
论文链接：
https://ieeexplore.ieee.org/document/8013799
https://ieeexplore.ieee.org/document/8481461
