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.

Attack-Resilient,, andState Estimator

Attack-Resilient ℋ2, ℋ∩, and ℓ1 State Estimator

Attack-Resilient H2, H-infinity, and L1 State Estimator

Attack-Resilient $mathcal H_2$ , $mathcal H_infty$ , and $ell _1$ State Estimator

Towards a Unified Resilience Analysis: State Estimation against Integrity Attacks

Towards a Unified Resilience Analysis: State Estimation Against Integrity Attacks

Robust State Estimation Against Sparse Integrity Attacks

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

Convex Optimization Based State Estimation Against Sparse Integrity Attacks

Efficient Secure State Estimation Against Sparse Integrity Attack for System with Non-derogatory Dynamics

Efficient Secure State Estimation Against Sparse Integrity Attack for Regular Linear System

Complexity reduction for resilient state estimation of uniformly observable nonlinear systems

An Event-Based Stealthy Attack on Remote State Estimation

A class of stealthy attacks on remote state estimation with intermittent observation

Distributed Resilient State Estimation for Nonlinear Systems Against Sensor Attacks

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

Secure Distributed Dynamic State Estimation Against Sparse Integrity Attack via Distributed Convex Optimization

Optimal Stealthy Attack to Remote Estimator for Estimation Error Regulation.

Low Complexity Secure State Estimation Design for Linear System with Non-derogatory Dynamics

Resilient State Estimation for Nonlinear Discrete-Time Systems via Input and State Interval Observer Synthesis