存在噪声时抵御传感器攻击的安全状态估计
最优化与控制
2016-11-17 v2 密码学与安全
信息论
系统与控制
math.IT
摘要
我们考虑在噪声线性动态系统中，当未知传感器子集被对手任意破坏时的状态估计问题。我们提出一种安全状态估计算法，并在给定受攻击传感器数量上限的情况下，推导出可达成状态估计误差的（最优）界。所提状态估计器涉及在传感器子集上运行的卡尔曼滤波器，以搜索对状态估计可靠的传感器子集。为了进一步改善子集搜索时间，我们提出基于可满足性模理论（Satisfiability Modulo Theory）的技术，以利用传感器子集搜索的组合性质。最后，作为独立感兴趣的结果，我们给出了无噪声动态系统中针对传感器攻击的检测与状态估计的编码理论视角。
引用
@article{arxiv.1510.02462,
title = {Secure State Estimation against Sensor Attacks in the Presence of Noise},
author = {Shaunak Mishra and Yasser Shoukry and Nikhil Karamchandani and Suhas Diggavi and Paulo Tabuada},
journal= {arXiv preprint arXiv:1510.02462},
year = {2016}
}
备注
Submitted to IEEE TCNS special issue on secure control of cyber physical systems. A preliminary version of this work appeared in the proceedings of ISIT 2015. arXiv admin note: text overlap with arXiv:1504.05566