Xuya Cong

Orcid: 0000-0003-2851-8111

According to our database1, Xuya Cong authored at least 17 papers between 2018 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Design of resilient supervisory control by labeled Petri nets under external attacks.
Trans. Inst. Meas. Control, 2026

Targeted Closed-Box Adversarial Example Generation Method Using Multilayer Heatmap Mapping for Industrial IoT.
IEEE Internet Things J., 2026

2025
Closed-Box Adversarial Attack Method for Object Detection Under Multiview Conditions.
IEEE Internet Things J., July, 2025

Predictability Verification of Fault Patterns in Labeled Petri Nets.
IEEE Trans. Autom. Control., March, 2025

A Black-Box Speech Adversarial Attack Method Based on Enhanced Neural Predictors in Industrial IoT.
Comput. Mater. Continua, 2025

2024
Modeling and Analysis of Time Dependent Petri Nets.
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.
IEEE Trans. Autom. Control., December, 2023

Critical Observability of Labeled Time Petri Net Systems.
IEEE Trans Autom. Sci. Eng., July, 2023

A Survey on Cyber-Physical Systems Security.
IEEE Internet Things J., 2023

Decentralized Marking Fault Diagnosis of Labeled Petri Nets.
IEEE Access, 2023

2022
Critical Observability of Discrete-Event Systems in a Petri Net Framework.
IEEE Trans. Syst. Man Cybern. Syst., 2022

2021
Trustworthiness Evaluation of Smart Grids Using GSPN.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

2019
Critical Observability of Petri Nets with Unknown Initial Marking.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Decentralized Diagnosis by Petri Nets and Integer Linear Programming.
IEEE Trans. Syst. Man Cybern. Syst., 2018

On-line verification of current-state opacity by Petri nets and integer linear programming.
Autom., 2018

Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs.
IEEE Access, 2018

Critical Observability of Safe Petri Nets via Integer Linear Programming.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018


  Loading...