Carla Seatzu

According to our database, Carla Seatzu authored at least 199 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph.

Ning Ran, Jingyao Nie, Aiwen Meng, Carla Seatzu

IEEE Trans. Autom. Control., October, 2024

Concealability Analysis for Current-State Opacity Enforcement via Editing Functions.

Kun Peng, Yufeng Chen, Carla Seatzu, Zhiwu Li, Alessandro Giua

IEEE Trans. Autom. Control., October, 2024

Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.

Ziyue Ma, Yin Tong, Carla Seatzu

IEEE Trans. Autom. Control., March, 2024

State estimation of timed automata under partial observation [Draft version].

Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhi-Wu Li, Alessandro Giua

CoRR, 2024

[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems.

Kuize Zhang, Xiaoguang Han, Alessandro Giua, Carla Seatzu

CoRR, 2024

Bisimulation non-interference analysis of bounded Petri nets.

Ning Ran, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu

Proceedings of the 10th International Conference on Control, 2024

Security-by-Design of Smart Water Supply Systems: a Switching Output Automaton-based Approach.

Tianyu Liu, Carla Seatzu, Federica Pascucci, Graziana Cavone, Alessandro Giua

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

A Distributed Online Heuristic for a Large-scale Workforce Task Assignment and Multi-vehicle Routing Problem.

Diego Deplano, Carla Seatzu, Mauro Franceschelli

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Codiagnosability Enforcement in Labeled Petri Nets.

Ning Ran, Tingting Li, Zhou He, Carla Seatzu

IEEE Trans. Autom. Control., 2023

Verification of Current State Opacity using Switching Output Automata.

Tianyu Liu, Carla Seatzu, Alessandro Giua

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.

Diego Deplano, Mauro Franceschelli, Carla Seatzu

Proceedings of the 9th International Conference on Control, 2023

Logical and probabilistic aspects of state estimation for Markovian systems.

Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Fault Diagnosis of Discrete Event Systems Under Attack.

Tenglong Kang, Carla Seatzu, Zhiwu Li, Alessandro Giua

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.

Dan You, Shouguang Wang, Carla Seatzu

IEEE Trans. Syst. Man Cybern. Syst., 2022

Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions.

Hao Lan, Yin Tong, Carla Seatzu

IEEE Trans Autom. Sci. Eng., 2022

An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks.

Graziana Cavone, Ton J. J. van den Boom, Lex Blenkers, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter

IEEE Trans Autom. Sci. Eng., 2022

Supervisory Control of Petri Nets in the Presence of Replacement Attacks.

Dan You, ShouGuang Wang, MengChu Zhou, Carla Seatzu

IEEE Trans. Autom. Control., 2022

Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets.

Ning Ran, Jinyuan Hao, Carla Seatzu

IEEE Trans. Autom. Control., 2022

Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.

Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua

Discret. Event Dyn. Syst., 2022

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.

Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua

Discret. Event Dyn. Syst., 2022

Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems.

Christoforos N. Hadjicostis, Stéphane Lafortune, Carla Seatzu

IEEE Control. Syst. Lett., 2022

Distributed Mode Computation in Open Multi-Agent Systems.

Zoreh Al Zahra Sanai Dashti, Gabriele Oliva, Carla Seatzu, Andrea Gasparri, Mauro Franceschelli

IEEE Control. Syst. Lett., 2022

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

Yin Tong, Hao Lan, Carla Seatzu

Autom., 2022

Consistent reduction in discrete-event systems.

Kai Cai, Alessandro Giua, Carla Seatzu

Autom., 2022

Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs.

Zohreh Al Zahra Sanai Dashti, Diego Deplano, Carla Seatzu, Mauro Franceschelli

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Generalized Current-State Opacity With Dynamically Changing Secrets.

Dan You, Shouguang Wang, Carla Seatzu

CoRR, 2021

Joint State Estimation Under Attack of Discrete Event Systems.

Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua

IEEE Access, 2021

Application of an Output Tracking Technique to Formation Control.

Yorai Wardi, Carla Seatzu, Shashwat Shivam

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.

Yin Tong, Jiate Luo, Carla Seatzu

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.

Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu

IEEE Trans Autom. Sci. Eng., 2020

Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.

Alessandro Giua, Stéphane Lafortune, Carla Seatzu

IEEE Trans. Autom. Control., 2020

Verification of C-detectability using Petri nets.

Hao Lan, Yin Tong, Jin Guo, Carla Seatzu

Inf. Sci., 2020

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

Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua

CoRR, 2020

A region-based approach for state estimation of timed automata under no event observation.

Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua

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.

Dan You, ShouGuang Wang, Carla Seatzu

IEEE Trans. Autom. Control., 2019

Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection.

Ning Ran, Alessandro Giua, Carla Seatzu

IEEE Trans. Autom. Control., 2019

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".

Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu

IEEE Trans. Autom. Control., 2019

Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions.

Dan You, ShouGuang Wang, Carla Seatzu

Inf. Sci., 2019

An overview of current technologies and emerging trends in factory automation.

Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu

Int. J. Prod. Res., 2019

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

Hao Lan, Yin Tong, Jin Guo, Carla Seatzu

CoRR, 2019

Verification of Detectability Using Petri Nets and Detector.

Hao Lan, Yin Tong, Jin Guo, Carla Seatzu

CoRR, 2019

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

Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua

CoRR, 2019

Verification of Detectability in Petri Nets Using Verifier Nets.

Hao Lan, Yin Tong, Carla Seatzu, Jin Guo

CoRR, 2019

Multiple Attacks Detection on Discrete Event Systems.

Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles.

Shashwat Shivam, Ian Buckley, Yorai Wardi, Carla Seatzu, Magnus Egerstedt

Proceedings of the 17th European Control Conference, 2019

Modeling, analysis, and control of automated manufacturing systems using Petri nets.

Carla Seatzu

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Railway disruption: a bi-level rescheduling algorithm.

Graziana Cavone, Lex Blenkers, Ton J. J. van den Boom, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter

Proceedings of the 6th International Conference on Control, 2019

Dynamic Consensus on the Median Value in Open Multi-Agent Systems.

Zohreh Al Zahra Sanai Dashti, Carla Seatzu, Mauro Franceschelli

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions.

Shouguang Wang, Dan You, Carla Seatzu

IEEE Trans. Syst. Man Cybern. Syst., 2018

A Survey on Petri Net Models for Freight Logistics and Transportation Systems.

Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu

IEEE Trans. Intell. Transp. Syst., 2018

Codiagnosability Analysis of Bounded Petri Nets.

Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu

IEEE Trans. Autom. Control., 2018

Current-state opacity enforcement in discrete event systems under incomparable observations.

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua

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.

Simone Zanda, Paola Zuddas, Carla Seatzu

Comput. Ind. Eng., 2018

Liveness Enforcement for a Class of Petri Nets via Resource Allocation.

Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Stealthy Attacks for Partially-Observed Discrete Event Systems.

Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Diagnosability analysis of bounded Petri nets.

Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu

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.

Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu

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.

Engel Lefaucheux, Alessandro Giua, Carla Seatzu

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.

Yorai Wardi, Carla Seatzu, Magnus Egerstedt

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.

Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano

IEEE Trans. Syst. Man Cybern. Syst., 2017

Verification of State-Based Opacity Using Petri Nets.

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua

IEEE Trans. Autom. Control., 2017

Marking Observer in Labeled Petri Nets With Application to Supervisory Control.

Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu

IEEE Trans. Autom. Control., 2017

Diagnosability Analysis of Labeled Time Petri Net Systems.

Francesco Basile, Maria Paola Cabasino, Carla Seatzu

IEEE Trans. Autom. Control., 2017

Advanced control in factory automation: a survey.

Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu

Int. J. Prod. Res., 2017

Performance regulation in discrete event and hybrid dynamical systems using IPA.

Yorai Wardi, Carla Seatzu

Eur. J. Control, 2017

Decidability of opacity verification problems in labeled Petri net systems.

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua

Autom., 2017

Decentralized observability of discrete event systems with synchronizations.

Alessandro Giua, Cristian Mahulea, Carla Seatzu

Autom., 2017

Performance regulation and tracking via lookahead simulation: Preliminary results and validation.

Yorai Wardi, Carla Seatzu, Magnus Egerstedt, Ian Buckley

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions.

Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu

IEEE Trans. Autom. Control., 2016

Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets.

Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu

IEEE Robotics Autom. Lett., 2016

A new linear constraint transformation approach for Petri nets with uncontrollable transitions.

Dan You, ShouGuang Wang, Carla Seatzu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Supervisory enforcement of current-state opacity with uncomparable observations.

Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Decentralized state estimation in discrete event systems under partially ordered observation sequences.

Christoforos N. Hadjicostis, Carla Seatzu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Resource planning of intermodal terminals using timed Petri nets.

Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Codiagnosability verification of bounded Petri nets using basis markings.

Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

K-detectability in discrete event systems.

Christoforos N. Hadjicostis, Carla Seatzu

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Verification of language-based opacity in Petri nets using verifier.

Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua

Proceedings of the 2016 American Control Conference, 2016

2015

Probabilistic Marking Estimation in Labeled Petri Nets.

Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu

IEEE Trans. Autom. Control., 2015

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions.

Francesco Basile, Maria Paola Cabasino, Carla Seatzu

IEEE Trans. Autom. Control., 2015

Petri nets for the control of discrete event systems.

Alessandro Giua, Carla Seatzu

Softw. Syst. Model., 2015

Fault model identification and synthesis in Petri nets.

Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu

Discret. Event Dyn. Syst., 2015

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

Mehran Zareh, Carla Seatzu, Mauro Franceschelli

CoRR, 2015

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

ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatzu

CoRR, 2015

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

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

Autom., 2015

An improved technique for train load planning at intermodal rail-road terminals.

Mariagrazia Dotoli, Nicola Epicoco, Carla Seatzu

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.

ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Verification of initial-state opacity in Petri nets.

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A three-stage deadlock prevention strategy for S³PR nets.

ShouGuang Wang, Carla Seatzu, Lingyun Huang

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Verification of current-state opacity using Petri nets.

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua

Proceedings of the American Control Conference, 2015

Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis.

Carla Seatzu, Yorai Wardi

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.

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

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.

Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu

IEEE Trans. Syst. Man Cybern. Syst., 2014

Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation.

Christos G. Cassandras, Maria Pia Fanti, Christoforos N. Hadjicostis, Spyros A. Reveliotis, Carla Seatzu

IEEE Trans Autom. Sci. Eng., 2014

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

IEEE Trans Autom. Sci. Eng., 2014

Petrinetze und die Steuerung Ereignisdiskreter Systeme.

Alessandro Giua, Carla Seatzu

Inform. Spektrum, 2014

Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems.

Carla Seatzu, Yorai Wardi

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

K-Diagnosability of Time Labeled Petri Nets.

Francesco Basile, Maria Paola Cabasino, Carla Seatzu

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Fault Diagnosis of Discrete Event Systems Using Petri Nets.

Carla Seatzu

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Optimization of intermodal rail-road freight transport terminals.

Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A survey on state estimation using Petri nets.

Alessandro Giua, Carla Seatzu

Proceedings of the 13th European Control Conference, 2014

Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange.

Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

State feedback control of labeled Petri nets with uncertainty in the initial marking.

Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu

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.

Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu

Proceedings of the International Conference on Control, 2014

Infinitesimal perturbation analysis of stochastic hybrid systems: Application to congestion management in traffic-light intersections.

Yorai Wardi, Carla Seatzu

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A consensus algorithm for common reference frame estimation in networked multi-agent systems.

Carlos López-Limón, Mauro Franceschelli, Carla Seatzu, Antonio Ramírez-Treviño

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Initial marking estimation in labeled Petri nets in a probabilistic setting.

Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

IEEE Trans. Syst. Man Cybern. Syst., 2013

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets.

Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu

IEEE Trans. Syst. Man Cybern. Syst., 2013

IPA for continuous stochastic marked graphs.

Yorai Wardi, Alessandro Giua, Carla Seatzu

Autom., 2013

Decentralized estimation of Laplacian eigenvalues in multi-agent systems.

Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu

Autom., 2013

Optimal sensor selection for ensuring diagnosability in labeled Petri nets.

Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu

Autom., 2013

Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking.

Maria Paola Cabasino, Carla Seatzu, Christoforos N. Hadjicostis

Proceedings of the IEEE International Conference on Systems, 2013

Consensus of second-order multi-agent systems with time delays and slow switching topology.

Mehran Zareh, Carla Seatzu, Mauro Franceschelli

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.

Carla Seatzu, Yorai Wardi

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Benders/gossip methods for heterogeneous multi-vehicle routing problems.

Sarmad Riazi, Carla Seatzu, Oskar Wigström, Bengt Lennartson

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A survey on efficient diagnosability tests for automata and bounded Petri nets.

Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Marking estimation of Time Petri nets with unobservable transitions.

Francesco Basile, Maria Paola Cabasino, Carla Seatzu

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Diagnosis of Petri Nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the Control of Discrete-Event Systems, 2013

Structural Analysis of Petri Nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the Control of Discrete-Event Systems, 2013

Introduction to Petri Nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the Control of Discrete-Event Systems, 2013

Petri Nets with Time.

Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu

Proceedings of the Control of Discrete-Event Systems, 2013

2012

Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets.

Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez

IEEE Trans. Syst. Man Cybern. Part A, 2012

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu

IEEE Trans. Autom. Control., 2012

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets.

Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Marking estimation of fuzzy Petri nets.

Maria Paola Cabasino, Mariagrazia Dotoli, Carla Seatzu

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A comparison among tools for the diagnosability of discrete event systems.

Maria Paola Cabasino, Alessandro Giua, Laura Marcias, Carla Seatzu

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

A Gossip Algorithm for Heterogeneous Multi-Vehicle Routing Problems.

Mauro Franceschelli, Daniele Rosa, Carla Seatzu, Francesco Bullo

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Quantized consensus in Hamiltonian graphs.

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

Autom., 2011

On decentralized observability of discrete event systems.

Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Fault diagnosis of an ABS system using Petri nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, Antonio Solinas, Katiuscia Zedda

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

A software platform for the integration of discrete event systems tools.

Maria Paola Cabasino, Luca Contini, Alessandro Giua, Carla Seatzu, Antonio Solinas

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks.

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

IEEE Trans. Autom. Control., 2010

Constrained optimal control: an application to semiactive suspension systems.

Tina Paschedag, Alessandro Giua, Carla Seatzu

Int. J. Syst. Sci., 2010

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

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Autom., 2010

IPA for continuous Petri nets.

Alessandro Giua, Carla Seatzu, Yorai Wardi

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A new protocol for the decentralized diagnosis of labeled Petri nets.

Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Fault diagnosis of manufacturing systems using continuous Petri nets.

Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the IEEE International Conference on Systems, 2010

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Decentralized diagnosis of Petri nets.

Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu

Proceedings of the American Control Conference, 2010

2009

Discrete Event Diagnosis using Petri Nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the ICINCO 2009, 2009

New results for fault detection of untimed continuous Petri nets.

Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Decentralized Laplacian eigenvalues estimation for networked multi-agent systems.

Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability of bounded Petri nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability analysis of unbounded Petri nets.

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Decentralized fault diagnosis for sensor networks.

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Observer design for untimed continuous Petri nets.

Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva

Proceedings of the American Control Conference, 2009

Load balancing over heterogeneous networks with gossip-based algorithms.

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

Proceedings of the American Control Conference, 2009

Application of IPA to Fluid Petri Nets.

Alessandro Giua, Carla Seatzu, Yorai Wardi

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Fault diagnoser design for untimed continuous Petri nets.

Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez

Proceedings of the IEEE International Conference on Control Applications, 2009

Hamiltonian quantized gossip.

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

Modeling and Supervisory Control of Railway Networks Using Petri Nets.

Alessandro Giua, Carla Seatzu

IEEE Trans Autom. Sci. Eng., 2008

Optimal Model Predictive Control of Timed Continuous Petri Nets.

Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez

IEEE Trans. Autom. Control., 2008

DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems.

Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon

Discret. Event Dyn. Syst., 2008

Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS.

Alessandro Giua, Carla Seatzu, Fausto Sessego

Proceedings of the IEEE International Conference on Systems, 2008

Linear programming techniques for the identification of place/transition nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.

Fausto Sessego, Alessandro Giua, Carla Seatzu

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Marking Estimation of Petri Nets With Silent Transitions.

Alessandro Giua, Carla Seatzu, Daniele Corona

IEEE Trans. Autom. Control., 2007

Identification of Petri Nets from Knowledge of Their Language.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Discret. Event Dyn. Syst., 2007

A state estimation problem for timed continuous Petri nets.

Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Load balancing on networks with gossip-based distributed ]algorithms.

Mauro Franceschelli, Alessandro Giua, Carla Seatzu

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

State Estimation of Petri Nets by Transformation.

Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Decentralized Supervisory Control of Petri Nets with Monitor Places.

Francesco Basile, Alessandro Giua, Carla Seatzu

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Supervisory Control of Petri Nets with Decentralized Monitor Places.

Francesco Basile, Alessandro Giua, Carla Seatzu

Proceedings of the American Control Conference, 2007

2006

Optimal control of continuous-time switched affine systems.

Carla Seatzu, Daniele Corona, Alessandro Giua, Alberto Bemporad

IEEE Trans. Autom. Control., 2006

Optimal Control of Timed Continuous Petri Nets via Explicit MPC.

Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva

Proceedings of the Positive Systems, 2006

Identification of unbounded Petri nets from their coverability graph.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.

Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva

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*.

Alessandro Giua, Daniele Corona, Carla Seatzu

Discret. Event Dyn. Syst., 2005

Quantized optimal control of discrete-time systems.

Daniele Corona, Alessandro Giua, Carla Seatzu

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Identification of free-labeled Petri nets via integer programming.

Alessandro Giua, Carla Seatzu

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.

Alessandro Giua, Carla Seatzu

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.

Dmitry Gromov, Eckart Mayer, Jörg Raisch, Daniele Corona, Carla Seatzu, Alessandro Giua

Proceedings of the Intelligent Control, 2005

2004

Observer-based state-feedback control of timed Petri nets with deadlock recovery.

Alessandro Giua, Carla Seatzu, Francesco Basile

IEEE Trans. Autom. Control., 2004

Optimal feedback switching laws for autonomous hybrid automata.

Daniele Corona, Alessandro Giua, Carla Seatzu

Proceedings of the Intelligent Control, 2004

2003

A deadlock prevention method for railway networks using monitors for colored Petri nets.

Maria Pia Fanti, Alessandro Giua, Carla Seatzu

Proceedings of the IEEE International Conference on Systems, 2003

Generalized mutual exclusion constraints and monitors for colored Petri nets.

Maria Pia Fanti, Alessandro Giua, Carla Seatzu

Proceedings of the IEEE International Conference on Systems, 2003

Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets.

Roberta Armosini, Alessandro Giua, Maria Teresa Pilloni, Carla Seatzu

Proceedings of the Positive Systems, 2003

Design of a control law for a magneto-rheological suspension.

Alessandro Giua, Mauro Melas, Carla Seatzu

Proceedings of the 7th European Control Conference, 2003

Observers for nondeterministic λ-free labeled Petri nets.

Daniele Corona, Alessandro Giua, Carla Seatzu, Jorge Júlvez

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Deadlock characterization for Petri nets control using GMEC's and observers.

Alessandro Giua, Carla Seatzu

Proceedings of the American Control Conference, 2003

Marking estimation of Petri nets based on partial observation.

Alessandro Giua, Jorge Júlvez, Carla Seatzu

Proceedings of the American Control Conference, 2003

Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata.

Alberto Bemporad, Daniele Corona, Alessandro Giua, Carla Seatzu

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Observability of place/transition nets.

Alessandro Giua, Carla Seatzu

IEEE Trans. Autom. Control., 2002

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

Alessandro Giua, Aldo Piccaluga, Carla Seatzu

Autom., 2002

Petri net control using event observers and timing information.

Alessandro Giua, Carla Seatzu, Francesco Basile

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Synthesis of state-feedback optimal controllers for continuous-time switched linear systems.

Alberto Bemporad, Raymond Giua, Carla Seatzu

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Decidability results in First-Order Hybrid Petri Nets.

Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu

Discret. Event Dyn. Syst., 2001

The observer coverability graph for the analysis of observability properties of Place/Transition nets.

Alessandro Giua, Carla Seatzu

Proceedings of the 6th European Control Conference, 2001

Deadlock recovery of Petri net models controlled using observers.

Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Optimal control of switched autonomous linear systems.

Alessandro Giua, Carla Seatzu, Cornelis Van der Mee

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Supervisory control of railway networks with Petri nets.

Alessandro Giua, Carla Seatzu

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Semiactive suspension design taking into account the actuator delay.

Manuela Ebau, Alessandro Giua, Carla Seatzu, Giampaolo Usai

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.

Carla Seatzu

Int. J. Syst. Sci., 2000

Incremental Optimization of Cyclic Timed Event Graphs.

Alessandro Giua, Aldo Piccaluga, Carla Seatzu

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

Active axletree suspension for road vehicles with gain-switching.

Alessandro Giua, Carla Seatzu, Giampaolo Usai

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Observability properties of Petri nets.

Alessandro Giua, Carla Seatzu

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Observer-controller design for cranes via Lyapunov equivalence.

Alessandro Giua, Carla Seatzu, Giampaolo Usai

Autom., 1999

Robust PI decentralized control law for open-channel hydraulic systems.

Carla Seatzu

Proceedings of the 5th European Control Conference, 1999

1998

Decentralized volume control of open-channels using H₂ norm minimization.

Carla Seatzu, Alessandro Giua, Giampaolo Usai

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998