Constrained (closed-loop) robot simulation by local constraint propagation | IEEE Conference Publication | IEEE Xplore