Hybrid Rebeca：信息物理系统的建模与分析
系统与控制
2024-12-20 v1 系统与控制
摘要
在诸如汽车系统的信息物理系统中，存在传感器、执行器和控制器等组件，它们彼此异步通信。Actor 计算模型支持对分布式异步通信系统进行建模。我们提出 Hybrid Rebeca 语言以支持信息物理系统的建模。Hybrid Rebeca 是基于 actor 的语言 Rebeca 的扩展。在此扩展中，引入了物理 actor 作为新的计算实体以封装物理行为。为了支持实体间多种通信方式，网络被显式建模为独立于 actor 的实体。我们推导混合自动机作为分析 Hybrid Rebeca 模型的基础。我们通过汽车系统领域的一个案例研究展示了我们方法的适用性。我们使用 SpaceEx 框架对该案例研究进行分析。
引用
@article{arxiv.1901.02597,
title = {Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems},
author = {Iman Jahandideh and Fatemeh Ghassemi and Marjan Sirjani},
journal= {arXiv preprint arXiv:1901.02597},
year = {2024}
}