Concepedia
Statistics
Publications
30
Citations
980
H-Index
17
Active since
2011
Affiliations
Xidian University(Current)
Macau University of Science and Technology
University of Cagliari
Shanghai Jiao Tong University
Shaanxi University of Science and Technology
Ziyue Ma is an author at Xidian University specializing in petri nets, computing, and petri net models.
Publications per year
2011–2024
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
Ziyue Ma, Yin Tong, Zhiwu Li et al. · IEEE Transactions on Automatic Control · 2016 · 142 citations · Full text
Computing, Computer Engineering, Computer Science +12
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
Ziyue Ma, Zhiwu Li, Alessandro Giua · IEEE Transactions on Automatic Control · 2015 · 121 citations · Full text
Engineering, Systems Engineering, Optimization +13
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations
Ziyue Ma, Zhiwu Li, Alessandro Giua · IEEE Transactions on Automatic Control · 2016 · 77 citations · Full text
Computing, Computer Science, Algorithms +11
Design of Supervisors for Active Diagnosis in Discrete Event Systems
Yihui Hu, Ziyue Ma, Zhiwu Li · IEEE Transactions on Automatic Control · 2020 · 52 citations · Full text
Engineering, Computer Systems, Systems Engineering +17
Verification and enforcement of strong infinite- and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e217" altimg="si16.svg"> <mml:mi>k</mml:mi> </mml:math> -step opacity using state recognizers
Ziyue Ma, Xiang Yin, Zhiwu Li · Automatica · 2021 · 44 citations
Computing, Computer Science, Algorithms +12
1–5 of 30