Operator-theoretic modeling and waveform design for radar in the presence of Doppler | IEEE Conference Publication | IEEE Xplore