Critical Observability of Safe Petri Nets via Integer Linear Programming. - Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; ZhiWu Li 001 (CDC, 2018)

Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs. - Xuya Cong; Yufeng Chen 001; Zhiwu Li 001; Naiqi Wu; Emad S. Abouel Nasr; Abdul-Aziz Mohammed El-Tamimi (IEEE Access, 2018)

On-line verification of current-state opacity by Petri nets and integer linear programming. - Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; Zhiwu Li 001 (Autom., 2018)

Decentralized Diagnosis by Petri Nets and Integer Linear Programming. - Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2018)

Critical Observability of Petri Nets with Unknown Initial Marking. - Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; ZhiWu Li 001 (CDC, 2019)

Trustworthiness Evaluation of Smart Grids Using GSPN. - Hongxia Gao; Zhenhua Yu 001; Xuya Cong; Jing Wang (ICNSC, 2021)

Critical Observability of Discrete-Event Systems in a Petri Net Framework. - Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Decentralized Marking Fault Diagnosis of Labeled Petri Nets. - Zhenhua Yu 001; Yinyin Qi; Xuya Cong (IEEE Access, 2023)

A Survey on Cyber-Physical Systems Security. - Zhenhua Yu 001; Hongxia Gao; Xuya Cong; Naiqi Wu; Houbing Herbert Song (IEEE Internet Things J., 2023)

Critical Observability of Labeled Time Petri Net Systems. - Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2023)

Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings. - Xuya Cong; Maria Pia Fanti; Agostino Marcello Mangini; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2023)

Modeling and Analysis of Time Dependent Petri Nets. - Shu Zhang; Ruotian Liu; Yufeng Chen 001; Xuya Cong; Maria Pia Fanti (CASE, 2024)

Predictability Verification of Fault Patterns in Labeled Petri Nets. - Xuya Cong; Zhenhua Yu 001; Maria Pia Fanti; Agostino Marcello Mangini; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2025)

Closed-Box Adversarial Attack Method for Object Detection Under Multiview Conditions. - Yun Zhang; Zhenhua Yu 001; Zheng Yin; Ou Ye; Xuya Cong; Houbing Herbert Song (IEEE Internet Things J., 2025)