LEFEBVRE, DIMITRI JEAN EMMANUEL
LEFEBVRE, DIMITRI JEAN EMMANUEL
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
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.
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
2022-01-01 Lefebvre, DIMITRI JEAN EMMANUEL; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
2022-01-01 Lefebvre, D; Seatzu, C; Hadjicostis, Cn; Giua, A
Probabilistic verification of attack detection using logical observer
2020-01-01 Lefebvre, D.; Seatzu, C.; Hadjicostis, C. N.; Giua, A.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| 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 |
| Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection | 1-gen-2022 | Lefebvre, DIMITRI JEAN EMMANUEL; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro | DISCRETE EVENT DYNAMIC SYSTEMS | - |
| Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection | 1-gen-2022 | Lefebvre, D; Seatzu, C; Hadjicostis, Cn; Giua, A | DISCRETE EVENT DYNAMIC SYSTEMS | - |
| Probabilistic verification of attack detection using logical observer | 1-gen-2020 | Lefebvre, D.; Seatzu, C.; Hadjicostis, C. N.; Giua, A. | - | Elsevier B.V. |