LI, ZHIWU
LI, ZHIWU
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
A joint diagnoser approach for diagnosability of discrete event systems under attack
2025-01-01 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
State Estimation of Timed Automata Under Partial Observation
2025-01-01 Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
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.
Second Edition FRCSyn Challenge at CVPR 2024: Face Recognition Challenge in the Era of Synthetic Data
2024-01-01 Deandres-Tame, I.; Tolosana, R.; Melzi, P.; Vera-Rodriguez, R.; Kim, M.; Rathgeb, C.; Liu, X.; Morales, A.; Fierrez, J.; Ortega-Garcia, J.; Zhong, Z.; Huang, Y.; Mi, Y.; Ding, S.; Zhou, S.; He, S.; Fu, L.; Cong, H.; Zhang, R.; Xiao, Z.; Smirnov, E.; Pimenov, A.; Grigorev, A.; Timoshenko, D.; Asfaw, K. M.; Low, C. Y.; Liu, H.; Wang, C.; Zuo, Q.; He, Z.; Shahreza, H. O.; George, A.; Unnervik, A.; Rahimi, P.; Marcel, S.; Neto, P. C.; Huber, M.; Kolf, J. N.; Damer, N.; Boutros, F.; Cardoso, J. S.; Sequeira, A. F.; Atzori, A.; Fenu, G.; Marras, M.; Struc, V.; Yu, J.; Li, Z.; Li, J.; Zhao, W.; Lei, Z.; Zhu, X.; Zhang, X. -Y.; Biesseck, B.; Vidal, P.; Coelho, L.; Granada, R.; Menotti, D.
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
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.
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.
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
A joint diagnoser approach for diagnosability of discrete event systems under attack | 1-gen-2025 | Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro | AUTOMATICA | - |
State Estimation of Timed Automata Under Partial Observation | 1-gen-2025 | Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro | IEEE TRANSACTIONS ON AUTOMATIC CONTROL | - |
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 |
Second Edition FRCSyn Challenge at CVPR 2024: Face Recognition Challenge in the Era of Synthetic Data | 1-gen-2024 | Deandres-Tame, I.; Tolosana, R.; Melzi, P.; Vera-Rodriguez, R.; Kim, M.; Rathgeb, C.; Liu, X.; Morales, A.; Fierrez, J.; Ortega-Garcia, J.; Zhong, Z.; Huang, Y.; Mi, Y.; Ding, S.; Zhou, S.; He, S.; Fu, L.; Cong, H.; Zhang, R.; Xiao, Z.; Smirnov, E.; Pimenov, A.; Grigorev, A.; Timoshenko, D.; Asfaw, K. M.; Low, C. Y.; Liu, H.; Wang, C.; Zuo, Q.; He, Z.; Shahreza, H. O.; George, A.; Unnervik, A.; Rahimi, P.; Marcel, S.; Neto, P. C.; Huber, M.; Kolf, J. N.; Damer, N.; Boutros, F.; Cardoso, J. S.; Sequeira, A. F.; Atzori, A.; Fenu, G.; Marras, M.; Struc, V.; Yu, J.; Li, Z.; Li, J.; Zhao, W.; Lei, Z.; Zhu, X.; Zhang, X. -Y.; Biesseck, B.; Vidal, P.; Coelho, L.; Granada, R.; Menotti, D. | - | IEEE Computer Society |
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 |
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 |
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 | - |