Sequential Monte Carlo Methods for Rigorous Bayesian Modeling of Autonomous Compliant Motion (Recursieve Monte Carlo methodes voor het autonoom uitvoeren van robottaken in contact)