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).
Observer Design for Timed Automata under No Observation
2024-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Fault Diagnosis of Timed Discrete Event Systems
2023-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Logical and probabilistic aspects of state estimation for Markovian systems
2023-01-01 Lefebvre, Dimitri; 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, DIMITRI JEAN EMMANUEL; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
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 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 |
---|---|---|---|---|
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. |