Cheyenne lo que comentas es otra opción que tenía pensada (es lo que utiliza la librería Pid_v1 en uno de sus ejemplos Arduino Playground - PIDLibraryRelayOutputExample ), en este caso utilizan una frecuencia de 0.2 Hz, que creo que para mi "caso" sería también válido.
Un saludo y gracias