Improved Synthesis of Nondeterministic Publicly Known Edit Functions for Opacity Enforcement

• 成果类型: Article
• 署名作者: Liu, Rongjian; Hadjicostis, Christoforos N.
• 署名单位: Chongqing Normal University; Southeast University - China; University of Cyprus
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2025.3566922
• 发表日期: 2025
• 页码: 6921-6928
• 关键词: automata; Xenon; safety; observers; STANDARDS; Complexity theory; Upper bound; training; Petri nets; Data mining; discrete event systems; opacity enforcement; publicly known edit mechanism

摘要

In this article, we investigate the synthesis problem of edit functions for opacity enforcement in systems modeled as partially observed finite-state automata. For better plausible deniability for the edit functions, in cases where the intruder may learn/know their existence, a synthesis problem for nondeterministic edit functions under a publicly known setting was introduced in the literature, but not yet fully solved. In light of this, we revisit the publicly known edit mechanism by proposing a sound and complete approach for solving the synthesis problem of nondeterministic publicly known edit functions. For practical applications, the edit function is assumed to have limited erasure and insertion ability. Our approach is based on a new labeled finite-state structure, and results in wider applicability than previously-proposed in the literature.