LI, ZHIWU

LI, ZHIWU  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
A region-based approach for state estimation of timed automata under no event observation 1-gen-2020 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A. - Institute of Electrical and Electronics Engineers
An approach to determine controllability of monolithic supervisors 1-gen-2014 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro - ELSEVIER
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 -
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 - -
Influence minimization in linear threshold networks 1-gen-2019 Yang, Lan; Li, Zhiwu; Giua, Alessandro AUTOMATICA -
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 -