Securing state reconstruction under sensor and actuator attacks: theory and design
From MaRDI portal
Publication:1987261
Abstract: This paper discusses the problem of estimating the state of a linear time-invariant system when some of its sensors and actuators are compromised by an adversarial agent. In the model considered in this paper, the malicious agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary. In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructing the state despite the considered attacks. In the second half of this work, we propose an estimator to harness the complexity of this intrinsically combinatorial problem, by leveraging satisfiability modulo theory solving. Numerical simulations demonstrate the effectiveness and scalability of our estimator.
Recommendations
- On the computational complexity of the secure state-reconstruction problem
- Secure Luenberger-like observers for cyber-physical systems under sparse actuator and sensor attacks
- Linear system security -- detection and correction of adversarial sensor attacks in the noise-free case
- Malicious adversaries against secure state estimation: Sparse sensor attack design
- Disturbance decoupled secure state estimation: an orthogonal projection-based method
Cites work
- A Jamming-Resilient Algorithm for Self-Triggered Network Coordination
- Attack Detection and Identification in Cyber-Physical Systems
- Covert Misappropriation of Networked Control Systems: Presenting a Feedback Structure
- Data-injection attacks in stochastic control systems: detectability and performance tradeoffs
- Event-Triggered State Observers for Sparse Sensor Noise/Attacks
- Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
- Input-to-State Stabilizing Control Under Denial-of-Service
- On Kalman Filtering with Compromised Sensors: Attack Stealthiness and Performance Bounds
- On the Performance Analysis of Resilient Networked Control Systems Under Replay Attacks
- On the Performance Degradation of Cyber-Physical Systems Under Stealthy Integrity Attacks
- Partial uniqueness: Observability and input identifiability
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
- Secure State Estimation Against Sensor Attacks in the Presence of Noise
- Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
- Strong detectability and observers
Cited in
(25)- Linear system security -- detection and correction of adversarial sensor attacks in the noise-free case
- Resilient state estimation for control systems using multiple observers and median operation
- On the computational complexity of the secure state-reconstruction problem
- Stealthy attacks and attack-resilient interval observers
- Disturbance decoupled secure state estimation: an orthogonal projection-based method
- Sliding mode-based adaptive resilient control for Markovian jump cyber-physical systems in face of simultaneous actuator and sensor attacks
- A multi-observer based estimation framework for nonlinear systems under sensor attacks
- Secure trajectory planning against undetectable spoofing attacks
- On the confidentiality of controller states under sensor attacks
- An active approach for isolating replay attack from sensor faults
- On Redundant Observability: From Security Index to Attack Detection and Resilient State Estimation
- Persuasion-Based Robust Sensor Design Against Attackers With Unknown Control Objectives
- Secure state estimation for cyber-physical systems under sparse data injection attacks: a switched counteraction approach
- Sparse attack reconstruction for cyber-physical systems via descriptor reduced-order observer
- Secure state estimation for cyber-physical systems by unknown input observer with adaptive switching mechanism
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
- Efficient secure state estimation against sparse integrity attack for regular linear system
- An adaptive control scheme for switched nonlinear cyber‐physical systems against state‐dependent sensor attacks and input‐dependent actuator attacks
- Secure state estimation and actuator attack reconstruction for cyber‐physical systems based on sliding‐mode observer
- Finite time secure state estimation for linear cyber‐physical systems with actuator and sensor attacks
- Byzantine-resilient distributed observers for LTI systems
- Dynamic output feedback control for CPSs under transmission delays and sparse malicious attacks
- Secure state estimation for cyber-physical systems with unknown input sliding mode observer
- An adaptive control scheme against state-dependent sensor attacks and input-dependent actuator attacks in cyber-physical systems
- State reconstruction for linear time-invariant systems with binary-valued output observations
This page was built for publication: Securing state reconstruction under sensor and actuator attacks: theory and design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1987261)
