具有控制延迟与观测延迟的离散事件系统中传感器激活的最小化

在离散事件系统中，为节省传感器资源，智能体根据不断变化的观测基于传感器激活策略持续调整传感器激活决策。然而，在 networked 离散事件系统中，传感器系统与智能体之间存在观测延迟和控制延迟，这为传感器激活带来了新的挑战。本文建立了一种在网络化离散事件系统中激活传感器的全新框架。在该框架中，我们构造了一个通信自动机，显式表达智能体与传感器系统经由观测通道和控制通道的交互过程。基于该通信自动机，我们可定义通信字符串的动态观测。为保证传感器激活策略在物理上可实现且对不确定的控制延迟与观测延迟不敏感，我们进一步引入延迟可行性的定义。我们证明，即便存在控制延迟与观测延迟，延迟可行的传感器激活策略仍可用于动态激活传感器。我们开发了一组算法，在基于转移的领域内最小化传感器激活，同时确保满足给定的规范条件。还提供了一个实际示例以展示所提框架的应用。最后，我们简要讨论了如何将所提框架扩展至分散式观测设置。