GIUA, ALESSANDRO
GIUA, ALESSANDRO
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
A joint diagnoser approach for diagnosability of discrete event systems under attack
2025-01-01 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms
2025-01-01 Cui, Bohan; Giua, Alessandro; Yin, Xiang
Detectability notions for a class of finite labeled Markovian systems
2025-01-01 Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Distributed Tracking of Network Size, Diameter, Radius, and Node Eccentricities in Open Multi-Agent Systems
2025-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
State Estimation of Timed Automata Under Partial Observation
2025-01-01 Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
State estimation of timed probabilistic discrete event systems via artificial neural networks
2025-01-01 Amri, Omar; Seatzu, Carla; Giua, Alessandro; Lefebvre, Dimitri
Better late than never: on epistemic diagnosability of discrete event systems
2024-01-01 Cui, B.; Ma, Z.; Giua, A.; Yin, X.
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions
2024-01-01 Peng, Kun; Chen, Yufeng; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Observer Design for Timed Automata under No Observation
2024-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Resilient Networks for Multi-Agent Systems based on Graph Self-Organization into Random Approximate Regular Graphs
2024-01-01 Zhao, Wenjie; Deplano, Diego; Li, Zhiwu; Giua, Alessandro; Franceschelli, Mauro
Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks
2024-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
Stability of Paracontractive Open Multi-Agent Systems
2024-01-01 Deplano, D.; Franceschelli, M.; Giua, A.
Timed opacity verification for switching output automata
2024-01-01 Liu, T.; Seatzu, C.; Giua, A.
Cooperative Hoisting with Two Crawler Cranes under Rope-Velocity Constraints
2023-01-01 Cui, Chenhao; Giua, Alessandro; Pisano, Alessandro
Distributed Estimation of the Laplacian Spectrum via Wave Equation and Distributed Optimization
2023-01-01 Deplano, Diego; Congiu, Claudia; Giua, Alessandro; Franceschelli, Mauro
Dynamic min and max consensus and size estimation of anonymous multiagent networks
2023-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
Fault diagnosis of discrete event systems under attack
2023-01-01 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Fault Diagnosis of Timed Discrete Event Systems
2023-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Logical and probabilistic aspects of state estimation for Markovian systems
2023-01-01 Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
2023-01-01 Deplano, D.; Franceschelli, M.; Giua, A.