None of your links are working (at least for me)...
The best solution on the market remains the Crestron DM series of switchers which can be fully controlled via IP from any control system. We use them now within our AMX systems for those clients who want a reliable HDBT matrix but have a AMX front end.
While others swear by their products, including Pure Link, and AMX, the reality remains that they don't touch the Crestron DM matrix for reliability.
C4 does have their own HDMI matrix now, but I know nothing about it.
You can look at Aurora Multimedia which produces a 8x8 configurable HDBT matrix with local power to remote endpoints and appears to offer IP control.
The DXM-88-G2 is MSRP of $3,799
The DXCI-4-HDBT1-G2 input cards are $1,999 each (two needed)
The DXCO-4-HDBT1-G2 output cards are $1,999 each (two needed)
Transmitters and receivers are $375 each (up to 16 may be needed)
So, this is around a $14,000+ solution, and is TYPICAL of this type of high end product.
In comparison, the Crestron DM-MD-8x8 matrix has the following pricing:
DM-MD-8x8 (frame) - $4,300
DMC-CAT - HDBT input - $1,100 each (up to 8)
DMCO-55 - 4xHDBT output - $2,600 each (up to 2)
DM-RMC-100 (HDBT receiver) - $900 each (up to 8)
DM-TX-201C (HDBT transmitter) - $1,300 each (up to 8)
So, this is around a $30,000 solution at MSRP. $$$$$
The requirements are what kills the pricing on this and I've yet to see a good, price effective solution, which does what you want.
Give up a fair bit of everything, power locally, deal with flashes during switching, etc. and you can do a fair bit for under $5,000. You may have to go to RS232 control, and you may have to deal with some EDID issues, but overall, even if you have to switch a display or two, you can get a far cheaper solution which works reasonably well. But, it's all budgetary dependent.
If your HDMI sources are local, that will drastically impact pricing. There are also a few fixed solutions such as this:
But, I have no idea if it offers non-blanking switching or what level of EDID management it delivers.
It is a deal with a $8,999 MSRP.
Yeah, I'm sticking with component video HD switching in my home for a few more years I guess.