Abstract:This paper deals with the state estimation problem in discrete-event systems modeled with nondeterministic finite automata, partially observed via a sensor measuring unit whose measurements (reported observations) may be vitiated by a malicious attacker. The attacks considered in this paper include arbitrary deletions, insertions, or substitutions of observed symbols by taking into account a bounded number of attacks or, more generally, a total cost constraint (assuming that each deletion, insertion, or substitution bears a positive cost to the attacker). An efficient approach is proposed to describe possible sequences of observations that match the one received by the measuring unit, as well as their corresponding state estimates and associated total costs. We develop an algorithm to obtain the least-cost matching sequences by reconstructing only a finite number of possible sequences, which we subsequently use to efficiently perform state estimation. We also develop a technique for verifying tamper-tolerant diagnosability under attacks that involve a bounded number of deletions, insertions, and substitutions (or, more generally, under attacks of bounded total cost) by using a novel structure obtained by attaching attacks and costs to the original plant. The overall construction and verification procedure have complexity that is of O(|X|^2 C^2),where |X| is the number of states of the given finite automaton and C is the maximum total cost that is allowed for all the deletions, insertions, and substitutions. We determine the minimum value of C such that the attacker can coordinate its tampering action to keep the observer indefinitely confused while utilizing a finite number of attacks. Several examples are presented to demonstrate the proposed methods.

Tampering Attack Detection for Remote State Estimation With Quantized Observations

Fusion State Estimation of CPS Under Quantized Observations and Tampering Attacks

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

State estimation for linear discrete-time systems with binary-valued quantized innovations against data tampering attacks

Tampering attack detection for remote interval observer

Event-Based Attack Against Remote State Estimation

An Event-Based Stealthy Attack on Remote State Estimation

Optimal DoS Attack Policy Against Remote State Estimation

Optimal Stealthy Attack to Remote Estimator for Estimation Error Regulation.

Online Deception Attack Against Remote State Estimation

Probabilistic Denial of Service Attack Against Remote State Estimation over a Markov Channel in Cyber-Physical Systems

State estimation for cyber–physical systems with limited communication resources, sensor saturation and denial-of-service attacks

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

Secure state estimation for cyber physical systems with state delay and sparse sensor attacks

Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints

Optimal Linear Attack in Cyber-Physical Systems with Periodic Detection

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

Attack Detection for Cyber-Physical Systems: A Zonotopic Approach

Jamming Attacks on Remote State Estimation in Cyber-Physical Systems: A Game-Theoretic Approach.

Optimal design and performance analysis of secure estimator for cyber‐physical systems against deception attacks

Remote Robust State Estimation for Nonlinear Cyber-Physical Systems under Denial-of-Service Attacks