Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Abstract

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.

Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors

“…This paper proposes an original approach here used for modelling and analysing home energy management systems which is based on the use of time-sensitive actors in the context of the Theatre architecture and framework [11,12]. Actors [21] are highly-modular, concurrent and distributed software entities.…”

“…In this paper, the Theatre infrastructure [11] enriched with hybrid actors [12] is advocated since they offer a modelling and development approach suited to cope with the problems so far discussed. A theatre is the runtime environment for actors.…”

“…CPSs need, during analysis, a proper modelling of the continuous behaviour of the external environment of the physical part, to be integrated with the (event and time) discrete behaviour of the cyber part. For this reason, the notion of continuous mode was added by following the concepts of hybrid automata [12,33]. Differently from [12], continuous modes are considered as independent components which are modelled externally to the application actors, and that naturally can execute in parallel.…”

“…For this reason, the notion of continuous mode was added by following the concepts of hybrid automata [12,33]. Differently from [12], continuous modes are considered as independent components which are modelled externally to the application actors, and that naturally can execute in parallel.…”

Economic Games as Estimators

“…If, for example, agent decision-making influences the price of an asset (such as a cryptocurrency token), then it is the price which is estimated by the discrete event game. In a similar fashion, the design pattern of combining discrete event models with agent behavior and system parameter estimation also arises in cyber-physical systems [11].…”