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
1012015
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
782017
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
552017
Petri net controllers for generalized mutual exclusion constraints with floor operators
Z Ma, Z Li, A Giua
Automatica 74, 238-246, 2016
132016
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
122016
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
82019
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
82014
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
72016
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
62013
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
42015
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
42015
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
32019
Design of Monitor-based Supervisors in Labelled Petri Nets
Z Ma, Z He, Z Li, A Giua
IFAC-PapersOnLine 51 (7), 374-380, 2018
32018
An approach to determine controllability of monolithic supervisors
Z Ma, Z Li, A Giua
IFAC Proceedings Volumes 47 (3), 2429-2434, 2014
22014
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
Z Ma, G Zhu, Z Li
IEEE Transactions on Automatic Control, 2020
12020
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
12019
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
12019
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction
Z Ma, Z He, Z Li
2019 IEEE 15th International Conference on Automation Science and …, 2019
12019
Computation of admissible marking sets in weighted state machines by dynamic programming
Z Ma, Z Li, A Giua
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4847-4852, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20