[Mount81]

I have only seen HDMI switches/splitters with direct or IR remote switches. Tho' these all were on Gearbest/Geekbuying etc. Maybe more expensive (and "brandy") ones have automatic switching mechanism, but i guess that requires more complex electronics, and may be more rare, if exists at all. The thing you should really care about if it really meets the HDMI 2.0a specification entirely, so it will pass 4K60Hz and HDR as well. 

For switching with remote you can still use a multi-remote like Logitech Harmony or one of those cheaper airmouses with IR learning function, like iWeipoo Gt01 (also fine for HTPC/Windows in radio mode). But that's just a tip...