Interactive Modeling and Analysis of Open or Closed Loop Dynamic Systems with Redundant Actuators