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
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
An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks
2022-01-01 Cavone, G; van den Boom, T; Blenkers, L; Dotoli, M; Seatzu, C; De Schutter, B
Codiagnosability Enforcement in Labeled Petri Nets
2022-01-01 Ran, N.; Li, T.; He, Z.; Seatzu, C.
Consistent reduction in discrete-event systems
2022-01-01 Cai, K; Giua, A; Seatzu, C
Corrections to 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
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions
2022-01-01 Lan, H; Tong, Y; Seatzu, C
Distributed Mode Computation in Open Multi-Agent Systems
2022-01-01 Dashti, Zoreh Al Zahra Sanai; Oliva, Gabriele; Seatzu, Carla; Gasparri, Andrea; Franceschelli, Mauro
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
Prognosability analysis and enforcement of bounded labeled Petri nets
2022-01-01 Ran, N.; Hao, J.; Seatzu, C.
Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs
2022-01-01 Dashti, Z. A. Z. S.; Deplano, D.; Seatzu, C.; Franceschelli, M.
Selection of a stealthy and harmful attack function in discrete event systems
2022-01-01 Zhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Sensor and Actuator Attacks in Discrete Event Systems
2022-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Supervisory Control of Petri Nets in the Presence of Replacement Attacks
2022-01-01 You, D; Wang, Sg; Zhou, Mc; Seatzu, C
Verification of -step and infinite-step opacity of bounded labeled Petri nets
2022-01-01 Tong, Yin; Lan, Hao; Seatzu, Carla