A Framework for Robust Control Based Model Invalidation