论文标题
相互作用的网络物理代理的重写框架
A Rewriting Framework for Interacting Cyber-Physical Agents
论文作者
论文摘要
由于状态空间较大，并且其组成部分发生的持续变化，网络物理系统（CPS）的分析是具有挑战性的。设计实践有利于模块化，以帮助降低这种复杂性。在先前的工作中，我们为CPS提出了一个离散的语义模型，该模型将网络和物理方面捕获为离散观测流，最终构成了组件的行为。该语义模型是指代和组成，其中每个组成算子代数都会建模一对组件之间的相互作用。在本文中，我们建议将组件的规范作为重写系统。该规范是运营和可执行性的，我们将其语义的条件作为组成部分。我们通过建模在共享字段上移动的机器人的协调来展示我们的框架。我们表明，我们的机器人系统可以通过协议协调，以表现出所需的新兴行为。我们使用在Maude中的框架实施来取得实际结果。
The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous work, we proposed a discrete semantic model for CPS that captures both cyber and physical aspects as streams of discrete observations, which ultimately form the behavior of a component. This semantic model is denotational and compositional, where each composition operator algebraically models an interaction between a pair of components. In this paper, we propose a specification of components as rewrite systems. The specification is operational and executable, and we study conditions for its semantics as components to be compositional. We demonstrate our framework by modeling a coordination of robots moving on a shared field. We show that our system of robots can be coordinated by a protocol in order to exhibit a desired emerging behavior. We use an implementation of our framework in Maude to give practical results.
