| 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 | 126 | 2015 |
| 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 | 113 | 2017 |
| 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 | 69 | 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 | 23 | 2020 |
| Petri net controllers for generalized mutual exclusion constraints with floor operators Z Ma, Z Li, A Giua Automatica 74, 238-246, 2016 | 22 | 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 | 20 | 2016 |
| Verification and enforcement of strong infinite-and k-step opacity using state recognizers Z Ma, X Yin, Z Li Automatica 133, 109838, 2021 | 15 | 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 | 14 | 2019 |
| Marking diagnosability verification in labeled Petri nets Z Ma, X Yin, Z Li Automatica 131, 109713, 2021 | 11 | 2021 |
| Performance safety enforcement in strongly connected timed event graphs Z He, Z Ma, W Tang Automatica 128, 109605, 2021 | 11 | 2021 |
| 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 |
| 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 |
| Performance safety enforcement in stochastic event graphs against boost and slow attacks Z He, Z Ma Nonlinear Analysis: Hybrid Systems 41, 101057, 2021 | 9 | 2021 |
| 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 | 9 | 2020 |
| Marking predictability and prediction in labeled Petri nets Z Ma, X Yin, Z Li IEEE Transactions on Automatic Control 66 (8), 3608-3623, 2020 | 9 | 2020 |
| Optimal secret protections in discrete-event systems Z Ma, K Cai IEEE Transactions on Automatic Control 67 (6), 2816-2828, 2021 | 8 | 2021 |
| 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 | 8 | 2020 |
| Diagnosability enforcement in labeled Petri nets using supervisory control Y Hu, Z Ma, Z Li, A Giua Automatica 131, 109776, 2021 | 7 | 2021 |
| Comments on “Maximally permissive supervisor synthesis based on a new constraint transformation method”[Automatica 48 (2012), 1097–1101] Z Ma, Z Li, A Giua Automatica 51, 131-134, 2015 | 7 | 2015 |
| Petri net controllers for disjunctive generalized mutual exclusion constraints Z Ma, Z Li, A Giua 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 7 | 2013 |
Alessandro GiuaProfessor of Automatic Control, Univ. of Cagliari, ItalyVerified email at unica.it
