交叉口(航空)
信息物理系统
可达性
计算机科学
重放攻击
集合(抽象数据类型)
缩小
国家(计算机科学)
算法
有界函数
投影(关系代数)
实时计算
数学
计算机安全
工程类
散列函数
数学分析
程序设计语言
航空航天工程
操作系统
作者
Jitao Li,Zhenhua Wang,Yi Shen,Lihua Xie
出处
期刊:IEEE Transactions on Automatic Control
[Institute of Electrical and Electronics Engineers]
日期:2023-11-01
卷期号:68 (11): 6828-6835
被引量:16
标识
DOI:10.1109/tac.2023.3240383
摘要
This article studies the problem of sensor attack detection for a class of cyber-physical systems with bounded perturbations. A novel attack detection method is proposed based on zonotopic reachability analysis. A false data injection attack is detected if there is no intersection between the predicted state set and the measurement state set. These sets are online calculated via zonotopic segments minimization. Two approaches, namely, projection and polytopic conversion, are presented to check the intersection situation. The detection performance is quantified using a stealthy attack set and the corresponding state estimation error set. Further, we consider replay attacks. To detect a replay attack, a watermark signal-based active detection mechanism is introduced. Numerical simulations are conducted to demonstrate the validity of the proposed method.
科研通智能强力驱动
Strongly Powered by AbleSci AI