E-LIB Suche - Ergebnisse für: Cong, Xuya

1

Dynamic modeling and simulation of double-rumor spreaders i..:

Yu, Zhenhua ; Zi, Haiyan ; Zhang, Yun...
Nonlinear Dynamics. , 2024

Link: https://doi.org/10.1007/..

2

Mathematical modeling and simulation for COVID-19 with muta..:

Yu, Zhenhua ; Zhang, Jingmeng ; Zhang, Yun...
Chaos, Solitons & Fractals. 181 (2024) - p. 114656 , 2024

Link: https://doi.org/10.1016/..

3

Critical Observability Verification and Enforcement of Labe..:

Cong, Xuya ; Fanti, Maria Pia ; Mangini, Agostino Marcello.
IEEE Transactions on Automatic Control. 68 (2023) 12 - p. 8158-8164 , 2023

Link: https://doi.org/10.1109/..

4

A Survey on Cyber–Physical Systems Security:

Yu, Zhenhua ; Gao, Hongxia ; Cong, Xuya..
IEEE Internet of Things Journal. 10 (2023) 24 - p. 21670-21686 , 2023

Link: https://doi.org/10.1109/..

5

Decentralized Marking Fault Diagnosis of Labeled Petri Nets:

Yu, Zhenhua ; Qi, Yinyin ; Cong, Xuya
IEEE Access. 11 (2023) - p. 99168-99177 , 2023

Link: https://doi.org/10.1109/..

6

Detection of Actuator Enablement Attacks by Petri Nets in S..:

Yu, Zhenhua ; Duan, Xudong ; Cong, Xuya..
Mathematics. 11 (2023) 4 - p. 943 , 2023

Link: https://doi.org/10.3390/..

7

Modules of Petri nets and new Petri net structure: Arcs wit..:

Zhu, Rongming ; Ban, Qing ; Cong, Xuya
Advances in Mechanical Engineering. 11 (2019) 3 - p. 168781401983386 , 2019

Link: https://doi.org/10.1177/..

8

Most permissive liveness-enforcing Petri net supervisors fo..:

Cong, Xuya ; Wang, Anrong ; Chen, Yufeng...
ISA Transactions. 92 (2019) - p. 145-154 , 2019

Link: https://doi.org/10.1016/..

9

On-line verification of initial-state opacity by Petri nets..:

Cong, Xuya ; Fanti, Maira Pia ; Mangini, Agostino Marcello.
ISA Transactions. 93 (2019) - p. 108-114 , 2019

Link: https://doi.org/10.1016/..

10

Critical Observability of Petri Nets with Unknown Initial M..:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),

Cong, XuYa ; Fanti, Maria Pia ; Mangini, Agostino M.. - p. 2003-2008 , 2019

Link: https://doi.org/10.1109/..

11

Optimal Petri Net Supervisors of Discrete Event Systems via..:

Cong, Xuya ; Chen, Yufeng ; Li, Zhiwu...
IEEE Access. 6 (2018) - p. 8245-8257 , 2018

Link: https://doi.org/10.1109/..

12

On-line verification of current-state opacity by Petri nets..:

Cong, Xuya ; Fanti, Maria Pia ; Mangini, Agostino Marcello.
Automatica. 94 (2018) - p. 205-213 , 2018

Link: https://doi.org/10.1016/..

13

Design of Optimal Petri Net Supervisors for Flexible Manufa..:

Cong, XuYa ; Gu, Chao ; Uzam, Murat...
Asian Journal of Control. 20 (2017) 1 - p. 511-530 , 2017

Link: https://doi.org/10.1002/..

14

Detection of Actuator Enablement Attacks by Petri Nets in S..:

Zhenhua Yu ; Xudong Duan ; Xuya Cong..
https://www.mdpi.com/2227-7390/11/4/943. , 2023

Link: https://doi.org/10.3390/..

15

Detection of Actuator Enablement Attacks by Petri Nets in S..:

Zhenhua Yu ; Xudong Duan ; Xuya Cong..
https://dx.doi.org/10.3390/math11040943. , 2023

Link: https://doi.org/10.3390/..