On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets. - Dajiang Sun; Yufeng Chen 001; Mohammed A. El-Meligy; Mohamed Sharaf 001; Naiqi Wu; Zhiwu Li 001 (IEEE Access, 2019)

Decentralized State Estimation via Breadth-First Search Through Partially Ordered Observation Sequences. - Dajiang Sun; Christoforos N. Hadjicostis; Zhiwu Li 001 (CDC, 2023)

Correction to "On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets". - Dajiang Sun; Yufeng Chen 001; Mohammed A. El-Meligy; Mohamed Sharaf 001; Naiqi Wu; Zhiwu Li 001 (IEEE Access, 2024)

Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations. - Dajiang Sun; Christoforos N. Hadjicostis; Zhiwu Li 001 (CoRR, 2024)

Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences. - Dajiang Sun; Christoforos N. Hadjicostis; Zhi-Wu Li 001 (CoRR, 2025)