Folgen
Yin Tong
Yin Tong
School of Information Science and Technology, Southwest Jiaotong University
Bestätigte E-Mail-Adresse bei swjtu.edu.cn - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Verification of state-based opacity using Petri nets
Y Tong, Z Li, C Seatzu, A Giua
IEEE Transactions on Automatic Control 62 (6), 2823-2837, 2016
2602016
Basis marking representation of Petri net reachability spaces and its application to the reachability problem
Z Ma, Y Tong, Z Li, A Giua
IEEE Transactions on Automatic Control 62 (3), 1078-1093, 2016
1402016
Current-state opacity enforcement in discrete event systems under incomparable observations
Y Tong, Z Li, C Seatzu, A Giua
Discrete Event Dynamic Systems 28, 161-182, 2018
942018
On the equivalence of observation structures for Petri net generators
Y Tong, Z Li, A Giua
IEEE Transactions on Automatic Control 61 (9), 2448-2462, 2015
852015
Decidability of opacity verification problems in labeled Petri net systems
Y Tong, Z Li, C Seatzu, A Giua
Automatica 80, 48-53, 2017
632017
Verification of language-based opacity in Petri nets using verifier
Y Tong, Z Ma, Z Li, C Seactzu, A Giua
2016 American Control Conference (ACC), 757-763, 2016
342016
Detection and prevention of cyber-attacks in networked control systems
Y Li, Y Tong, A Giua
IFAC-PapersOnLine 53 (4), 7-13, 2020
282020
Verification of current-state opacity using Petri nets
Y Tong, Z Li, C Seatzu, A Giua
2015 American Control Conference (ACC), 1935-1940, 2015
262015
Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems
T Feng, J Zhang, Y Tong, H Zhang
Automatica 128, 109576, 2021
222021
Verification of initial-state opacity in Petri nets
Y Tong, Z Li, C Seatzu, A Giua
2015 54th IEEE Conference on Decision and Control (CDC), 344-349, 2015
202015
Verification of K-step and infinite-step opacity of bounded labeled Petri nets
Y Tong, H Lan, C Seatzu
Automatica 140, 110221, 2022
192022
Marking estimation in labelled Petri nets by the representative marking graph
Z Ma, Y Tong, Z Li, A Giua
IFAC-PapersOnLine 50 (1), 11175-11181, 2017
162017
Decentralized opacity enforcement in discrete event systems using supervisory control
Y Tong, K Cai, A Giua
2018 57th Annual Conference of the Society of Instrument and Control …, 2018
152018
Consensusability and global optimality of discrete-time linear multiagent systems
T Feng, J Zhang, Y Tong, H Zhang
IEEE Transactions on Cybernetics 52 (8), 8227-8238, 2021
142021
Supervisory enforcement of current-state opacity with uncomparable observations
Y Tong, Z Ma, Z Li, C Seatzu, A Giua
2016 13th International Workshop on Discrete Event Systems (WODES), 313-318, 2016
142016
Verification of C-detectability using Petri nets
H Lan, Y Tong, J Guo, C Seatzu
Information Sciences 528, 294-310, 2020
132020
Verification of detectability in labeled Petri nets
Y Tong, H Lan, J Guo
2019 American Control Conference (ACC), 5627-5632, 2019
132019
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
H Lan, Y Tong, C Seatzu
Nonlinear Analysis: Hybrid Systems 42, 101087, 2021
122021
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers”[Automatica 80 (2017) 162–171]
H Lan, Y Tong, J Guo, A Giua
Automatica 122, 109290, 2020
122020
A polynomial approach to verifying the existence of a threatening sensor attacker
Y Tong, Y Wang, A Giua
IEEE Control Systems Letters 6, 2930-2935, 2022
102022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20