Yo creo que al final del bucle se puede comprobar si "tiempo" anterior es mayor que el que devuelve millis(). En ese caso, habríamos dado la vuelta al contador, y comienzo la cuenta desde cero.
if(millis() < tiempo) tiempo = millis();
while(millis()-tiempo < T1);
Cada 50 días funcionado sin parar, un ciclo de programa durará unos milisegundos más. Algo insignificante en un control de una máquina eléctrica grande, como es el caso.