Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems   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.

24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc