Reachability Analysis for Linear Discrete-Time Systems Under Stealthy Cyber Attacks

Hao Liu,Ben Niu,Jiahu Qin
DOI: https://doi.org/10.1109/tac.2021.3050549
IF: 6.549
2021-09-01
IEEE Transactions on Automatic Control
Abstract:In this article, the reachability analysis is investigated for the linear discrete-time systems in the presence of malicious cyber attacks. Moreover, the system disturbance and measurement noise are assumed to be unknown-but-bounded (UBB). Then, the attack model is built and a novel attack detector, which depends on the estimate residue is developed. Based on the stealthy cyber-attack set, reachability analysis is done, and the corresponding reachable set is computed. In order to reduce the computation burden, a recursive reachable set computation algorithm is proposed. Finally, an example is provided to illustrate the validity of main results.
automation & control systems,engineering, electrical & electronic
What problem does this paper attempt to address?