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.