This is a model of an incremental encoder.
It senses the angle of the flange phi
(w.r.t. the optional support), providing 3 Boolean signals:
y[1]
= 1 pulse per revolution with a length of 2*pi/(4*pRev)
y[2]
= pRev
pulses per revolutiony[3]
= pRev
pulses per revolution, displaced by 2*pi/(4*pRev)
It is used to measure angular velocity of electric drives, using block EncoderTimeSpan or EncoderPulseCount.