Follow
Ma, Ziyue
Title
Cited by
Cited by
Year
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
1262015
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
1132017
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
692017
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
232020
Petri net controllers for generalized mutual exclusion constraints with floor operators
Z Ma, Z Li, A Giua
Automatica 74, 238-246, 2016
222016
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
202016
Verification and enforcement of strong infinite-and k-step opacity using state recognizers
Z Ma, X Yin, Z Li
Automatica 133, 109838, 2021
152021
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
142019
Marking diagnosability verification in labeled Petri nets
Z Ma, X Yin, Z Li
Automatica 131, 109713, 2021
112021
Performance safety enforcement in strongly connected timed event graphs
Z He, Z Ma, W Tang
Automatica 128, 109605, 2021
112021
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
102016
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
102014
Performance safety enforcement in stochastic event graphs against boost and slow attacks
Z He, Z Ma
Nonlinear Analysis: Hybrid Systems 41, 101057, 2021
92021
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
92020
Marking predictability and prediction in labeled Petri nets
Z Ma, X Yin, Z Li
IEEE Transactions on Automatic Control 66 (8), 3608-3623, 2020
92020
Optimal secret protections in discrete-event systems
Z Ma, K Cai
IEEE Transactions on Automatic Control 67 (6), 2816-2828, 2021
82021
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
82020
Diagnosability enforcement in labeled Petri nets using supervisory control
Y Hu, Z Ma, Z Li, A Giua
Automatica 131, 109776, 2021
72021
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
72015
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
72013
The system can't perform the operation now. Try again later.
Articles 1–20