A dual-duplex electrohydraulic system for the fly-by-wire control of a helicopter main rotor