Carla Seatzu

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 87

Top Venues

IEEE Trans. Autom. Control.

CDC

CoRR

ETFA

Publications

Ziyue Ma, Yin Tong, Carla Seatzu
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. IEEE Trans. Autom. Control. 69 (3) (2024)
Ning Ran, Tingting Li, Zhou He, Carla Seatzu
Codiagnosability Enforcement in Labeled Petri Nets. IEEE Trans. Autom. Control. 68 (4) (2023)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Logical and probabilistic aspects of state estimation for Markovian systems. CDC (2023)
Tianyu Liu, Carla Seatzu, Alessandro Giua
Verification of Current State Opacity using Switching Output Automata. CoDIT (2023)
Tenglong Kang, Carla Seatzu, Zhiwu Li, Alessandro Giua
Fault Diagnosis of Discrete Event Systems Under Attack. CDC (2023)
Diego Deplano, Mauro Franceschelli, Carla Seatzu
Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread. CoDIT (2023)
Yin Tong, Hao Lan, Carla Seatzu
Verification of K-step and infinite-step opacity of bounded labeled Petri nets. Autom. 140 (2022)
Hao Lan, Yin Tong, Carla Seatzu
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions. IEEE Trans Autom. Sci. Eng. 19 (2) (2022)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32 (1) (2022)
Graziana Cavone, Ton J. J. van den Boom, Lex Blenkers, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter
An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks. IEEE Trans Autom. Sci. Eng. 19 (1) (2022)
Kai Cai, Alessandro Giua, Carla Seatzu
Consistent reduction in discrete-event systems. Autom. 142 (2022)
Christoforos N. Hadjicostis, Stéphane Lafortune, Carla Seatzu
Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems. IEEE Control. Syst. Lett. 6 (2022)
Dan You, ShouGuang Wang, MengChu Zhou, Carla Seatzu
Supervisory Control of Petri Nets in the Presence of Replacement Attacks. IEEE Trans. Autom. Control. 67 (3) (2022)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32 (3) (2022)
Zoreh Al Zahra Sanai Dashti, Gabriele Oliva, Carla Seatzu, Andrea Gasparri, Mauro Franceschelli
Distributed Mode Computation in Open Multi-Agent Systems. IEEE Control. Syst. Lett. 6 (2022)
Dan You, Shouguang Wang, Carla Seatzu
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE Trans. Syst. Man Cybern. Syst. 52 (4) (2022)
Ning Ran, Jinyuan Hao, Carla Seatzu
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets. IEEE Trans. Autom. Control. 67 (10) (2022)
Zohreh Al Zahra Sanai Dashti, Diego Deplano, Carla Seatzu, Mauro Franceschelli
Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs. CDC (2022)
Dan You, Shouguang Wang, Carla Seatzu
Generalized Current-State Opacity With Dynamically Changing Secrets. CoRR (2021)
Yorai Wardi, Carla Seatzu, Shashwat Shivam
Application of an Output Tracking Technique to Formation Control. MED (2021)
Yin Tong, Jiate Luo, Carla Seatzu
State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations. CDC (2021)
Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
Joint State Estimation Under Attack of Discrete Event Systems. IEEE Access 9 (2021)
Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
A framework for the analysis of supervised discrete event systems under attack. CoRR (2020)
Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu
Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis. IEEE Trans Autom. Sci. Eng. 17 (3) (2020)
Alessandro Giua, Stéphane Lafortune, Carla Seatzu
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Trans. Autom. Control. 65 (7) (2020)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of C-detectability using Petri nets. Inf. Sci. 528 (2020)
Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua
A region-based approach for state estimation of timed automata under no event observation. ETFA (2020)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of Detectability Using Petri Nets and Detector. CoRR (2019)
Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua
Multiple Attacks Detection on Discrete Event Systems. SMC (2019)
Dan You, ShouGuang Wang, Carla Seatzu
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE Trans. Autom. Control. 64 (10) (2019)
Hao Lan, Yin Tong, Carla Seatzu, Jin Guo
Verification of Detectability in Petri Nets Using Verifier Nets. CoRR (2019)
Kai Cai, Alessandro Giua, Carla Seatzu
On Consistent Reduction in Discrete-Event Systems. CASE (2019)
Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". IEEE Trans. Autom. Control. 64 (12) (2019)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of infinite-step and K-step opacity Using Petri Nets. CoRR (2019)
Shashwat Shivam, Ian Buckley, Yorai Wardi, Carla Seatzu, Magnus Egerstedt
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles. ECC (2019)
Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems. CoRR (2019)
Carla Seatzu
Modeling, analysis, and control of automated manufacturing systems using Petri nets. ETFA (2019)
Zohreh Al Zahra Sanai Dashti, Carla Seatzu, Mauro Franceschelli
Dynamic Consensus on the Median Value in Open Multi-Agent Systems. CDC (2019)
Ning Ran, Alessandro Giua, Carla Seatzu
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection. IEEE Trans. Autom. Control. 64 (7) (2019)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of C-detectability Using Petri Nets. CoRR (2019)
Dan You, ShouGuang Wang, Carla Seatzu
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. Inf. Sci. 501 (2019)
Graziana Cavone, Lex Blenkers, Ton J. J. van den Boom, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter
Railway disruption: a bi-level rescheduling algorithm. CoDIT (2019)
Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu
An overview of current technologies and emerging trends in factory automation. Int. J. Prod. Res. 57 (15-16) (2019)
Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu
Diagnosability analysis of bounded Petri nets. ETFA (2018)
Simone Zanda, Paola Zuddas, Carla Seatzu
Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari. Comput. Ind. Eng. 126 (2018)
Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu
A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty. CASE (2018)
Shashwat Shivam, Ian Buckley, Yorai Wardi, Carla Seatzu, Magnus Egerstedt
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles. CoRR (2018)
Yorai Wardi, Carla Seatzu, Magnus Egerstedt
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks. ADHS (2018)
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu
Codiagnosability Analysis of Bounded Petri Nets. IEEE Trans. Autom. Control. 63 (4) (2018)
Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu
A Survey on Petri Net Models for Freight Logistics and Transportation Systems. IEEE Trans. Intell. Transp. Syst. 19 (6) (2018)
Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua
Stealthy Attacks for Partially-Observed Discrete Event Systems. ETFA (2018)
Engel Lefaucheux, Alessandro Giua, Carla Seatzu
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets (2018)
Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu
Liveness Enforcement for a Class of Petri Nets via Resource Allocation. SMC (2018)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Current-state opacity enforcement in discrete event systems under incomparable observations. Discret. Event Dyn. Syst. 28 (2) (2018)
Shouguang Wang, Dan You, Carla Seatzu
A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions. IEEE Trans. Syst. Man Cybern. Syst. 48 (8) (2018)
Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano
A Decision Support System for Optimizing Operations at Intermodal Railroad Terminals. IEEE Trans. Syst. Man Cybern. Syst. 47 (3) (2017)
Yorai Wardi, Carla Seatzu, Magnus Egerstedt, Ian Buckley
Performance regulation and tracking via lookahead simulation: Preliminary results and validation. CDC (2017)
Alessandro Giua, Cristian Mahulea, Carla Seatzu
Decentralized observability of discrete event systems with synchronizations. Autom. 85 (2017)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80 (2017)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
Diagnosability Analysis of Labeled Time Petri Net Systems. IEEE Trans. Autom. Control. 62 (3) (2017)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of State-Based Opacity Using Petri Nets. IEEE Trans. Autom. Control. 62 (6) (2017)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
Marking Observer in Labeled Petri Nets With Application to Supervisory Control. IEEE Trans. Autom. Control. 62 (4) (2017)
Yorai Wardi, Carla Seatzu
Performance regulation in discrete event and hybrid dynamical systems using IPA. Eur. J. Control 36 (2017)
Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu
Advanced control in factory automation: a survey. Int. J. Prod. Res. 55 (5) (2017)
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu
Codiagnosability verification of bounded Petri nets using basis markings. CDC (2016)
Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu
Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets. IEEE Robotics Autom. Lett. 1 (1) (2016)
Dan You, ShouGuang Wang, Carla Seatzu
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. WODES (2016)
Christoforos N. Hadjicostis, Carla Seatzu
K-detectability in discrete event systems. CDC (2016)
Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu
Resource planning of intermodal terminals using timed Petri nets. WODES (2016)
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
Verification of language-based opacity in Petri nets using verifier. ACC (2016)
Christoforos N. Hadjicostis, Carla Seatzu
Decentralized state estimation in discrete event systems under partially ordered observation sequences. WODES (2016)
Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions. IEEE Trans. Autom. Control. 61 (7) (2016)
Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua
Supervisory enforcement of current-state opacity with uncomparable observations. WODES (2016)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of current-state opacity using Petri nets. ACC (2015)
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. ADHS (2015)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
Probabilistic Marking Estimation in Labeled Petri Nets. IEEE Trans. Autom. Control. 60 (2) (2015)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions. IEEE Trans. Autom. Control. 60 (4) (2015)
Carla Seatzu, Yorai Wardi
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis. ADHS (2015)
Mehran Zareh, Carla Seatzu, Mauro Franceschelli
Consensus on the average in arbitrary directed network topologies with time-delays. CoRR (2015)
ShouGuang Wang, Carla Seatzu, Lingyun Huang
PR nets. CASE (2015)
ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. CDC (2015)
Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu
Fault model identification and synthesis in Petri nets. Discret. Event Dyn. Syst. 25 (3) (2015)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of initial-state opacity in Petri nets. CDC (2015)
Alessandro Giua, Carla Seatzu
Petri nets for the control of discrete event systems. Softw. Syst. Model. 14 (2) (2015)
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
Fast discrete consensus based on gossip for makespan minimization in networked systems. Autom. 56 (2015)
ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatzu
Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions. CoRR (2015)
Mariagrazia Dotoli, Nicola Epicoco, Carla Seatzu
An improved technique for train load planning at intermodal rail-road terminals. ETFA (2015)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
State feedback control of labeled Petri nets with uncertainty in the initial marking. ETFA (2014)
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology. CoDIT (2014)
Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano
Optimization of intermodal rail-road freight transport terminals. ICRA (2014)
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology. CoRR (2014)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Carla Seatzu
Fault Diagnosis of Discrete Event Systems Using Petri Nets. VECoS (2014)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
Initial marking estimation in labeled Petri nets in a probabilistic setting. CDC (2014)
Alessandro Giua, Carla Seatzu
Petrinetze und die Steuerung Ereignisdiskreter Systeme. Inform. Spektrum 37 (3) (2014)
Carlos López-Limón, Mauro Franceschelli, Carla Seatzu, Antonio Ramírez-Treviño
A consensus algorithm for common reference frame estimation in networked multi-agent systems. CDC (2014)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
K-Diagnosability of Time Labeled Petri Nets. WODES (2014)
Alessandro Giua, Carla Seatzu
A survey on state estimation using Petri nets. ECC (2014)
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange. CoRR (2014)
Carla Seatzu, Yorai Wardi
Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems. WODES (2014)

Carla Seatzu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carla Seatzu