AI 中文总结
本研究针对带延迟观测的离散事件系统，提出不透明性的验证方法与传感器激活策略的优化合成方法，以提升系统安全性。
AI 中文摘要
在系统观测中人为引入延迟是一种能有效隐藏系统本身、提升其不透明性进而增强安全性的机制。本研究探讨带延迟观测的离散事件系统中的不透明性，聚焦两个问题：如何验证延迟观测下的不透明性，以及如何合成能保证延迟条件下不透明性的传感器激活策略。为解决这些问题，我们首先引入延迟观测下不透明性的定义并开发对应验证方法，随后将该分析工具扩展为合成工具，提出一种优化方法用于设计能保证延迟观测下不透明性的传感器激活策略，并用一个示例说明分析与合成流程。
英文摘要
Artificially introducing a delay in the observations of a system can be an effective mechanism to mask the system itself, with the goal to increase its opacity and thus its security. This work investigates opacity in discrete event systems with delayed observations. We focus on two questions: how to verify opacity under delayed observations, and how to synthesize sensor activation policies that guarantee opacity under such delayed conditions. To address these questions, we first introduce the definition of opacity under delayed observation and develop a corresponding verification method. We then extend such analysis tool into a synthesis tool by proposing an optimization approach for designing sensor activation policies guaranteeing opacity under delayed observations. An example is used to illustrate the analysis and synthesis procedures.
Journal refIEEE Control Systems Letters, vol. 9, pp. 2411-2416, 2025
DOI：10.1109/LCSYS.2025.3623658
