Secure State Estimation of Cyber-Physical Systems via Gaussian Bernoulli Mixture Model

TL;DR

This paper introduces a Gaussian-Bernoulli estimator for cyber-physical systems that enhances sensor attack detection and state estimation, combining theoretical derivations with an efficient iterative algorithm, validated through comprehensive experiments.

Contribution

The paper proposes a novel Gaussian-Bernoulli estimator that transforms sensor attack detection into an optimal estimation problem, with closed-form solutions and an efficient iterative update method.

Findings

Significant improvement in detection performance over existing methods

Enhanced computational efficiency with the proposed iterative approach

Reduced estimation error demonstrated in experiments

Abstract

The implementation of cyber-physical systems in real-world applications is challenged by safety requirements in the presence of sensor threats. Most cyber-physical systems, especially multi-sensor systems, struggle to detect sensor attacks when the attack model is unknown. In this paper, we tackle this issue by proposing a Gaussian-Bernoulli Secure (GBS) estimator, which transforms the detection problem into an optimal estimation problem concerning the system state and observation indicators. It encompasses two theoretical sub-problems: sequential state estimation with partial observations and estimation updates with disordered new observations. Within the framework of Kalman filter, we derive closed-form solutions for these two problems. However, due to their computational inefficiency, we propose the iterative approach employing proximal gradient descent to update the estimation in less time. Finally, we conduct experiments from three perspectives: computational efficiency, detection performance, and estimation error. Our GBS estimator demonstrates significant improvements over other methods.