Sfoglia per Autore  MA, ZIYUE

Opzioni
Mostrati risultati da 1 a 16 di 16
Titolo Data di pubblicazione Autore(i) Rivista Editore
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 -
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 -
Design of supervisors for linear marking specifications in labeled Petri nets 1-gen-2022 Ma, Z.; He, Z.; Li, Z.; Giua, A. AUTOMATICA -
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 - -
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.
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 -
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators 1-gen-2016 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 -
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 -
An approach to determine controllability of monolithic supervisors 1-gen-2014 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro - ELSEVIER
Mostrati risultati da 1 a 16 di 16
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile