Verification and Validation of Robot Manipulator Adaptive Control with Actuator Deficiency