| 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 | 218 | 2016 |
| 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 | 125 | 2016 |
| 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 | 78 | 2015 |
| 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 | 72 | 2018 |
| Decidability of opacity verification problems in labeled Petri net systems Y Tong, Z Li, C Seatzu, A Giua Automatica 80, 48-53, 2017 | 56 | 2017 |
| 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 | 25 | 2016 |
| Verification of current-state opacity using Petri nets Y Tong, Z Li, C Seatzu, A Giua 2015 American Control Conference (ACC), 1935-1940, 2015 | 23 | 2015 |
| 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 | 16 | 2017 |
| 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 | 16 | 2015 |
| Detection and prevention of cyber-attacks in networked control systems Y Li, Y Tong, A Giua IFAC-PapersOnLine 53 (4), 7-13, 2020 | 13 | 2020 |
| 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 | 11 | 2021 |
| Verification of C-detectability using Petri nets H Lan, Y Tong, J Guo, C Seatzu Information Sciences 528, 294-310, 2020 | 11 | 2020 |
| Verification of detectability in labeled Petri nets Y Tong, H Lan, J Guo 2019 American Control Conference (ACC), 5627-5632, 2019 | 11 | 2019 |
| 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 | 10 | 2018 |
| 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 | 10 | 2016 |
| 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 | 9 | 2020 |
| Initial-state estimation of multi-channel networked discrete event systems Y Yao, Y Tong, H Lan IEEE Control Systems Letters 4 (4), 1024-1029, 2020 | 9 | 2020 |
| General observation structures for Petri nets Y Tong, Z Li, A Giua 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 8 | 2013 |
| 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 | 7 | 2021 |
| Verification of infinite-step opacity using labeled Petri nets H Lan, Y Tong, C Seatzu IFAC-PapersOnLine 53 (2), 1729-1734, 2020 | 7 | 2020 |
Alessandro GiuaProfessor of Automatic Control, Univ. of Cagliari, ItalyBestätigte E-Mail-Adresse bei unica.it
