Alessandro Giua
Orcid: 0000-0002-3859-9472
According to our database1,
Alessandro Giua
authored at least 249 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2017, "For contributions to discrete event and hybrid systems".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Autom. Control., October, 2024
Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks.
IEEE Control. Syst. Lett., 2024
CoRR, 2024
[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems.
CoRR, 2024
CoRR, 2024
Resilient Networks for Multi-Agent Systems based on Graph Self-Organization into Random Approximate Regular Graphs.
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024
Security-by-Design of Smart Water Supply Systems: a Switching Output Automaton-based Approach.
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024
Safe Optimal Train Formation Control in Virtual Coupling Using Control Barrier Functions.
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024
2023
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks.
IEEE Trans. Autom. Control., December, 2023
IEEE Trans. Syst. Man Cybern. Syst., July, 2023
IEEE Trans. Autom. Control., 2023
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks.
CoRR, 2023
Proceedings of the 9th International Conference on Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the IEEE Conference on Control Technology and Applications, 2023
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023
2022
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs.
IEEE Trans. Syst. Man Cybern. Syst., 2022
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022
IEEE Control. Syst. Lett., 2022
A Sliding Mode Observer Design for the Average State Estimation in Large-Scale Systems.
IEEE Control. Syst. Lett., 2022
IEEE Control. Syst. Lett., 2022
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.
CoRR, 2022
Autom., 2022
2021
IEEE Trans. Autom. Control., 2021
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.
IEEE CAA J. Autom. Sinica, 2021
Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks.
IEEE Control. Syst. Lett., 2021
Autom., 2021
Distributed tracking of graph parameters in anonymous networks with time-varying topology.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming.
IEEE Trans. Autom. Control., 2020
IEEE Trans. Autom. Control., 2020
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.
IEEE Trans. Autom. Control., 2020
Discret. Event Dyn. Syst., 2020
CoRR, 2020
CoRR, 2020
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach.
CoRR, 2020
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., 2020
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems.
Autom., 2020
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories.
IEEE Access, 2020
A region-based approach for state estimation of timed automata under no event observation.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
IEEE Trans. Autom. Control., 2019
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".
IEEE Trans. Autom. Control., 2019
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets".
Discret. Event Dyn. Syst., 2019
Discret. Event Dyn. Syst., 2019
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems.
CoRR, 2019
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation.
IEEE Access, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 6th International Conference on Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics.
IEEE Trans. Autom. Control., 2018
Current-state opacity enforcement in discrete event systems under incomparable observations.
Discret. Event Dyn. Syst., 2018
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems.
Discret. Event Dyn. Syst., 2018
Guest editorial: special issue on performance analysis and optimization of discrete event systems.
Discret. Event Dyn. Syst., 2018
Annu. Rev. Control., 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Proceedings of the 5th International Conference on Control, 2018
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets.
Proceedings of the 5th International Conference on Control, 2018
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation.
IEEE Trans. Control. Syst. Technol., 2017
IEEE Trans Autom. Sci. Eng., 2017
IEEE Trans. Autom. Control., 2017
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Autom. Control., 2017
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.
IEEE Trans. Autom. Control., 2017
IEEE Trans. Autom. Control., 2017
Autom., 2017
Autom., 2017
Proceedings of the 13th IEEE International Conference on Control & Automation, 2017
Computation of admissible marking sets in weighted state machines by dynamic programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach.
IEEE Trans. Control. Syst. Technol., 2016
IEEE Trans. Autom. Control., 2016
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets.
Discret. Event Dyn. Syst., 2016
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.
Autom., 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics.
Proceedings of the International Conference on Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 2016 American Control Conference, 2016
2015
Proceedings of the Encyclopedia of Systems and Control, 2015
IEEE Trans. Syst. Man Cybern. Syst., 2015
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.
IEEE Trans. Autom. Control., 2015
Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs.
IEEE Trans. Autom. Control., 2015
Discret. Event Dyn. Syst., 2015
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101].
Autom., 2015
Fast discrete consensus based on gossip for makespan minimization in networked systems.
Autom., 2015
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
Proceedings of the American Control Conference, 2015
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.
Proceedings of the American Control Conference, 2015
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
IEEE Trans Autom. Sci. Eng., 2014
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications.
Discret. Event Dyn. Syst., 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the 13th European Control Conference, 2014
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014
Proceedings of the American Control Conference, 2014
2013
IEEE Trans. Syst. Man Cybern. Syst., 2013
IEEE Trans. Syst. Man Cybern. Syst., 2013
Autom., 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Finite-time consensus with disturbance attenuation for directed switching network topologies by discontinuous local interactions.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
2012
IEEE Trans. Autom. Control., 2012
Discret. Event Dyn. Syst., 2012
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
A decentralized lifetime maximization algorithm for distributed applications in Wireless Sensor Networks.
Proceedings of IEEE International Conference on Communications, 2012
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012
Proceedings of the American Control Conference, 2012
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
2010
IEEE Trans. Autom. Control., 2010
Int. J. Syst. Sci., 2010
Fault detection for discrete event systems using Petri nets with unobservable transitions.
Autom., 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
Observability and controllability verification in multi-agent systems through decentralized Laplacian spectrum estimation.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010
Proceedings of the American Control Conference, 2010
2009
Discrete Event Diagnosis using Petri Nets.
Proceedings of the ICINCO 2009, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
Proceedings of the American Control Conference, 2009
Proceedings of the American Control Conference, 2009
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
Proceedings of the IEEE International Conference on Control Applications, 2009
2008
IEEE Trans Autom. Sci. Eng., 2008
IEEE Trans. Autom. Control., 2008
Discret. Event Dyn. Syst., 2008
Proceedings of the IEEE International Conference on Systems, 2008
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
Proceedings of the American Control Conference, 2008
2007
IEEE Trans. Autom. Control., 2007
IEEE Trans. Autom. Control., 2007
Discret. Event Dyn. Syst., 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007
Stabilization of switched affine systems: An application to the buck-boost converter.
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
2006
IEEE Trans. Autom. Control., 2006
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places.
Autom., 2006
Proceedings of the Positive Systems, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006
2005
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*.
Discret. Event Dyn. Syst., 2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Fault detection for discrete event systems using Petri nets with unobservable transitions.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints.
Proceedings of the Intelligent Control, 2005
2004
Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods".
IEEE Trans. Autom. Control., 2004
IEEE Trans. Autom. Control., 2004
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., 2004
Proceedings of the Intelligent Control, 2004
2003
A deadlock prevention method for railway networks using monitors for colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the Positive Systems, 2003
Proceedings of the 7th European Control Conference, 2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Proceedings of the American Control Conference, 2003
Proceedings of the American Control Conference, 2003
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003
2002
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems.
Discret. Event Dyn. Syst., 2002
Autom., 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
IEEE Trans. Autom. Control., 2001
Discret. Event Dyn. Syst., 2001
The observer coverability graph for the analysis of observability properties of Place/Transition nets.
Proceedings of the 6th European Control Conference, 2001
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
IEEE Trans. Robotics Autom., 2000
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
1999
Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999
1998
IEEE Trans. Syst. Man Cybern. Part B, 1998
IEEE Trans. Control. Syst. Technol., 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
Discret. Event Dyn. Syst., 1997
1996
IEEE Trans. Autom. Control., 1996
1995
Decidability and closure properties of weak Petri net languages in supervisory control.
IEEE Trans. Autom. Control., 1995
1994
IEEE Trans. Robotics Autom., 1994
IEEE Trans. Autom. Control., 1994
1993
Artif. Intell. Eng. Des. Anal. Manuf., 1993
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993
Neural Networks for Multiple Fault Diagnosis in Analog Circuits.
Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993
1988
Automated Diagnosis for Digital Circuits.
Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988