Yin Tong
Yin Tong
School of Information Science and Technology, Southwest Jiaotong University
Verified email at swjtu.edu.cn - Homepage
TitleCited byYear
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
1052016
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
682016
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
632015
Decidability of opacity verification problems in labeled Petri net systems
Y Tong, Z Li, C Seatzu, A Giua
Automatica 80, 48-53, 2017
282017
Current-state opacity enforcement in discrete event systems under incomparable observations
Y Tong, Z Li, C Seatzu, A Giua
Discrete Event Dynamic Systems 28 (2), 161-182, 2018
182018
Verification of current-state opacity using Petri nets
Y Tong, Z Li, C Seatzu, A Giua
2015 American Control Conference (ACC), 1935-1940, 2015
162015
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
92016
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
92015
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
72016
General observation structures for Petri nets
Y Tong, Z Li, A Giua
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
72013
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
62017
Observation Equivalence of Petri Net Generators.
Y Tong, Z Li, A Giua
WODES, 338-343, 2014
52014
Verification of detectability in labeled Petri nets
Y Tong, H Lan, J Guo
2019 American Control Conference (ACC), 5627-5632, 2019
32019
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
22018
Petribar: A matlab toolbox for petri nets implementing basis reachability approaches
S Liu, Y Tong, C Seatzu, A Giua
IFAC-PapersOnLine 51 (7), 316-322, 2018
22018
Verification of C-detectability Using Petri Nets
H Lan, Y Tong, J Guo, C Seatzu
arXiv preprint arXiv:1903.07827, 2019
12019
Verification of infinite-step and K-step opacity Using Petri Nets
H Lan, Y Tong, J Guo, C Seatzu
arXiv preprint arXiv:1909.05138, 2019
2019
Verification of Detectability Using Petri Nets and Detector
H Lan, Y Tong, J Guo, C Seatzu
arXiv preprint arXiv:1908.09604, 2019
2019
Verification of Detectability in Petri Nets Using Verifier Nets
H Lan, Y Tong, C Seatzu, J Guo
arXiv preprint arXiv:1903.09298, 2019
2019
A Test Path Generation Method Based on SSM Models
H Lan, Y Tong, J Guo, Y Zhang, Y Li, C Rao
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20