  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.
