Hola.
En teoría se podría hacer con la opción de "control HDMI", pero la PS3 no debe de soportar esta opción, porque yo la tengo configurada en la TV (W3000) pero no me detecta la PS3 como dispositivo HDMI.
Si alguien consigue hacer la conmutación automática que lo postee, por favor.