In this work, we present an actor-based approach for security analysis of Cyber-Physical
Systems at the design phase. We use Timed Rebeca, an actor-based modeling language, to …

We introduce a new approach to analyze distributed hybrid systems by a generalization of
rely-guarantee reasoning. First, we give a system for deductive verification of class …

Designing and modeling complex cyber-physical systems (CPS) faces the double challenge
of combined discrete-continuous dynamics and concurrent behavior. Existing formal …

In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …

The Rebeca modeling language is designed as an imperative actor-based language with
the goal of providing an easy-to-use language for modeling concurrent and distributed …

The goal of a Home Energy Management System (HEMS) is that of purposely shaping the
cumulative energy consumption curves of domestic appliances by imposing suitable …

Vehicular ad hoc networks have attracted the attention of many researchers during the last
years due to the emergence of autonomous vehicles and safety concerns. Most of the …

Hybrid Rebeca is introduced for modeling asynchronous event-based Cyber-Physical
Systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non …

Home Energy Management Systems (HEMSs) are devoted to monitoring and control the
operation of domestic appliances in order to purposely shape the in-home energy …

Cyber-physical systems (CPSs) integrate continuous behavior of a physical controlled plant
with discrete behavior provided by a controlling cyber (software) part. The integration is …