Alessandro Giua
Università degli Studi di Cagliari
H-index: 56
Europe-Italy
Top articles of Alessandro Giua
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Distributed Estimation of the Laplacian Spectrum via Wave Equation and Distributed Optimization | IFAC-PapersOnLine | Diego Deplano Claudia Congiu Alessandro Giua Mauro Franceschelli | 2023/1/1 |
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach | Bohan Cui Alessandro Giua Xiang Yin | 2023/12/13 | |
Verification of Joint Current-State Opacity Using Petri Nets | IFAC-PapersOnLine | Wenjie Zhao Alessandro Giua Zhiwu Li | 2023/1/1 |
Cooperative Hoisting with Two Crawler Cranes under Rope-Velocity Constraints | Chenhao Cui Alessandro Giua Alessandro Pisano | 2023/8/16 | |
Fault Diagnosis of Timed Discrete Event Systems | IFAC-PapersOnLine | Chao Gao Dimitri Lefebvre Carla Seatzu Zhiwu Li Alessandro Giua | 2023/1/1 |
Verification of Current State Opacity using Switching Output Automata | Tianyu Liu Carla Seatzu Alessandro Giua | 2023/7/3 | |
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets | CEUR WORKSHOP PROCEEDINGS | Yike Li Yin Tong Marco Demuro Alessandro Giua | 2023 |
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks | IEEE Transactions on Automatic Control | Diego Deplano Mauro Franceschelli Alessandro Giua | 2023/2/17 |
Logical and probabilistic aspects of state estimation for Markovian systems | Dimitri Lefebvre Carla Seatzu Christoforos N Hadjicostis Alessandro Giua | 2023/12/13 | |
Rumor containment by blocking nodes in social networks | IEEE Transactions on Systems, Man, and Cybernetics: Systems | Lan Yang Ziyue Ma Zhiwu Li Alessandro Giua | 2023/2/2 |
Fault Diagnosis of Discrete Event Systems Under Attack | Tenglong Kang Carla Seatzu Zhiwu Li Alessandro Giua | 2023/12/13 | |
Sensor and Actuator Attacks in Discrete Event Systems | IFAC-PapersOnLine | Qi Zhang Carla Seatzu Zhiwu Li Alessandro Giua | 2022/1/1 |
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection | Discrete Event Dynamic Systems | Dimitri Lefebvre Carla Seatzu Christoforos N Hadjicostis Alessandro Giua | 2022/9 |
Dynamic max-consensus with local self-tuning | IFAC-PapersOnLine | D Deplano M Franceschelli A Giua | 2022/1/1 |
Consistent reduction in discrete-event systems | Automatica | Kai Cai Alessandro Giua Carla Seatzu | 2022/8/1 |
A polynomial approach to verifying the existence of a threatening sensor attacker | IEEE Control Systems Letters | Yin Tong Yucheng Wang Alessandro Giua | 2022/3/30 |
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems | IFAC-PapersOnLine | Bohan Cui Xiang Yin Shaoyuan Li Alessandro Giua | 2022/1/1 |
Design of supervisors for linear marking specifications in labeled petri nets | Automatica | Ziyue Ma Zhou He Zhiwu Li Alessandro Giua | 2022/2/1 |
Verification of nonblockingness in bounded Petri nets with min-max basis reachability graphs | IEEE Transactions on Systems, Man, and Cybernetics: Systems | Chao Gu Ziyue Ma Zhiwu Li Alessandro Giua | 2022/1/10 |
Selection of a stealthy and harmful attack function in discrete event systems | Scientific Reports | Qi Zhang Carla Seatzu Zhiwu Li Alessandro Giua | 2022/9/29 |