These systems are not truly redundant in that sense though - as they are intended to be centrally coordinated (the manufacturer provides a web API). So they are potentially vulnerable to e.g cyberwarfare.