Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction