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.