IEEE Trans Cybern. 2018 Dec;48(12):3420-3431. doi: 10.1109/TCYB.2018.2825984. Epub 2018 Apr 26.
This paper is concerned with the problem of secure state reconstruction for cyber-physical systems (CPSs). CPSs are more vulnerable to the cyber world yet to attackers, who can attack any sensor of the considered systems and modify values of attacked sensors to be arbitrary ones. In the design process, both malicious attacks on sensors and unknown input are taken into consideration. First, a linear discrete-time state-space model is utilized to describe such systems, and then a sparse vector is adopted to model attacks. By collecting sensor measurements and using an iterative approach, a new model in descriptor form is obtained, which paves the way for estimating system states under an unknown input situation. Second, the problem of secure state estimation is transformed into an optimal version. A novel sliding-mode observer is proposed to estimate system states from collected sensor measurements corrupted by malicious attacks. In order to guarantee the estimations to be sparse, a projection operator is designed. Third, a projected sliding-mode observer-based estimation algorithm is developed to reconstruct system states, where an event-triggered scheme is integrated to save limited computational resource. In addition to propose such an algorithm, the effectiveness of both projection operator and sliding-mode observer is analyzed. Furthermore, the convergence of the proposed secure estimation algorithm is proved. Finally, some simulation results are given to demonstrate the effectiveness of the proposed algorithm.
本文针对网络物理系统(CPSs)的安全状态重构问题展开研究。CPS 更容易受到攻击者的网络攻击,攻击者可以攻击所考虑系统的任何传感器,并将受攻击传感器的值修改为任意值。在设计过程中,同时考虑了对传感器的恶意攻击和未知输入。首先,利用线性离散时间状态空间模型来描述这类系统,然后采用稀疏向量来对攻击进行建模。通过收集传感器测量值,并使用迭代方法,获得了一个新的描述符形式的模型,为在未知输入情况下估计系统状态铺平了道路。其次,将安全状态估计问题转化为最优问题。提出了一种新的滑模观测器,用于从受到恶意攻击的传感器测量值中估计系统状态。为了保证估计值是稀疏的,设计了一个投影算子。第三,提出了一种基于投影滑模观测器的估计算法,用于重构系统状态,其中集成了事件触发机制以节省有限的计算资源。除了提出这种算法之外,还分析了投影算子和滑模观测器的有效性。此外,还证明了所提出的安全估计算法的收敛性。最后,给出了一些仿真结果,以验证所提出算法的有效性。