Can you provide information on the motion sensors used to start and stop the recirculating pump demonstrated on the show played on or about 9/1/07 in the Texas house?

Thank you.