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.

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

Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems

Opacity Enforcement by Edit Functions Under Incomparable Observations

A unified concurrent-composition method to state/event inference and concealment in discrete-event systems

Stealthy Attacks for Partially-Observed Discrete Event Systems

Extended Insertion Functions for Opacity Enforcement in Discrete Event Systems

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications

Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints

Critical Observability Enforcement in Discrete Event Systems Using Differential Privacy

A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems

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

Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms

Distributed Secret Securing in Discrete-Event Systems

Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction

You Don't Know What I Know: on Notion of High-Order Opacity in Discrete-Event Systems

Maximally Permissive Supervisory Control of Timed Discrete-Event Systems under Partial Observation

Supervisory control of DES with unobservable events based on structural approach

Estimation and Verification of Partially-Observed Discrete-Event Systems

Hybrid Adaptive Extended State Observer for Event‐triggered Networked Nonlinear Systems Subject to Deception Attacks and External Disturbances

Privacy Preserving Event Detection

A New Enforcement on Declassification with Reachability Analysis