Xuya Cong - Concepedia

Author

Xuya Cong

Macau University of Science and Technology ORCID

Also Known As

X.Y. Cong, XuYa Cong, Xuya Cong

Publications

570

Citations

H-Index

Concepts

All Affiliations

Macau University of Science and Technology Xidian University Polytechnic University of Bari Xi'an University of Science and Technology King Saud University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	460
2	Computer Science	9	9	460
3	Computer Engineering	2	2	54
4	Business	1	1	25
5	Industrial Engineering	1	1	25

Xuya Cong

Publications

527

Citations

H-Index

Page 1

	Year	Citations
A Survey on Cyber–Physical Systems Security Zhenhua Yu, Hongxia Gao, Xuya Cong, IEEE Internet of Things Journal Cyber DomainCybersecurityEngineeringCyber AttacksInformation Security	2023	137
Decentralized Diagnosis by Petri Nets and Integer Linear Programming Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, IEEE Transactions on Systems Man and Cybernetics Systems Mathematical ProgrammingPetri NetEngineeringPetri Net FrameworkDiscrete Event Systems	2017	99
On-line verification of current-state opacity by Petri nets and integer linear programming Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Automatica Mathematical ProgrammingPetri NetEngineeringOn-line VerificationMechanical Verification	2018	78
On-line verification of initial-state opacity by Petri nets and integer linear programming Xuya Cong, Maira Pia Fanti, Agostino Marcello Mangini, ISA Transactions Mathematical ProgrammingPetri NetEngineeringOn-line VerificationMechanical Verification	2019	29
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs Xuya Cong, Chao Gu, Murat Uzam, Asian Journal of Control Petri NetEngineeringIndustrial EngineeringObserver PlacesOperations Research	2017	25
Critical Observability of Discrete-Event Systems in a Petri Net Framework Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, IEEE Transactions on Systems Man and Cybernetics Systems Mathematical ProgrammingPetri NetEngineeringReachability ProblemVerification	2021	25
Critical Observability of Labeled Time Petri Net Systems Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, IEEE Transactions on Automation Science and Engineering Petri NetCritical ObservabilityEngineeringReachability ProblemVerification	2022	25
Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems Zhenhua Yu, Xudong Duan, Xuya Cong, Mathematics Petri NetEngineeringInformation SecurityResilient Control SystemAutonomous Systems	2023	23
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, IEEE Transactions on Automatic Control Petri NetEngineeringReachability ProblemDiscrete Event SystemsVerification	2023	19
Mathematical modeling and simulation for COVID-19 with mutant and quarantined strategy Zhenhua Yu, Jing‐Meng Zhang, Yun Zhang, Chaos Solitons & Fractals	2024	13

Page 1