The aim of our paper is to provide a new class of five-phase anti-lock brake algorithms (that use wheel deceleration logic-based switching) and a simple mathematical background that explains their behavior. First, we completely characterize the conditions required for our algorithm to work. Next, we explain how to compute analytically an approximation of the Poincaré map of the system (without using numerical integration) and show how to calibrate the algorithm's parameters to obtain the most efficient limit cycle.