University of Cagliari
Alessandro Giua
Certification of autoencoder-based models for dynamical systems
2025-01-01 Ledda, Marco; Deplano, Diego; Giua, Alessandro; Franceschelli, Mauro
Virtual coupling train following control using high order control barrier functions
2025-01-01 Li, Yike; Tong, Yin; 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
Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms
2025-01-01 Cui, Bohan; Giua, Alessandro; Yin, Xiang
State estimation of timed automata under partial observation
2025-01-01 Gao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
A joint diagnoser approach for diagnosability of discrete event systems under attack
2025-01-01 Kang, Tenglong; 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
Detectability notions for a class of finite labeled Markovian systems
2025-01-01 Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Better late than never: on epistemic diagnosability of discrete event systems
2024-01-01 Cui, B.; Ma, Z.; Giua, A.; Yin, X.
Safe optimal train formation control in virtual coupling using control barrier functions
2024-01-01 Li, Yike; Tong, Yin; Giua, Alessandro
Stability of Paracontractive Open Multi-Agent Systems
2024-01-01 Deplano, D.; Franceschelli, M.; 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
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions
2024-01-01 Peng, Kun; Chen, Yufeng; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Timed opacity verification for switching output automata
2024-01-01 Liu, T.; Seatzu, C.; Giua, A.
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
Rumor Containment by Blocking Nodes in Social Networks
2023-01-01 Yang, L.; Ma, Z.; Li, Z.; Giua, A.
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
Distributed Estimation of the Laplacian Spectrum via Wave Equation and Distributed Optimization
2023-01-01 Deplano, Diego; Congiu, Claudia; Giua, Alessandro; Franceschelli, Mauro
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets
2023-01-01 Li, Y.; Tong, Y.; Demuro, M.; Giua, A.
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.
Dynamic min and max consensus and size estimation of anonymous multiagent networks
2023-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
Logical and probabilistic aspects of state estimation for Markovian systems
2023-01-01 Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Towards supervisory control theory in tactical environments: a stackelberg game approach
2023-01-01 Cui, Bohan; Giua, Alessandro; Yin, Xiang
Cooperative Hoisting with Two Crawler Cranes under Rope-Velocity Constraints
2023-01-01 Cui, Chenhao; Giua, Alessandro; Pisano, Alessandro
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
2023-01-01 Deplano, D.; Franceschelli, M.; Giua, A.
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems
2022-01-01 Cui, B.; Yin, X.; Li, S.; 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.
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
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
2022-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
Sensor and Actuator Attacks in Discrete Event Systems
2022-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Discrete-Time Dynamic Consensus on the Max Value
2022-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
2022-01-01 Lefebvre, DIMITRI JEAN EMMANUEL; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Dynamic max-consensus with local self-tuning
2022-01-01 Deplano, D; Franceschelli, M; Giua, A
Selection of a stealthy and harmful attack function in discrete event systems
2022-01-01 Zhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Design of supervisors for linear marking specifications in labeled Petri nets
2022-01-01 Ma, Z.; He, Z.; Li, Z.; Giua, A.
Consistent reduction in discrete-event systems
2022-01-01 Cai, K; Giua, A; Seatzu, C
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker
2022-01-01 Tong, Y; Wang, Yc; Giua, A
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs
2022-01-01 Gu, C; Ma, Zy; Li, Zw; Giua, A
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation
2021-01-01 He, Z.; Ma, Z.; Li, Z.; Giua, A.
Distributed tracking of graph parameters in anonymous networks with time-varying topology
2021-01-01 Deplano, D; Franceschelli, M; Giua, A
Diagnosability enforcement in labeled Petri nets using supervisory control
2021-01-01 Hu, Yihui; Ma, Ziyue.; Li, Zhiwu; Giua, A
Verification of detectability for unambiguous weighted automata
2021-01-01 Lai, A.; Lahaye, S.; Giua, A.
Joint state estimation under attack of discrete event systems
2021-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Distributed Fiedler Vector Estimation with Application to Desynchronization of Harmonic Oscillator Networks
2021-01-01 Deplano, D.; Franceschelli, M.; Giua, A.; Scardovi, L.
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
2020-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories
2020-01-01 Deplano, Diego; Franceschelli, Mauro; Ware, Simon; Rong, Su; Giua, Alessandro
Probabilistic verification of attack detection using logical observer
2020-01-01 Lefebvre, D.; Seatzu, C.; Hadjicostis, C. N.; Giua, A.
Icon legend
- files available
- files available on intranet
- files available for authorized users
- files available for administrators
- files under embargo
- no files available