论文标题
分布式网络物理系统的正式框架
A Formal Framework for Distributed Cyber-Physical Systems
论文作者
论文摘要
组成是规范语言的重要特征，因为它可以根据其零件的产物设计复杂系统的设计。为了理解系统的结构特性，分解同样重要。但是，通常可以以多种方式分解系统，每个系统都针对不同的标准进行优化。我们扩展了一个基于代数组件的网络物理系统模型，以推理分解。在此模型中，组件使用代数产品系列组成，并在某些条件下分解了相应的分区运营商系列。我们使用部门来指定组件系统的不变性，并建模所需的更新。我们将框架应用于设计一个网络物理系统，该系统由在共享字段上移动的机器人组成，并使用我们的部门运营商确定理想的更新。
Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system. Usually, however, a system can be decomposed in more than one way, each optimizing for a different set of criteria. We extend an algebraic component-based model for cyber-physical systems to reason about decomposition. In this model, components compose using a family of algebraic products, and decompose, under some conditions, given a corresponding family of division operators. We use division to specify invariant of a system of components, and to model desirable updates. We apply our framework to design a cyber-physical system consisting of robots moving on a shared field, and identify desirable updates using our division operator.
