LI, ZHIWU
LI, ZHIWU
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
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
Multiple attacks detection on discrete event systems
2019-01-01 Gao, C.; Seatzu, C.; Li, Z.; Giua, A.
Rumor containment by spreading correct information in social networks
2019-01-01 Yang, L.; Li, Z.; Giua, A.
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
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 | - |
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. |
Rumor containment by spreading correct information in social networks | 1-gen-2019 | Yang, L.; Li, Z.; Giua, A. | - | Institute of Electrical and Electronics Engineers Inc. |