Xuya Cong

According to our database, Xuya Cong authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Modeling and Analysis of Time Dependent Petri Nets.

Shu Zhang, Ruotian Liu, Yufeng Chen, Xuya Cong, Maria Pia Fanti

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings.

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li

IEEE Trans. Autom. Control., December, 2023

Critical Observability of Labeled Time Petri Net Systems.

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li

IEEE Trans Autom. Sci. Eng., July, 2023

A Survey on Cyber-Physical Systems Security.

Zhenhua Yu, Hongxia Gao, Xuya Cong, Naiqi Wu, Houbing Herbert Song

IEEE Internet Things J., 2023

Decentralized Marking Fault Diagnosis of Labeled Petri Nets.

Zhenhua Yu, Yinyin Qi, Xuya Cong

IEEE Access, 2023

2022

Critical Observability of Discrete-Event Systems in a Petri Net Framework.

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li

IEEE Trans. Syst. Man Cybern. Syst., 2022

2021

Trustworthiness Evaluation of Smart Grids Using GSPN.

Hongxia Gao, Zhenhua Yu, Xuya Cong, Jing Wang

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

2019

Critical Observability of Petri Nets with Unknown Initial Marking.

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, ZhiWu Li

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Decentralized Diagnosis by Petri Nets and Integer Linear Programming.

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li

IEEE Trans. Syst. Man Cybern. Syst., 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

Autom., 2018

Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs.

Xuya Cong, Yufeng Chen, Zhiwu Li, Naiqi Wu, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi

IEEE Access, 2018

Critical Observability of Safe Petri Nets via Integer Linear Programming.

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, ZhiWu Li

Proceedings of the 57th IEEE Conference on Decision and Control, 2018