Abstract:Set-based state estimation plays a vital role in the safety verification of dynamical systems, which becomes significantly challenging when the system's sensors are susceptible to cyber-attacks. Existing methods often impose limitations on the attacker's capabilities, restricting the number of attacked sensors to be strictly less than half of the total number of sensors. This paper proposes a Secure Set-Based State Estimation (S3E) algorithm that addresses this limitation. The S3E algorithm guarantees that the true system state is contained within the estimated set, provided the initialization set encompasses the true initial state and the system is redundantly observable from the set of uncompromised sensors. The algorithm gives the estimated set as a collection of constrained zonotopes, which can be employed as robust certificates for verifying whether the system adheres to safety constraints. Furthermore, we demonstrate that the estimated set remains unaffected by attack signals of sufficiently large and also establish sufficient conditions for attack detection, identification, and filtering. This compels the attacker to inject only stealthy signals of small magnitude to evade detection, thus preserving the accuracy of the estimated set. When a few number of sensors (less than half) can be compromised, we prove that the estimated set remains bounded by a contracting set that converges to a ball whose radius is solely determined by the noise magnitude and is independent of the attack signals. To address the computational complexity of the algorithm, we offer several strategies for complexity-performance trade-offs. The efficacy of the proposed algorithm is illustrated through its application to a three-story building model.

Set-membership multi-sensor secure fusion estimation against two-channel malicious attacks

Secure Fusion Estimation Against FDI Sensor Attacks in Cyber-Physical Systems

Secure Nonlinear Fusion Estimation for Cyber–physical Systems under FDI Attacks

Intermediate-Variable-Based Secure H∞ Fusion Estimation under Dual-Channel FDI Attacks.

Unity is Strength? Benchmarking the Robustness of Fusion-based 3D Object Detection Against Physical Sensor Attack

Distributed Fusion Estimation for Nonlinear Cyber-Physical Systems With Attacked Control Signals

Secure State Estimation with Asynchronous Measurements against Malicious Measurement-data and Time-stamp Manipulation

Secure Distributed Fusion Estimation under Double Layer Defense Architecture

Encryption-Based Attack Detection Scheme for Multi-Sensor Secure Fusion Estimation

Robust State Estimation Against Sparse Integrity Attacks

Fusion and detection for multi-sensor systems under false data injection attacks

Attack Detection and Secure State Estimation of Collectively Observable Cyber-Physical Systems Under False Data Injection Attacks

Secure Distributed Estimation over Wireless Sensor Networks under Attacks.

Secure estimation against non‐fixed channel attacks in cyber‐physical systems

Distributed Confidentiality Fusion Estimation Against Eavesdroppers

Secure Set-Based State Estimation for Linear Systems under Adversarial Attacks on Sensors

Distributed Consensus Estimation for Networked Multi-Sensor Systems under Hybrid Attacks and Missing Measurements

Centralized Fusion Estimation for Uncertain Multisensor System Based on LMI Method

Stealthy Attack Against Distributed State Estimation for Cyber‐Physical Systems

Security-Guaranteed Fuzzy Networked State Estimation for 2-D Systems with Multiple Sensor Arrays Subject to Deception Attacks

Secure State Estimation against Sparse Attacks on a Time-varying Set of Sensors