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 | 105 | 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 | 83 | 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 | 56 | 2017 |
Petri net controllers for generalized mutual exclusion constraints with floor operators Z Ma, Z Li, A Giua Automatica 74, 238-246, 2016 | 13 | 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 | 13 | 2016 |
Design of supervisors for active diagnosis in discrete event systems Y Hu, Z Ma, Z Li IEEE Transactions on Automatic Control, 2020 | 12 | 2020 |
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 | 8 | 2019 |
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 | 8 | 2014 |
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 | 7 | 2016 |
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 | 6 | 2013 |
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis Z Ma, Z Li, A Giua 2015 54th IEEE Conference on Decision and Control (CDC), 1675-1681, 2015 | 4 | 2015 |
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures Z Ma, Z Li, A Giua 2015 American Control Conference (ACC), 365-370, 2015 | 4 | 2015 |
An improved approach for marking optimization of timed weighted marked graphs Z He, M Liu, Z Ma, Z Li, A Giua Discrete Event Dynamic Systems 29 (2), 127-143, 2019 | 3 | 2019 |
Design of Monitor-based Supervisors in Labelled Petri Nets Z Ma, Z He, Z Li, A Giua IFAC-PapersOnLine 51 (7), 374-380, 2018 | 3 | 2018 |
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs Z Ma, G Zhu, Z Li IEEE Transactions on Automatic Control, 2020 | 2 | 2020 |
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming Z Ma, G Zhu, Z Li, A Giua IEEE Transactions on Automatic Control 65 (6), 2662-2669, 2019 | 2 | 2019 |
An approach to determine controllability of monolithic supervisors Z Ma, Z Li, A Giua IFAC Proceedings Volumes 47 (3), 2429-2434, 2014 | 2 | 2014 |
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach C Gu, Z Ma, Z Li, A Giua arXiv preprint arXiv:2003.14204, 2020 | 1 | 2020 |
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach C Gu, Z Ma, Z Li, A Giua 2019 IEEE 58th Conference on Decision and Control (CDC), 6718-6723, 2019 | 1 | 2019 |