
452 Cyber-Physical Systems: From Theory to Practice
by R
actuator
. Each actuator (A ∈ R
actuator
) has one or more actions (a ∈ A
action
) that is declared
using the action keyword. An action of an actuator may take inputs specified as param-
eters of an action (Listing 18.1, line 21). For instance, a heater may have two actions. One
is to switch off the heater and second is to set the heater according to a user’s tempera-
ture preference illustrated in Listing 18.1, lines 19–21. The SetTemp action takes a user’s
temperature preference shown in line 21.
• Storage (R
storage
). It defines a set of storage (e.g., user’s profile storage) that might be
attached ...