Carla Seatzu

Orcid: 0000-0003-2014-352X

According to our database1, Carla Seatzu authored at least 191 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.
IEEE Trans. Autom. Control., March, 2024

2023
Codiagnosability Enforcement in Labeled Petri Nets.
IEEE Trans. Autom. Control., 2023

Verification of Current State Opacity using Switching Output Automata.
Proceedings of the 9th International Conference on Control, 2023

Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread.
Proceedings of the 9th International Conference on Control, 2023

Logical and probabilistic aspects of state estimation for Markovian systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Fault Diagnosis of Discrete Event Systems Under Attack.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.
IEEE Trans. Syst. Man Cybern. Syst., 2022

Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions.
IEEE Trans Autom. Sci. Eng., 2022

An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks.
IEEE Trans Autom. Sci. Eng., 2022

Supervisory Control of Petri Nets in the Presence of Replacement Attacks.
IEEE Trans. Autom. Control., 2022

Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets.
IEEE Trans. Autom. Control., 2022

Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems.
IEEE Control. Syst. Lett., 2022

Distributed Mode Computation in Open Multi-Agent Systems.
IEEE Control. Syst. Lett., 2022

Verification of K-step and infinite-step opacity of bounded labeled Petri nets.
Autom., 2022

Consistent reduction in discrete-event systems.
Autom., 2022

Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Generalized Current-State Opacity With Dynamically Changing Secrets.
CoRR, 2021

Joint State Estimation Under Attack of Discrete Event Systems.
IEEE Access, 2021

Application of an Output Tracking Technique to Formation Control.
Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021

State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis.
IEEE Trans Autom. Sci. Eng., 2020

Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.
IEEE Trans. Autom. Control., 2020

Verification of C-detectability using Petri nets.
Inf. Sci., 2020

A framework for the analysis of supervised discrete event systems under attack.
CoRR, 2020

A region-based approach for state estimation of timed automata under no event observation.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs.
IEEE Trans. Autom. Control., 2019

Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection.
IEEE Trans. Autom. Control., 2019

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".
IEEE Trans. Autom. Control., 2019

Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions.
Inf. Sci., 2019

An overview of current technologies and emerging trends in factory automation.
Int. J. Prod. Res., 2019

Verification of infinite-step and K-step opacity Using Petri Nets.
CoRR, 2019

Verification of Detectability Using Petri Nets and Detector.
CoRR, 2019

Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems.
CoRR, 2019

Verification of Detectability in Petri Nets Using Verifier Nets.
CoRR, 2019

Multiple Attacks Detection on Discrete Event Systems.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles.
Proceedings of the 17th European Control Conference, 2019

Modeling, analysis, and control of automated manufacturing systems using Petri nets.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Railway disruption: a bi-level rescheduling algorithm.
Proceedings of the 6th International Conference on Control, 2019

Dynamic Consensus on the Median Value in Open Multi-Agent Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions.
IEEE Trans. Syst. Man Cybern. Syst., 2018

A Survey on Petri Net Models for Freight Logistics and Transportation Systems.
IEEE Trans. Intell. Transp. Syst., 2018

Codiagnosability Analysis of Bounded Petri Nets.
IEEE Trans. Autom. Control., 2018

Current-state opacity enforcement in discrete event systems under incomparable observations.
Discret. Event Dyn. Syst., 2018

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., 2018

Liveness Enforcement for a Class of Petri Nets via Resource Allocation.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Stealthy Attacks for Partially-Observed Discrete Event Systems.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Diagnosability analysis of bounded Petri nets.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
A Decision Support System for Optimizing Operations at Intermodal Railroad Terminals.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Verification of State-Based Opacity Using Petri Nets.
IEEE Trans. Autom. Control., 2017

Marking Observer in Labeled Petri Nets With Application to Supervisory Control.
IEEE Trans. Autom. Control., 2017

Diagnosability Analysis of Labeled Time Petri Net Systems.
IEEE Trans. Autom. Control., 2017

Advanced control in factory automation: a survey.
Int. J. Prod. Res., 2017

Performance regulation in discrete event and hybrid dynamical systems using IPA.
Eur. J. Control, 2017

Decidability of opacity verification problems in labeled Petri net systems.
Autom., 2017

Decentralized observability of discrete event systems with synchronizations.
Autom., 2017

Performance regulation and tracking via lookahead simulation: Preliminary results and validation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions.
IEEE Trans. Autom. Control., 2016

Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets.
IEEE Robotics Autom. Lett., 2016

A new linear constraint transformation approach for Petri nets with uncontrollable transitions.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Supervisory enforcement of current-state opacity with uncomparable observations.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Decentralized state estimation in discrete event systems under partially ordered observation sequences.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Resource planning of intermodal terminals using timed Petri nets.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Codiagnosability verification of bounded Petri nets using basis markings.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

K-detectability in discrete event systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Verification of language-based opacity in Petri nets using verifier.
Proceedings of the 2016 American Control Conference, 2016

2015
Probabilistic Marking Estimation in Labeled Petri Nets.
IEEE Trans. Autom. Control., 2015

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions.
IEEE Trans. Autom. Control., 2015

Petri nets for the control of discrete event systems.
Softw. Syst. Model., 2015

Fault model identification and synthesis in Petri nets.
Discret. Event Dyn. Syst., 2015

Consensus on the average in arbitrary directed network topologies with time-delays.
CoRR, 2015

Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions.
CoRR, 2015

Fast discrete consensus based on gossip for makespan minimization in networked systems.
Autom., 2015

An improved technique for train load planning at intermodal rail-road terminals.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Verification of initial-state opacity in Petri nets.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A three-stage deadlock prevention strategy for S<sup>3</sup>PR nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Verification of current-state opacity using Petri nets.
Proceedings of the American Control Conference, 2015

Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
A Remark on the Decentralized Diagnosis of Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation.
IEEE Trans Autom. Sci. Eng., 2014

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets.
IEEE Trans Autom. Sci. Eng., 2014

Petrinetze und die Steuerung Ereignisdiskreter Systeme.
Inform. Spektrum, 2014

Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

K-Diagnosability of Time Labeled Petri Nets.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Fault Diagnosis of Discrete Event Systems Using Petri Nets.
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Optimization of intermodal rail-road freight transport terminals.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A survey on state estimation using Petri nets.
Proceedings of the 13th European Control Conference, 2014

Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

State feedback control of labeled Petri nets with uncertainty in the initial marking.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology.
Proceedings of the International Conference on Control, 2014

Infinitesimal perturbation analysis of stochastic hybrid systems: Application to congestion management in traffic-light intersections.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A consensus algorithm for common reference frame estimation in networked multi-agent systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Initial marking estimation in labeled Petri nets in a probabilistic setting.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2013

IPA for continuous stochastic marked graphs.
Autom., 2013

Decentralized estimation of Laplacian eigenvalues in multi-agent systems.
Autom., 2013

Optimal sensor selection for ensuring diagnosability in labeled Petri nets.
Autom., 2013

Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking.
Proceedings of the IEEE International Conference on Systems, 2013

Consensus of second-order multi-agent systems with time delays and slow switching topology.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

On the use of IPA in performance optimization of continuous marked graphs: A case study.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Benders/gossip methods for heterogeneous multi-vehicle routing problems.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A survey on efficient diagnosability tests for automata and bounded Petri nets.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Marking estimation of Time Petri nets with unobservable transitions.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Diagnosis of Petri Nets.
Proceedings of the Control of Discrete-Event Systems, 2013

Structural Analysis of Petri Nets.
Proceedings of the Control of Discrete-Event Systems, 2013

Introduction to Petri Nets.
Proceedings of the Control of Discrete-Event Systems, 2013

Petri Nets with Time.
Proceedings of the Control of Discrete-Event Systems, 2013

2012
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2012

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.
IEEE Trans. Autom. Control., 2012

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Marking estimation of fuzzy Petri nets.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A comparison among tools for the diagnosability of discrete event systems.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

A Gossip Algorithm for Heterogeneous Multi-Vehicle Routing Problems.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Quantized consensus in Hamiltonian graphs.
Autom., 2011

On decentralized observability of discrete event systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Fault diagnosis of an ABS system using Petri nets.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

A software platform for the integration of discrete event systems tools.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks.
IEEE Trans. Autom. Control., 2010

Constrained optimal control: an application to semiactive suspension systems.
Int. J. Syst. Sci., 2010

Fault detection for discrete event systems using Petri nets with unobservable transitions.
Autom., 2010

IPA for continuous Petri nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A new protocol for the decentralized diagnosis of labeled Petri nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Fault diagnosis of manufacturing systems using continuous Petri nets.
Proceedings of the IEEE International Conference on Systems, 2010

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Decentralized diagnosis of Petri nets.
Proceedings of the American Control Conference, 2010

2009
Discrete Event Diagnosis using Petri Nets.
Proceedings of the ICINCO 2009, 2009

New results for fault detection of untimed continuous Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Decentralized Laplacian eigenvalues estimation for networked multi-agent systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability of bounded Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability analysis of unbounded Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Decentralized fault diagnosis for sensor networks.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Observer design for untimed continuous Petri nets.
Proceedings of the American Control Conference, 2009

Load balancing over heterogeneous networks with gossip-based algorithms.
Proceedings of the American Control Conference, 2009

Application of IPA to Fluid Petri Nets.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Fault diagnoser design for untimed continuous Petri nets.
Proceedings of the IEEE International Conference on Control Applications, 2009

Hamiltonian quantized gossip.
Proceedings of the IEEE International Conference on Control Applications, 2009

2008
Modeling and Supervisory Control of Railway Networks Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2008

Optimal Model Predictive Control of Timed Continuous Petri Nets.
IEEE Trans. Autom. Control., 2008

DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems.
Discret. Event Dyn. Syst., 2008

Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS.
Proceedings of the IEEE International Conference on Systems, 2008

Linear programming techniques for the identification of place/transition nets.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
Marking Estimation of Petri Nets With Silent Transitions.
IEEE Trans. Autom. Control., 2007

Identification of Petri Nets from Knowledge of Their Language.
Discret. Event Dyn. Syst., 2007

A state estimation problem for timed continuous Petri nets.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Load balancing on networks with gossip-based distributed ]algorithms.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

State Estimation of Petri Nets by Transformation.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Decentralized Supervisory Control of Petri Nets with Monitor Places.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Supervisory Control of Petri Nets with Decentralized Monitor Places.
Proceedings of the American Control Conference, 2007

2006
Optimal control of continuous-time switched affine systems.
IEEE Trans. Autom. Control., 2006

Identification of unbounded Petri nets from their coverability graph.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*.
Discret. Event Dyn. Syst., 2005

Quantized optimal control of discrete-time systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Identification of free-labeled Petri nets via integer programming.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Fault detection for discrete event systems using Petri nets with unobservable transitions.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints.
Proceedings of the Intelligent Control, 2005

2004
Observer-based state-feedback control of timed Petri nets with deadlock recovery.
IEEE Trans. Autom. Control., 2004

Optimal feedback switching laws for autonomous hybrid automata.
Proceedings of the Intelligent Control, 2004

2003
A deadlock prevention method for railway networks using monitors for colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

Generalized mutual exclusion constraints and monitors for colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets.
Proceedings of the Positive Systems, 2003

Design of a control law for a magneto-rheological suspension.
Proceedings of the 7th European Control Conference, 2003

Observers for nondeterministic λ-free labeled Petri nets.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Deadlock characterization for Petri nets control using GMEC's and observers.
Proceedings of the American Control Conference, 2003

Marking estimation of Petri nets based on partial observation.
Proceedings of the American Control Conference, 2003

Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Observability of place/transition nets.
IEEE Trans. Autom. Control., 2002

Firing rate optimization of cyclic timed event graphs by token allocations.
Autom., 2002

Petri net control using event observers and timing information.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Synthesis of state-feedback optimal controllers for continuous-time switched linear systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Decidability results in First-Order Hybrid Petri Nets.
Discret. Event Dyn. Syst., 2001

The observer coverability graph for the analysis of observability properties of Place/Transition nets.
Proceedings of the 6th European Control Conference, 2001

Deadlock recovery of Petri net models controlled using observers.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Optimal control of switched autonomous linear systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Supervisory control of railway networks with Petri nets.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Semiactive suspension design taking into account the actuator delay.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
Design of decentralized constant-volume controllers for open-channels by solving a least squares problem.
Int. J. Syst. Sci., 2000

Incremental Optimization of Cyclic Timed Event Graphs.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

Active axletree suspension for road vehicles with gain-switching.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Observability properties of Petri nets.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
Observer-controller design for cranes via Lyapunov equivalence.
Autom., 1999

Robust PI decentralized control law for open-channel hydraulic systems.
Proceedings of the 5th European Control Conference, 1999

1998
Decentralized volume control of open-channels using H<sub>2</sub> norm minimization.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998


  Loading...