Alessandro Giua

281 papers A* 3B 11C 31Misc 1Journal 131Unranked 94
YearRankTypeTitle / Venue / Authors
2026 J jnl
Distributed Tracking of Network Size, Diameter, Radius, and Node Eccentricities in Open Multiagent Systems.
IEEE Trans. Autom. Control.
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2025 J jnl
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents.
CoRR
Bohan Cui, Xinyi Yu, Alessandro Giua, Xiang Yin
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
Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms.
IEEE Control. Syst. Lett.
Bohan Cui, Alessandro Giua, Xiang Yin
2025 — conf
Certification of Autoencoder-based Models for Dynamical Systems.
CDC
Marco Ledda, Diego Deplano, Alessandro Giua, Mauro Franceschelli
2025 C conf
Cooperative Hoisting with Dual Crawler Cranes under Motion Constraints.
CoDIT
Chenhao Cui, Alessandro Giua, Alessandro Pisano
2025 B conf
Cyber-Attacks Detection in Timed Probabilistic DESs via Artificial Neural Networks.
SMC
Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre
2025 — conf
Model Predictive Supervisory Control of Discrete Event Systems.
CCTA
Francesco Basile, Alessandro Giua, Giuseppe Marcone
2025 J jnl
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis.
CoRR
Bohan Cui, Yu Chen, Alessandro Giua, Xiang Yin
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
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
Virtual Coupling Train Following Control Using High Order Control Barrier Functions.
ITSC
Yike Li, Yin Tong, Alessandro Giua
2025 — conf
Weakly Harmful Actuator-Enabling Attacks in Discrete-Event Systems with Unknown Supervisors.
CDC
Ziyue Ma, Alessandro Giua, Carla Seatzu
2024 J jnl
Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack.
CoRR
Wenjie Zhao, Diego Deplano, ZhiWu Li, Alessandro Giua, Mauro Franceschelli
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 — conf
Resilient Networks for Multi-Agent Systems based on Graph Self-Organization into Random Approximate Regular Graphs.
CASE
Wenjie Zhao, Diego Deplano, ZhiWu Li, Alessandro Giua, Mauro Franceschelli
2024 — conf
Safe Optimal Train Formation Control in Virtual Coupling Using Control Barrier Functions.
CASE
Yike Li, Yin Tong, Alessandro Giua
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
Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks.
IEEE Control. Syst. Lett.
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2024 — conf
Stability of Paracontractive Open Multi-Agent Systems.
CDC
Diego Deplano, Mauro Franceschelli, 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 — conf
Verification of strong detectability of labeled real-time automata - A concurrent-composition method.
CDC
Kuize Zhang, Alessandro Giua
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 — conf
Cooperative Hoisting with Two Crawler Cranes under Rope-Velocity Constraints.
CCTA
Chenhao Cui, Alessandro Giua, Alessandro Pisano
2023 J jnl
Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks.
IEEE Trans. Autom. Control.
Diego Deplano, Mauro Franceschelli, Alessandro Giua
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 J jnl
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks.
CoRR
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2023 J jnl
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks.
IEEE Trans. Autom. Control.
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2023 J jnl
Rumor Containment by Blocking Nodes in Social Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Lan Yang, Ziyue Ma, ZhiWu Li, Alessandro Giua
2023 — conf
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets.
ATAED/PN4TT@Petri Nets
Yike Li, Yin Tong, Marco Demuro, Alessandro Giua
2023 — conf
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.
CDC
Bohan Cui, Alessandro Giua, Xiang Yin
2023 C conf
Verification of Current State Opacity using Switching Output Automata.
CoDIT
Tianyu Liu, Carla Seatzu, Alessandro Giua
2022 J jnl
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker.
IEEE Control. Syst. Lett.
Yin Tong, Yucheng Wang, Alessandro Giua
2022 J jnl
A Sliding Mode Observer Design for the Average State Estimation in Large-Scale Systems.
IEEE Control. Syst. Lett.
Alessandro Pilloni, Diego Deplano, Alessandro Giua, Elio Usai
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
Design of supervisors for linear marking specifications in labeled Petri nets.
Autom.
Ziyue Ma, Zhou He, ZhiWu Li, Alessandro Giua
2022 J jnl
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs.
IEEE Control. Syst. Lett.
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
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
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs.
IEEE Trans. Syst. Man Cybern. Syst.
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2022 J jnl
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.
CoRR
Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua
2021 J jnl
Diagnosability enforcement in labeled Petri nets using supervisory control.
Autom.
Yihui Hu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks.
IEEE Control. Syst. Lett.
Diego Deplano, Mauro Franceschelli, Alessandro Giua, Luca Scardovi
2021 — conf
Distributed tracking of graph parameters in anonymous networks with time-varying topology.
CDC
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2021 J jnl
Joint State Estimation Under Attack of Discrete Event Systems.
IEEE Access
Qi Zhang, Carla Seatzu, ZhiWu Li, Alessandro Giua
2021 J jnl
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs.
CoRR
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.
IEEE CAA J. Autom. Sinica
Zhou He, Ziyue Ma, ZhiWu Li, Alessandro Giua
2021 J jnl
Verification of Detectability for Unambiguous Weighted Automata.
IEEE Trans. Autom. Control.
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2020 J jnl
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories.
IEEE Access
Diego Deplano, Mauro Franceschelli, Simon Ware, Rong Su, Alessandro Giua
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 J jnl
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems.
Autom.
Diego Deplano, Mauro Franceschelli, 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 — conf
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach.
CDC
Chao Gu, ZhiWu Li, Alessandro Giua
2020 J jnl
Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171].
Autom.
Hao Lan, Yin Tong, Jin Guo, Alessandro Giua
2020 J jnl
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming.
IEEE Trans. Autom. Control.
Ziyue Ma, Guanghui Zhu, ZhiWu Li, Alessandro Giua
2020 J jnl
Containment of rumor spread in complex social networks.
Inf. Sci.
Lan Yang, ZhiWu Li, Alessandro Giua
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
Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks.
CoRR
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2020 J jnl
Marking Estimation in a Class of Time Labeled Petri Nets.
IEEE Trans. Autom. Control.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2020 J jnl
On detectability of labeled Petri nets and finite automata.
Discret. Event Dyn. Syst.
Kuize Zhang, Alessandro Giua
2020 J jnl
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach.
CoRR
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2019 J jnl
A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems.
CoRR
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2019 C conf
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata.
CoDIT
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2019 J jnl
An improved approach for marking optimization of timed weighted marked graphs.
Discret. Event Dyn. Syst.
Zhou He, Miao Liu, Ziyue Ma, ZhiWu Li, Alessandro Giua
2019 J jnl
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets".
Discret. Event Dyn. Syst.
Changshun Wu, Isabel Demongodin, Alessandro Giua
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 J jnl
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection.
IEEE Trans. Autom. Control.
Ning Ran, Alessandro Giua, Carla Seatzu
2019 J jnl
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation.
IEEE Access
Wenjing Yang, Leonardo Brenner, Alessandro Giua
2019 J jnl
Influence minimization in linear threshold networks.
Autom.
Lan Yang, ZhiWu Li, Alessandro Giua
2019 — conf
K-delayed strong detectability of discrete-event systems.
CDC
Kuize Zhang, Alessandro Giua
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
Rumor Containment by Spreading Correct Information in Social Networks.
ACC
Lan Yang, ZhiWu Li, Alessandro Giua
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
State estimation of max-plus automata with unobservable events.
Autom.
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2019 — conf
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.
CDC
Chao Gu, Ziyue Ma, ZhiWu Li, Alessandro Giua
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 C conf
Computation of Activation Probabilities in the Independent Cascade Model.
CoDIT
Wenjing Yang, Leonardo Brenner, Alessandro Giua
2018 C conf
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets.
CoDIT
Changshun Wu, Isabel Demongodin, Alessandro Giua
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 J jnl
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems.
Discret. Event Dyn. Syst.
Christos G. Cassandras, Alessandro Giua
2018 J jnl
Guest editorial: special issue on performance analysis and optimization of discrete event systems.
Discret. Event Dyn. Syst.
Christos G. Cassandras, Alessandro Giua
2018 C conf
Influence Maximization by Link Activation in Social Networks.
ETFA
Wenjing Yang, Leonardo Brenner, Alessandro Giua
2018 — conf
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems.
CDC
Diego Deplano, Mauro Franceschelli, Alessandro Giua
2018 J jnl
On detectability of labeled Petri nets with inhibitor arcs.
CoRR
Kuize Zhang, Alessandro Giua
2018 J jnl
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics.
IEEE Trans. Autom. Control.
Zhou He, ZhiWu Li, Alessandro Giua
2018 J jnl
Petri nets and Automatic Control: A historical perspective.
Annu. Rev. Control.
Alessandro Giua, Manuel Silva Suárez
2018 C conf
Stealthy Attacks for Partially-Observed Discrete Event Systems.
ETFA
Qi Zhang, ZhiWu Li, Carla Seatzu, Alessandro Giua
2017 — conf
A heuristic algorithm to optimize execution time of multi-robot path.
ICCA
Diego Deplano, Simon Ware, Rong Su, Alessandro Giua
2017 J jnl
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Autom. Control.
Ziyue Ma, Yin Tong, ZhiWu Li, Alessandro Giua
2017 J jnl
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.
IEEE Trans. Autom. Control.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2017 — conf
Computation of admissible marking sets in weighted state machines by dynamic programming.
CDC
Ziyue Ma, ZhiWu Li, Alessandro Giua
2017 J jnl
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation.
IEEE Trans. Control. Syst. Technol.
Zhou He, ZhiWu Li, Alessandro Giua
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
Finite-Time Consensus on the Median Value With Robustness Properties.
IEEE Trans. Autom. Control.
Mauro Franceschelli, Alessandro Giua, Alessandro Pisano
2017 J jnl
Optimization of Deterministic Timed Weighted Marked Graphs.
IEEE Trans Autom. Sci. Eng.
Zhou He, ZhiWu Li, Alessandro Giua
2017 — conf
Optimization of deterministic timed weighted marked graphs.
CASE
Zhou He, ZhiWu Li, Alessandro Giua
2017 J jnl
Verification of State-Based Opacity Using Petri Nets.
IEEE Trans. Autom. Control.
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2016 — ed.
13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016
WODES
Christos G. Cassandras, Alessandro Giua, ZhiWu Li
2016 — conf
Codiagnosability verification of bounded Petri nets using basis markings.
CDC
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu
2016 — conf
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics.
CDC
Zhou He, ZhiWu Li, Alessandro Giua
2016 J jnl
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach.
IEEE Trans. Control. Syst. Technol.
Virginia Pilloni, Mauro Franceschelli, Luigi Atzori, Alessandro Giua
2016 C conf
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics.
CoDIT
Zhou He, ZhiWu Li, Isabel Demongodin, Alessandro Giua
2016 J jnl
On the Equivalence of Observation Structures for Petri Net Generators.
IEEE Trans. Autom. Control.
Yin Tong, ZhiWu Li, Alessandro Giua
2016 J jnl
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.
Autom.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2016 — conf
Supervisory enforcement of current-state opacity with uncomparable observations.
WODES
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
2016 J jnl
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets.
Discret. Event Dyn. Syst.
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, 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 C conf
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.
ACC
Ziyue Ma, ZhiWu Li, Alessandro Giua
2015 — conf
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.
CDC
Ziyue Ma, ZhiWu Li, Alessandro Giua
2015 J jnl
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101].
Autom.
Ziyue Ma, ZhiWu Li, Alessandro Giua
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
Cycle time optimization of deterministic timed weighted marked graphs.
CASE
Zhou He, ZhiWu Li, Alessandro Giua
2015 J jnl
Decentralized Supervision of Petri Nets With a Coordinator.
IEEE Trans. Syst. Man Cybern. Syst.
Jianhong Ye, ZhiWu Li, Alessandro Giua
2015 J jnl
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.
IEEE Trans. Autom. Control.
Ziyue Ma, ZhiWu Li, Alessandro Giua
2015 — ch.
Discrete Event Systems and Hybrid Systems, Connections Between.
Encyclopedia of Systems and Control
Alessandro Giua
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
Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs.
IEEE Trans. Autom. Control.
Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai
2015 J jnl
On the enforcement of a class of nonlinear constraints on Petri nets.
Autom.
Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Alessandro Giua
2015 J jnl
Petri nets for the control of discrete event systems.
Softw. Syst. Model.
Alessandro Giua, 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 — conf
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures.
WODES
Ziyue Ma, ZhiWu Li, 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 survey on state estimation using Petri nets.
ECC
Alessandro Giua, 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
Finite-time consensus on the median value by discontinuous control.
ACC
Mauro Franceschelli, Alessandro Giua, Alessandro Pisano
2014 — conf
Marking optimization of deterministic timed weighted marked graphs.
CASE
Zhou He, ZhiWu Li, Alessandro Giua
2014 — conf
Observation Equivalence of Petri Net Generators.
WODES
Yin Tong, ZhiWu Li, Alessandro Giua
2014 J jnl
Petrinetze und die Steuerung Ereignisdiskreter Systeme.
Inform. Spektrum
Alessandro Giua, Carla Seatzu
2014 J jnl
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications.
Discret. Event Dyn. Syst.
Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis
2014 J jnl
Testing Experiments on Synchronized Petri Nets.
IEEE Trans Autom. Sci. Eng.
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2014 — conf
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets.
WODES
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2013 — conf
A non-progressive model of innovation diffusion in social networks.
CDC
Daniele Rosa, Alessandro Giua
2013 — conf
Active diagnosis for a class of switched systems.
CDC
Jeremy Van Gorp, Alessandro Giua, Michael Defoort, Mohamed Djemai
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 — conf
Finite-time consensus with disturbance attenuation for directed switching network topologies by discontinuous local interactions.
CDC
Mauro Franceschelli, Alessandro Pilloni, Alessandro Pisano, Alessandro Giua, Elio Usai
2013 C conf
General observation structures for Petri nets.
ETFA
Yin Tong, ZhiWu Li, Alessandro Giua
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 J jnl
Leader-follower formation via complex Laplacian.
Autom.
Zhiyun Lin, Wei Ding, Gangfeng Yan, Changbin Yu, Alessandro Giua
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 C conf
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints.
ETFA
Ziyue Ma, ZhiWu Li, Alessandro Giua
2013 — ch.
Structural Analysis of Petri Nets.
Control of Discrete-Event Systems
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2013 — ch.
Supervisory Control of Petri Nets with Language Specifications.
Control of Discrete-Event Systems
Alessandro Giua
2013 J jnl
Testing experiments on synchronized Petri nets.
CoRR
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
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 — conf
A decentralized lifetime maximization algorithm for distributed applications in Wireless Sensor Networks.
ICC
Virginia Pilloni, Mauro Franceschelli, Luigi Atzori, Alessandro Giua
2012 J jnl
Decentralized Estimation of Laplacian Eigenvalues in Multi-Agent Systems
CoRR
Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu
2012 — conf
Finite-Time Consensus based Clock Synchronization by Discontinuous Control.
ADHS
Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai
2012 C conf
Robust common reference estimation and formation control for multi-agent systems.
ACC
Daniele Rosa, Mauro Franceschelli, Alessandro Giua
2012 J jnl
Special issue on recent trends in discrete event systems.
Discret. Event Dyn. Syst.
Jörg Raisch, Alessandro Giua, Thomas Moor, Stéphane Lafortune
2012 — conf
Stationary behavior of controlled generalized batches Petri nets.
WODES
Isabel Demongodin, Alessandro Giua
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
Consensus-based decentralized supervision of Petri nets.
CDC/ECC
Andrea Gasparri, Donato Di Paola, Alessandro Giua, Giovanni Ulivi, David Naso
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
Hybrid modeling and control of switching DC-DC converters via MLD systems.
CASE
Mohammad Hejri, Alessandro Giua
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
2011 B conf
State Estimation and Fault Detection Using Petri Nets.
Petri Nets
Alessandro Giua
2011 — conf
Synchronizing sequences on not strongly connected Petri nets.
SpringSim (TMS-DEVS)
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2011 — conf
Welcome message from the program chair.
CASE
Alessandro Giua
2010 — ed.
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010.
WODES
Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor
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 A* conf
Decentralized stabilization of heterogeneous linear multi-agent systems.
ICRA
Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Giovanni Ulivi
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 — conf
IPA for continuous Petri nets.
WODES
Alessandro Giua, Carla Seatzu, Yorai Wardi
2010 — conf
Linear programming techniques for analysis and control of batches Petri nets.
WODES
Isabel Demongodin, Alessandro Giua
2010 — conf
Observability and controllability verification in multi-agent systems through decentralized Laplacian spectrum estimation.
CDC
Mauro Franceschelli, Simone Martini, Magnus Egerstedt, Antonio Bicchi, Alessandro Giua
2009 — ed.
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009
ADHS
Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon
2009 — conf
Application of IPA to Fluid Petri Nets.
ADHS
Alessandro Giua, Carla Seatzu, Yorai Wardi
2009 C conf
Constrained invariant motions for networked multi-agent systems.
ACC
Mauro Franceschelli, Magnus Egerstedt, Alessandro Giua, Cristian Mahulea
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
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
Preface.
ADHS
Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon
2009 — conf
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems.
ADHS
Nicola Orani, Alessandro Pisano, Mauro Franceschelli, Alessandro Giua, Elio Usai
2009 J jnl
Special Issue on WODES'08.
Discret. Event Dyn. Syst.
Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar
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 C conf
Motion probes for fault detection and recovery in networked control systems.
ACC
Mauro Franceschelli, Magnus Egerstedt, Alessandro Giua
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
2008 — conf
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.
CDC
Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis
2007 — conf
A state estimation problem for timed continuous Petri nets.
CDC
Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
2007 J jnl
An Optimization Approach to Petri Net Monitor Design.
IEEE Trans. Autom. Control.
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
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 C conf
Stabilization of switched affine systems: An application to the buck-boost converter.
ACC
Daniele Corona, Jean Buisson, Bart De Schutter, Alessandro Giua
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
2006 — conf
Power management in iBSS wireless networks: selective awakening of doze stations.
CCNC
Nicola Aste, Luigi Atzori, Luca Sanna Randaccio, Alessandro Giua
2006 J jnl
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places.
Autom.
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
2005 J jnl
Control of Safe Ordinary Petri Nets Using Unfolding.
Discret. Event Dyn. Syst.
Alessandro Giua, Xiaolan Xie
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 J jnl
Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods".
IEEE Trans. Autom. Control.
Xiaolan Xie, Alessandro Giua
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
2004 J jnl
Optimal stationary behavior for a class of timed continuous Petri nets.
Autom.
Bruno Gaujal, Alessandro Giua
2004 J jnl
Synthesis and Control of Discrete Event Systems: B. Caillaud, Ph. Darondeau, L. Lavagno, X. Xie (Eds.); Kluwer Academic Publishers, Dordrecht, 2002, 238pp, EUR142.00, US$156.0, ISBN: 0-7923-7639-0.
Autom.
Alessandro Giua
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
Guest Editorial.
Discret. Event Dyn. Syst.
Alessandro Giua, Rein Smedinga, Michael Spathopoulos, Jan H. van Schuppen
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 J jnl
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems.
Discret. Event Dyn. Syst.
Xi-Ren Cao, Guy Cohen, Alessandro Giua, Walter Murray Wonham, Jan H. van Schuppen
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 J jnl
Guest Editorial.
Discret. Event Dyn. Syst.
Angela Di Febbraro, Alessandro Giua, Giuseppe Menga
2001 J jnl
Model reduction of finite-state machines by contraction.
IEEE Trans. Autom. Control.
Alessandro Giua
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
First-order hybrid Petri nets: a model for optimization and control.
IEEE Trans. Robotics Autom.
Fabio Balduzzi, Alessandro Giua, Giuseppe Menga
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
2000 — conf
Petri net monitor design with control and observation costs.
CDC
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
1999 J jnl
A Neural Network Diagnosis Approach for Analog Circuits.
Appl. Intell.
Alessandra Fanni, Alessandro Giua, Michele Marchesi, Augusto Montisci
1999 J jnl
Observer-controller design for cranes via Lyapunov equivalence.
Autom.
Alessandro Giua, Carla Seatzu, Giampaolo Usai
1999 A* conf
Optimal Control of Production Systems with Unreliable Machines and Finite Buffers.
ICRA
Fabio Balduzzi, Giuseppe Menga, Alessandro Giua
1999 J jnl
Petri Net Languages and Infinite Subsets of m.
J. Comput. Syst. Sci.
Stephane Gaubert, Alessandro Giua
1998 J jnl
An implicit gain-scheduling controller for cranes.
IEEE Trans. Control. Syst. Technol.
Giorgio Corriga, Alessandro Giua, Giampaolo Usai
1998 B conf
Decentralized volume control of open-channels using H
SMC
Carla Seatzu, Alessandro Giua, Giampaolo Usai
1998 J jnl
Discrete event representation of qualitative models using Petri nets.
IEEE Trans. Syst. Man Cybern. Part B
Alessandra Fanni, Alessandro Giua
1998 B conf
On the choice of suboptimal monitors for supervisory control of Petri nets.
SMC
Francesco Basile, Pasquale Chiacchio, Alessandro Giua
1998 B conf
Optimal speed allocation and sensitivity analysis of hybrid stochastic Petri nets.
SMC
Fabio Balduzzi, Giuseppe Menga, Alessandro Giua
1997 J jnl
A Survey of Petri Net Methods for Controlled Discrete Event Systems.
Discret. Event Dyn. Syst.
Lawrence E. Holloway, Bruce H. Krogh, Alessandro Giua
1996 J jnl
Deterministic weak-and-marked Petri net languages are regular.
IEEE Trans. Autom. Control.
Stéphane Gaubert, Alessandro Giua
1995 J jnl
Decidability and closure properties of weak Petri net languages in supervisory control.
IEEE Trans. Autom. Control.
Alessandro Giua, Frank DiCesare
1994 J jnl
Blocking and controllability of Petri nets in supervisory control.
IEEE Trans. Autom. Control.
Alessandro Giua, Frank DiCesare
1994 J jnl
Petri net structural analysis for supervisory control.
IEEE Trans. Robotics Autom.
Alessandro Giua, Frank DiCesare
1993 — conf
A Class of Petri Nets with a Convex Reachability Set.
ICRA (1)
Alessandro Giua, Frank DiCesare
1993 — conf
Neural Networks for Multiple Fault Diagnosis in Analog Circuits.
DFT
Alessandra Fanni, Alessandro Giua, Enrico Sandoli
1993 J jnl
Qualitative dynamic diagnosis of circuits.
Artif. Intell. Eng. Des. Anal. Manuf.
Alessandra Fanni, Paolo Diana, Alessandro Giua, Marco Perezzani
1988 Misc conf
Automated Diagnosis for Digital Circuits.
AIMSA
Alessandra Fanni, Alessandro Giua, M. G. Manca