Convex Certificates for Model (In)validation of Switched Affi ne Systems with Unknown Switches