Polyhedral contact formation identification for autonomous compliant motion: exact nonlinear bayesian filtering | IEEE Journals & Magazine | IEEE Xplore