Xuya Cong

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Discrete Event Systems

Fault Diagnosis

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IEEE Internet Things J.

Publications

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings. IEEE Trans. Autom. Control. 68 (12) (2023)
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li
Critical Observability of Labeled Time Petri Net Systems. IEEE Trans Autom. Sci. Eng. 20 (3) (2023)
Zhenhua Yu, Hongxia Gao, Xuya Cong, Naiqi Wu, Houbing Herbert Song
A Survey on Cyber-Physical Systems Security. IEEE Internet Things J. 10 (24) (2023)
Zhenhua Yu, Yinyin Qi, Xuya Cong
Decentralized Marking Fault Diagnosis of Labeled Petri Nets. IEEE Access 11 (2023)
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li
Critical Observability of Discrete-Event Systems in a Petri Net Framework. IEEE Trans. Syst. Man Cybern. Syst. 52 (5) (2022)
Hongxia Gao, Zhenhua Yu, Xuya Cong, Jing Wang
Trustworthiness Evaluation of Smart Grids Using GSPN. ICNSC (2021)
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, ZhiWu Li
Critical Observability of Petri Nets with Unknown Initial Marking. CDC (2019)
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li
On-line verification of current-state opacity by Petri nets and integer linear programming. Autom. 94 (2018)
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, ZhiWu Li
Critical Observability of Safe Petri Nets via Integer Linear Programming. CDC (2018)
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li
Decentralized Diagnosis by Petri Nets and Integer Linear Programming. IEEE Trans. Syst. Man Cybern. Syst. 48 (10) (2018)
Xuya Cong, Yufeng Chen, Zhiwu Li, Naiqi Wu, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi
Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs. IEEE Access 6 (2018)