| 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, 2017 | 134 | 2017 |
| Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints Z Ma, Z Li, A Giua IEEE Transactions on Automatic Control 60 (7), 1774-1785, 2015 | 129 | 2015 |
| Characterization of admissible marking sets in Petri nets with conflicts and synchronizations Z Ma, Z Li, A Giua IEEE Transactions on Automatic Control 62 (3), 1329-1341, 2017 | 77 | 2017 |
| Design of supervisors for active diagnosis in discrete event systems Y Hu, Z Ma, Z Li IEEE Transactions on Automatic Control 65 (12), 5159-5172, 2020 | 39 | 2020 |
| Verification and enforcement of strong infinite-and k-step opacity using state recognizers Z Ma, X Yin, Z Li Automatica 133, 109838, 2021 | 32 | 2021 |
| Petri net controllers for generalized mutual exclusion constraints with floor operators Z Ma, Z Li, A Giua Automatica 74, 238-246, 2016 | 32 | 2016 |
| 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 | 29 | 2016 |
| Path planning of multi-robot systems with boolean specifications based on simulated annealing W Shi, Z He, W Tang, W Liu, Z Ma IEEE Robotics and Automation Letters 7 (3), 6091-6098, 2022 | 27 | 2022 |
| Marking diagnosability verification in labeled Petri nets Z Ma, X Yin, Z Li Automatica 131, 109713, 2021 | 22 | 2021 |
| Marking estimation in a class of time labeled Petri nets Z Ma, Z Li, A Giua IEEE Transactions on Automatic Control 65 (2), 493-506, 2019 | 22 | 2019 |
| Parametric transformation of timed weighted marked graphs: Applications in optimal resource allocation Z He, Z Ma, Z Li, A Giua IEEE/CAA Journal of Automatica Sinica 8 (1), 179-188, 2020 | 21 | 2020 |
| Optimal secret protections in discrete-event systems Z Ma, K Cai IEEE Transactions on Automatic Control 67 (6), 2816-2828, 2021 | 20 | 2021 |
| Diagnosability enforcement in labeled Petri nets using supervisory control Y Hu, Z Ma, Z Li, A Giua Automatica 131, 109776, 2021 | 18 | 2021 |
| Performance safety enforcement in strongly connected timed event graphs Z He, Z Ma, W Tang Automatica 128, 109605, 2021 | 17 | 2021 |
| On resilient supervisory control against indefinite actuator attacks in discrete-event systems Z Ma, K Cai IEEE Control Systems Letters 6, 2942-2947, 2022 | 14 | 2022 |
| Marking estimation in Petri nets using hierarchical basis reachability graphs Z Ma, G Zhu, Z Li IEEE Transactions on Automatic Control 66 (2), 810-817, 2020 | 12 | 2020 |
| 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 | 12 | 2016 |
| Marking predictability and prediction in labeled Petri nets Z Ma, X Yin, Z Li IEEE Transactions on Automatic Control 66 (8), 3608-3623, 2020 | 11 | 2020 |
| Performance safety enforcement in stochastic event graphs against boost and slow attacks Z He, Z Ma Nonlinear Analysis: Hybrid Systems 41, 101057, 2021 | 10 | 2021 |
| A constraint transformation technique for Petri nets with certain uncontrollable structures Z Ma, Z Li, A Giua IFAC Proceedings Volumes 47 (2), 66-72, 2014 | 10 | 2014 |
Alessandro GiuaProfessor of Automatic Control, Univ. of Cagliari, Italy在 unica.it 的电子邮件经过验证
