LEFEBVRE, DIMITRI JEAN EMMANUEL

LEFEBVRE, DIMITRI JEAN EMMANUEL  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Observer Design for Timed Automata under No Observation 1-gen-2024 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A. - ELSEVIER
Fault Diagnosis of Timed Discrete Event Systems 1-gen-2023 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A. - ELSEVIER
Logical and probabilistic aspects of state estimation for Markovian systems 1-gen-2023 Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro - IEEE
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 -
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 verification of attack detection using logical observer 1-gen-2020 Lefebvre, D.; Seatzu, C.; Hadjicostis, C. N.; Giua, A. - Elsevier B.V.