Hybrid Rebeca：信息物理系统的建模与分析
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
AI总结：
提出基于 actor 的 Hybrid Rebeca 语言，通过引入物理 actor 和显式网络建模信息物理系统，并推导混合自动机结合 SpaceEx 框架进行分析验证。
摘要：
在汽车系统等信息物理系统中，存在传感器、执行器和控制器等组件，它们相互之间进行异步通信。Actor 计算模型支持对分布式异步通信系统进行建模。我们提出 Hybrid Rebeca 语言以支持信息物理系统的建模。Hybrid Rebeca 是基于 actor 的语言 Rebeca 的扩展。在此扩展中，引入物理 actor 作为新的计算实体来封装物理行为。为支持实体间的多种通信方式，网络被显式建模为独立于 actor 的实体。我们推导出混合自动机作为分析 Hybrid Rebeca 模型的基础。我们通过汽车系统领域的案例研究展示了该方法的适用性。我们使用 SpaceEx 框架对该案例研究进行分析。
英文摘要：
In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems. Hybrid Rebeca is an extension of actor-based language Rebeca. In this extension, physical actors are introduced as new computational entities to encapsulate physical behaviors. To support various means of communication among the entities, the network is explicitly modeled as a separate entity from actors. We derive hybrid automata as the basis for analysis of Hybrid Rebeca models. We demonstrate the applicability of our approach through a case study in the domain of automotive systems. We use SpaceEx framework for the analysis of the case study.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
