LI, ZHIWU
LI, ZHIWU
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions
2024-01-01 Peng, Kun; Chen, Yufeng; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Observer Design for Timed Automata under No Observation
2024-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Fault Diagnosis of Discrete Event Systems Under Attack
2023-01-01 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Fault Diagnosis of Timed Discrete Event Systems
2023-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Rumor Containment by Blocking Nodes in Social Networks
2023-01-01 Yang, L.; Ma, Z.; Li, Z.; Giua, A.
Verification of Joint Current-State Opacity Using Petri Nets
2023-01-01 Zhao, Wenjie; Giua, Alessandro; Li, Zhiwu
Design of supervisors for linear marking specifications in labeled Petri nets
2022-01-01 Ma, Z.; He, Z.; Li, Z.; Giua, A.
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
2022-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
Selection of a stealthy and harmful attack function in discrete event systems
2022-01-01 Zhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Sensor and Actuator Attacks in Discrete Event Systems
2022-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Diagnosability enforcement in labeled Petri nets using supervisory control
2021-01-01 Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, A
Joint state estimation under attack of discrete event systems
2021-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation
2021-01-01 He, Z.; Ma, Z.; Li, Z.; Giua, A.
A region-based approach for state estimation of timed automata under no event observation
2020-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Computation of admissible marking sets in weighted synchronization-free petri nets by dynamic programming
2020-01-01 Ma, Z.; Zhu, G.; Li, Z.; Giua, A.
Containment of rumor spread in complex social networks
2020-01-01 Yang, Lan; Li, Zhiwu; Giua, Alessandro
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
2020-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
The INTEGRAL view of the pulsating hard X-ray sky: from accreting and transitional millisecond pulsars to rotation-powered pulsars and magnetars
2020-01-01 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.
An improved approach for marking optimization of timed weighted marked graphs
2019-01-01 He, Z.; Liu, M.; Ma, Z.; Li, Z.; Giua, A.
Influence minimization in linear threshold networks
2019-01-01 Yang, Lan; Li, Zhiwu; Giua, Alessandro