论文标题
网络物理系统理论的分类语义
Categorical Semantics of Cyber-Physical Systems Theory
论文作者
论文摘要
网络物理系统需要建造和管理各种模型，以确保其正确，安全和安全的操作。由于网络物理系统中存在的物理和计算动力学，这些模型是必需的。但是，迄今为止，网络物理系统的不同模型视图在很大程度上是非正式相关的，这引起了这些各种需求，系统行为和系统体系结构之间正式一致性的问题。我们提出了一个类别理论框架，可以在网络物理系统的建模和分析中显式地构成，这可以有助于整个系统验证该系统。这种用于网络物理系统的组成框架产生了统一的系统模型，其中系统行为在层次上分解，并使用系统构造使用系统体系结构。作为该范式的一部分，我们表明（安全）合同的代数对技术状态进行了概括，提供了更统一的数学工具来限制这种行为，以限制一组更丰富的复合网络物理系统模型，从而有可能最大程度地减少或消除危险行为。
Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyber-physical systems. However, to date the different model views of cyber-physical systems are largely related informally, which raises issues with the degree of formal consistency between those various models of requirements, system behavior, and system architecture. We present a category-theoretic framework to make different types of composition explicit in the modeling and analysis of cyber-physical systems, which could assist in verifying the system as a whole. This compositional framework for cyber-physical systems gives rise to unified system models, where system behavior is hierarchically decomposed and related to a system architecture using the systems-as-algebras paradigm. As part of this paradigm, we show that an algebra of (safety) contracts generalizes over the state of the art, providing more uniform mathematical tools for constraining the behavior over a richer set of composite cyber-physical system models, which has the potential of minimizing or eliminating hazardous behavior.
