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.

Secure Detection Using Binary Sensors

Secure Estimation And Event-Triggered Control For Cyber-Physical Systems Based On Intermediate Estimator

SoK: A Minimalist Approach to Formalizing Analog Sensor Security.

Energy-Efficient Intrusion Detection with a Barrier of Probabilistic Sensors: Global and Local

Secure Detection: Efficiency Versus Security.

Multiple Attacks Detection in Cyber-Physical Systems Using Random Finite Set Theory.

Detection in Adversarial Environments

Binary Hypothesis Testing With Byzantine Sensors: Fundamental Tradeoff Between Security and Efficiency.

Resilient Detection in the Presence of Integrity Attacks

Optimal Attack Strategies Subject to Detection Constraints Against Cyber-Physical Systems

Secure state estimation via robust optimization for nonlinear cyber‐physical systems

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

Detection and Identification of Sparse Sensor Attacks in Cyber-Physical Systems With Side Information

Secure Detection: Performance Metric and Sensor Deployment Strategy

Detection of Hidden Attacks on Cyber-Physical Systems from Serial Magnitude and Sign Randomness Inconsistencies

Security against false data injection attack in cyber-physical systems

Security Analysis of Continuous-Time Cyber-Physical System Against Sensor Attacks

Fault Detection for Binary Sensors in Smart Home Environments

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

Detection against randomly occurring complex attacks on distributed state estimation

Secure Particle Filtering for Cyber-Physical Systems With Binary Sensors Under Multiple Attacks