Model validation for uncertain systems