arXiv:2601.21249cs.AIcs.LG2026-01被引 1

用局部模型替代全局模型,提升工业系统状态可信性

Position: Certifiable State Integrity Should Be Built from Local Validity, Not Global Scale

  • 采用冻结的局部专用模型,避免全局参数耦合问题
  • 通过运行时仲裁与覆盖盲区监控,实现可审计的状态验证
  • 适合对安全性要求高的工业控制系统,支持形式化分析

语言与视觉领域的突破推动了时间序列和物理动态的通用基础模型发展,虽前景可观但尚不成熟。在安全关键的网络物理系统(CPS)中,全局参数化动态模型需在工况突变、退化及生命周期更新下保持有效性,并支持可追溯的保证证据。我们指出,共享全局参数会耦合适应性、敏感故障表示与验证证据,阻碍领域知识保留与有界分析。对于运行条件可由有限个局部有效模型覆盖的系统,保证证据应围绕这些有界模型及其显式组合构建,而非单一全局适配模型;增加规模无法提供明确的有效性边界。HYDRA 是该理念的参考架构:冻结的局部专家、运行时仲裁机制与显式覆盖盲区监测。它展示了模块化可审计性与有界组件的形式化分析如何支撑可证态完整性,而整体系统认证、切换保障与经验验证仍为独立责任。

原文摘要 · Abstract (English)

Breakthroughs in language and vision have motivated increasingly general foundation models for time series and physical dynamics, where evidence is promising but less mature. In safety-critical Cyber-Physical Systems (CPS), globally parameterized dynamics models must remain valid through regime shifts, degradation, and lifecycle updates while supporting traceable assurance evidence. We argue that shared global parameters couple adaptation, frequency-sensitive fault representation, and verification evidence in ways that obstruct retained regime knowledge and bounded analysis. For systems whose operating conditions can be covered by a finite set of locally valid models, assurance evidence should be organized around those bounded models and their explicit composition, not around a single globally adapted model; increasing scale cannot supply explicit validity boundaries. HYDRA is a reference architecture for this position: frozen local specialists, runtime arbitration, and explicit coverage-gap monitoring. It illustrates how modular auditability and formal analysis of bounded components support Certifiable State Integrity, while whole-system certification, switching guarantees, and empirical validation remain separate obligations.

状态可信性网络物理系统局部模型可证性

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。