MA, ZIYUE
MA, ZIYUE
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
Better late than never: on epistemic diagnosability of discrete event systems
2024-01-01 Cui, B.; Ma, Z.; Giua, A.; Yin, X.
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems
2024-01-01 Ma, Z.; Tong, Y.; Seatzu, C.
Rumor Containment by Blocking Nodes in Social Networks
2023-01-01 Yang, L.; Ma, Z.; Li, Z.; Giua, A.
Design of supervisors for linear marking specifications in labeled Petri nets
2022-01-01 Ma, Z.; He, Z.; Li, Z.; Giua, A.
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
2022-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
Diagnosability enforcement in labeled Petri nets using supervisory control
2021-01-01 Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, A
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation
2021-01-01 He, Z.; Ma, Z.; Li, Z.; Giua, A.
Computation of admissible marking sets in weighted synchronization-free petri nets by dynamic programming
2020-01-01 Ma, Z.; Zhu, G.; Li, Z.; Giua, A.
An improved approach for marking optimization of timed weighted marked graphs
2019-01-01 He, Z.; Liu, M.; Ma, Z.; Li, Z.; Giua, A.
Verification of Nonblockingness in Bounded Petri Nets with a Semi-Structural Approach
2019-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
Computation of admissible marking sets in weighted state machines by dynamic programming
2018-01-01 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro
Design of Monitor-based Supervisors in Labelled Petri Nets
2018-01-01 Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro
Basis marking representation of Petri net reachability spaces and its application to the reachability problem
2017-01-01 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro
Marking Estimation in Labelled Petri nets by the Representative Marking Graph
2017-01-01 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators
2016-01-01 Ma, Z; Li, Z; Giua, Alessandro
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]
2015-01-01 Ma, Z; Li, Z; Giua, Alessandro
An approach to determine controllability of monolithic supervisors
2014-01-01 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro