Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches | IEEE Journals & Magazine | IEEE Xplore