Redundant Control Design