Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

DOI10.1109/TAC.2017.2676679zbMath1390.93532arXiv1412.4324OpenAlexW2963890529WikidataQ57380114 ScholiaQ57380114MaRDI QIDQ4566843

Pierluigi Nuzzo, Alberto Puggelli, Yasser Shoukry, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli, Paulo Tabuada

Publication date: 27 June 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.4324

Mathematics Subject Classification ID

Cryptography (94A60) Discrete event control/observation systems (93C65) Observability (93B07) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (32)

Attack-resilient state estimation with intermittent data authentication ⋮ An overview of structural systems theory ⋮ A graph-oriented approach to address generically flat outputs in structured LTI discrete-time systems ⋮ Performance guaranteed attack reconstruction for cyber-physical systems: a new intermediate estimator-based framework ⋮ Fast state estimation under sensor attacks: a sensor categorization approach ⋮ Secure state estimation for cyber-physical systems under sparse data injection attacks: a switched counteraction approach ⋮ An optimal graph-search method for secure state estimation ⋮ State estimation and self-triggered control of CPSs against joint sensor and actuator attacks ⋮ Byzantine-resilient distributed state estimation: a min-switching approach ⋮ Distributed control under compromised measurements: resilient estimation, attack detection, and vehicle platooning ⋮ Finite‐time adaptive neural control for nonlinear systems under state‐dependent sensor attacks ⋮ Resilient set-based state estimation for linear time-invariant systems using zonotopes ⋮ Secure state estimation for cyber-physical systems by unknown input observer with adaptive switching mechanism ⋮ Resilient control co-design for cyber-physical systems with DoS attacks via a successive convex optimization approach ⋮ Secured filters based on saturated innovations ⋮ Optimal resilient sensor placement problem for secure state estimation ⋮ Complete stealthiness false data injection attacks against dynamic state estimation in cyber-physical systems ⋮ Efficient secure state estimation against sparse integrity attack for regular linear system ⋮ Secure estimation against non‐fixed channel attacks in cyber‐physical systems ⋮ Robust adaptive control for nonlinear cyber‐physical systems with FDI attacks via attack estimation ⋮ A multi-observer based estimation framework for nonlinear systems under sensor attacks ⋮ Switched projected gradient descent algorithms for secure state estimation under sparse sensor attacks ⋮ Securing state reconstruction under sensor and actuator attacks: theory and design ⋮ Characterization of flat outputs of switched linear discrete-time systems: algebraic condition and algorithm ⋮ Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines ⋮ Distributed secure state estimation for cyber-physical systems under sensor attacks ⋮ Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach ⋮ Single-dimensional encryption against innovation-based stealthy attacks on remote state estimation ⋮ Malicious adversaries against secure state estimation: Sparse sensor attack design ⋮ How vulnerable is innovation-based remote state estimation: Fundamental limits under linear attacks ⋮ Event-triggered secure observer-based control for cyber-physical systems under adversarial attacks ⋮ Disturbance decoupled secure state estimation: an orthogonal projection-based method

This page was built for publication: Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach