Decentralized volume control of open-channels using H2 norm minimization. - Carla Seatzu; Alessandro Giua; Giampaolo Usai (SMC, 1998)

Robust PI decentralized control law for open-channel hydraulic systems. - Carla Seatzu (ECC, 1999)

Observer-controller design for cranes via Lyapunov equivalence. - Alessandro Giua; Carla Seatzu; Giampaolo Usai (Autom., 1999)

Observability properties of Petri nets. - Alessandro Giua; Carla Seatzu (CDC, 2000)

Active axletree suspension for road vehicles with gain-switching. - Alessandro Giua; Carla Seatzu; Giampaolo Usai (CDC, 2000)

Incremental Optimization of Cyclic Timed Event Graphs. - Alessandro Giua; Aldo Piccaluga; Carla Seatzu (ICRA, 2000)

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

Semiactive suspension design taking into account the actuator delay. - Manuela Ebau; Alessandro Giua; Carla Seatzu; Giampaolo Usai (CDC, 2001)

Supervisory control of railway networks with Petri nets. - Alessandro Giua; Carla Seatzu (CDC, 2001)

Optimal control of switched autonomous linear systems. - Alessandro Giua; Carla Seatzu; Cornelis Van der Mee (CDC, 2001)

Deadlock recovery of Petri net models controlled using observers. - Francesco Basile; Pasquale Chiacchio; Alessandro Giua; Carla Seatzu (ETFA (2), 2001)

The observer coverability graph for the analysis of observability properties of Place/Transition nets. - Alessandro Giua; Carla Seatzu (ECC, 2001)

Decidability results in First-Order Hybrid Petri Nets. - Fabio Balduzzi; Angela Di Febbraro; Alessandro Giua; Carla Seatzu (Discret. Event Dyn. Syst., 2001)

Synthesis of state-feedback optimal controllers for continuous-time switched linear systems. - Alberto Bemporad; Raymond Giua; Carla Seatzu (CDC, 2002)

Petri net control using event observers and timing information. - Alessandro Giua; Carla Seatzu; Francesco Basile (CDC, 2002)

Firing rate optimization of cyclic timed event graphs by token allocations. - Alessandro Giua; Aldo Piccaluga; Carla Seatzu (Autom., 2002)

Observability of place/transition nets. - Alessandro Giua; Carla Seatzu (IEEE Trans. Autom. Control., 2002)

Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata. - Alberto Bemporad; Daniele Corona; Alessandro Giua; Carla Seatzu (ADHS, 2003)

Marking estimation of Petri nets based on partial observation. - Alessandro Giua; Jorge Júlvez; Carla Seatzu (ACC, 2003)

Deadlock characterization for Petri nets control using GMEC's and observers. - Alessandro Giua; Carla Seatzu (ACC, 2003)

Observers for nondeterministic λ-free labeled Petri nets. - Daniele Corona; Alessandro Giua; Carla Seatzu; Jorge Júlvez (ETFA (1), 2003)

Design of a control law for a magneto-rheological suspension. - Alessandro Giua; Mauro Melas; Carla Seatzu (ECC, 2003)

Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets. - Roberta Armosini; Alessandro Giua; Maria Teresa Pilloni; Carla Seatzu (POSTA, 2003)

Generalized mutual exclusion constraints and monitors for colored Petri nets. - Maria Pia Fanti; Alessandro Giua; Carla Seatzu (SMC, 2003)

A deadlock prevention method for railway networks using monitors for colored Petri nets. - Maria Pia Fanti; Alessandro Giua; Carla Seatzu (SMC, 2003)

Design of a control law for a semiactive suspension system using a solenoid valve damper. - Alessandro Giua; Mauro Melas; Carla Seatzu (CCA, 2004)

Optimal feedback switching laws for autonomous hybrid automata. - Daniele Corona; Alessandro Giua; Carla Seatzu (ISIC, 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 Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints. - Dmitry Gromov; Eckart Mayer; Jörg Raisch; Daniele Corona; Carla Seatzu; Alessandro Giua (ISIC, 2005)

Fault detection for discrete event systems using Petri nets with unobservable transitions. - Alessandro Giua; Carla Seatzu (CDC/ECC, 2005)

Identification of free-labeled Petri nets via integer programming. - Alessandro Giua; Carla Seatzu (CDC/ECC, 2005)

Quantized optimal control of discrete-time systems. - Daniele Corona; Alessandro Giua; Carla Seatzu (ETFA, 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)

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics. - Cristian Mahulea; Alessandro Giua; Laura Recalde; Carla Seatzu; Manuel Silva 001 (ADHS, 2006)

Identification of unbounded Petri nets from their coverability graph. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2006)

Optimal Control of Timed Continuous Petri Nets via Explicit MPC. - Alessandro Giua; Cristian Mahulea; Laura Recalde; Carla Seatzu; Manuel Silva 001 (POSTA, 2006)

Optimal control of continuous-time switched affine systems. - Carla Seatzu; Daniele Corona; Alessandro Giua; Alberto Bemporad (IEEE Trans. Autom. Control., 2006)

Supervisory Control of Petri Nets with Decentralized Monitor Places. - Francesco Basile; Alessandro Giua; Carla Seatzu (ACC, 2007)

Decentralized Supervisory Control of Petri Nets with Monitor Places. - Francesco Basile; Alessandro Giua; Carla Seatzu (CASE, 2007)

State Estimation of Petri Nets by Transformation. - Maria Paola Cabasino; Alessandro Giua; Cristian Mahulea; Laura Recalde; Carla Seatzu; Manuel Silva Suárez (CASE, 2007)

Load balancing on networks with gossip-based distributed ]algorithms. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (CDC, 2007)

A state estimation problem for timed continuous Petri nets. - Cristian Mahulea; Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2007)

Identification of Petri Nets from Knowledge of Their Language. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Discret. Event Dyn. Syst., 2007)

Marking Estimation of Petri Nets With Silent Transitions. - Alessandro Giua; Carla Seatzu; Daniele Corona (IEEE Trans. Autom. Control., 2007)

HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. - Fausto Sessego; Alessandro Giua; Carla Seatzu (Petri Nets, 2008)

Linear programming techniques for the identification of place/transition nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2008)

Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS. - Alessandro Giua; Carla Seatzu; Fausto Sessego (SMC, 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)

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)

Modeling and Supervisory Control of Railway Networks Using Petri Nets. - Alessandro Giua; Carla Seatzu (IEEE Trans Autom. Sci. Eng., 2008)

Hamiltonian quantized gossip. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (CCA/ISIC, 2009)

Fault diagnoser design for untimed continuous Petri nets. - Carla Seatzu; Cristian Mahulea; Maria Paola Cabasino; Manuel Silva Suárez (CCA/ISIC, 2009)

Application of IPA to Fluid Petri Nets. - Alessandro Giua; Carla Seatzu; Yorai Wardi (ADHS, 2009)

Load balancing over heterogeneous networks with gossip-based algorithms. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (ACC, 2009)

Observer design for untimed continuous Petri nets. - Cristian Mahulea; Carla Seatzu; Maria Paola Cabasino; Laura Recalde; Manuel Silva 001 (ACC, 2009)

Decentralized fault diagnosis for sensor networks. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (CASE, 2009)

Diagnosability analysis of unbounded Petri nets. - Maria Paola Cabasino; Alessandro Giua; Stéphane Lafortune; Carla Seatzu (CDC, 2009)

Diagnosability of bounded Petri nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2009)

Decentralized Laplacian eigenvalues estimation for networked multi-agent systems. - Mauro Franceschelli; Andrea Gasparri; Alessandro Giua; Carla Seatzu (CDC, 2009)

New results for fault detection of untimed continuous Petri nets. - Carla Seatzu; Maria Paola Cabasino; Cristian Mahulea; Manuel Silva Suárez (CDC, 2009)

Discrete Event Diagnosis using Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (ICINCO-ICSO, 2009)

Decentralized diagnosis of Petri nets. - Maria Paola Cabasino; Alessandro Giua; Andrea Paoli; Carla Seatzu (ACC, 2010)

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CASE, 2010)

Fault diagnosis of manufacturing systems using continuous Petri nets. - Maria Paola Cabasino; Carla Seatzu; Cristian Mahulea; Manuel Silva Suárez (SMC, 2010)

A new protocol for the decentralized diagnosis of labeled Petri nets. - Maria Paola Cabasino; Alessandro Giua; Andrea Paoli; Carla Seatzu (WODES, 2010)

IPA for continuous Petri nets. - Alessandro Giua; Carla Seatzu; Yorai Wardi (WODES, 2010)

Fault detection for discrete event systems using Petri nets with unobservable transitions. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Autom., 2010)

Constrained optimal control: an application to semiactive suspension systems. - Tina Paschedag; Alessandro Giua; Carla Seatzu (Int. J. Syst. Sci., 2010)

A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (IEEE Trans. Autom. Control., 2010)

A software platform for the integration of discrete event systems tools. - Maria Paola Cabasino; Luca Contini; Alessandro Giua; Carla Seatzu; Antonio Solinas (CASE, 2011)

Fault diagnosis of an ABS system using Petri nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu; Antonio Solinas; Katiuscia Zedda (CASE, 2011)

On decentralized observability of discrete event systems. - Maria Paola Cabasino; Alessandro Giua; Cristian Mahulea; Carla Seatzu (CDC/ECC, 2011)

Quantized consensus in Hamiltonian graphs. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (Autom., 2011)

A Gossip Algorithm for Heterogeneous Multi-Vehicle Routing Problems. - Mauro Franceschelli; Daniele Rosa; Carla Seatzu; Francesco Bullo (ADHS, 2012)

A comparison among tools for the diagnosability of discrete event systems. - Maria Paola Cabasino; Alessandro Giua; Laura Marcias; Carla Seatzu (CASE, 2012)

Marking estimation of fuzzy Petri nets. - Maria Paola Cabasino; Mariagrazia Dotoli; Carla Seatzu (ETFA, 2012)

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. - Maria Paola Cabasino; Stéphane Lafortune; Carla Seatzu (WODES, 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)

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)

Petri Nets with Time. - Béatrice Bérard; Maria Paola Cabasino; Angela Di Febbraro; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Introduction to Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Structural Analysis of Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Diagnosis of Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Marking estimation of Time Petri nets with unobservable transitions. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (ETFA, 2013)

A survey on efficient diagnosability tests for automata and bounded Petri nets. - Mona Noori Hosseini; Bengt Lennartson; Maria Paola Cabasino; Carla Seatzu (ETFA, 2013)

Benders/gossip methods for heterogeneous multi-vehicle routing problems. - Sarmad Riazi; Carla Seatzu; Oskar Wigström; Bengt Lennartson (ETFA, 2013)

On the use of IPA in performance optimization of continuous marked graphs: A case study. - Carla Seatzu; Yorai Wardi (ETFA, 2013)

Consensus of second-order multi-agent systems with time delays and slow switching topology. - Mehran Zareh; Carla Seatzu; Mauro Franceschelli (ICNSC, 2013)

Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking. - Maria Paola Cabasino; Carla Seatzu; Christoforos N. Hadjicostis (SMC, 2013)

Optimal sensor selection for ensuring diagnosability in labeled Petri nets. - Maria Paola Cabasino; Stéphane Lafortune; Carla Seatzu (Autom., 2013)

Decentralized estimation of Laplacian eigenvalues in multi-agent systems. - Mauro Franceschelli; Andrea Gasparri; Alessandro Giua; Carla Seatzu (Autom., 2013)

IPA for continuous stochastic marked graphs. - Yorai Wardi; Alessandro Giua; Carla Seatzu (Autom., 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)

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)

Initial marking estimation in labeled Petri nets in a probabilistic setting. - Maria Paola Cabasino; Christoforos N. Hadjicostis; Carla Seatzu (CDC, 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 (CDC, 2014)

Infinitesimal perturbation analysis of stochastic hybrid systems: Application to congestion management in traffic-light intersections. - Yorai Wardi; Carla Seatzu (CDC, 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 (CoDIT, 2014)

State feedback control of labeled Petri nets with uncertainty in the initial marking. - Maria Paola Cabasino; Christoforos N. Hadjicostis; Carla Seatzu (ETFA, 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 (ETFA, 2014)

A survey on state estimation using Petri nets. - Alessandro Giua; Carla Seatzu (ECC, 2014)

Optimization of intermodal rail-road freight transport terminals. - Mariagrazia Dotoli; Nicola Epicoco; Marco Falagario; Carla Seatzu; Biagio Turchiano (ICRA, 2014)

Fault Diagnosis of Discrete Event Systems Using Petri Nets. - Carla Seatzu (VECoS, 2014)

K-Diagnosability of Time Labeled Petri Nets. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (WODES, 2014)

Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems. - Carla Seatzu; Yorai Wardi (WODES, 2014)

Petrinetze und die Steuerung Ereignisdiskreter Systeme. - Alessandro Giua; Carla Seatzu (Inform. Spektrum, 2014)

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (IEEE Trans Autom. Sci. Eng., 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)

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)

Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (ADHS, 2015)

Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis. - Carla Seatzu; Yorai Wardi (ADHS, 2015)

Verification of current-state opacity using Petri nets. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (ACC, 2015)

A three-stage deadlock prevention strategy for S3PR nets. - ShouGuang Wang; Carla Seatzu; Lingyun Huang (CASE, 2015)

Verification of initial-state opacity in Petri nets. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (CDC, 2015)

Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. - ShouGuang Wang; Dan You; Carla Seatzu; Alessandro Giua (CDC, 2015)

An improved technique for train load planning at intermodal rail-road terminals. - Mariagrazia Dotoli; Nicola Epicoco; Carla Seatzu (ETFA, 2015)

Fast discrete consensus based on gossip for makespan minimization in networked systems. - Mauro Franceschelli; Alessandro Giua; Carla Seatzu (Autom., 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)

Consensus on the average in arbitrary directed network topologies with time-delays. - Mehran Zareh; Carla Seatzu; Mauro Franceschelli (CoRR, 2015)

Fault model identification and synthesis in Petri nets. - Maria Paola Cabasino; Alessandro Giua; Christoforos N. Hadjicostis; Carla Seatzu (Discret. Event Dyn. Syst., 2015)

Petri nets for the control of discrete event systems. - Alessandro Giua; Carla Seatzu (Softw. Syst. Model., 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)

Probabilistic Marking Estimation in Labeled Petri Nets. - Maria Paola Cabasino; Christoforos N. Hadjicostis; Carla Seatzu (IEEE Trans. Autom. Control., 2015)

Verification of language-based opacity in Petri nets using verifier. - Yin Tong; Ziyue Ma; ZhiWu Li 001; Carla Seatzu; Alessandro Giua (ACC, 2016)

K-detectability in discrete event systems. - Christoforos N. Hadjicostis; Carla Seatzu (CDC, 2016)

Codiagnosability verification of bounded Petri nets using basis markings. - Ning Ran; Hongye Su; Alessandro Giua; Carla Seatzu (CDC, 2016)

Resource planning of intermodal terminals using timed Petri nets. - Graziana Cavone; Mariagrazia Dotoli; Carla Seatzu (WODES, 2016)

Decentralized state estimation in discrete event systems under partially ordered observation sequences. - Christoforos N. Hadjicostis; Carla Seatzu (WODES, 2016)

Supervisory enforcement of current-state opacity with uncomparable observations. - Yin Tong; Ziyue Ma; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (WODES, 2016)

A new linear constraint transformation approach for Petri nets with uncontrollable transitions. - Dan You; ShouGuang Wang; Carla Seatzu (WODES, 2016)

Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets. - Graziana Cavone; Mariagrazia Dotoli; Carla Seatzu (IEEE Robotics Autom. Lett., 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)

Performance regulation and tracking via lookahead simulation: Preliminary results and validation. - Yorai Wardi; Carla Seatzu; Magnus Egerstedt; Ian Buckley (CDC, 2017)

Decentralized observability of discrete event systems with synchronizations. - Alessandro Giua; Cristian Mahulea; Carla Seatzu (Autom., 2017)

Decidability of opacity verification problems in labeled Petri net systems. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (Autom., 2017)

Performance regulation in discrete event and hybrid dynamical systems using IPA. - Yorai Wardi; Carla Seatzu (Eur. J. Control, 2017)

Advanced control in factory automation: a survey. - Mariagrazia Dotoli; Alexander Fay; Marek Miskowicz; Carla Seatzu (Int. J. Prod. Res., 2017)

Diagnosability Analysis of Labeled Time Petri Net Systems. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (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)

Verification of State-Based Opacity Using Petri Nets. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (IEEE Trans. Autom. Control., 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)

Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks. - Yorai Wardi; Carla Seatzu; Magnus Egerstedt (ADHS, 2018)

Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. - Engel Lefaucheux; Alessandro Giua; Carla Seatzu (Petri Nets, 2018)

A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty. - Graziana Cavone; Mariagrazia Dotoli; Nicola Epicoco; Davide Morelli; Carla Seatzu (CASE, 2018)

Diagnosability analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Carla Seatzu (ETFA, 2018)

Stealthy Attacks for Partially-Observed Discrete Event Systems. - Qi Zhang 063; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (ETFA, 2018)

Liveness Enforcement for a Class of Petri Nets via Resource Allocation. - Dan You; Shouguang Wang; Hao Dou; Wenli Duo; Kamel Barkaoui; Carla Seatzu (SMC, 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)

Current-state opacity enforcement in discrete event systems under incomparable observations. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (Discret. Event Dyn. Syst., 2018)

Codiagnosability Analysis of Bounded Petri Nets. - Ning Ran; Hongye Su; Alessandro Giua; Carla Seatzu (IEEE Trans. Autom. Control., 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)

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)

Dynamic Consensus on the Median Value in Open Multi-Agent Systems. - Zohreh Al Zahra Sanai Dashti; Carla Seatzu; Mauro Franceschelli (CDC, 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 (CoDIT, 2019)

Modeling, analysis, and control of automated manufacturing systems using Petri nets. - Carla Seatzu (ETFA, 2019)

Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles. - Shashwat Shivam; Ian Buckley; Yorai Wardi; Carla Seatzu; Magnus Egerstedt (ECC, 2019)

Multiple Attacks Detection on Discrete Event Systems. - Chao Gao; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (SMC, 2019)

Verification of Detectability in Petri Nets Using Verifier Nets. - Hao Lan; Yin Tong; Carla Seatzu; Jin Guo (CoRR, 2019)

Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems. - Qi Zhang 063; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (CoRR, 2019)

Verification of Detectability Using Petri Nets and Detector. - Hao Lan; Yin Tong; Jin Guo; Carla Seatzu (CoRR, 2019)

Verification of infinite-step and K-step opacity Using Petri Nets. - Hao Lan; Yin Tong; Jin Guo; Carla Seatzu (CoRR, 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)

Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. - Dan You; ShouGuang Wang; Carla Seatzu (Inf. Sci., 2019)

Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". - Zhou He 001; Zhiwu Li 001; Alessandro Giua; Francesco Basile; 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)

Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. - Dan You; ShouGuang Wang; Carla Seatzu (IEEE Trans. Autom. Control., 2019)

A region-based approach for state estimation of timed automata under no event observation. - Chao Gao; Dimitri Lefebvre; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (ETFA, 2020)

A framework for the analysis of supervised discrete event systems under attack. - Qi Zhang 063; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (CoRR, 2020)

Verification of C-detectability using Petri nets. - Hao Lan; Yin Tong; Jin Guo; Carla Seatzu (Inf. Sci., 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)

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)

State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations. - Yin Tong; Jiate Luo; Carla Seatzu (CDC, 2021)

Application of an Output Tracking Technique to Formation Control. - Yorai Wardi; Carla Seatzu; Shashwat Shivam (MED, 2021)

Joint State Estimation Under Attack of Discrete Event Systems. - Qi Zhang 063; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (IEEE Access, 2021)

Generalized Current-State Opacity With Dynamically Changing Secrets. - Dan You; Shouguang Wang; Carla Seatzu (CoRR, 2021)

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 (CDC, 2022)

Consistent reduction in discrete-event systems. - Kai Cai; Alessandro Giua; Carla Seatzu (Autom., 2022)

Verification of K-step and infinite-step opacity of bounded labeled Petri nets. - Yin Tong; Hao Lan; Carla Seatzu (Autom., 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)

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)

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)

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)

Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets. - Ning Ran; Jinyuan Hao; Carla Seatzu (IEEE Trans. Autom. Control., 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)

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)

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)

A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. - Dan You; Shouguang Wang; Carla Seatzu (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Fault Diagnosis of Discrete Event Systems Under Attack. - Tenglong Kang; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (CDC, 2023)

Logical and probabilistic aspects of state estimation for Markovian systems. - Dimitri Lefebvre; Carla Seatzu; Christoforos N. Hadjicostis; Alessandro Giua (CDC, 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 (CoDIT, 2023)

Verification of Current State Opacity using Switching Output Automata. - Tianyu Liu; Carla Seatzu; Alessandro Giua (CoDIT, 2023)

Codiagnosability Enforcement in Labeled Petri Nets. - Ning Ran; Tingting Li; Zhou He 001; Carla Seatzu (IEEE Trans. Autom. Control., 2023)

A Distributed Online Heuristic for a Large-scale Workforce Task Assignment and Multi-vehicle Routing Problem. - Diego Deplano; Carla Seatzu; Mauro Franceschelli (CASE, 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 (CASE, 2024)

Bisimulation non-interference analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Mauro Franceschelli; Carla Seatzu (CoDIT, 2024)

[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems. - Kuize Zhang; Xiaoguang Han 002; Alessandro Giua; Carla Seatzu (CoRR, 2024)

State estimation of timed automata under partial observation [Draft version]. - Chao Gao; Dimitri Lefebvre; Carla Seatzu; Zhi-Wu Li 001; Alessandro Giua (CoRR, 2024)

Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. - Ziyue Ma; Yin Tong; Carla Seatzu (IEEE Trans. Autom. Control., 2024)

Concealability Analysis for Current-State Opacity Enforcement via Editing Functions. - Kun Peng; Yufeng Chen 001; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2024)

Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph. - Ning Ran; Jingyao Nie; Aiwen Meng; Carla Seatzu (IEEE Trans. Autom. Control., 2024)

Actuator-Enabling Attacks in Discrete-event Systems with Unknown Supervisors. - Ziyue Ma; Alessandro Giua; Carla Seatzu (ACC, 2025)

A joint diagnoser approach for diagnosability of discrete event systems under attack. - Tenglong Kang; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (Autom., 2025)

State Estimation of Timed Automata Under Partial Observation. - Chao Gao; Dimitri Lefebvre; Carla Seatzu; Zhi Wu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2025)

Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]. - Omar Amri; Carla Seatzu; Alessandro Giua; Dimitri Lefebvre (CoRR, 2025)

State estimation of timed probabilistic discrete event systems via artificial neural networks. - Omar Amri; Carla Seatzu; Alessandro Giua; Dimitri Lefebvre (Discret. Event Dyn. Syst., 2025)

Resilient Supervisor Synthesis for Labeled Petri Nets Against Sensor Attacks. - Gang Xie; Yin Tong; Xiaomin Wang; Carla Seatzu (IEEE Trans. Autom. Control., 2025)