US12031846B2 - Generation of an Output Signal Value from Sensor Signal Values of at Least Three Redundant Sensors