LI, ZHIWU

LI, ZHIWU  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions 1-gen-2024 Peng, Kun; Chen, Yufeng; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Observer Design for Timed Automata under No Observation 1-gen-2024 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A. - ELSEVIER
Fault Diagnosis of Discrete Event Systems Under Attack 1-gen-2023 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro - IEEE
Fault Diagnosis of Timed Discrete Event Systems 1-gen-2023 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A. - ELSEVIER
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 -
Verification of Joint Current-State Opacity Using Petri Nets 1-gen-2023 Zhao, Wenjie; Giua, Alessandro; Li, Zhiwu - ELSEVIER
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 -
Selection of a stealthy and harmful attack function in discrete event systems 1-gen-2022 Zhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro SCIENTIFIC REPORTS -
Sensor and Actuator Attacks in Discrete Event Systems 1-gen-2022 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. - ELSEVIER
Diagnosability enforcement in labeled Petri nets using supervisory control 1-gen-2021 Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, A AUTOMATICA -
Joint state estimation under attack of discrete event systems 1-gen-2021 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. IEEE ACCESS -
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 -
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
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 -
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets 1-gen-2020 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. - Elsevier B.V.
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 -
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 -