SEATZU, CARLA

SEATZU, CARLA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 20 di 293 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
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 - -
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions 1-gen-2024 Peng, Kun; Chen, Yufeng; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Observer Design for Timed Automata under No Observation 1-gen-2024 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A. - ELSEVIER
Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems 1-gen-2024 Borges, M. U.; Pilloni, A.; Pontes, G. R.; Seatzu, C.; Lima, E. J. CONTROL ENGINEERING PRACTICE -
Timed Opacity Verification for Switching Output Automata 1-gen-2024 Liu, T.; Seatzu, C.; Giua, A. - -
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems 1-gen-2024 Ma, Z.; Tong, Y.; Seatzu, C. IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Codiagnosability Enforcement in Labeled Petri Nets 1-gen-2023 Ran, N.; Li, T.; He, Z.; Seatzu, C. IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread 1-gen-2023 Deplano, Diego; Franceschelli, Mauro; Seatzu, Carla - -
Fault Diagnosis of Discrete Event Systems Under Attack 1-gen-2023 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro - IEEE
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
Verification of Current State Opacity using Switching Output Automata 1-gen-2023 Liu, T.; Seatzu, C.; Giua, A. - -
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 1-gen-2022 You, D; Wang, Sg; Seatzu, C IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS -
An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks 1-gen-2022 Cavone, G; van den Boom, T; Blenkers, L; Dotoli, M; Seatzu, C; De Schutter, B IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING -
Consistent reduction in discrete-event systems 1-gen-2022 Cai, K; Giua, A; Seatzu, C AUTOMATICA -
Corrections to Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection 1-gen-2022 Lefebvre, D; Seatzu, C; Hadjicostis, Cn; Giua, A DISCRETE EVENT DYNAMIC SYSTEMS -
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions 1-gen-2022 Lan, H; Tong, Y; Seatzu, C IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING -
Distributed Mode Computation in Open Multi-Agent Systems 1-gen-2022 Dashti, Zoreh Al Zahra Sanai; Oliva, Gabriele; Seatzu, Carla; Gasparri, Andrea; Franceschelli, Mauro IEEE CONTROL SYSTEMS LETTERS -
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 -
Prognosability analysis and enforcement of bounded labeled Petri nets 1-gen-2022 Ran, N.; Hao, J.; Seatzu, C. IEEE TRANSACTIONS ON AUTOMATIC CONTROL -