Alessandro Giua

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 104

Top Venues

IEEE Trans. Autom. Control.

CDC

Autom.

Discret. Event Dyn. Syst.

Publications

Diego Deplano, Mauro Franceschelli, Alessandro Giua
Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks. IEEE Control. Syst. Lett. 8 (2024)
Wenjie Zhao, Diego Deplano, Zhiwu Li, Alessandro Giua, Mauro Franceschelli
Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack. CoRR (2024)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks. IEEE Trans. Autom. Control. 68 (1) (2023)
Chenhao Cui, Alessandro Giua, Alessandro Pisano
Cooperative Hoisting with Two Crawler Cranes under Rope-Velocity Constraints. CCTA (2023)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Logical and probabilistic aspects of state estimation for Markovian systems. CDC (2023)
Bohan Cui, Alessandro Giua, Xiang Yin
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach. CDC (2023)
Tianyu Liu, Carla Seatzu, Alessandro Giua
Verification of Current State Opacity using Switching Output Automata. CoDIT (2023)
Tenglong Kang, Carla Seatzu, Zhiwu Li, Alessandro Giua
Fault Diagnosis of Discrete Event Systems Under Attack. CDC (2023)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks. IEEE Trans. Autom. Control. 68 (12) (2023)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks. CoRR (2023)
Yike Li, Yin Tong, Marco Demuro, Alessandro Giua
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets. ATAED/PN4TT@Petri Nets (2023)
Lan Yang, Ziyue Ma, Zhiwu Li, Alessandro Giua
Rumor Containment by Blocking Nodes in Social Networks. IEEE Trans. Syst. Man Cybern. Syst. 53 (7) (2023)
Alessandro Pilloni, Diego Deplano, Alessandro Giua, Elio Usai
A Sliding Mode Observer Design for the Average State Estimation in Large-Scale Systems. IEEE Control. Syst. Lett. 6 (2022)
Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua
Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136 (2022)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. IEEE Control. Syst. Lett. 6 (2022)
Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. CoRR (2022)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32 (1) (2022)
Yin Tong, Yucheng Wang, Alessandro Giua
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker. IEEE Control. Syst. Lett. 6 (2022)
Kai Cai, Alessandro Giua, Carla Seatzu
Consistent reduction in discrete-event systems. Autom. 142 (2022)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32 (3) (2022)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs. IEEE Trans. Syst. Man Cybern. Syst. 52 (10) (2022)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
Verification of Detectability for Unambiguous Weighted Automata. IEEE Trans. Autom. Control. 66 (3) (2021)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
Distributed tracking of graph parameters in anonymous networks with time-varying topology. CDC (2021)
Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Diagnosability enforcement in labeled Petri nets using supervisory control. Autom. 131 (2021)
Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. IEEE CAA J. Autom. Sinica 8 (1) (2021)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. CoRR (2021)
Diego Deplano, Mauro Franceschelli, Alessandro Giua, Luca Scardovi
Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks. IEEE Control. Syst. Lett. 5 (2) (2021)
Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
Joint State Estimation Under Attack of Discrete Event Systems. IEEE Access 9 (2021)
Ziyue Ma, Guanghui Zhu, Zhiwu Li, Alessandro Giua
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming. IEEE Trans. Autom. Control. 65 (6) (2020)
Chao Gu, Zhiwu Li, Alessandro Giua
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach. CDC (2020)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems. Autom. 118 (2020)
Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
A framework for the analysis of supervised discrete event systems under attack. CoRR (2020)
Kuize Zhang, Alessandro Giua
On detectability of labeled Petri nets and finite automata. Discret. Event Dyn. Syst. 30 (3) (2020)
Hao Lan, Yin Tong, Jin Guo, Alessandro Giua
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. 122 (2020)
Alessandro Giua, Stéphane Lafortune, Carla Seatzu
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Trans. Autom. Control. 65 (7) (2020)
Diego Deplano, Mauro Franceschelli, Simon Ware, Rong Su, Alessandro Giua
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories. IEEE Access 8 (2020)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach. CoRR (2020)
Lan Yang, Zhiwu Li, Alessandro Giua
Containment of rumor spread in complex social networks. Inf. Sci. 506 (2020)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks. CoRR (2020)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Marking Estimation in a Class of Time Labeled Petri Nets. IEEE Trans. Autom. Control. 65 (2) (2020)
Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua
A region-based approach for state estimation of timed automata under no event observation. ETFA (2020)
Changshun Wu, Isabel Demongodin, Alessandro Giua
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets". Discret. Event Dyn. Syst. 29 (4) (2019)
Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua
Multiple Attacks Detection on Discrete Event Systems. SMC (2019)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
State estimation of max-plus automata with unobservable events. Autom. 105 (2019)
Kuize Zhang, Alessandro Giua
K-delayed strong detectability of discrete-event systems. CDC (2019)
Kai Cai, Alessandro Giua, Carla Seatzu
On Consistent Reduction in Discrete-Event Systems. CASE (2019)
Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". IEEE Trans. Autom. Control. 64 (12) (2019)
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. CDC (2019)
Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua
An improved approach for marking optimization of timed weighted marked graphs. Discret. Event Dyn. Syst. 29 (2) (2019)
Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems. CoRR (2019)
Lan Yang, Zhiwu Li, Alessandro Giua
Rumor Containment by Spreading Correct Information in Social Networks. ACC (2019)
Ning Ran, Alessandro Giua, Carla Seatzu
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection. IEEE Trans. Autom. Control. 64 (7) (2019)
Lan Yang, Zhiwu Li, Alessandro Giua
Influence minimization in linear threshold networks. Autom. 100 (2019)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems. CoRR (2019)
Wenjing Yang, Leonardo Brenner, Alessandro Giua
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation. IEEE Access 7 (2019)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. CoDIT (2019)
Changshun Wu, Isabel Demongodin, Alessandro Giua
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. CoDIT (2018)
Zhou He, Zhiwu Li, Alessandro Giua
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics. IEEE Trans. Autom. Control. 63 (8) (2018)
Wenjing Yang, Leonardo Brenner, Alessandro Giua
Influence Maximization by Link Activation in Social Networks. ETFA (2018)
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu
Codiagnosability Analysis of Bounded Petri Nets. IEEE Trans. Autom. Control. 63 (4) (2018)
Kuize Zhang, Alessandro Giua
On detectability of labeled Petri nets with inhibitor arcs. CoRR (2018)
Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua
Stealthy Attacks for Partially-Observed Discrete Event Systems. ETFA (2018)
Wenjing Yang, Leonardo Brenner, Alessandro Giua
Computation of Activation Probabilities in the Independent Cascade Model. CoDIT (2018)
Alessandro Giua, Manuel Silva Suárez
Petri nets and Automatic Control: A historical perspective. Annu. Rev. Control. 45 (2018)
Diego Deplano, Mauro Franceschelli, Alessandro Giua
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems. CDC (2018)
Christos G. Cassandras, Alessandro Giua
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems. Discret. Event Dyn. Syst. 28 (2) (2018)
Engel Lefaucheux, Alessandro Giua, Carla Seatzu
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets (2018)
Christos G. Cassandras, Alessandro Giua
Guest editorial: special issue on performance analysis and optimization of discrete event systems. Discret. Event Dyn. Syst. 28 (1) (2018)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Current-state opacity enforcement in discrete event systems under incomparable observations. Discret. Event Dyn. Syst. 28 (2) (2018)
Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Trans. Autom. Control. 62 (3) (2017)
Diego Deplano, Simon Ware, Rong Su, Alessandro Giua
A heuristic algorithm to optimize execution time of multi-robot path. ICCA (2017)
Zhou He, ZhiWu Li, Alessandro Giua
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation. IEEE Trans. Control. Syst. Technol. 25 (4) (2017)
Mauro Franceschelli, Alessandro Giua, Alessandro Pisano
Finite-Time Consensus on the Median Value With Robustness Properties. IEEE Trans. Autom. Control. 62 (4) (2017)
Alessandro Giua, Cristian Mahulea, Carla Seatzu
Decentralized observability of discrete event systems with synchronizations. Autom. 85 (2017)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80 (2017)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Computation of admissible marking sets in weighted state machines by dynamic programming. CDC (2017)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of State-Based Opacity Using Petri Nets. IEEE Trans. Autom. Control. 62 (6) (2017)
Zhou He, Zhiwu Li, Alessandro Giua
Optimization of deterministic timed weighted marked graphs. CASE (2017)
Zhou He, Zhiwu Li, Alessandro Giua
Optimization of Deterministic Timed Weighted Marked Graphs. IEEE Trans Autom. Sci. Eng. 14 (2) (2017)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Trans. Autom. Control. 62 (3) (2017)
Ziyue Ma, Zhiwu Li, Alessandro Giua
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. Autom. 74 (2016)
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu
Codiagnosability verification of bounded Petri nets using basis markings. CDC (2016)
Yin Tong, ZhiWu Li, Alessandro Giua
On the Equivalence of Observation Structures for Petri Net Generators. IEEE Trans. Autom. Control. 61 (9) (2016)
Zhou He, ZhiWu Li, Alessandro Giua
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics. CDC (2016)
Virginia Pilloni, Mauro Franceschelli, Luigi Atzori, Alessandro Giua
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach. IEEE Trans. Control. Syst. Technol. 24 (5) (2016)
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
Verification of language-based opacity in Petri nets using verifier. ACC (2016)
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. Discret. Event Dyn. Syst. 26 (1) (2016)
Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. CoDIT (2016)
Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua
Supervisory enforcement of current-state opacity with uncomparable observations. WODES (2016)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of current-state opacity using Petri nets. ACC (2015)
Mauro Franceschelli, Alessandro Giua, Carla Seatzu
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. ADHS (2015)
Ziyue Ma, ZhiWu Li, Alessandro Giua
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. ACC (2015)
Jianhong Ye, Zhiwu Li, Alessandro Giua
Decentralized Supervision of Petri Nets With a Coordinator. IEEE Trans. Syst. Man Cybern. Syst. 45 (6) (2015)
Zhou He, Zhiwu Li, Alessandro Giua
Cycle time optimization of deterministic timed weighted marked graphs. CASE (2015)
Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai
Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs. IEEE Trans. Autom. Control. 60 (4) (2015)
Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Alessandro Giua
On the enforcement of a class of nonlinear constraints on Petri nets. Autom. 55 (2015)
ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. CDC (2015)
Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu
Fault model identification and synthesis in Petri nets. Discret. Event Dyn. Syst. 25 (3) (2015)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of initial-state opacity in Petri nets. CDC (2015)
Alessandro Giua, Carla Seatzu
Petri nets for the control of discrete event systems. Softw. Syst. Model. 14 (2) (2015)

Alessandro Giua.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessandro Giua