LAN, HAO
LAN, HAO
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.015 secondi).
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
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
2021-01-01 Lan, H; Tong, Y; Seatzu, C
VERIFICATION AND APPLICATION OF DETECTABILITY BASED ON PETRI NETS
2021-11-04
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 | - |
| Analysis of strong and strong periodic detectability of bounded labeled Petri nets | 1-gen-2021 | Lan, H; Tong, Y; Seatzu, C | NONLINEAR ANALYSIS | - |
| VERIFICATION AND APPLICATION OF DETECTABILITY BASED ON PETRI NETS | 4-nov-2021 | - | - | Università degli Studi di Cagliari |
| 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 | - |