| Verification of K-step and infinite-step opacity of bounded labeled Petri nets Y Tong, H Lan, C Seatzu Automatica 140, 110221, 2022 | 15 | 2022 |
| Verification of C-detectability using Petri nets H Lan, Y Tong, J Guo, C Seatzu Information Sciences 528, 294-310, 2020 | 13 | 2020 |
| 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 | 12 | 2020 |
| Verification of detectability in labeled Petri nets Y Tong, H Lan, J Guo 2019 American Control Conference (ACC), 5627-5632, 2019 | 12 | 2019 |
| 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 | 10 | 2021 |
| Current-state opacity verification in modular discrete event systems Y Tong, H Lan 2019 IEEE 58th Conference on Decision and Control (CDC), 7665-7670, 2019 | 10 | 2019 |
| 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 |
| Verification of infinite-step opacity using labeled Petri nets H Lan, Y Tong, C Seatzu IFAC-PapersOnLine 53 (2), 1729-1734, 2020 | 9 | 2020 |
| Crucial states estimation in radio block center handover using Petri nets with unobservable transitions H Lan, Y Tong, C Seatzu IEEE Transactions on Automation Science and Engineering 19 (2), 1268-1276, 2021 | 7 | 2021 |
| 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 | 3 | 2019 |
| VERIFICATION AND APPLICATION OF DETECTABILITY BASED ON PETRI NETS H Lan Università degli Studi di Cagliari, 2021 | | 2021 |
| 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 |
