LEFEBVRE, DIMITRI JEAN EMMANUEL
LEFEBVRE, DIMITRI JEAN EMMANUEL
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
A Gossip-Based Approach for Measurement Task Allocation and Routing in Multi-Robot Systems with Heterogeneous Sensing
2025-01-01 Chakraa, Hamza; Deplano, Diego; Seatzu, Carla; Lefebvre, Dimitri; Franceschelli, Mauro
Detectability notions for a class of finite labeled Markovian systems
2025-01-01 Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
State Estimation of Timed Automata Under Partial Observation
2025-01-01 Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
State estimation of timed probabilistic discrete event systems via artificial neural networks
2025-01-01 Amri, Omar; Seatzu, Carla; Giua, Alessandro; Lefebvre, Dimitri
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 |
|---|---|---|---|---|
| A Gossip-Based Approach for Measurement Task Allocation and Routing in Multi-Robot Systems with Heterogeneous Sensing | 1-gen-2025 | Chakraa, Hamza; Deplano, Diego; Seatzu, Carla; Lefebvre, Dimitri; Franceschelli, Mauro | - | - |
| Detectability notions for a class of finite labeled Markovian systems | 1-gen-2025 | Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro | NONLINEAR ANALYSIS | - |
| State Estimation of Timed Automata Under Partial Observation | 1-gen-2025 | Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro | IEEE TRANSACTIONS ON AUTOMATIC CONTROL | - |
| State estimation of timed probabilistic discrete event systems via artificial neural networks | 1-gen-2025 | Amri, Omar; Seatzu, Carla; Giua, Alessandro; Lefebvre, Dimitri | DISCRETE EVENT DYNAMIC SYSTEMS | - |
| 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. |