A formal method for avoiding hyperstaticity when connecting an exoskeleton to a human member | IEEE Conference Publication | IEEE Xplore