LI, ZHIWU

LI, ZHIWU  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
An approach to determine controllability of monolithic supervisors 1-gen-2014 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro - ELSEVIER
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 -
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)
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 -
Containment of rumor spread in complex social networks 1-gen-2020 Yang, Lan; Li, Zhiwu; Giua, Alessandro INFORMATION SCIENCES -
Current-state opacity enforcement in discrete event systems under incomparable observations 1-gen-2018 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro DISCRETE EVENT DYNAMIC SYSTEMS -
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics 1-gen-2016 He, Zhou; Li, Zhiwu; Giua, Alessandro - Institute of Electrical and Electronics Engineers
Decidability of opacity verification problems in labeled Petri net systems 1-gen-2017 Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro AUTOMATICA -
Design of Monitor-based Supervisors in Labelled Petri Nets 1-gen-2018 Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro - -
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 -
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 -
General Observation Structures for Petri Nets 1-gen-2013 Tong, Y; Li, Zhiwu; Giua, A - -
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 -
Influence minimization in linear threshold networks 1-gen-2019 Yang, Lan; Li, Zhiwu; Giua, Alessandro AUTOMATICA -
The INTEGRAL view of the pulsating hard X-ray sky: from accreting and transitional millisecond pulsars to rotation-powered pulsars and magnetars 1-gen-2020 Papitto, A.; Falanga, M.; Hermsen, W.; Mereghetti, S.; Kuiper, L.; Poutanen, J.; Bozzo, E.; Ambrosino, F.; Coti Zelati, F.; De Falco, V.; de Martino, D.; Di Salvo, T.; Esposito, P.; Ferrigno, C.; Forot, M.; Gotz, D.; Gouiffes, C.; Iaria, R.; Laurent, P.; Li, J.; Li, Z.; Mineo, T.; Moran, P.; Neronov, A.; Paizis, A.; Rea, N.; Riggio, A.; Sanna, A.; Savchenko, V.; Slowikowska, A.; Shearer, A.; Tiengo, A.; Torres, D. F. NEW ASTRONOMY REVIEWS -
Joint state estimation under attack of discrete event systems 1-gen-2021 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. IEEE ACCESS -
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.
Multiple attacks detection on discrete event systems 1-gen-2019 Gao, C.; Seatzu, C.; Li, Z.; Giua, A. - Institute of Electrical and Electronics Engineers Inc.
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 -