Carla Seatzu

228 papers A* 2B 11C 33Journal 97Unranked 79
YearRankTypeTitle / Venue / Authors
2026 J jnl
Allocation and Scheduling of Resource Allocation Systems via Variable Timed Petri Nets.
IEEE Trans Autom. Sci. Eng.
Weijie Shi, Jianbin Qiu, Shan Luo, Zhou He, Carla Seatzu
2026 J jnl
Guest Editorial: Special Issue on the 2024 IEEE International Conference on Automation Science and Engineering.
IEEE Trans Autom. Sci. Eng.
Carla Seatzu, Birgit Vogel-Heuser, Paolo Scarabaggio, Jingang Yi, Michael Yu Wang, Qianchuan Zhao
2025 — conf
A Gossip-Based Approach for Measurement Task Allocation and Routing in Multi-Robot Systems with Heterogeneous Sensing.
CASE
Hamza Chakraa, Diego Deplano, Carla Seatzu, Dimitri Lefebvre, Mauro Franceschelli
2025 J jnl
A joint diagnoser approach for diagnosability of discrete event systems under attack.
Autom.
Tenglong Kang, Carla Seatzu, ZhiWu Li, Alessandro Giua
2025 C conf
Actuator-Enabling Attacks in Discrete-event Systems with Unknown Supervisors.
ACC
Ziyue Ma, Alessandro Giua, Carla Seatzu
2025 J jnl
CASE 2024: Pioneering Innovations in Automation and Systems Engineering [Conference Highlights].
IEEE Robotics Autom. Mag.
Mariagrazia Dotoli, Yu Sun, Carla Seatzu, Paolo Scarabaggio
2025 B conf
Cyber-Attacks Detection in Timed Probabilistic DESs via Artificial Neural Networks.
SMC
Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre
2025 J jnl
Distributed Model Predictive Control for Real-Time Automatic Train Regulation of Metro Networks With Transfer Connections.
IEEE Trans Autom. Sci. Eng.
Yin Tong, Graziana Cavone, Jiate Luo, Carla Seatzu, Mariagrazia Dotoli
2025 J jnl
Non-interference analysis of bounded labeled Petri nets.
CoRR
Ning Ran, Zhengguang Wu, Shaokang Zhang, Zhou He, Carla Seatzu
2025 J jnl
Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version].
CoRR
Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre
2025 J jnl
Resilient Supervisor Synthesis for Labeled Petri Nets Against Sensor Attacks.
IEEE Trans. Autom. Control.
Gang Xie, Yin Tong, Xiaomin Wang, Carla Seatzu
2025 J jnl
State Estimation of Timed Automata Under Partial Observation.
IEEE Trans. Autom. Control.
Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhi Wu Li, Alessandro Giua
2025 J jnl
State estimation of timed probabilistic discrete event systems via artificial neural networks.
Discret. Event Dyn. Syst.
Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre
2025 C conf
Timed Fault Diagnosis in Switching Output Automata.
CoDIT
Tianyu Liu, Carla Seatzu, Alessandro Giua
2025 C conf
Verification of trajectory-dependent opacity properties via fault diagnosis.
CoDIT
Virginia Maria Alterio, Tianyu Liu, Carla Seatzu, Alessandro Giua
2025 — conf
Weakly Harmful Actuator-Enabling Attacks in Discrete-Event Systems with Unknown Supervisors.
CDC
Ziyue Ma, Alessandro Giua, Carla Seatzu
2024 — conf
A Distributed Online Heuristic for a Large-scale Workforce Task Assignment and Multi-vehicle Routing Problem.
CASE
Diego Deplano, Carla Seatzu, Mauro Franceschelli
2024 C conf
Bisimulation non-interference analysis of bounded Petri nets.
CoDIT
Ning Ran, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu
2024 J jnl
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions.
IEEE Trans. Autom. Control.
Kun Peng, Yufeng Chen, Carla Seatzu, ZhiWu Li, Alessandro Giua
2024 J jnl
Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph.
IEEE Trans. Autom. Control.
Ning Ran, Jingyao Nie, Aiwen Meng, Carla Seatzu
2024 — conf
Security-by-Design of Smart Water Supply Systems: a Switching Output Automaton-based Approach.
CASE
Tianyu Liu, Carla Seatzu, Federica Pascucci, Graziana Cavone, Alessandro Giua
2024 J jnl
State estimation of timed automata under partial observation [Draft version].
CoRR
Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhi-Wu Li, Alessandro Giua
2024 J jnl
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.
IEEE Trans. Autom. Control.
Ziyue Ma, Yin Tong, Carla Seatzu
2024 J jnl
[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems.
CoRR
Kuize Zhang, Xiaoguang Han, Alessandro Giua, Carla Seatzu
2023 J jnl
Codiagnosability Enforcement in Labeled Petri Nets.
IEEE Trans. Autom. Control.
Ning Ran, Tingting Li, Zhou He, Carla Seatzu
2023 C conf
Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread.
CoDIT
Diego Deplano, Mauro Franceschelli, Carla Seatzu
2023 — conf
Fault Diagnosis of Discrete Event Systems Under Attack.
CDC
Tenglong Kang, Carla Seatzu, ZhiWu Li, Alessandro Giua
2023 — conf
Logical and probabilistic aspects of state estimation for Markovian systems.
CDC
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
2023 C conf
Verification of Current State Opacity using Switching Output Automata.
CoDIT
Tianyu Liu, Carla Seatzu, Alessandro Giua
2022 J jnl
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.
IEEE Trans. Syst. Man Cybern. Syst.
Dan You, Shouguang Wang, Carla Seatzu
2022 J jnl
An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks.
IEEE Trans Autom. Sci. Eng.
Graziana Cavone, Ton J. J. van den Boom, Lex Blenkers, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter
2022 J jnl
Consistent reduction in discrete-event systems.
Autom.
Kai Cai, Alessandro Giua, Carla Seatzu
2022 J jnl
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst.
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
2022 J jnl
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions.
IEEE Trans Autom. Sci. Eng.
Hao Lan, Yin Tong, Carla Seatzu
2022 J jnl
Distributed Mode Computation in Open Multi-Agent Systems.
IEEE Control. Syst. Lett.
Zoreh Al Zahra Sanai Dashti, Gabriele Oliva, Carla Seatzu, Andrea Gasparri, Mauro Franceschelli
2022 J jnl
Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems.
IEEE Control. Syst. Lett.
Christoforos N. Hadjicostis, Stéphane Lafortune, Carla Seatzu
2022 J jnl
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst.
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
2022 J jnl
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets.
IEEE Trans. Autom. Control.
Ning Ran, Jinyuan Hao, Carla Seatzu
2022 — conf
Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs.
CDC
Zohreh Al Zahra Sanai Dashti, Diego Deplano, Carla Seatzu, Mauro Franceschelli
2022 J jnl
Supervisory Control of Petri Nets in the Presence of Replacement Attacks.
IEEE Trans. Autom. Control.
Dan You, Shouguang Wang, MengChu Zhou, Carla Seatzu
2022 J jnl
Verification of K-step and infinite-step opacity of bounded labeled Petri nets.
Autom.
Yin Tong, Hao Lan, Carla Seatzu
2021 — conf
Application of an Output Tracking Technique to Formation Control.
MED
Yorai Wardi, Carla Seatzu, Shashwat Shivam
2021 J jnl
Generalized Current-State Opacity With Dynamically Changing Secrets.
CoRR
Dan You, Shouguang Wang, Carla Seatzu
2021 J jnl
Joint State Estimation Under Attack of Discrete Event Systems.
IEEE Access
Qi Zhang, Carla Seatzu, ZhiWu Li, Alessandro Giua
2021 — conf
State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations.
CDC
Yin Tong, Jiate Luo, Carla Seatzu
2020 J jnl
A framework for the analysis of supervised discrete event systems under attack.
CoRR
Qi Zhang, Carla Seatzu, ZhiWu Li, Alessandro Giua
2020 C conf
A region-based approach for state estimation of timed automata under no event observation.
ETFA
Chao Gao, Dimitri Lefebvre, Carla Seatzu, ZhiWu Li, Alessandro Giua
2020 J jnl
Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis.
IEEE Trans Autom. Sci. Eng.
Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu
2020 J jnl
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.
IEEE Trans. Autom. Control.
Alessandro Giua, Stéphane Lafortune, Carla Seatzu
2020 J jnl
Verification of C-detectability using Petri nets.
Inf. Sci.
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2019 J jnl
An overview of current technologies and emerging trends in factory automation.
Int. J. Prod. Res.
Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu
2019 J jnl
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems.
CoRR
Qi Zhang, Carla Seatzu, ZhiWu Li, Alessandro Giua
2019 — conf
Dynamic Consensus on the Median Value in Open Multi-Agent Systems.
CDC
Zohreh Al Zahra Sanai Dashti, Carla Seatzu, Mauro Franceschelli
2019 J jnl
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection.
IEEE Trans. Autom. Control.
Ning Ran, Alessandro Giua, Carla Seatzu
2019 C conf
Modeling, analysis, and control of automated manufacturing systems using Petri nets.
ETFA
Carla Seatzu
2019 B conf
Multiple Attacks Detection on Discrete Event Systems.
SMC
Chao Gao, Carla Seatzu, ZhiWu Li, Alessandro Giua
2019 — conf
On Consistent Reduction in Discrete-Event Systems.
CASE
Kai Cai, Alessandro Giua, Carla Seatzu
2019 C conf
Railway disruption: a bi-level rescheduling algorithm.
CoDIT
Graziana Cavone, Lex Blenkers, Ton J. J. van den Boom, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter
2019 J jnl
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".
IEEE Trans. Autom. Control.
Zhou He, ZhiWu Li, Alessandro Giua, Francesco Basile, Carla Seatzu
2019 J jnl
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions.
Inf. Sci.
Dan You, Shouguang Wang, Carla Seatzu
2019 — conf
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles.
ECC
Shashwat Shivam, Ian Buckley, Yorai Wardi, Carla Seatzu, Magnus Egerstedt
2019 J jnl
Verification of C-detectability Using Petri Nets.
CoRR
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2019 J jnl
Verification of Detectability Using Petri Nets and Detector.
CoRR
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2019 J jnl
Verification of Detectability in Petri Nets Using Verifier Nets.
CoRR
Hao Lan, Yin Tong, Carla Seatzu, Jin Guo
2019 J jnl
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs.
IEEE Trans. Autom. Control.
Dan You, Shouguang Wang, Carla Seatzu
2019 J jnl
Verification of infinite-step and K-step opacity Using Petri Nets.
CoRR
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2018 — conf
A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty.
CASE
Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu
2018 J jnl
A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions.
IEEE Trans. Syst. Man Cybern. Syst.
Shouguang Wang, Dan You, Carla Seatzu
2018 J jnl
A Survey on Petri Net Models for Freight Logistics and Transportation Systems.
IEEE Trans. Intell. Transp. Syst.
Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu
2018 B conf
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.
Petri Nets
Engel Lefaucheux, Alessandro Giua, Carla Seatzu
2018 J jnl
Codiagnosability Analysis of Bounded Petri Nets.
IEEE Trans. Autom. Control.
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu
2018 J jnl
Current-state opacity enforcement in discrete event systems under incomparable observations.
Discret. Event Dyn. Syst.
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2018 C conf
Diagnosability analysis of bounded Petri nets.
ETFA
Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu
2018 B conf
Liveness Enforcement for a Class of Petri Nets via Resource Allocation.
SMC
Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu
2018 J jnl
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.
Simone Zanda, Paola Zuddas, Carla Seatzu
2018 C conf
Stealthy Attacks for Partially-Observed Discrete Event Systems.
ETFA
Qi Zhang, ZhiWu Li, Carla Seatzu, Alessandro Giua
2018 J jnl
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles.
CoRR
Shashwat Shivam, Ian Buckley, Yorai Wardi, Carla Seatzu, Magnus Egerstedt
2018 — conf
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks.
ADHS
Yorai Wardi, Carla Seatzu, Magnus Egerstedt
2017 J jnl
A Decision Support System for Optimizing Operations at Intermodal Railroad Terminals.
IEEE Trans. Syst. Man Cybern. Syst.
Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano
2017 J jnl
Advanced control in factory automation: a survey.
Int. J. Prod. Res.
Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu
2017 J jnl
Decentralized observability of discrete event systems with synchronizations.
Autom.
Alessandro Giua, Cristian Mahulea, Carla Seatzu
2017 J jnl
Decidability of opacity verification problems in labeled Petri net systems.
Autom.
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2017 J jnl
Diagnosability Analysis of Labeled Time Petri Net Systems.
IEEE Trans. Autom. Control.
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
2017 J jnl
Marking Observer in Labeled Petri Nets With Application to Supervisory Control.
IEEE Trans. Autom. Control.
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
2017 — conf
Performance regulation and tracking via lookahead simulation: Preliminary results and validation.
CDC
Yorai Wardi, Carla Seatzu, Magnus Egerstedt, Ian Buckley
2017 J jnl
Performance regulation in discrete event and hybrid dynamical systems using IPA.
Eur. J. Control
Yorai Wardi, Carla Seatzu
2017 J jnl
Verification of State-Based Opacity Using Petri Nets.
IEEE Trans. Autom. Control.
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2016 — conf
A new linear constraint transformation approach for Petri nets with uncontrollable transitions.
WODES
Dan You, Shouguang Wang, Carla Seatzu
2016 J jnl
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions.
IEEE Trans. Autom. Control.
Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu
2016 — conf
Codiagnosability verification of bounded Petri nets using basis markings.
CDC
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu
2016 — conf
Decentralized state estimation in discrete event systems under partially ordered observation sequences.
WODES
Christoforos N. Hadjicostis, Carla Seatzu
2016 — conf
K-detectability in discrete event systems.
CDC
Christoforos N. Hadjicostis, Carla Seatzu
2016 J jnl
Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets.
IEEE Robotics Autom. Lett.
Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu
2016 — conf
Resource planning of intermodal terminals using timed Petri nets.
WODES
Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu
2016 — conf
Supervisory enforcement of current-state opacity with uncomparable observations.
WODES
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
2016 C conf
Verification of language-based opacity in Petri nets using verifier.
ACC
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
2015 — conf
A three-stage deadlock prevention strategy for S
CASE
Shouguang Wang, Carla Seatzu, Lingyun Huang
2015 C conf
An improved technique for train load planning at intermodal rail-road terminals.
ETFA
Mariagrazia Dotoli, Nicola Epicoco, Carla Seatzu
2015 — conf
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning.
CDC
Shouguang Wang, Dan You, Carla Seatzu, Alessandro Giua
2015 — conf
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis.
ADHS
Carla Seatzu, Yorai Wardi
2015 J jnl
Consensus on the average in arbitrary directed network topologies with time-delays.
CoRR
Mehran Zareh, Carla Seatzu, Mauro Franceschelli
2015 — conf
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks.
ADHS
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2015 J jnl
Fast discrete consensus based on gossip for makespan minimization in networked systems.
Autom.
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2015 J jnl
Fault model identification and synthesis in Petri nets.
Discret. Event Dyn. Syst.
Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu
2015 J jnl
Petri nets for the control of discrete event systems.
Softw. Syst. Model.
Alessandro Giua, Carla Seatzu
2015 J jnl
Probabilistic Marking Estimation in Labeled Petri Nets.
IEEE Trans. Autom. Control.
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
2015 J jnl
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions.
IEEE Trans. Autom. Control.
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
2015 J jnl
Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions.
CoRR
Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu
2015 C conf
Verification of current-state opacity using Petri nets.
ACC
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2015 — conf
Verification of initial-state opacity in Petri nets.
CDC
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2014 J jnl
A Remark on the Decentralized Diagnosis of Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
2014 — conf
A consensus algorithm for common reference frame estimation in networked multi-agent systems.
CDC
Carlos López-Limón, Mauro Franceschelli, Carla Seatzu, Antonio Ramírez-Treviño
2014 — conf
A survey on state estimation using Petri nets.
ECC
Alessandro Giua, Carla Seatzu
2014 C conf
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology.
CoDIT
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu
2014 J jnl
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology.
CoRR
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu
2014 C conf
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange.
ETFA
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu
2014 J jnl
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange.
CoRR
Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu
2014 J jnl
Diagnosability of Discrete-Event Systems Using Labeled Petri Nets.
IEEE Trans Autom. Sci. Eng.
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2014 C conf
Fault Diagnosis of Discrete Event Systems Using Petri Nets.
VECoS
Carla Seatzu
2014 J jnl
Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation.
IEEE Trans Autom. Sci. Eng.
Christos G. Cassandras, Maria Pia Fanti, Christoforos N. Hadjicostis, Spyros A. Reveliotis, Carla Seatzu
2014 — conf
Infinitesimal perturbation analysis of stochastic hybrid systems: Application to congestion management in traffic-light intersections.
CDC
Yorai Wardi, Carla Seatzu
2014 — conf
Initial marking estimation in labeled Petri nets in a probabilistic setting.
CDC
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
2014 — conf
K-Diagnosability of Time Labeled Petri Nets.
WODES
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
2014 A* conf
Optimization of intermodal rail-road freight transport terminals.
ICRA
Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano
2014 — conf
Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems.
WODES
Carla Seatzu, Yorai Wardi
2014 J jnl
Petrinetze und die Steuerung Ereignisdiskreter Systeme.
Inform. Spektrum
Alessandro Giua, Carla Seatzu
2014 C conf
State feedback control of labeled Petri nets with uncertainty in the initial marking.
ETFA
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
2013 C conf
A survey on efficient diagnosability tests for automata and bounded Petri nets.
ETFA
Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu
2013 C conf
Benders/gossip methods for heterogeneous multi-vehicle routing problems.
ETFA
Sarmad Riazi, Carla Seatzu, Oskar Wigström, Bengt Lennartson
2013 — conf
Consensus of second-order multi-agent systems with time delays and slow switching topology.
ICNSC
Mehran Zareh, Carla Seatzu, Mauro Franceschelli
2013 — book
Control of Discrete-Event Systems
Carla Seatzu, Manuel Silva, Jan H. van Schuppen
2013 J jnl
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
2013 J jnl
Decentralized estimation of Laplacian eigenvalues in multi-agent systems.
Autom.
Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu
2013 J jnl
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events.
IEEE Trans. Syst. Man Cybern. Syst.
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2013 — ch.
Diagnosis of Petri Nets.
Control of Discrete-Event Systems
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2013 J jnl
IPA for continuous stochastic marked graphs.
Autom.
Yorai Wardi, Alessandro Giua, Carla Seatzu
2013 — ch.
Introduction to Petri Nets.
Control of Discrete-Event Systems
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2013 B conf
Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking.
SMC
Maria Paola Cabasino, Carla Seatzu, Christoforos N. Hadjicostis
2013 C conf
Marking estimation of Time Petri nets with unobservable transitions.
ETFA
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
2013 C conf
On the use of IPA in performance optimization of continuous marked graphs: A case study.
ETFA
Carla Seatzu, Yorai Wardi
2013 J jnl
Optimal sensor selection for ensuring diagnosability in labeled Petri nets.
Autom.
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu
2013 — ch.
Petri Nets with Time.
Control of Discrete-Event Systems
Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu
2013 — conf
Probabilistic marking estimation in labeled Petri nets.
CDC
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
2013 C ed.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013
ETFA
Carla Seatzu
2013 — ch.
Structural Analysis of Petri Nets.
Control of Discrete-Event Systems
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2012 — conf
A Gossip Algorithm for Heterogeneous Multi-Vehicle Routing Problems.
ADHS
Mauro Franceschelli, Daniele Rosa, Carla Seatzu, Francesco Bullo
2012 J jnl
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.
IEEE Trans. Autom. Control.
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu
2012 — conf
A comparison among tools for the diagnosability of discrete event systems.
CASE
Maria Paola Cabasino, Alessandro Giua, Laura Marcias, Carla Seatzu
2012 J jnl
Decentralized Estimation of Laplacian Eigenvalues in Multi-Agent Systems
CoRR
Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu
2012 J jnl
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez
2012 C conf
Marking estimation of fuzzy Petri nets.
ETFA
Maria Paola Cabasino, Mariagrazia Dotoli, Carla Seatzu
2012 — conf
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets.
WODES
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu
2011 — conf
A software platform for the integration of discrete event systems tools.
CASE
Maria Paola Cabasino, Luca Contini, Alessandro Giua, Carla Seatzu, Antonio Solinas
2011 — conf
Fault diagnosis of an ABS system using Petri nets.
CASE
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, Antonio Solinas, Katiuscia Zedda
2011 — conf
On decentralized observability of discrete event systems.
CDC/ECC
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu
2011 J jnl
Quantized consensus in Hamiltonian graphs.
Autom.
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2010 J jnl
A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks.
IEEE Trans. Autom. Control.
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2010 — conf
A new protocol for the decentralized diagnosis of labeled Petri nets.
WODES
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
2010 J jnl
Constrained optimal control: an application to semiactive suspension systems.
Int. J. Syst. Sci.
Tina Paschedag, Alessandro Giua, Carla Seatzu
2010 C conf
Decentralized diagnosis of Petri nets.
ACC
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
2010 — conf
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events.
CASE
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2010 J jnl
Fault detection for discrete event systems using Petri nets with unobservable transitions.
Autom.
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2010 B conf
Fault diagnosis of manufacturing systems using continuous Petri nets.
SMC
Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez
2010 — conf
IPA for continuous Petri nets.
WODES
Alessandro Giua, Carla Seatzu, Yorai Wardi
2009 — conf
Application of IPA to Fluid Petri Nets.
ADHS
Alessandro Giua, Carla Seatzu, Yorai Wardi
2009 — conf
Decentralized Laplacian eigenvalues estimation for networked multi-agent systems.
CDC
Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu
2009 — conf
Decentralized fault diagnosis for sensor networks.
CASE
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2009 — conf
Diagnosability analysis of unbounded Petri nets.
CDC
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu
2009 — conf
Diagnosability of bounded Petri nets.
CDC
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2009 — conf
Discrete Event Diagnosis using Petri Nets.
ICINCO-ICSO
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2009 — conf
Fault diagnoser design for untimed continuous Petri nets.
CCA/ISIC
Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez
2009 — conf
Hamiltonian quantized gossip.
CCA/ISIC
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2009 C conf
Load balancing over heterogeneous networks with gossip-based algorithms.
ACC
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2009 — conf
New results for fault detection of untimed continuous Petri nets.
CDC
Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez
2009 C conf
Observer design for untimed continuous Petri nets.
ACC
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva
2008 J jnl
DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems.
Discret. Event Dyn. Syst.
Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon
2008 B conf
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.
Petri Nets
Fausto Sessego, Alessandro Giua, Carla Seatzu
2008 — conf
Linear programming techniques for the identification of place/transition nets.
CDC
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2008 J jnl
Modeling and Supervisory Control of Railway Networks Using Petri Nets.
IEEE Trans Autom. Sci. Eng.
Alessandro Giua, Carla Seatzu
2008 J jnl
Optimal Model Predictive Control of Timed Continuous Petri Nets.
IEEE Trans. Autom. Control.
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
2008 B conf
Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS.
SMC
Alessandro Giua, Carla Seatzu, Fausto Sessego
2007 — conf
A state estimation problem for timed continuous Petri nets.
CDC
Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2007 — conf
Decentralized Supervisory Control of Petri Nets with Monitor Places.
CASE
Francesco Basile, Alessandro Giua, Carla Seatzu
2007 J jnl
Identification of Petri Nets from Knowledge of Their Language.
Discret. Event Dyn. Syst.
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2007 — conf
Load balancing on networks with gossip-based distributed ]algorithms.
CDC
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
2007 J jnl
Marking Estimation of Petri Nets With Silent Transitions.
IEEE Trans. Autom. Control.
Alessandro Giua, Carla Seatzu, Daniele Corona
2007 — conf
State Estimation of Petri Nets by Transformation.
CASE
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
2007 C conf
Supervisory Control of Petri Nets with Decentralized Monitor Places.
ACC
Francesco Basile, Alessandro Giua, Carla Seatzu
2006 — ed.
2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006
ADHS
Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon
2006 — conf
Identification of unbounded Petri nets from their coverability graph.
CDC
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2006 — conf
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.
ADHS
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva
2006 — conf
Optimal Control of Timed Continuous Petri Nets via Explicit MPC.
POSTA
Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva
2006 J jnl
Optimal control of continuous-time switched affine systems.
IEEE Trans. Autom. Control.
Carla Seatzu, Daniele Corona, Alessandro Giua, Alberto Bemporad
2005 C conf
Decentralized supervisory control of Petri nets with monitor places.
ETFA
Francesco Basile, Alessandro Giua, Carla Seatzu
2005 — conf
Fault detection for discrete event systems using Petri nets with unobservable transitions.
CDC/ECC
Alessandro Giua, Carla Seatzu
2005 — conf
Identification of free-labeled Petri nets via integer programming.
CDC/ECC
Alessandro Giua, Carla Seatzu
2005 — conf
Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints.
ISIC
Dmitry Gromov, Eckart Mayer, Jörg Raisch, Daniele Corona, Carla Seatzu, Alessandro Giua
2005 C conf
Quantized optimal control of discrete-time systems.
ETFA
Daniele Corona, Alessandro Giua, Carla Seatzu
2005 J jnl
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*.
Discret. Event Dyn. Syst.
Alessandro Giua, Daniele Corona, Carla Seatzu
2004 C conf
Design of a control law for a semiactive suspension system using a solenoid valve damper.
CCA
Alessandro Giua, Mauro Melas, Carla Seatzu
2004 — conf
Marking estimation of Petri nets with silent transitions.
CDC
Daniele Corona, Alessandro Giua, Carla Seatzu
2004 J jnl
Observer-based state-feedback control of timed Petri nets with deadlock recovery.
IEEE Trans. Autom. Control.
Alessandro Giua, Carla Seatzu, Francesco Basile
2004 — conf
Optimal feedback switching laws for autonomous hybrid automata.
ISIC
Daniele Corona, Alessandro Giua, Carla Seatzu
2003 B conf
A deadlock prevention method for railway networks using monitors for colored Petri nets.
SMC
Maria Pia Fanti, Alessandro Giua, Carla Seatzu
2003 C conf
Deadlock characterization for Petri nets control using GMEC's and observers.
ACC
Alessandro Giua, Carla Seatzu
2003 — conf
Design of a control law for a magneto-rheological suspension.
ECC
Alessandro Giua, Mauro Melas, Carla Seatzu
2003 B conf
Generalized mutual exclusion constraints and monitors for colored Petri nets.
SMC
Maria Pia Fanti, Alessandro Giua, Carla Seatzu
2003 C conf
Marking estimation of Petri nets based on partial observation.
ACC
Alessandro Giua, Jorge Júlvez, Carla Seatzu
2003 — conf
Observers for nondeterministic λ-free labeled Petri nets.
ETFA (1)
Daniele Corona, Alessandro Giua, Carla Seatzu, Jorge Júlvez
2003 — conf
Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata.
ADHS
Alberto Bemporad, Daniele Corona, Alessandro Giua, Carla Seatzu
2003 — conf
Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets.
POSTA
Roberta Armosini, Alessandro Giua, Maria Teresa Pilloni, Carla Seatzu
2002 J jnl
Firing rate optimization of cyclic timed event graphs by token allocations.
Autom.
Alessandro Giua, Aldo Piccaluga, Carla Seatzu
2002 J jnl
Observability of place/transition nets.
IEEE Trans. Autom. Control.
Alessandro Giua, Carla Seatzu
2002 — conf
Petri net control using event observers and timing information.
CDC
Alessandro Giua, Carla Seatzu, Francesco Basile
2002 — conf
Synthesis of state-feedback optimal controllers for continuous-time switched linear systems.
CDC
Alberto Bemporad, Raymond Giua, Carla Seatzu
2001 — conf
Deadlock recovery of Petri net models controlled using observers.
ETFA (2)
Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu
2001 J jnl
Decidability results in First-Order Hybrid Petri Nets.
Discret. Event Dyn. Syst.
Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu
2001 — conf
Optimal control of switched autonomous linear systems.
CDC
Alessandro Giua, Carla Seatzu, Cornelis Van der Mee
2001 — conf
Semiactive suspension design taking into account the actuator delay.
CDC
Manuela Ebau, Alessandro Giua, Carla Seatzu, Giampaolo Usai
2001 — conf
Supervisory control of railway networks with Petri nets.
CDC
Alessandro Giua, Carla Seatzu
2001 — conf
The observer coverability graph for the analysis of observability properties of Place/Transition nets.
ECC
Alessandro Giua, Carla Seatzu
2000 — conf
Active axletree suspension for road vehicles with gain-switching.
CDC
Alessandro Giua, Carla Seatzu, Giampaolo Usai
2000 J jnl
Design of decentralized constant-volume controllers for open-channels by solving a least squares problem.
Int. J. Syst. Sci.
Carla Seatzu
2000 A* conf
Incremental Optimization of Cyclic Timed Event Graphs.
ICRA
Alessandro Giua, Aldo Piccaluga, Carla Seatzu
2000 — conf
Observability properties of Petri nets.
CDC
Alessandro Giua, Carla Seatzu
1999 J jnl
Observer-controller design for cranes via Lyapunov equivalence.
Autom.
Alessandro Giua, Carla Seatzu, Giampaolo Usai
1999 — conf
Robust PI decentralized control law for open-channel hydraulic systems.
ECC
Carla Seatzu
1998 B conf
Decentralized volume control of open-channels using H
SMC
Carla Seatzu, Alessandro Giua, Giampaolo Usai