Sfoglia per Autore
Rumor Containment by Blocking Nodes in Social Networks
2023-01-01 Yang, L.; Ma, Z.; Li, Z.; Giua, A.
Fault Diagnosis of Discrete Event Systems Under Attack
2023-01-01 Kang, Tenglong; 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.
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
2022-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
Design of supervisors for linear marking specifications in labeled Petri nets
2022-01-01 Ma, Z.; He, 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
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.
Diagnosability enforcement in labeled Petri nets using supervisory control
2021-01-01 Hu, Yihui; Ma, Ziyue; Li, Zhiwu; 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.
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.
Containment of rumor spread in complex social networks
2020-01-01 Yang, Lan; Li, Zhiwu; Giua, Alessandro
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.
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
2020-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Verification of Nonblockingness in Bounded Petri Nets with a Semi-Structural Approach
2019-01-01 Gu, C.; 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.
An improved approach for marking optimization of timed weighted marked graphs
2019-01-01 He, Z.; Liu, M.; Ma, Z.; Li, Z.; Giua, A.
Stealthy Attacks for Partially-Observed Discrete Event Systems
2018-01-01 Zhang, Qi; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| 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 | - |
| Fault Diagnosis of Discrete Event Systems Under Attack | 1-gen-2023 | Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro | - | IEEE |
| Sensor and Actuator Attacks in Discrete Event Systems | 1-gen-2022 | Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. | - | 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 | - |
| Design of supervisors for linear marking specifications in labeled Petri nets | 1-gen-2022 | Ma, Z.; He, Z.; Li, Z.; Giua, A. | AUTOMATICA | - |
| 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 | - |
| 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 | - |
| Diagnosability enforcement in labeled Petri nets using supervisory control | 1-gen-2021 | Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, A | AUTOMATICA | - |
| 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 | - |
| 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 |
| Containment of rumor spread in complex social networks | 1-gen-2020 | Yang, Lan; Li, Zhiwu; Giua, Alessandro | INFORMATION SCIENCES | - |
| 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 | - |
| Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets | 1-gen-2020 | Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. | - | Elsevier B.V. |
| Verification of Nonblockingness in Bounded Petri Nets with a Semi-Structural Approach | 1-gen-2019 | Gu, C.; Ma, Z.; Li, Z.; Giua, A. | - | Institute of Electrical and Electronics Engineers Inc. |
| 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. |
| 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 | - |
| Stealthy Attacks for Partially-Observed Discrete Event Systems | 1-gen-2018 | Zhang, Qi; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro | - | Institute of Electrical and Electronics Engineers Inc. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile