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.

Stealthy Attacks for Partially-Observed Discrete Event Systems

Joint State Estimation Under Attack of Discrete Event Systems

Stealthy Actuator Signal Attacks in Stochastic Control Systems: Performance and Limitations.

A Dynamic Event-Triggered Secure Monitoring and Control for a Class of Discrete-Time Markovian Jump Systems: A Plug-and-Play Architecture

Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets

Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems

Design of Strictly Stealthy Attacks for Nonlinear Multiagent Systems under Distributed Attack Detection Mechanism

Detecting Stealthy Attacks in Power Systems based on Switching and Zonotopes

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

Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

Robust Predictability in Discrete Event Systems under Sensor Attacks

A Multi-Observer Based Estimation Framework for Nonlinear Systems under Sensor Attacks

Novel Stealthy Attack and Defense Strategies for Networked Control Systems

Supervisory control of discrete-event systems under external attacks

An Event-Based Stealthy Attack on Remote State Estimation

Observer-Based Asynchronous Control of Discrete-Time Semi-Markov Switching Power Systems under DoS Attacks

Privacy-Preserving Stealthy Attack Detection in Multi-Agent Control Systems

Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems under Supervisory Control

Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits

Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks

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