INTENTION
This class provides all definitions to describe a binary actuator. This class is derived from the description class RangeActuator. The following specific parameters of a binary actuator are instantiated:
Note that this class can be used to describe an actuator that already exists in the environment. Therefore, the property is characterized as domain knowledge. Otherwise, if the actuator does not exist, it has to be a requirement/specification.
BASE CLASSES
Class | RangeActuator(ENV_DOMAIN = BINARY, ADJUSTED_DOMAIN = BINARY) |
---|
Intention |
: | All definitions of description class RangeActuator are also provided here using the values 0 and 1 as the possible values of the entity existing in the real world and using the values 0 and 1 as the possible values that can be adjusted by the machine. |
DOMAIN KNOWLEDGE
Property | D_BA1 |
---|
Formal | : | ( b BINARY: modifyReaction(b) = b ) |
NL | : | For a binary actuator the function representing the way in which a value adjusted by the machine (adjustedEntity) is modified during the reaction of the actuator, resulting in a value of the actuator in the real world (envEntity), is the identity. |