next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Group Actuator Up: No Title Previous: Description Class DoorContact

   
Description Class MotionDetector

INTENTION

This class provides all definitions to describe the behavior of a motion detector. A motion detector is derived from a binary sensor. Here additionally the reaction time of a motion detector is specified.

A motion detector returns a 1 if a person is moving in the range of the detector.

BASE CLASSES

Class   BinarySensor

Intention

: All definitions of description class BinarySensor are also provided here.

DOMAIN KNOWLEDGE

Property  D_MD1 
Formal : (  noMalSens. reactionTime = 1000 )
NL : The reaction time of a motion detector is 1 s.


next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Group Actuator Up: No Title Previous: Description Class DoorContact
Forest-System
1999-06-10