Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins. - Shaopeng Hu 001; Jiafeng Zhang; Zhiwu Li 001 (CoDIT, 2022)

Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets. - Yihui Hu; Shaopeng Hu 001; Xiaoyan Li; Shengli Cao; Huanchao Du; Dan Li (Inf. Sci., 2024)

Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets. - Shaopeng Hu 001; Zhiwu Li 001; Remigiusz Wisniewski (IEEE Trans. Syst. Man Cybern. Syst., 2024)

A Digital Twin Approach for Enforcing Diagnosability in Petri Nets. - Shaopeng Hu 001; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2024)

Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors. - Shaopeng Hu 001; Yihui Hu; Ding Liu 001; Maria Pia Fanti; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2025)

Design of Online Supervisors for Enforcing Diagnosability in Petri Nets With Unknown Initial Markings. - Shaopeng Hu 001; Zhiwu Li 001; Ziliang Zhang (IEEE Internet Things J., 2025)

Diagnosability Verification and Enforcement in Labeled Petri Nets Under Sensor Attacks. - Shaopeng Hu 001; Zhiwu Li 001; Ding Liu 001 (IEEE Trans. Syst. Man Cybern. Syst., 2025)

Active prognosis and diagnosis of modular discrete-event systems. - Shaopeng Hu 001; Shaowen Miao; Jan Komenda; Zhi-Wu Li 001 (CoRR, 2025)

On Diagnosability Consistency of Composed Labeled Petri Nets via Buffer Places. - Ruotian Liu; Shaopeng Hu 001; Yihui Hu; Agostino Marcello Mangini; Maria Pia Fanti (IEEE Internet Things J., 2026)

Securing Networked Discrete Event Systems for Diagnosability Under Attacks. - Ruotian Liu; Tengbo Li; Shaopeng Hu 001; Agostino Marcello Mangini; Maria Pia Fanti (IEEE Trans Autom. Sci. Eng., 2026)

Supervisory Control for Active Diagnosis in Labeled Petri Nets Under Coordinated Sensor and Actuator Attacks. - Shaopeng Hu 001; Yihui Hu; Jan Komenda; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2026)