SEATZU, CARLA
SEATZU, CARLA
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
Consensus in multi agent systems with second order dynamics and non-periodic sampling time data exchange
In corso di stampa ZAREH ESHGHDOUST, Mehran; Dimos V., Dimarogonas; Franceschelli, Mauro; Karl Henrik, Johansson; Seatzu, Carla
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
A joint diagnoser approach for diagnosability of discrete event systems under attack
2025-01-01 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
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
A Distributed Online Heuristic for a Large-scale Workforce Task Assignment and Multi-vehicle Routing Problem
2024-01-01 Deplano, Diego; Seatzu, Carla; Franceschelli, Mauro
Bisimulation non-interference analysis of bounded Petri nets
2024-01-01 Ran, N.; Hao, J.; He, Z.; Franceschelli, M.; Seatzu, C.
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions
2024-01-01 Peng, Kun; Chen, Yufeng; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Observer Design for Timed Automata under No Observation
2024-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems
2024-01-01 Borges, M. U.; Pilloni, A.; Pontes, G. R.; Seatzu, C.; Lima, E. J.
Timed opacity verification for switching output automata
2024-01-01 Liu, T.; Seatzu, C.; Giua, A.
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems
2024-01-01 Ma, Z.; Tong, Y.; Seatzu, C.
Codiagnosability Enforcement in Labeled Petri Nets
2023-01-01 Ran, N.; Li, T.; He, Z.; Seatzu, C.
Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread
2023-01-01 Deplano, Diego; Franceschelli, Mauro; Seatzu, Carla
Fault diagnosis of discrete event systems under attack
2023-01-01 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
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
Verification of current state opacity using switching output automata
2023-01-01 Liu, T.; Seatzu, C.; Giua, A.
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
2022-01-01 You, D; Wang, Sg; Seatzu, C