Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems
Yu, Zhenhua, Duan, Xudong, Cong, Xuya, Li, Xiangning, Zheng, Li
Published in Mathematics (Basel) (01.02.2023)
Published in Mathematics (Basel) (01.02.2023)
Get full text
Journal Article
Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs
Cong, Xuya, Chen, Yufeng, Li, Zhiwu, Wu, Naiqi, Nasr, Emad Abouel, El-Tamimi, Abdulaziz Mohammed
Published in IEEE access (01.01.2018)
Published in IEEE access (01.01.2018)
Get full text
Journal Article
On-line verification of current-state opacity by Petri nets and integer linear programming
Cong, Xuya, Fanti, Maria Pia, Mangini, Agostino Marcello, Li, Zhiwu
Published in Automatica (Oxford) (01.08.2018)
Published in Automatica (Oxford) (01.08.2018)
Get full text
Journal Article
IRLTS rumor propagation model considering the influence of lurking psychology and the truth of rumors
Yu, Zhenhua, Wu, Shixing, Zhang, Yun, Cong, Xuya, Wu, Kaiqin
Published in Nonlinear dynamics (01.10.2024)
Published in Nonlinear dynamics (01.10.2024)
Get full text
Journal Article
Critical Observability of Labeled Time Petri Net Systems
Cong, Xuya, Fanti, Maria Pia, Mangini, Agostino Marcello, Li, Zhiwu
Published in IEEE transactions on automation science and engineering (01.07.2023)
Published in IEEE transactions on automation science and engineering (01.07.2023)
Get full text
Journal Article
Predictability Verification of Fault Patterns in Labeled Petri Nets
Cong, Xuya, Yu, Zhenhua, Fanti, Maria Pia, Mangini, Agostino Marcello, Li, Zhiwu
Published in IEEE transactions on automatic control (09.10.2024)
Published in IEEE transactions on automatic control (09.10.2024)
Get full text
Journal Article
Mathematical modeling and simulation for COVID-19 with mutant and quarantined strategy
Yu, Zhenhua, Zhang, Jingmeng, Zhang, Yun, Cong, Xuya, Li, Xiaobo, Mostafa, Almetwally M.
Published in Chaos, solitons and fractals (01.04.2024)
Published in Chaos, solitons and fractals (01.04.2024)
Get full text
Journal Article
A Survey on Cyber-Physical Systems Security
Yu, Zhenhua, Gao, Hongxia, Cong, Xuya, Wu, Naiqi, Song, Houbing Herbert
Published in IEEE internet of things journal (15.12.2023)
Published in IEEE internet of things journal (15.12.2023)
Get full text
Journal Article
On-line verification of initial-state opacity by Petri nets and integer linear programming
Cong, Xuya, Fanti, Maira Pia, Mangini, Agostino Marcello, Li, Zhiwu
Published in ISA transactions (01.10.2019)
Published in ISA transactions (01.10.2019)
Get full text
Journal Article
Dynamic modeling and simulation of double-rumor spreaders in online social networks with IS2TR model
Yu, Zhenhua, Zi, Haiyan, Zhang, Yun, Wu, Shixing, Cong, Xuya, Mostafa, Almetwally M.
Published in Nonlinear dynamics (27.04.2024)
Published in Nonlinear dynamics (27.04.2024)
Get full text
Journal Article
Fuzzing: Progress, Challenges, and Perspectives
Yu, Zhenhua, Liu, Zhengqi, Cong, Xuya, Li, Xiaobo, Yin, Li
Published in Computers, materials & continua (2024)
Published in Computers, materials & continua (2024)
Get full text
Journal Article
Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors
Cong, Xuya, Wang, Anrong, Chen, Yufeng, Wu, Naiqi, Qu, Ting, Khalgui, Mohamed, Li, Zhiwu
Published in ISA transactions (01.09.2019)
Published in ISA transactions (01.09.2019)
Get full text
Journal Article
Modeling and Analysis of Time Dependent Petri Nets
Zhang, Shu, Liu, Ruotian, Chen, Yufeng, Cong, Xuya, Fanti, Maria Pia
Published in 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE) (28.08.2024)
Published in 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE) (28.08.2024)
Get full text
Conference Proceeding
Trustworthiness Evaluation of Smart Grids Using GSPN
Gao, Hongxia, Yu, Zhenhua, Cong, Xuya, Wang, Jing
Published in 2021 IEEE International Conference on Networking, Sensing and Control (ICNSC) (03.12.2021)
Published in 2021 IEEE International Conference on Networking, Sensing and Control (ICNSC) (03.12.2021)
Get full text
Conference Proceeding