Concepedia

Xuya Cong

XC

15

Publications

527

Citations

11

H-Index

2017

Active since

Affiliations

Macau University of Science and Technology(Current)

Xidian University

Polytechnic University of Bari

Xi'an University of Science and Technology

King Saud University

Xuya Cong is an author at Macau University of Science and Technology specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal VerificationFormal MethodsVerificationProcess ControlMathematical ProgrammingInteger ProgrammingAutomation

Publications per year

2017–2025

15

Publications

15

A Survey on Cyber–Physical Systems Security

Zhenhua Yu, Hongxia Gao, Xuya Cong et al. · IEEE Internet of Things Journal · 2023 · 137 citations · Full text

Cyber Domain, Cybersecurity, Engineering +17

Decentralized Diagnosis by Petri Nets and Integer Linear Programming

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2017 · 99 citations

Mathematical Programming, Petri Net, Engineering +17

On-line verification of current-state opacity by Petri nets and integer linear programming

Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini et al. · Automatica · 2018 · 78 citations

Mathematical Programming, Petri Net, Engineering +11

On-line verification of initial-state opacity by Petri nets and integer linear programming

Xuya Cong, Maira Pia Fanti, Agostino Marcello Mangini et al. · ISA Transactions · 2019 · 29 citations

Mathematical Programming, Petri Net, Engineering +12

Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs

Xuya Cong, Chao Gu, Murat Uzam et al. · Asian Journal of Control · 2017 · 25 citations

Petri Net, Engineering, Industrial Engineering +20

Rows per page

1–5 of 15