Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Xuya Cong
Observed names:
Cong, Xuya,
X.Y. Cong,
XuYa Cong
Institutions:
Xi'an University of Science and Technology,
Shaanxi University of Science and Technology
Observed institutions:
Xi'an University of Science and Technology,
Xidian University,
Shaanxi University of Science and Technology,
Polytechnic University of Bari
ORCID:
0000-0003-2851-8111
Observed ORCID:
0000-0003-2851-8111
OpenAlex ID:
A5113945947
A Survey on Cyber–Physical Systems Security
2023
·
Zhenhua Yu
, Hongxia Gao
, et al.
·
IEEE Internet of Things Journal
·
205
PDF
Decentralized Diagnosis by Petri Nets and Integer Linear Programming
2017
·
Xuya Cong
, Maria Pia Fanti
, et al.
·
IEEE Transactions on Systems Man and Cybernetics Systems
·
101
On-line verification of current-state opacity by Petri nets and integer linear programming
2018
·
Xuya Cong
, Maria Pia Fanti
, et al.
·
Automatica
·
77
On-line verification of initial-state opacity by Petri nets and integer linear programming
2019
·
Xuya Cong
, Maira Pia Fanti
, et al.
·
ISA Transactions
·
31
Critical Observability of Labeled Time Petri Net Systems
2022
·
Xuya Cong
, Maria Pia Fanti
, et al.
·
IEEE Transactions on Automation Science and Engineering
·
29
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs
2017
·
XuYa Cong
, Chao Gu
, et al.
·
Asian Journal of Control
·
25
Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems
2023
·
Zhenhua Yu
, Xudong Duan
, et al.
·
Mathematics
·
24
PDF
Critical Observability of Discrete-Event Systems in a Petri Net Framework
2021
·
Xuya Cong
, Maria Pia Fanti
, et al.
·
IEEE Transactions on Systems Man and Cybernetics Systems
·
24
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings
2023
·
Xuya Cong
, Maria Pia Fanti
, et al.
·
IEEE Transactions on Automatic Control
·
22
Dynamic modeling and simulation of double-rumor spreaders in online social networks with IS2TR model
2024
·
Zhenhua Yu
, Haiyan Zi
, et al.
·
Nonlinear Dynamics
·
20
Predictability Verification of Fault Patterns in Labeled Petri Nets
2024
·
Xuya Cong
, Zhenhua Yu
, et al.
·
IEEE Transactions on Automatic Control
·
19
Mathematical modeling and simulation for COVID-19 with mutant and quarantined strategy
2024
·
Zhenhua Yu
, Jingmeng Zhang
, et al.
·
Chaos Solitons & Fractals
·
17
Fuzzing: Progress, Challenges, and Perspectives
2023
·
Zhenhua Yu
, Zhengqi Liu
, et al.
·
Computers, materials & continua/Computers, materials & continua (Print)
·
14
PDF
Critical Observability of Stochastic Discrete Event Systems Under Intermittent Loss of Observations
2025
·
Xuya Cong
, Haoming Zhu
, et al.
·
Mathematics
·
12
PDF
IRLTS rumor propagation model considering the influence of lurking psychology and the truth of rumors
2024
·
Zhenhua Yu
, Shixing Wu
, et al.
·
Nonlinear Dynamics
·
12
Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs
2018
·
Xuya Cong
, Yufeng Chen
, et al.
·
IEEE Access
·
11
Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors
2019
·
Xuya Cong
, Anrong Wang
, et al.
·
ISA Transactions
·
10
On-line Algorithm for Current State Opacity Enforcement in a Petri Net Framework
2018
·
X.Y. Cong
, M.P. Fanti
, et al.
·
IFAC-PapersOnLine
·
7
Closed-Box Adversarial Attack Method for Object Detection Under Multiview Conditions
2025
·
Yun Zhang
, Zhenhua Yu
, et al.
·
IEEE Internet of Things Journal
·
6
Modeling and Analysis of Time Dependent Petri Nets
2024
·
Shu Zhang
, Ruotian Liu
, et al.
·
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)
·
6
Critical Observability of Petri Nets with Unknown Initial Marking
2019
·
XuYa Cong
, Maria Pia Fanti
, et al.
·
Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes
·
5
Decentralized Fault Diagnosis by Petri Nets and Integer Linear Programming
2017
·
Xuya Cong
, Maria Pia Fanti
, et al.
·
IFAC-PapersOnLine
·
5
Supervisory control of Petri nets with uncontrollable and unobservable transitions under replacement attacks
2026
·
Zhenhua Yu
, Yanwei Fang
, et al.
·
Journal of Automation and Intelligence
·
4
Social Robot Detection Method with Improved Graph Neural Networks
2024
·
Zhenhua Yu
, Liangxue Bai
, et al.
·
Computers, materials & continua/Computers, materials & continua (Print)
·
4
PDF
Modules of Petri nets and new Petri net structure: Arcs with a weighted function set
2019
·
Rongming Zhu
, Qing Ban
, et al.
·
Advances in Mechanical Engineering
·
4
PDF
Show more works
View as search
Works count:
39
Citation count:
707
H-index:
13
I10-index:
17
Year
Topic
Type
