Template Declaration BinaryActuator

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:

• the domains of an actuator: a binary actuator is a range actuator that can adjust the values 0 and 1
• the transformation function modifyReaction

Note that this class can be used to describe an actuator that already exists in the environment. Therefore, the property D_BA_1 is classified as domain knowledge. Otherwise, if an actuator does not exist, it has to be classified as an optative statement.

Postreferences	:	lsref ControlSystemActive : BinaryActuator
		lsref IndicatorLight : BinaryActuator

BASE CLASSES

Class	RangeActuator(ENV_DOMAIN  =  BINARY, ADJUSTED_DOMAIN  =  BINARY)

Intention

:

All definitions of description class RangeActuator are inherited 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 an actuator, resulting in a value of an actuator in the real world (envEntity), is the identity.