2 papers
eess.SY2024
Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
Wenjie Zhao, Diego Deplano, Zhiwu Li +2
This paper studies the problem of increasing the connectivity of an ad-hoc peer-to-peer network subject to cyber-attacks targeting the agents in the network. The adopted strategy i…
cs.FL2023
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li
Opacity is a property that captures security concerns in cyber-physical systems and its verification plays a significant role. This paper investigates the verifications of K-step a…