Compressed sensing for a frequency agile radar with performance guarantees | IEEE Conference Publication | IEEE Xplore