AI 中文总结
该研究提出CIPS框架，将CPS状态演化与控制干预分离，通过鲁棒集收缩处理延迟，证明安全调度策略与规范CIPS同构，可实现最优安全调度并最小化干预。
AI 中文摘要
我们提出了认证信息持续性系统（Certified Information Persistence Systems，简称CIPS）理论，这是一种用于计算网络物理系统（Cyber-Physical Systems，简称CPS）中信息最大认证持续性的通用数学框架。CIPS提供了一个公理基础，将状态有效性的连续演化与无记忆的离散控制干预分离开来。该框架通过鲁棒集收缩处理数字采样和执行延迟，从数学上隔离了系统的最大认证持续 horizon（即相对于系统定义的度量增长边界，安全自主运行的严格理论上限）。我们的核心表示定理证明，CIPS是一种通用表示框架：所有经验上安全的调度策略在结构上都与规范CIPS内的保守替代评估同构。通过动态以这个延迟补偿的规范horizon为目标，该框架最小化了相对于边界假设的保守性，实现了最优的认证调度策略，同时最小化了计算和网络干预，并在数学上保证了持续的物理安全。
英文摘要
We introduce the Theory of Certified Information Persistence Systems (CIPS), a universal mathematical framework for computing the maximal certified persistence of information in cyber-physical systems (CPS). CIPS provides an axiomatic foundation that separates the continuous evolution of state validity from discrete, memoryless control interventions. By accommodating digital sampling and execution latency through robust set contraction, the framework mathematically isolates a system's maximal certified persistence horizon --- a strict theoretical upper bound on safe autonomous operation relative to the system's defined metric growth bounds. Our central representation theorem proves that CIPS provides a universal representation framework: every empirically safe scheduling policy, is structurally isomorphic to a conservative surrogate evaluation within a canonical CIPS. By dynamically targeting this latency-compensated canonical horizon, the framework minimizes conservatism relative to the bounding assumptions, achieving an optimal certified scheduling policy, minimizing computational and network interventions while mathematically guaranteeing continuous physical safety.
Comments20 pages, 2 figures
