Prerequisites

Before You Begin

This chapter develops the theory of integrated sensing and communication (ISAC), also known as joint radar-communication (JRC) or dual-function radar-communication (DFRC). The material builds on linear algebra (Chapter 1) for matrix decompositions and vector space operations, signals and Fourier analysis (Chapter 4) for matched filtering, ambiguity functions, and spectral estimation, antenna and array fundamentals (Chapter 7) for array steering vectors and spatial processing, OFDM (Chapter 14) for multicarrier waveform design and subcarrier-domain processing, and MIMO systems (Chapter 15) for spatial multiplexing, beamforming, and capacity analysis. The chapter is at the level of current research papers in IEEE Transactions on Signal Processing and IEEE Journal on Selected Areas in Communications, and requires comfort with estimation theory, matched filter processing, and convex optimisation.

  • Linear algebra: complex matrices, eigendecompositions, Kronecker products(Review ch01)

    Self-check: Can you compute the eigendecomposition of a Hermitian matrix R=UΛUH\mathbf{R} = \mathbf{U}\boldsymbol{\Lambda}\mathbf{U}^H and apply the Kronecker product identity vec(AXB)=(BTA)vec(X)\mathrm{vec}(\mathbf{A}\mathbf{X}\mathbf{B}) = (\mathbf{B}^T \otimes \mathbf{A})\mathrm{vec}(\mathbf{X})?

  • Signals and Fourier analysis: Fourier transform, matched filtering, spectral estimation(Review ch04)

    Self-check: Can you derive the matched filter output for a known waveform in additive white Gaussian noise and explain why the matched filter maximises the output SNR? Can you compute the time-frequency resolution trade-off from the uncertainty principle ΔtΔf1/(4π)\Delta t \cdot \Delta f \geq 1/(4\pi)?

  • Antennas and arrays: array response vectors, beamforming, spatial filtering(Review ch07)

    Self-check: Can you write the array steering vector a(θ)=[1,ej2πdsinθ/λ,,ej2π(N1)dsinθ/λ]T\mathbf{a}(\theta) = [1, e^{j2\pi d\sin\theta/\lambda}, \ldots, e^{j2\pi(N-1)d\sin\theta/\lambda}]^T and form a beam in a desired direction by applying appropriate phase weights?

  • OFDM: subcarrier modulation, cyclic prefix, frequency-domain equalisation(Review ch14)

    Self-check: Can you describe the OFDM transmit signal as s(t)=k=0K1Xkej2πkΔfts(t) = \sum_{k=0}^{K-1} X_k e^{j2\pi k \Delta f t} and explain how the cyclic prefix converts a linear convolution with the channel into a circular convolution, enabling per-subcarrier equalisation?

  • MIMO systems: spatial multiplexing, channel capacity, precoding(Review ch15)

    Self-check: Can you state the MIMO capacity formula C=log2det ⁣(I+PMHHH/σ2)C = \log_2\det\!\bigl(\mathbf{I} + \frac{P}{M}\mathbf{H}\mathbf{H}^{H}/\sigma^2\bigr) and explain how singular value decomposition decomposes the MIMO channel into parallel spatial streams?

Chapter 29 Notation

Key symbols introduced or heavily used in this chapter.

SymbolMeaningIntroduced
τ\tauRound-trip propagation delay (seconds)s02
fdf_dDoppler frequency shift (Hz)s02
χ(τ,fd)\chi(\tau, f_d)Ambiguity function of the transmitted waveforms02
BBSignal bandwidth (Hz)s02
TTObservation / coherent processing interval (seconds)s02
Δr\Delta rRange resolution, c/(2B)c/(2B)s02
Δv\Delta vVelocity resolution, λ/(2T)\lambda/(2T)s02
KKNumber of OFDM subcarrierss03
MMNumber of OFDM symbols in a coherent processing intervals03
Δf\Delta fOFDM subcarrier spacing (Hz)s03
NTN_TNumber of transmit antennass04
NRN_RNumber of receive antennass04
ρ\rhoSensing-communication trade-off parameter, ρ[0,1]\rho \in [0,1]s04
A\mathbf{A}Sensing / measurement matrix in sparse recoverys05
x\mathbf{x}Sparse scene reflectivity vectors05
δs\delta_sRestricted isometry constant of order sss05