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

• 成果类型: Article
• 署名作者: Li, Yuting; Hadjicostis, Christoforos N.; Wu, Naiqi; Li, Zhiwu
• 署名单位: Macau University of Science & Technology; University of Cyprus
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3239590
• 发表日期: 2023
• 页码: 6743-6750
• 关键词: Data tampering; Discrete-event system (DES); information corruption; least-cost error sequence; state estimation.

摘要

This article 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 observed symbols) may be vitiated by a malicious attacker. The attacks considered in this article 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). We provide a characterization of the sequences of symbols that match the received sequence of possibly corrupted symbols, and subsequently use them to recursively perform tamper-tolerant state estimation subject to cost constraints. Each step of the recursive state estimation procedure has complexity of O(|X||Sigma|C), where |X| (|Sigma|) is the number of states (events) of the given finite automaton and C is the maximum total cost that is allowed for all deletions, insertions, and substitutions.