GIUA, ALESSANDRO
GIUA, ALESSANDRO
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
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.
Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks
2024-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
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
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.
Rumor Containment by Blocking Nodes in Social Networks
2023-01-01 Yang, L.; Ma, Z.; Li, Z.; Giua, A.
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets
2023-01-01 Li, Y.; Tong, Y.; Demuro, M.; Giua, A.
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach
2023-01-01 Cui, Bohan; Giua, Alessandro; Yin, Xiang
Verification of Current State Opacity using Switching Output Automata
2023-01-01 Liu, T.; Seatzu, C.; Giua, A.
Verification of Joint Current-State Opacity Using Petri Nets
2023-01-01 Zhao, Wenjie; Giua, Alessandro; Li, Zhiwu
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker
2022-01-01 Tong, Y; Wang, Yc; Giua, A
A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems
2022-01-01 Pilloni, A.; Deplano, D.; Giua, A.; Usai, E.
Consistent reduction in discrete-event systems
2022-01-01 Cai, K; Giua, A; Seatzu, C
Corrections to Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
2022-01-01 Lefebvre, D; Seatzu, C; Hadjicostis, Cn; Giua, A