Sfoglia per Autore LAN, HAO
Mostrati risultati da 1 a 5 di 5
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions
2022-01-01 Lan, H; Tong, Y; Seatzu, C
Verification of -step and infinite-step opacity of bounded labeled Petri nets
2022-01-01 Tong, Yin; Lan, Hao; Seatzu, Carla
VERIFICATION AND APPLICATION OF DETECTABILITY BASED ON PETRI NETS
2021-11-04
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
2021-01-01 Lan, H; Tong, Y; Seatzu, C
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171]
2020-01-01 Lan, H.; Tong, Y.; Guo, J.; Giua, A.
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions | 1-gen-2022 | Lan, H; Tong, Y; Seatzu, C | IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING | - |
Verification of -step and infinite-step opacity of bounded labeled Petri nets | 1-gen-2022 | Tong, Yin; Lan, Hao; Seatzu, Carla | AUTOMATICA | - |
VERIFICATION AND APPLICATION OF DETECTABILITY BASED ON PETRI NETS | 4-nov-2021 | - | - | Università degli Studi di Cagliari |
Analysis of strong and strong periodic detectability of bounded labeled Petri nets | 1-gen-2021 | Lan, H; Tong, Y; Seatzu, C | NONLINEAR ANALYSIS | - |
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171] | 1-gen-2020 | Lan, H.; Tong, Y.; Guo, J.; Giua, A. | AUTOMATICA | - |
Mostrati risultati da 1 a 5 di 5
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