MA, ZIYUE

MA, ZIYUE  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Better late than never: on epistemic diagnosability of discrete event systems 1-gen-2024 Cui, B.; Ma, Z.; Giua, A.; Yin, X. - ELSEVIER
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems 1-gen-2024 Ma, Z.; Tong, Y.; Seatzu, C. IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Rumor Containment by Blocking Nodes in Social Networks 1-gen-2023 Yang, L.; Ma, Z.; Li, Z.; Giua, A. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS -
Design of supervisors for linear marking specifications in labeled Petri nets 1-gen-2022 Ma, Z.; He, Z.; Li, Z.; Giua, A. AUTOMATICA -
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs 1-gen-2022 Gu, C.; Ma, Z.; Li, Z.; Giua, A. IEEE CONTROL SYSTEMS LETTERS -
Diagnosability enforcement in labeled Petri nets using supervisory control 1-gen-2021 Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, A AUTOMATICA -
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation 1-gen-2021 He, Z.; Ma, Z.; Li, Z.; Giua, A. IEEE/CAA JOURNAL OF AUTOMATICA SINICA -
Computation of admissible marking sets in weighted synchronization-free petri nets by dynamic programming 1-gen-2020 Ma, Z.; Zhu, G.; Li, Z.; Giua, A. IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
An improved approach for marking optimization of timed weighted marked graphs 1-gen-2019 He, Z.; Liu, M.; Ma, Z.; Li, Z.; Giua, A. DISCRETE EVENT DYNAMIC SYSTEMS -
Verification of Nonblockingness in Bounded Petri Nets with a Semi-Structural Approach 1-gen-2019 Gu, C.; Ma, Z.; Li, Z.; Giua, A. - Institute of Electrical and Electronics Engineers Inc.
Computation of admissible marking sets in weighted state machines by dynamic programming 1-gen-2018 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro - IEEE (Institute of Electrical and Electronics Engineers)
Design of Monitor-based Supervisors in Labelled Petri Nets 1-gen-2018 Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro - -
Basis marking representation of Petri net reachability spaces and its application to the reachability problem 1-gen-2017 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Marking Estimation in Labelled Petri nets by the Representative Marking Graph 1-gen-2017 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro - Elsevier B.V.
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators 1-gen-2016 Ma, Z; Li, Z; Giua, Alessandro AUTOMATICA -
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101] 1-gen-2015 Ma, Z; Li, Z; Giua, Alessandro AUTOMATICA -
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints 1-gen-2015 Ma, Z; Li, Z; Giua, Alessandro IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
An approach to determine controllability of monolithic supervisors 1-gen-2014 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro - ELSEVIER