Es posible que no funciona y más tratandose de servidores serios, pero también puedes probar de lanzar un ping utilizando la shell:
Código:
$execution = shell_exec( "ping <IP> -c <Cantidad de pruebas>" );
Luego analiza $execution en busca de '64 bytes from <IP> (<IP>)'
Un saludo y suerte! ;)