El denon es un poco complicado de configurar y sobre todo con las instrucciones que trae.
Creo haber leído que para se conecte automáticamente la ps3 ha de ser a partir del modelo slim.
Para que pase la señal hdmi de la ps3 con el denon en standby tienes que configurar el HDMI CONTROL como activado, marcando que entrada hdmi dejará pasar la señal (la última o le dices una entrada hdmi en concreto)
Tengo una guía de configuración que me pasaron de los modelos del 2010, pero que vale para casi todo de este modelo. Si me pasas un correo te la envío.
Saludos