Liveness Enforcement for a Class of Petri Nets via Resource Allocation. - Dan You; Shouguang Wang; Hao Dou; Wenli Duo; Kamel Barkaoui; Carla Seatzu (SMC, 2018)

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets. - Dan You; Shouguang Wang; Hao Dou; Wenli Duo (IEEE Access, 2018)

A Deadlock Prevention Policy for a Class of Multithreaded Software. - Wenli Duo; Xiaoning Jiang; Oussama Karoui; Xin Guo; Dan You; Shouguang Wang; Yuan Ruan (IEEE Access, 2020)

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. - Shouguang Wang; Wenli Duo; Xin Guo; Xiaoning Jiang; Dan You; Kamel Barkaoui; MengChu Zhou (IEEE CAA J. Autom. Sinica, 2021)

A Survey of Cyber Attacks on Cyber Physical Systems: Recent Advances and Challenges. - Wenli Duo; MengChu Zhou; Abdullah Abusorrah (IEEE CAA J. Autom. Sinica, 2022)

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo (ICNSC, 2023)

Supremal and Robust Control Against Actuator Jamming Attacks in Cyber-Physical Systems. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo; Aiiad Albeshri (IEEE Trans. Intell. Veh., 2024)

Multistep Sensor Attackability in Cyber-Physical Systems. - Wenli Duo; Shouguang Wang; MengChu Zhou (IEEE Trans. Autom. Control., 2025)