Martin Oberkönig

Learn More
The design process of a joint radar and communication system employing OFDM is analyzed. In particular, the question on how to choose OFDM modulation parameters such as carrier distance, guard interval length, frame length or pilot design is studied. Such systems use the same OFDM frames to transmit data and image the surroundings, so both radar and(More)
We analyse mobile propagation channels which occur in the context of car-to-car communications in the 24 GHz ISM band. From the information gathered, we design robust frame designs for combined radar and communication systems using high-bandwidth OFDM signals. Two solutions are proposed: the combination of a spread spectrum technique and a standard(More)
Two OFDM radar algorithms (the Maximum Likelihood and a MUSIC-based algorithm) are introduced and their fundamental limits concerning accuracy are explained. To simplify the analysis, we research the special case of only one target in the radar’s detection range, which facilitates the individual effects on the estimation quality. Through simulations, we can(More)
This paper defines a quantitative metric of the completeness of a formal specification. A "good" (formal) specification is already needed in the beginning of the development process to prevent cost-intensive corrections of errors found in the late phases of a design process. A quantitative analysis method is presented to evaluate whether a specification is(More)
Compressed Sensing and the related recently introduced Smashed Filter are novel signal processing methods, which allow for low-complexity parameter estimation by projecting the signal under analysis on a random subspace. In this paper the Smashed Filter of Davenport et al. is applied to a principal problem of digital communications: pilot-based time offset(More)
Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We will show how a property-based formal specification of a cache controller for a MIPS core can be used to automatically generate a functional implementation of that controller and how(More)