State machine arbitrates which redundant controller is active